Results 91 to 100 of about 294,052 (285)
Path Checking for MTL and TPTL over Data Words [PDF]
Logical Methods in Computer Science, 2017 Metric temporal logic (MTL) and timed propositional temporal logic (TPTL) are quantitative extensions of linear temporal logic, which are prominent and widely used in the verification of real-timed systems.
Shiguang Feng +2 more
doaj +1 more source
Advanced Materials, EarlyView.The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj +8 more
wiley +1 more source
Robust Motion Planning employing Signal Temporal Logic
, 2017 Motion planning classically concerns the problem of accomplishing a goal configuration while avoiding obstacles. However, the need for more sophisticated motion planning methodologies, taking temporal aspects into account, has emerged.
baier, donzé, lindemann, maler
core +1 more source
The decision problem for linear temporal logic.
Notre Dame Journal of Formal Logic, 1985 The main result of this paper is the decidability of the set of universal monadic second-order sentences true in the structure consisting of the real numbers equipped with the usual order relation. Two proofs are given, the first exploiting a theorem of Rabin, and the second a method of Läuchli and Leonard.
Burgess, John P., Gurevich, Yuri
openaire +3 more sources
Advanced Materials, EarlyView.Flexible Ag2Te thin films achieving a record‐high mobility of 4756 cm2 V−1 s−1 and a peak power factor of 18.5 µW cm−1 K−2 are developed via precise structural control. The assembled flexible devices demonstrate excellent mechanical stability and ultrafast voltage response, enabling precise thermal detection when integrated into a robotic gripper for ...
Yue‐Xing Chen +15 more
wiley +1 more source
Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities
Advanced Materials, EarlyView.This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen +7 more
wiley +1 more source
Cut, invariant rule, and loop-check free sequent calculus for PLTL
Lietuvos Matematikos Rinkinys, 2011 In this paper, some loop-check free saturation-like decision procedure is proposed for propositional linear temporal logic (PLTL) with temporal operators “next” and “always”.
Romas Alonderis +1 more
doaj +1 more source
A Note on Parameterised Knowledge Operations in Temporal Logic [PDF]
, 2014 We consider modeling the conception of knowledge in terms of temporal logic. The study of knowledge logical operations is originated around 1962 by representation of knowledge and belief using modalities.
Rybakov, Vladimir
core
Logical consecutions in discrete linear temporal logic
Journal of Symbolic Logic, 2005 AbstractWe 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. We consider both valid and admissible consecutions in linear temporal logics and discuss the distinction between ...
openaire +4 more sources
Light‐Programmable Interfaces: From Molecular Photoswitching to Adaptive Membrane Separations
Advanced Materials Interfaces, EarlyView.This review advances an interface‐centered framework for light‐responsive membranes, linking molecular photoswitches (azobenzene (AZO), spiropyran (SP), diarylethene (DAE), donor–acceptor Stenhouse adducts (DASA), photoacid) to integration strategies in polymeric, porous, self‐assembled, and mixed‐matrix systems.
Liangliang Zhang +6 more
wiley +1 more source