Results 31 to 40 of about 547,797 (285)
IEEE Access, 2023 Modern cyber-physical systems would often fall victim to unanticipated anomalies. Humans are still required in many operations to troubleshoot and respond to such anomalies, such those in future deep space habitats.
Ziquan Deng +3 more
doaj +1 more source
The complexity of linear-time temporal logic over the class of ordinals [PDF]
, 2010 We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theorem.
Alexander Rabinovich +8 more
core +1 more source
Completeness classes for intuitionistic first-order temporal logic with time gaps
Lietuvos Matematikos Rinkinys, 2023 There is not abstract.
Romas Alonderis
doaj +3 more sources
HIERARCHICAL REPRESENTATION OF CAUSAL RELATIONSHIPS TO DETAIL EXPLANATIONS IN INTELLIGENT SYSTEMS
Сучасні інформаційні системи, 2021 The subject of research in the article is the processes of constructing explanations in intelligent systems based on the use of causal dependencies. The aim is to develop a hierarchical representation of causal relationships between the actions of an ...
Serhii Chalyi, Volodymyr Leshchynskyi
doaj +1 more source
The intuitionistic temporal logic of dynamical systems [PDF]
, 2018 A dynamical system is a pair $(X,f)$, where $X$ is a topological space and $f\colon X\to X$ is continuous. Kremer observed that the language of propositional linear temporal logic can be interpreted over the class of dynamical systems, giving rise to a ...
Fernández-Duque, David
core +2 more sources
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 +11 more
wiley +1 more source
Mexitl: Multimedia in Executable Interval Temporal Logic [PDF]
, 1997 This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal logic. We describe the requirements on temporal logic specification that arise from the multimedia documents application area ...
Bowman, Howard +3 more
core +2 more sources
Simplifying Inductive Schemes in Temporal Logic [PDF]
, 2019 In propositional temporal logic, the combination of the connectives "tomorrow" and "always in the future" require the use of induction tools. In this paper, we present a classification of inductive schemes for propositional linear temporal logic that ...
Cordero, Pablo, Fortes, Inmaculada
core +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 +16 more
wiley +1 more source
On Syntactical Simplification of Temporal Operators in Negation-Free Metric Temporal Logic
MathematicsTemporal reasoning in dynamic, data-intensive environments increasingly demands expressive yet tractable logical frameworks. Traditional approaches often rely on negation to express absence or contradiction.
Mathijs van Noort +2 more
doaj +1 more source