Results 141 to 150 of about 3,702,791 (303)
Towards an algebrization of a linear temporal logic
CQD Revista Eletrônica Paulista de MatemáticaThe subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas +2 more
doaj +1 more source
Genetically Programmed Shape‐Morphing of Engineered Living Materials
Advanced Functional Materials, EarlyView.Here, bacterial and mammalian engineered living materials (ELMs) are presented, in which living cells direct genetically programmed and enzymatically mediated shape‐morphing. The resulting deformation and shape‐recovery can be actuated in a genetically controlled manner by an ELM incorporating out‐of‐equilibrium counteracting biochemical reactions with
Jan Becker +7 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 +7 more
wiley +1 more source
Logical consecutions in discrete linear temporal logic
, 2005 We investigate logical consequence in temporal logics in terms of logical consecutions. i.e., inference rules. First, we discuss the question: what does it mean for a logical consecution to be 'correct' in a propositional logic.
Rybakov, Vladimir V.
core
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 +8 more
wiley +1 more source
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 +2 more
wiley +1 more source
Ion‐Reconfigurable “N”‐Shaped Antiambipolar Behavior in Organic Electrochemical Transistors
Advanced Materials, EarlyView.A unique N‐shaped negative differential transconductance (NDT) characteristics is demonstrated in single‐polymer organic electrochemical transistors through a sequential doping–redox–doping process driven by iodide ions. This redox‐driven mechanism enables low‐voltage, ion‐controlled reconfigurability and tunable current modulation, allowing seamless ...
Debdatta Panigrahi +11 more
wiley +1 more source
Context Semantics, Linear Logic and Computational Complexity
, 2006 22 pagesWe show that context semantics can be fruitfully applied to the quantitative analysis of proof normalization in linear logic. In particular, context semantics lets us define the weight of a proof-net as a measure of its inherent complexity: it is
Lago, Ugo Dal, DAL LAGO, UGO
core