Results 101 to 110 of about 71,357 (311)

Temporal logic programming

Journal of Symbolic Computation, 1989
To exploit efficient temporal proof techniques, a special programming language, TEMPLOG, is proposed. It extends the classical PROLOG-like languages to include temporal operators. TEMPLOG programs will then be collections of ``temporal'' Horn clauses and, the main idea, they will be interpreted with the help of ``temporal'' SLD-resolution.
Martín Abadi, Zohar Manna
openaire   +1 more source

Transducers Across Scales and Frequencies: A System‐Level Framework for Multiphysics Integration and Co‐Design

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, Mengyao Xiao, Zhouli Sui, Yinpeng Wang, Daoye Zheng, Yuxin Liu, Luwei Wang, Huajun Liu, Chengkuo Lee   +8 more
wiley   +1 more source

Quantified temporal alethic-deontic logic

, 2015
The purpose of this paper is to describe a set of quantified temporal alethic-deontic systems, i.e., systems that combine temporal alethicdeontic logic with predicate logic.
Rönnedal, Daniel,
core   +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, Thomas A. Henzinger, Orna Kupferman   +2 more
openaire   +3 more sources

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, Liao Wu, Shuai He, Zhao Sha, Yuwan Huang, Shuying Wu, Dewei Chu, Chun H. Wang, Shuhua Peng   +8 more
wiley   +1 more source

Modalities in medieval logic [PDF]

, 2009
This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which
Uckelman, S.L., Uckelman, Sara L.
core  

Intuitionistic Fuzzy Decision Tree Temporal Logic and Its Application in Engineering Decision-Making

Axioms
This paper investigates engineering decision optimization in uncertain environments. Subject to constraints on cost and expected returns, engineering decisions optimize material input, equipment selection and process arrangement to minimize costs and ...
Xianfeng Yu, Jianhua Zhao, Famin Ma, Lei Wang, Huirong Li   +4 more
doaj   +1 more source

Time window temporal logic

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.
Cristian Ioan Vasile, Derya Aksaray, Calin Belta   +2 more
openaire   +4 more sources

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, Peter Zalar, Vishva Bhate, Takeo Furukawa, Hidekazu Kodama, Yijun Liu, Yuanyuan Zhou, Chuang Hou, Siyuan Liu, Naoji Matsuhisa   +9 more
wiley   +1 more source

Multimodal Haptic Perception Through Synergistic Nanocomposite Sensor Arrays

Advanced Materials Technologies, EarlyView.
Multi‐modal fingertip haptics are advanced through a bioinspired &vertical‐via' electronic skin architecture. A confined PDMS/MWCNT/NiNP nanocomposite, sitting at the percolation threshold, enables tactile, thermal, and magnetic sensing. A unique via‐density gradient and dedicated &Un‐Touch' reference nodes provide robust spatial resolution and signal ...
Amos Bardea, Fernando Patolsky
wiley   +1 more source