Results 111 to 120 of about 1,072,805 (301)
Advanced Functional Materials, EarlyView.Balancing the spatially separated p‐ and n‐type transport pathways in heterojunction‐bilayer OTFTs enables symmetric inverter switching (VM ≈ 0.5VDD), whereas discrete integration of unipolar OTFTs gives polarity‐dependent and resistive responses. ABSTRACT High inverter performance in ambipolar organic electronics requires balanced channel strengths ...
Sohyun Choi +3 more
wiley +1 more source
A logic of separating modalities
Theoretical Computer Science, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Courtault, J-R, Galmiche, D, Pym, D
openaire +3 more sources
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
Modal Logic - a Tool for Design Process Formalisation
Acta Polytechnica, 2003 In this paper we show the possibility to formalize the design process by means of one type of non-standard logic - modal logic [1]. The type chosen for this study is modal logic S4.
I. Jelínek
doaj
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
THE MODAL µ-CALCULUS: A SURVEY
TASK Quarterly, 2005 The modal µ-calculus is an extension of modal logic with two operators µ and ν, which give the least and greatest fixpoints of monotone operators on powersets.
GIACOMO LENZI
doaj
Advanced Healthcare Materials, EarlyView.Conventional therapies suffer from poor blood–brain barrier (BBB) penetration and disordered ion/reactive oxygen species (ROS) homeostasis, hindering precise neurological treatment. Electrochemical strategies achieve accurate spatiotemporal regulation of neural homeostasis.
Xiaokang Hu +5 more
wiley +1 more source
Finding problems in knowledge bases using modal logics [PDF]
In this paper I propose that it is suitable to consider some statements that an expert makes during knowledge elicitation as being statements in a modal logic.
Gent, Ian
core
, 2020 We use modal logic to obtain syntactical, proof-theoretic versions of transfinite in- duction as axioms or rules within an appropriate labelled sequent calculus.
Negri Sara +2 more
core