Results 41 to 50 of about 547,797 (285)

Design of the Sequential System Automata using Temporal Equivalence Classes [PDF]

Computer Science Journal of Moldova, 1997
A design method of sequential system automata using temporal logic specifications is proposed in this paper. The method is based on well-known Z.Manna and P.Wolper temporal logic satisfiability analysis procedure [1] and is extended to include past time ...
A. Ursu, G. Gruita, S. Zaporojan
doaj  

A sequent calculus for propositional temporal logic with time gaps

Lietuvos Matematikos Rinkinys, 2011
A sequent calculus with Kripke semantics internalization for a propositional temporal logic with time gaps is introduced. All rules of the calculus are context-free and height-preserving invertible. Structural rules are admissible.
Romas Alonderis
doaj   +1 more source

Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?

Advanced Functional Materials, EarlyView.
This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee, Yunseo Kim, Hyeong‐ku Jo, Dongjoon Yoon, Byeonghyeok Im, WonJeong Yu, Eui‐Rim On, Changhwan Lee   +7 more
wiley   +1 more source

Towards an algebrization of a linear temporal logic

CQD Revista Eletrônica Paulista de Matemática
The subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas, Hércules de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini   +2 more
doaj   +1 more source

Toward Stable Multivalent Metal Batteries: Understanding the Interfacial Chemistry for Magnesium and Calcium Metal Anodes

Advanced Functional Materials, EarlyView.
Interphase chemistry governs the stability of multivalent metal batteries. We summarize state‐of‐the‐art developments in calcium and magnesium metal batteries by focusing on the correlation among electrolytes, interphase layers, and the electrochemical performance of corresponding metal anodes.
Huijun Lin, Qi Meng, Juncai Long, Chuheng Cao, Zheng‐Long Xu   +4 more
wiley   +1 more source

Certain Bounds of Formulas in Free Temporal Algebras

Axioms, 2023
In this paper, we give a basic structure theorem based on the study of extreme cases for the value of ≺ (the classical precedence relation between ultrafilters), i.e., ≺=∅ and no isolated element in ≺.
Francisco Miguel García-Olmedo, Antonio Jesús Rodríguez-Salas, Pedro González-Rodelas   +2 more
doaj   +1 more source

Multi‐Scale Interface Engineering of MXenes for Multifunctional Sensory Systems

Advanced Functional Materials, EarlyView.
MXenes, as two‐dimensional transition metal carbides and nitrides, demonstrate remarkable capabilities for multifunctional sensing applications. This review systematically examines multi‐scale interface engineering approaches that enhance sensing performance, enable diverse detection functionalities, and improve system‐level compatibility in MXene ...
Jiaying Liao, Sin‐Yi Pang, Jianhua Hao
wiley   +1 more source

Logical foundations and implementation of an extension of temporal logic

Journal of Computer Science and Technology, 2000
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas.
María Laura Cobo, Juan Carlos Augusto
doaj  

Robustness Analysis for Value-Freezing Signal Temporal Logic

, 2013
In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL* by adapting the robustness measures previously introduced for Metric ...
Brim, L., Fabriková, J., Vejpustek, T., Šafránek, D.   +3 more
core   +2 more sources

Intuitionistic Linear Temporal Logics [PDF]

ACM Transactions on Computational Logic, 2019
We consider intuitionistic variants of linear temporal logic with “next,” “until,” and “release” based on expanding posets : partial orders equipped with an order-preserving transition function. This class of structures gives rise to a logic that we denote ITL e , and by imposing additional ...
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque   +3 more
openaire   +4 more sources