Results 71 to 80 of about 6,826 (311)
Advanced Functional Materials, EarlyView.A fully transparent, all‐metal‐oxide neuromorphic transistor using a sodium‐embedded alumina (SEA) electrolyte is demonstrated. By precisely tuning the thermal annealing process, the chemical composition of the SEA layer is controlled, allowing for the deterministic realization of both short‐term and long‐term synaptic plasticity within the same device
Yonghyun Albert Kwon +7 more
wiley +1 more source
A Road Map of Interval Temporal Logics and Duration Calculi [PDF]
, 2004 We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems,
Goranko, Valentin +4 more
core +1 more source
3D Printing Innovations in Polymeric Porous and Patterned Architecture
Advanced Functional Materials, EarlyView.Polymeric foams occupy a unique structural space between dense solids and open networks, where engineered void fraction governs mechanical compliance, thermal resistance, and mass transport. Additive manufacturing now enables precise spatial control over cellular architecture, unlocking designer foam structures across applications spanning crash ...
Dhanush Patil +13 more
wiley +1 more source
On Temporal and Separation Logics (Invited Paper)
, 2018 There exist many success stories about the introduction of logics designed for the formal verification of computer systems. Obviously, the introduction of temporal logics to computer science has been a major step in the development of model-checking ...
Demri, Stéphane
core +1 more source
Satisfiability of ATL with strategy contexts [PDF]
, 2013 Various extensions of the temporal logic ATL have recently been introduced to express rich properties of multi-agent systems. Among these, ATLsc extends ATL with strategy contexts, while Strategy Logic has first-order quantification over strategies ...
François Laroussinie +3 more
core +1 more source
On the Complexity of Temporal Equilibrium Logic [PDF]
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015 Temporal Equilibrium Logic (TEL) is a promising framework that extends the knowledge representation and reasoning capabilities of Answer Set Programming with temporal operators in the style of LTL. To our knowledge it is the first nonmonotonic logic that accommodates fully the syntax of a standard temporal logic (specifically LTL) without requiring ...
Laura Bozzelli, David Pearce 0001
openaire +2 more sources
Temporal logic for social networks
Journal of Logic and Computation, 2022 Abstract This paper introduces a logic with a class of social network models that is based on standard Linear Temporal Logic, which allows for leveraging the power of existing model checkers for the analysis of social networks. We provide a short literature overview, and then define our logic and its axiomatization, present some simple ...
Vitor Machado, Mario R. F. Benevides
openaire +2 more sources
Electro‐Steric Ion Confinement in Polyelectrolyte Networks for Robust Nonvolatile Artificial Synapse
Advanced Functional Materials, EarlyView.Polyelectrolyte stoichiometry governs ion transport and retention in electrolyte‐gated synaptic transistors. A PSS‐rich network creates electro‐steric ion confinement that suppresses ion back‐diffusion and stabilizes channel doping, enabling robust nonvolatile synaptic memory, linear weight updates, and low‐energy operation.
Donghwa Lee +9 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A nanounit‐assembled hydrogel employing a “pull‐and‐push” strategy simultaneously scavenges pro‐inflammatory cell‐free DNA (cfDNA) and delivers regenerative therapeutics in response to burn‐induced hyperthermia. By repolarizing macrophages and promoting angiogenesis, this multifunctional platform accelerates burn wound healing, offering a blueprint for
Han‐Sem Kim +9 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Thermally oxidized MoS2‐based radio‐frequency switches enable a multifunctional platform that unifies broadband RF switching and in‐memory computation. The device achieves a cutoff frequency of 33.2 THz with high energy efficiency and supports hardware‐aware signal processing.
Juho Son +5 more
wiley +1 more source