Results 71 to 80 of about 93,973 (331)
Light‐Induced Entropy for Secure Vision
Advanced Materials, EarlyView.This work realized a ternary true random number generator by exploiting stochastic traps emerging within multiple junction interfaces, and quantitatively validated the generation of high‐quality random numbers. Furthermore, it successfully demonstrated diverse applications, including AI‐resilient image security, thereby providing a valuable guide for ...
Juhyung Seo +9 more
wiley +1 more source
A Probabilistic Temporal Epistemic Logic [PDF]
, 2021 Zoran Ognjanović +2 more
openalex +1 more source
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 +8 more
wiley +1 more source
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 +7 more
wiley +1 more source
Making Agents’ Abilities Explicit
IEEE Access, 2019 Alternating-time temporal logics (ATL/ATL*) represent a family of modal and temporal logics for reasoning about strategic abilities of agents in multiagent systems.
Yedi Zhang, Fu Song, Taolue Chen
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
Advanced Materials, EarlyView.Flexible Ag2Te thin films achieving a record‐high mobility of 4756 cm2 V−1 s−1 and a peak power factor of 18.5 µW cm−1 K−2 are developed via precise structural control. The assembled flexible devices demonstrate excellent mechanical stability and ultrafast voltage response, enabling precise thermal detection when integrated into a robotic gripper for ...
Yue‐Xing Chen +15 more
wiley +1 more source
Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation [PDF]
, 2013 We present a new temporal logic called Distribution Temporal Logic (DTL) defined over predicates of belief states and hidden states of partially observable systems.
Belta, Calin +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. +6 more
openaire +1 more source
Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities
Advanced Materials, EarlyView.This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen +7 more
wiley +1 more source