Results 61 to 70 of about 26,826 (260)

On the Translation of Automata to Linear Temporal Logic

, 2022
AbstractWhile the complexity of translating future linear temporal logic (LTL) into automata on infinite words is well-understood, the size increase involved in turning automata back to LTL is not. In particular, there is no known elementary bound on the complexity of translating deterministic$$\omega $$ω-regular automata to LTL.Our first contribution ...
Udi Boker, Karoliina Lehtinen, Salomon Sickert   +2 more
openaire   +2 more sources

Azobenzene's Cross‐Scale Optics and Photonics: Molecular Photoswitching, Mesoscopic Material Motions, and Adaptive Devices

Advanced Materials, EarlyView.
Azobenzene photoswitches translate molecular‐scale E/Z photoisomerization into macroscopic material responses and device‐level photonic functions. This Review highlights how azobenzene research has evolved from molecular photochemistry to photoalignment, mass migration, photomechanics, and heat release, ultimately enabling holography, reconfigurable ...
Heeju Son, Soyul Kwak, Heerin Noh, Minsang Kim, Doyeon Noh, Subhayan Chakraborty, Jaewon Lee, YongDeok Cho, Kyeongsoo Kim, Taewoong Eom, Moonyoung Kim, Jangwon Kim, Hoyoung Lee, Soyoung Lee, Jaehun Kim, Grace G. D. Han, Shin‐Tson Wu, Stefano Oscurato, Arri Priimagi, Marina Saphiannikova, Seungwoo Lee   +20 more
wiley   +1 more source

Unification in linear temporal logic LTL

Annals of Pure and Applied Logic, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sergey Babenyshev, Vladimir V. Rybakov
openaire   +2 more sources

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

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, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 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, Zhanxi Fan, Jingjie Ge, Qiyuan He, Zhuangchai Lai, Jiawei Liu, Chaoliang Tan, Hua Zhang   +7 more
wiley   +1 more source

Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds [PDF]

Logical Methods in Computer Science, 2012
Path checking, the special case of the model checking problem where the model under consideration is a single path, plays an important role in monitoring, testing, and verification. We prove that for linear-time temporal logic (LTL), path checking can be
Lars Kuhtz, Bernd Finkbeiner
doaj   +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

Mechanism‐Driven Nanoformulations for Cognitive Impairment Induced by Intermittent Hypoxia and Periodontitis

Advanced Materials, EarlyView.
Clinically, intermittent hypoxia (IH) is often accompanied by periodontitis, which accelerates cognitive impairment induced by IH. Novel Janus mesoporous gold‐silica nanoformulations (RVG‐Au&mSiO2‐TPP‐VB) enable intranasal delivery, achieve hierarchical targeting to neuronal mitochondria, effectively scavenge reactive oxygen species, inhibit the HIF‐1α/
Kai‐Run Zhang, Tianbao Zhu, An‐Qi Liu, Jia‐Jia Deng, Ya‐Li Han, Sheng‐Cai Qi, Xue Liu, Tian‐Yi Jiang, Ming‐Rui Zhai, Yu‐Ying He, Xiu‐Juan Li, Hong‐Ting Da, Rui Xu, Xiaomin Li, Jun Gao, Yue‐Hua Liu   +15 more
wiley   +1 more source

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time [PDF]

Logical Methods in Computer Science, 2012
Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL variants, axiom systems and tools have been investigated.
Ben Moszkowski
doaj   +1 more source

Efficient Normalization of Linear Temporal Logic

Journal of the ACM
In the mid 1980s, Lichtenstein, Pnueli, and Zuck proved a classical theorem stating that every formula of Past LTL (the extension of Linear Temporal Logic (LTL) with past operators) is equivalent to a formula of the form \(\bigwedge _{i=1}^n {\mathbf {G}}{\mathbf {F}}\varphi _i \vee {\mathbf {F}}{\mathbf {G}}\psi
Javier Esparza, Rubén Rubio, Salomon Sickert   +2 more
openaire   +3 more sources