Results 51 to 60 of about 71,357 (311)

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

Temporal Logics for Hyperproperties [PDF]

, 2014
Two new logics for verification of hyperproperties are proposed. Hyperproperties characterize security policies, such as noninterference, as a property of sets of computation paths. Standard temporal logics such as LTL, CTL, and CTL* can refer only to a single path at a time, hence cannot express many hyperproperties of interest.
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez 0001   +5 more
openaire   +2 more sources

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

Automating natural deduction for temporal logic [PDF]

, 2007
We present our recent work on the construction of natural deduction calculi for temporal logic. We analyse propositional linear-time temporal logic (PLTL) and Computation Tree Logic (CTL) and corresponding proof searching algorithms.
Bolotov, A., Grigoriev, O., Shangin, V.
core  

Modeling Patient Flows: A Temporal Logic Approach [PDF]

, 2018
Constructing a consistent process model can be instrumental in streamlining healthcare issues. Current process modeling techniques used in healthcare, such as flowcharts, unified modeling language activity diagram (UML AD), and business process modeling ...
Chaussalet, T.J., Chishti, I., Basukoski, A.   +2 more
core   +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

Integration of Low‐Voltage Nanoscale MoS2 Memristors on CMOS Microchips

Advanced Functional Materials, EarlyView.
This article presents the first monolithic integration of nanoscale MoS2‐based memristors into the back‐end‐of‐line of foundry‐fabricated CMOS microchips in a one‐transistor‐one‐resistor (1T1R) architecture. The MoS2‐based 1T1R cells exhibit forming‐free, nonvolatile resistive switching with ultra‐low operating voltages, low cycle‐to‐cycle variability ...
Jimin Lee, Sofía Cruces, Xiaohua Liu, Yang Chen, Vasilis A. Maroufidis, Janghyun Jo, Lukas Völkel, Dennis Braun, Michael Möller, Leon Brackmann, Holger Kalisch, Michael Heuken, Andrei Vescan, Rafal E. Dunin‐Borkowski, Joachim Mayer, Stefan Wiefels, Max C. Lemme   +16 more
wiley   +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, Sri Vaishnavi Thummalapalli, Clarissa Westover, Arunachalam Ramanathan, M. Taylor Sobzcak, Roumika Patil, Qixuan Xiang, Tiantian Li, Sui Yang, Timothy E. Long, Hongyue Sun, Xianqiao Wang, Yang Liu, Kenan Song   +13 more
wiley   +1 more source

Reasoning about XML with temporal logics and automata [PDF]

, 2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of programs Many properties of interest in the XML context are related to ...
Leonid Libkin, Libkin, Leonid, Sirangelo, Cristina, Cristina Sirangelo   +3 more
core   +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