Results 71 to 80 of about 48,451 (258)
Towards Representing Processes and Reasoning with Process Descriptions on the Web [PDF]
Transactions on Graph Data and KnowledgeWe work towards a vocabulary to represent processes and temporal logic specifications as graph-structured data. Different fields use incompatible terminologies for describing essentially the same process-related concepts.
Harth, Andreas +5 more
doaj +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
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
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
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
DNA Strand-Displacement Temporal Logic Circuits. [PDF]
J Am Chem Soc, 2022 Lapteva AP, Sarraf N, Qian L.
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
Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications
LogicsWe present Stratified Metric Temporal Logic (SMTL), a novel formalism for specifying and verifying the properties of complex cyber–physical systems that exhibit behaviors across multiple temporal and abstraction scales.
Ali Baheri, Peng Wei
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