Results 111 to 120 of about 2,243,371 (296)
Theoretical Computer Science, 2017 This paper introduces time window temporal logic (TWTL), a rich expressivity language for describing various time bounded specifications. In particular, the syntax and semantics of TWTL enable the compact representation of serial tasks, which are typically seen in robotics and control applications.
Cristian Ioan Vasile +2 more
openaire +6 more sources
A Decidable Intuitionistic Temporal Logic [PDF]
, 2017 We introduce the logic ITL^e, an intuitionistic temporal logic based on structures (W,R,S), where R is used to interpret intuitionistic implication and S is an R-monotone function used to interpret temporal modalities.
Diéguez, Martín +3 more
core +1 more source
Data‐Driven Materials Science for Energy‐Sustainable Applications
Advanced Materials, EarlyView.Data‐driven approaches powered by artificial intelligence are transforming materials discovery for energy sustainability. This review examines how auto‐generated high‐quality materials databases and domain‐specific language models accelerate research in photovoltaics, thermoelectrics, batteries and magnetic materials. Applications involve extraction of
Jacqueline M. Cole
wiley +1 more source
Program transformations using temporal logic side conditions [PDF]
This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of ...
Kalvala, Sara +2 more
core
Advanced Materials, EarlyView.Memristors offer tunable resistance and intrinsic instability, making them promising tunable noise sources. We propose a spiking‐rate‐programmable probabilistic neuron using a Ru/TaOx/Pt memristor, where resistance‐dependent noise enables frequency‐selective encoding.
Do Hoon Kim +8 more
wiley +1 more source
Monadic second order logic as the model companion of temporal logic
, 2016 The main focus of this paper is on bisimulation-invariant MSO, and more particularly on giving a novel model-theoretic approach to it. In model theory, a model companion of a theory is a first-order description of the class of models in which all ...
S. van Gool +3 more
core +1 more source
Advanced Materials, EarlyView.Inorganic compound‐modified separators transform lithium–sulfur batteries from passive polysulfide confinement to active reaction‐pathway regulation. A Practical Relevance Index (PRI)‐guided framework bridges interfacial chemistry of inorganic separators with practical constraints, establishing unified design principles for scalable, high‐energy ...
Yuting Qin +7 more
wiley +1 more source
DNA Strand-Displacement Temporal Logic Circuits. [PDF]
J Am Chem Soc, 2022 Lapteva AP, Sarraf N, Qian L.
europepmc +1 more source
On temporal logic versus datalog
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Guessarian, Irene +3 more
openaire +4 more sources
Advanced Materials, EarlyView.Rapid thiol‐maleimide addition frequently outpaces mixing, resulting in heterogeneous hydrogels. S‐nitrosothiols act as thiol‐protecting groups, allowing uniform mixing with maleimide‐functionalized polymers before gelation. Sodium thiosulfate or sodium ascorbate then regenerates thiols on demand, triggering controlled thiol‐maleimide crosslinking ...
Julian A. Serna +7 more
wiley +1 more source