Results 71 to 80 of about 547,797 (285)

Checking Interval Properties of Computations

, 2015
Model checking is a powerful method widely explored in formal verification. Given a model of a system, e.g., a Kripke structure, and a formula specifying its expected behaviour, one can verify whether the system meets the behaviour by checking the ...
Molinari, A., Montanari, A., Murano, A., Perelli, G., Peron, A.   +4 more
core   +1 more source

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

Temporal Answer Set Programming on Finite Traces

, 2018
In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for finite traces.
Cabalar, Pedro, Kaminski, Roland, Schaub, Torsten, Schuhmann, Anna   +3 more
core   +1 more source

Orientation Engineering of MXene Flakes

Advanced Materials, EarlyView.
Orientation engineering of MXene flakes refers to the transformation of disordered MXene flakes into ordered architectures with optimized multiphysical transport properties. Focusing on this topic, this review outlines key principles, characterization, fabrication strategies, and advanced applications of oriented MXene structures.
Yizhou Wang, Shuo Li, Tianchao Guo, Dekang Zhu, Ning Chu, Noor Albar, Dana Alsulaiman, Husam N. Alshareef   +7 more
wiley   +1 more source

Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications

Logics
We present Stratified Metric Temporal Logic (SMTL), a novel formalism for specifying and verifying the properties of complex cyber–physical systems that exhibit behaviors across multiple temporal and abstraction scales.
Ali Baheri, Peng Wei
doaj   +1 more source

Teaching Formal Models of Concurrency Specification and Analysis

Моделирование и анализ информационных систем, 2015
There is a widespread and rapidly growing interest to the parallel programming nowadays. This interest is based on availability of supercomputers, computer clusters and powerful graphic processors for computational mathematics and simulation. MPI, OpenMP,
N. V. Shilov
doaj   +1 more source

Combining Temporal Logic Systems

Notre Dame Journal of Formal Logic, 1996
Modular combinations of temporal logic systems are investigated. Four methods for combining two temporal logics are described and studied. 1. The temporalization method, i.e. the external application of a temporal logic to another temporal system (adding a temporal dimension to a logic system). 2. The independent combination of two temporal systems. 3.
Finger, Marcelo, Gabbay, Dov
openaire   +2 more sources

Two‐Dimensional Reconfigurable Photodiode for In‐Sensor Color Filtering and Spectral Logic

Advanced Materials, EarlyView.
By harnessing the photodoping of different aggregates, the device exhibits wavelength‐dependent volatile‐to‐nonvolatile photoresponses that can be reconfigured via bias modulation. This enables in‐sensor color filtering and spectral‐encrypted information processing, eliminating reliance on external optical filters or post‐processing algorithms ...
Xiaokun Guo, Yaoqiang Zhou, Yufeng Zhang, Xinyi Zhao, Yue Pang, Lei Tong, Zhipei Sun, Jianbin Xu   +7 more
wiley   +1 more source

Temporal Landscapes: A Graphical Temporal Logic for Reasoning

, 2019
We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is similar to the usual first-order logic; what differs is the notion of truth ...
Fong, Brendan, Speranzon, Alberto, Spivak, David I.   +2 more
core  

Executable Temporal Logic Systems

Journal of Symbolic Computation, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Orgun, Mehmet A., Faustini, Anthony A., Schäfer, Karl, Brzoska, Christoph, Fisher, Michael, Kellet, Adam, Moszkowski, Ben   +6 more
openaire   +1 more source