Results 131 to 140 of about 2,243,371 (296)

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]

Sensors (Basel), 2023
Bezerra WR, Martina JE, Westphall CB.
europepmc   +1 more source

Temporal Ensemble Logic

CoRR
We introduce Temporal Ensemble Logic (TEL), a monadic, first-order modal logic for linear-time temporal reasoning. TEL includes primitive temporal constructs such as ``always up to $t$ time later'' ($\Box_t$), ``sometimes before $t$ time in the future'' ($\Diamond_t$), and ``$t$-time later'' $φ_t$.
openaire   +2 more sources

Natural deduction system for linear time temporal logic

, 2008
We present a sound and complete Quine-style natural abstract deduction system for propositional linear-time temporal logic based on similar systems for the propositional classical logic.
Bolotov, A., Gregoryev, O., Shangin, V., Basukoski, A.   +3 more
core  

In Situ Integrated Titanium Oxide Synaptic Phototransistor Enabling Multimodal Plasticity and Noise‐Robust Selective Attention

Advanced Materials Technologies, EarlyView.
An in situ integrated TiO2/SiOx/Al2O3 synaptic phototransistor couples ultraviolet and electrical stimuli within a scalable, CMOS‐compatible oxide stack. Multimodal plasticity, spike‐timing‐dependent learning, and bee‐inspired associative conditioning are achieved through trap‐mediated temporal dynamics.
Youngbin Yoon, Jaehee Lee, Jeongwook Kwon, Yongki Kim, Myunghun Shin, Jung Wook Lim   +5 more
wiley   +1 more source

A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition. [PDF]

PeerJ Comput Sci, 2022
Zhao W, Liu Z.
europepmc   +1 more source

Toward Perception‐Native Electronic Skin: Bio‐Inspired In‐/Near‐Sensor and Neuromorphic Computing for Humanoid Robots

Advanced Materials Technologies, EarlyView.
Dense tactile streams from across the humanoid body converge on collide in a central wiring and data bottleneck. By relocating computation closer to and then into the skin itself, near‐ and in‐sensor architectures, together with neuromorphic computing, chart a path toward perception‐native electronic skin, in which the conversion of stimulus into ...
Mijin Kim, Chang‐Jae Beak, Jiyoung Park, Youngdo Jung, Sunjong Oh, Sin‐Hyung Lee, Bo‐Yeon Lee   +6 more
wiley   +1 more source

Compositional RL Agents That Follow Language Commands in Temporal Logic. [PDF]

Front Robot AI, 2021
Kuo YL, Katz B, Barbu A.
europepmc   +1 more source

On‐Chip Photonic Neural Network Architectures

Advanced Optical Materials, EarlyView.
This review presents a comprehensive overview of on‐chip photonic neural network architectures, covering key photonic building blocks, representative network types, and emerging applications. Recent advances, implementation challenges, and future directions are examined, highlighting the potential of integrated photonics to enable ultrafast, energy ...
Seokjin Hong, Berkay Neseli, Seungyeon Cho, Seungsoo Lee, Yeonjun Kim, Seungyoon Choi, Hyo‐Hoon Park, Hamza Kurt   +7 more
wiley   +1 more source

A leader‐follower communication protocol for motion planning in partially known environments under temporal logic specifications

IET Control Theory & Applications
This paper considers the problem of communication protocols between leaders and its followers for motion planning in an initially partially known environment.
Xiaohong Yan, Yingying Liu, Renwen Chen, Wei Duan   +3 more
doaj   +1 more source

Integration of Interval Temporal Logic in an Expression Evaluator

Applied Sciences
This paper presents NAXE, an expression evaluator framework for concurrent, resilient, and temporally aware applications, particularly in IoT domains. The key contribution is the principled integration of Interval Temporal Logic as a first-class feature ...
Francisco Morero-Peyrona, Javier Gutiérrez-Rodríguez, Manuel Mejías-Risoto   +2 more
doaj   +1 more source