Temporal logic circuits implementation using a dual cross-inhibition mechanism based on DNA strand displacement. [PDF]
RSC Adv, 2023 Liu Y +6 more
europepmc +1 more source
Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells
Advanced Materials, EarlyView.This study demonstrates 3D printing inside living cells by using two‐photon photo‐lithography. A bio‐compatible photoresist is injected into cells and selectively polymerized with a femtosecond laser, creating custom‐shaped intracellular structures with submicron resolution.
Maruša Mur +4 more
wiley +1 more source
Logic of Algorithmic Knowledge
Studies in Logic, Grammar and Rhetoric, 2015 In this paper we consider the construction of a LAK system of temporal-epistemic logic which is used to formally describe algorithmic knowledge. We propose an axiom system of LAK and discuss the basic properties of this logic.
Surowik Dariusz
doaj +1 more source
Safe reinforcement learning under temporal logic with reward design and quantum action selection. [PDF]
Sci Rep, 2023 Cai M, Xiao S, Li J, Kan Z.
europepmc +1 more source
Materials and System Design for Self‐Decision Bioelectronic Systems
Advanced Materials, EarlyView.This review highlights how self‐decision bioelectronic systems integrate sensing, computation, and therapy into autonomous, closed‐loop platforms that continuously monitor and treat diseases, marking a major step toward intelligent, self‐regulating healthcare technologies.
Qiankun Zeng +9 more
wiley +1 more source
DronesThis paper proposes an online human-aware behavior planning method to enable Unmanned Aerial Vehicles (UAVs) to dynamically satisfy high-level linear temporal logic (LTL) task descriptions from human collaborators.
Jiancheng Zhu +3 more
doaj +1 more source
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
A Probabilistic Temporal Epistemic Logic [PDF]
, 2021 Zoran Ognjanović +2 more
openalex +1 more source
Soft Electromagnetic Actuator and Oscillator
Advanced Materials Technologies, Volume 10, Issue 6, March 18, 2025.This work presents a groundbreaking soft electromagnetic system capable of bistable actuation and self‐regulated oscillation. Using liquid metal and silicone as a compliant conductor, the actuator enables force generation, sensing, and feedback with minimal power.
Noah D. Kohls, Yi Chen Mazumdar
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