Results 91 to 100 of about 93,973 (331)
Theoretical Computer Science, 2017 This paper introduces time window temporal logic (TWTL), a rich expressivity language for describing various time bounded specifications. In particular, the syntax and semantics of TWTL enable the compact representation of serial tasks, which are typically seen in robotics and control applications.
Vasile, Cristian-Ioan +2 more
openaire +4 more sources
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 temporal semantics for Nilpotent Minimum logic
, 2013 In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued {\L}ukasiewicz logic {\L}3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic
Bianchi, Matteo
core +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
Alternating-time temporal logic
Proceedings 38th Annual Symposium on Foundations of Computer Science, 1998 Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by the execution of a system; branching-time temporal logic allows explicit existential and universal quantification over all paths.
Rajeev Alur +2 more
openaire +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
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
An interval logic for higher-level temporal reasoning [PDF]
Prior work explored temporal logics, based on classical modal logics, as a framework for specifying and reasoning about concurrent programs, distributed systems, and communications protocols, and reported on efforts using temporal reasoning primitives to
Melliar-Smith, P. M. +3 more
core +1 more source
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
Advanced Robotics Research, EarlyView.Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar +8 more
wiley +1 more source