Results 131 to 140 of about 71,669 (311)

A normal form for spider diagrams of order [PDF]

, 2014
We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We de- fine a normal form for spider diagrams of order and provide an algorithm, based on the reasoning system, for producing diagrams in our normal ...
Simon Thompson, John Taylor, Taylor, John, Gem Stapleton, Delaney, Aidan, Thompson, Simon, Stapleton, Gem, Aidan Delaney   +7 more
core   +1 more source

An Approach of XML Query Evaluation Based Model Checking

Cybernetics and Information Technologies, 2016
In this paper, we show the process inspired by model checking which integrate temporal logic to the application of semi-structured data query. We investigate the potential ofatechnique based on CTL (Computation Tree Logic) model checking for evaluating ...
Yan-Mei Li, Shao-Bin Huang, Ya Li, Li Xu
doaj   +1 more source

Mapping Temporally Ordered Inputs to Binary Message Outputs with a DNA Temporal Logic Circuit. [PDF]

Nanomaterials (Basel), 2023
Zhao S, Liu Y, Zhang X, Qin R, Wang B, Zhang Q.   +5 more
europepmc   +1 more source

Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models

Advanced Robotics Research, EarlyView.
A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki, Ilche Georgievski, Marco Aiello   +2 more
wiley   +1 more source

Restrictions for loop-check in sequent calculus for temporal logic

Lietuvos Matematikos Rinkinys, 2008
In this paper, we present sequent calculus for linear temporal logic. This sequent calculus uses efficient loop-check techinque. We prove that we can use not all but only several special sequents from the derivation tree for the loop-check.
Adomas Birštunas
doaj   +1 more source

Temporal logic circuits implementation using a dual cross-inhibition mechanism based on DNA strand displacement. [PDF]

RSC Adv, 2023
Liu Y, Zhang X, Zhang X, Liu X, Wang B, Zhang Q, Wei X.   +6 more
europepmc   +1 more source

LLM‐Integrated Human–Robot Interaction System for Microrobots

Advanced Robotics Research, EarlyView.
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley   +1 more source

When is Metric Temporal Logic Expressively Complete? [PDF]

, 2013
A seminal result of Kamp is that over the reals Linear Temporal Logic (LTL) has the same expressive power as first-order logic with binary order relation < and monadic predicates.
Paul Hunter, Hunter, Paul William, Hunter, Paul   +2 more
core   +1 more source

Safe reinforcement learning under temporal logic with reward design and quantum action selection. [PDF]

Sci Rep, 2023
Cai M, Xiao S, Li J, Kan Z.
europepmc   +1 more source

Design and Modeling of a High‐Displacement, Skin‐Integrated Flexible Electromagnetic Actuator for Haptic Interfaces in Virtual Reality

Advanced Robotics Research, EarlyView.
A flexible, skin‐integrated electromagnetic actuator is developed for wearable virtual/augmented reality (VR/AR) haptic systems. A tunable design model enables control over displacement and resonance frequency. The system is validated through a custom VR application with a 6 × 4 actuator array, demonstrating real‐time, spatially targeted tactile ...
Naji Tarabay, Alexandra Zhang Jiang, Ziteng Liu, Rachel Villamor, Derek Cha, Ananya Renuka Balakrishna, Tianshu Liu, Priyanshu Agarwal, Rainer Dömer, Camilo Velez   +9 more
wiley   +1 more source