Results 101 to 110 of about 1,072,805 (301)
Conservative Extensions in Modal Logic
, 2006 Every normal modal logic L gives rise to the consequence relation \phi |=L \psi which holds if, and only if, \psi is true in a world of an L-model whenever \phi is true in that world. We consider the following algorithmic problem for L. Given two modal
S. Ghilardi +7 more
core +2 more sources
Bulk‐Like Spin Cycloid and Fast Switching in Freestanding BiFeO3
Advanced Functional Materials, EarlyView.Freestanding BiFeO3 membranes overcome substrate‐induced constraints by simultaneously restoring the intrinsic bulk‐like spin cycloid and enabling ≈50% faster ferroelectric switching than substrate‐clamped epitaxial thin films. This combination of robust noncollinear antiferromagnetic order and efficient electric‐field switching establishes ...
Pratap Pal +12 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Inspired by skeletal muscles’ precision and endurance, CoilLCE integrates a self‐sensing liquid crystal elastomer/graphene artificial muscle with an embedded Joule‐heating copper coil, enabling closed‐loop multistage actuation with programmable intermediate states (strain accuracy of 2%), and antagonistic coordination (32% total strain). These features
Ziyun Zhang +9 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Advanced ink systems for solution‐processed textile triboelectric nanogenerators are systematically summarized, spanning conductive, tribo‐negative, and tribo‐positive layers. By connecting ink chemistry, deposition methods, and device function, the present review reveals the key governing principles of solution development and highlights practical ...
Xinlong Sun, Stephen Beeby
wiley +1 more source
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 +4 more
wiley +1 more source
Probabilistic Justification Logic
Philosophies, 2018 Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification.
Joseph Lurie
doaj +1 more source
Dialetheic Conditional Modal Logic
, 2019 © Springer Nature Switzerland AG 2019. Standard modal logic for alethic modalities analyses modalities as ranging over all possible worlds (the Leibnizian universe). This leaves very little room in the space of worlds to entertain impossible things.
Girard, Patrick, Patrick Girard
core +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 +2 more
wiley +1 more source
Shock and Vibration, 2015 The paper presents an effective approach for damage identification of bridge based on Chebyshev polynomial fitting and fuzzy logic systems without considering baseline model data.
Yu-Bo Jiao +3 more
doaj +1 more source
Permission-based separation logic for message-passing concurrency [PDF]
, 2010 We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission-resources and define a reduction semantics for this extended language ...
Julian Rathke +8 more
core +1 more source