Results 111 to 120 of about 283,349 (325)
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
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
Halide Perovskite Memristor Crossbar Arrays for Low Voltage in Memory Computing
Advanced Materials Interfaces, EarlyView.From early devices to centimeter‐scale crossbars, halide‐perovskite memristors now deliver ultra‐low‐energy, multilevel switching. Yet ion migration, device variability, and sneak currents hinder scaling. Advances in self‐rectifying junctions, nonlinear interfaces, bias maps, and hybrid oxides enhance array stability.
Hyojung Kim
wiley +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
Advanced Materials Technologies, EarlyView.The feasibility of 3D‐printed optical antennas using commercial, non‐optical materials for Optical Wireless Communications (OWC) is demonstrated. This study combines spectral analysis, anisotropy effects, and telecom‐relevant optical measurements, revealing promising performance and novel insights for low‐cost, customizable photonic components in ...
Mauro Aresti +6 more
wiley +1 more source
International Journal of Prognostics and Health Management, 2015 For unmanned aerial systems (UAS) to be successfully deployed and integrated within the national airspace, it is imperative that they possess the capability to effectively complete their missions without compromising the safety of other aircraft, as well
Johann Schumann +5 more
doaj +1 more source
Robust Motion Planning employing Signal Temporal Logic
, 2017 Motion planning classically concerns the problem of accomplishing a goal configuration while avoiding obstacles. However, the need for more sophisticated motion planning methodologies, taking temporal aspects into account, has emerged.
baier, donzé, lindemann, maler
core +1 more source
Untethered Magnetic Microswimmers for Targeted Particle Transport and Flow Manipulation
Advanced Materials Technologies, EarlyView.This work introduces magnetically actuated microswimmers to dynamically reconfigure fluid flow within a single microfluidic device. Multiple homogeneous microswimmers are independently controlled by an external magnetic field to perform translational and rotational motions, thereby inducing real‐time flow manipulation.
Dineshkumar Loganathan +3 more
wiley +1 more source
CARET analysis of multithreaded programs
, 2017 Dynamic Pushdown Networks (DPNs) are a natural model for multithreaded programs with (recursive) procedure calls and thread creation. On the other hand, CARET is a temporal logic that allows to write linear temporal formulas while taking into account the
A Bouajjani +12 more
core +1 more source
Exploring Double NDR Modulation and UV‐NIR Photodetection in MoS2/Sb2Se3 Heterostructures
Advanced Optical Materials, EarlyView.In this study, a van der Waals Sb2Se3/MoS2 heterostructure exhibits dual negative differential resistance (NDR) peaks at room temperature. The first originates from band‐to‐band tunneling, while the second, triggered under laser illumination, is attributed to trap states and recombination dynamics.
Muhammad Suleman +8 more
wiley +1 more source