Results 191 to 200 of about 2,393,674 (352)
Fuzzy temporal logic based railway passenger flow forecast model. [PDF]
Dou F, Jia L, Wang L, Xu J, Huang Y.
europepmc +1 more source
RRAM Variability Harvesting for CIM‐Integrated TRNG
This work demonstrates a compute‐in‐memory‐compatible true random number generator that harvests intrinsic cycle‐to‐cycle variability from a 1T1R RRAM array. Parallel entropy extraction enables high‐throughput bit generation without dedicated circuits. This approach achieves NIST‐compliant randomness and low per‐bit energy, offering a scalable hardware
Ankit Bende +4 more
wiley +1 more source
5 nm HfO2 memristors exhibit a fully reversible, voltage‐controlled transition between filamentary and interfacial switching within the same device. At high voltages, a filament forms and dominates the conduction, whereas at lower voltages the device reversibly returns to interfacial mode without defect accumulation, implying a new reversible ...
Cuo Wu +8 more
wiley +1 more source
(To Appear) The LTL Whisperer: Prompting AI to Explain Temporal Logic: Supplemental Information
Sonora Halili +2 more
openalex +1 more source
WO3${\rm WO}_3$ based resistive switching device was precisely controlled and shows the reconfigurable, non‐volatile switching which can be programmable to multi‐resistance states for memory applications. The memory device can also be utilised for low energy neuromorphic application.
Keval Hadiyal +2 more
wiley +1 more source
The Influence of Jerzy Łoś on Early Developments in Temporal Logic
Aleksander Parol
openalex +2 more sources
Emerging Memory and Device Technologies for Hardware‐Accelerated Model Training and Inference
This review investigates the suitability of various emerging memory technologies as compute‐in‐memory hardware for artificial intelligence (AI) applications. Distinct requirements for training‐ and inference‐centric computing are discussed, spanning device physics, materials, and system integration.
Yoonho Cho +6 more
wiley +1 more source
Multi-agent reinforcement learning with synchronized and decomposed reward automaton synthesized from reactive temporal logic [PDF]
Chenyang Zhu +4 more
openalex +1 more source
Maximum Realizability for Linear Temporal Logic Specifications [PDF]
Rayna Dimitrova +2 more
openalex +1 more source
Triboelectric nanogenerators are vital for sustainable energy in future technologies such as wearables, implants, AI, ML, sensors and medical systems. This review highlights improved TENG neuromorphic devices with higher energy output, better stability, reduced power demands, scalable designs and lower costs.
Ruthran Rameshkumar +2 more
wiley +1 more source

