Results 101 to 110 of about 294,052 (285)
Advanced Materials Technologies, EarlyView.Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu +8 more
wiley +1 more source
Recent Advances of Slip Sensors for Smart Robotics
Advanced Materials Technologies, EarlyView.This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang +8 more
wiley +1 more source
Enhanced Self‐Phase Modulation in Silicon Nitride Waveguides Integrated With 2D MoS2 Films
Advanced Materials Technologies, EarlyView.ABSTRACT On‐chip integration of 2D materials provides a promising route toward next‐generation integrated optical devices with performance beyond existing limits. Here, significantly enhanced spectral broadening induced by self‐phase modulation (SPM) is experimentally demonstrated in silicon nitride (Si3N4) waveguides integrated with 2D monolayer ...
Shahaz S. Hameed +15 more
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
Skin‐Like Tri‐Modal Sensors Based on Soft Piezoelectric and Ionic Composites
Advanced Materials Technologies, EarlyView.Inspired by the multimodal perception of human skin, a soft, skin‐like tri‐modal sensor is presented. The device incorporates an ionically conductive, piezoelectric, elastic composite as its active layer, enabling independent detection of temperature, static strain, and dynamic strain within a single two‐terminal architecture.
Liren Wang +9 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
A Temporal Logic for Hyperproperties
, 2013 Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths.
Finkbeiner, Bernd +2 more
core
Advanced Optical Materials, EarlyView.Solution‐processed MoS2 films with intrinsic sulfur‐vacancy traps are used to integrate light sensing and memory in a simple two‐terminal pixel. Successive optical pulses program persistent, multilevel conductance states, while oxygen exposure enables rapid erasure.
Jihyun Kim +8 more
wiley +1 more source
Unification in linear temporal logic LTL
Annals of Pure and Applied Logic, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Babenyshev, Sergey, Rybakov, Vladimir
openaire +2 more sources
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source