Results 101 to 110 of about 2,393,674 (352)
Advanced Materials, EarlyView.Screen gate‐based transistors are presented, enabling tunable analog sigmoid and Gaussian activations. The SA‐transistor improves MRI classification accuracy, while the GA‐transistor supports precise Gaussian kernel tuning for forecasting. Both functions are implemented in a single device, offering compact, energy‐efficient analog AI processing ...
Junhyung Cho +9 more
wiley +1 more source
Temporal Logic Formalization of Marine Traffic Rules
, 2021 Hanna Krasowski, Matthias Althoff
openalex +2 more sources
Quantales and Temporal Logics [PDF]
, 2006 We propose an algebraic semantics for the temporal logic CTL* and simplify it for its sublogics CTL and LTL. We abstractly represent state and path formulas over transition systems in Boolean left quantales. These are complete lattices with a multiplication that preserves arbitrary joins in its left argument and is isotone in its right argument.
Möller, Bernhard (Prof.) +2 more
openaire +1 more source
Observation of Topological Chirality Switching Induced Freezing of a Skyrmion Crystal
Advanced Materials, EarlyView.Using Lorentz Transmission electron microscopy, it is shown that in the insulating van der Waals ferromagnet, CrBr3, a magnetic field can cause Bloch skyrmionic bubbles to spontaneously switch their chirality. As achiral type‐II bubbles are an intermediate state, the bubbles rapidly elongate and shrink when switching, thereby inducing a freezing of the
John Fullerton +10 more
wiley +1 more source
Partial cut elimination for combinations of propositional multi-modal logics with past time
Lietuvos Matematikos Rinkinys, 2011 We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]
Sensors (Basel), 2022 Zbrzezny AM, Zbrzezny A.
europepmc +1 more source
Temporal Logic Task Allocation in Heterogeneous Multirobot Systems
IEEE Transactions on robotics, 2022 Xusheng Luo, M. Zavlanos
semanticscholar +1 more source
Organic Electrochemical Transistors for Neuromorphic Devices and Applications
Advanced Materials, EarlyView.Organic electrochemical transistors are emerging as promising platforms for neuromorphic devices that emulate neuronal and synaptic activities and can seamlessly integrate with biological systems. This review focuses on resultant organic artificial neurons, synapses, and integrated devices, with an emphasis on their ability to perform neuromorphic ...
Kexin Xiang +4 more
wiley +1 more source
Mapping Temporally Ordered Inputs to Binary Message Outputs with a DNA Temporal Logic Circuit. [PDF]
Nanomaterials (Basel), 2023 Zhao S +5 more
europepmc +1 more source
Advanced Materials, EarlyView.A 3D‐printed BSA–PEGDA bilayer actuator performs biochemical logic, bending autonomously in acid and releasing its drug payload only when both acid and pepsin are present. This dual‐stage, enzyme‐gated mechanism enables autonomous catch‐and‐release motion and controlled gastric drug delivery, representing a programmable soft material powered by ...
Yuchen Liu +3 more
wiley +1 more source