Transfer of Temporal Logic Formulas in Reinforcement Learning. [PDF]
IJCAI (U S), 2019 Xu Z, Topcu U.
europepmc +1 more source
Ferroelectric Devices for In‐Memory and In‐Sensor Computing
Advanced Science, EarlyView.Inspired by biological systems, in‐memory and in‐sensor computing overcome von Neumann bottlenecks. Ferroelectric devices can mimic synaptic functions and sense stimuli like light or force, therefore are ideal for these paradigms. This review introduces the ferroelectric devices applied for in‐memory and in‐sensor computing, covering their structures ...
Hong Fang +5 more
wiley +1 more source
Pareto-Optimal Interventions in Gene Regulatory Networks using Signal Temporal Logic. [PDF]
Proc Am Control ConfHosseini SH, Aksaray D, Imani M.
europepmc +1 more source
Synthesizing adaptive test strategies from temporal logic specifications. [PDF]
Form Methods Syst Des, 2019 Bloem R +6 more
europepmc +1 more source
Advances and Perspectives in Graphene‐Based Quantum Dots Enabled Neuromorphic Devices
Advanced Science, EarlyView.Graphene‐based QDs are zero‐dimensional carbon nanomaterials with pronounced quantum confinement and tunable electronic structures. Herein, we summarize their synthesis strategies and functionalization methods, and highlight their functional roles and operating mechanisms in devices, as well as recent advances in neuromorphic electronics. We anticipate
Yulin Zhen +9 more
wiley +1 more source
Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications. [PDF]
Sensors (Basel)Im E, Choi M, Cho K.
europepmc +1 more source
Model Checking Temporal Logic Formulas Using Sticker Automata. [PDF]
Biomed Res Int, 2017 Zhu W, Feng C, Wu H.
europepmc +1 more source
Multi‐Functional Adaptive Interfaces for Next‐Generation Wearable and Implantable Bioelectronics
Advanced Science, EarlyView.Adaptive Biointerfaces: A comprehensive overview of next‐generation bioelectronics is presented, highlighting mechano‐adaptive and biophysiologically adaptive interfaces that enable stable, long‐term integration with living tissues. As illustrated in the image, adaptive interface strategies, including mechano‐adaptivity (e.g., injectability, shape ...
Jinhong Park +7 more
wiley +1 more source
SPIN-Based Linear Temporal Logic Path Planning for Ground Vehicle Missions with Motion Constraints on Digital Elevation Models. [PDF]
Sensors (Basel)Toscano-Moreno M +3 more
europepmc +1 more source
A population-based temporal logic gate for timing and recording chemical events. [PDF]
Mol Syst Biol, 2016 Hsiao V +3 more
europepmc +1 more source