Results 81 to 90 of about 7,701,760 (276)

Modular Construction of Modal Logics

, 2004
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems.
Pattinson, Dirk, Cirstea, Corina
core   +2 more sources

Architecture‐Driven Functional Coupling in Vertically Aligned Nanocomposites

Advanced Functional Materials, EarlyView.
Vertically aligned nanocomposites define a growth‐engineered architecture in which vertical interfaces, strain fields, defect pathways, and phase connectivity are created simultaneously. This review shows how these architectural features couple ferroic, optical, ionic, electrochemical, and device responses, establishing design rules and open challenges
Md Shatil Islam‐Shanto, Javier Zamudio‐García, Abraham Sánchez‐Caballero, David Marrero‐López, Vincenzo Esposito   +4 more
wiley   +1 more source

Decision Support System Driven by Thermo-Complexity: Algorithms and Data Manipulation

IEEE Access
Today, making decisions in multi-parameter contexts requires long computational times and increasingly powerful computers. In addition, we are often interested not only in the final decision to be made, but above all in the decision-making path to follow,
Gerardo Iovane
doaj   +1 more source

Covalent Functionalization of 2D Semiconductors: A Roadmap to Advanced Electronic Devices

Advanced Functional Materials, EarlyView.
This Review presents recent advances in the covalent functionalization strategies for two‐dimensional semiconductors and their implementation in modern technologies. Layered materials are modified through diverse molecular chemistries (e.g., thiols, diazonium salts, alkyl halides, and electron‐deficient species) to tailor their surface properties ...
Ramiro Quirós‐Ovies, Bin Han, Paolo Samorì   +2 more
wiley   +1 more source

Making the Case for Organ‐on‐Chip Platforms in Long‐Acting Therapeutics Development

Advanced Healthcare Materials, EarlyView.
LATs release drug from a tissue‐resident depot over weeks to months, improving adherence, but their development is hampered by preclinical models that cannot reproduce the coupled tissue processes, sustained release, local microenvironment change, interstitial transport, immune and foreign‐body responses, and clearance that govern depot performance in ...
Charlie Gowans, Abdulwahhab Khedr, Panagiotis G. Georgiou, Nehir Arik, Ozlem Sen, Steve P. Rannard, Tom O. McDonald, Christos Tapeinos   +7 more
wiley   +1 more source

Magnetically Driven Biofabrication for Tissue Engineering: From Nanoparticle Design to Mag‐ATMP Translation

Advanced Healthcare Materials, EarlyView.
Magnetically responsive nanoparticles enable remote control over biomaterials, cells, and engineered tissues. This review summarizes material design, biological safety, fabrication and actuation strategies, computational validation, and translational pathways that support the development of magnetic tissue‐engineering platforms and future magnetically ...
Konstantinos Ioannidis, Dimitrios Lefas, Maya Guilliams, Jackie Van Grootenbril, Isaak Decoene, Dimitrios Sakellariou, Bart Smeets, Stefanos Mourdikoudis, Ioannis Papantoniou   +8 more
wiley   +1 more source

SEQUENTIAL CALCULI FOR MANY-VALUED LOGICS WITH EQUALITY DETERMINANT [PDF]

, 2004
We propose a general method of constructing sequential calculi with cut elimination property for propositional finitely-valued logics with equality determinant.
Alexej P Pynko
core  

Many-valued logic in manufacturing [PDF]

Annals of Computer Science and Information Systems, 2016
Tomasz Dziopa, Patrik Eklund, Magnus Löfstrand   +2 more
openaire   +3 more sources

Chemical Strategies for Multistimuli Responsive Dynamic Covalent Materials in Regenerative Medicine

Advanced Healthcare Materials, EarlyView.
Multistimuli responsive dynamic covalent materials integrate reversible chemistry with the complex chemical, mechanical, and biochemical cues of regenerative environments. This review highlights chemical strategies based on orthogonal dynamic bonds, multicomponent networks, and hierarchical architectures to regulate mechanics, degradation, and ...
Saurabh Joshi, Matthew B. Baker, Dominik Schauenburg   +2 more
wiley   +1 more source

Intervention logics in global and international poverty reduction schemes for the extreme poor and the most deprived with a focus on wellbeing and health

O Mundo da Saúde, 2017
This article will treat the intervention logics of three major global and international poverty reduction programs with a focus on wellbeing and health.
Johan Gärde
doaj