Results 121 to 130 of about 6,826 (311)
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 +2 more
wiley +1 more source
Indeterministic Temporal Logic
Studies in Logic, Grammar and Rhetoric, 2015 The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea ...
Trzęsicki Kazimierz
doaj +1 more source
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 +9 more
wiley +1 more source
Hardware implementation of temporal nonmonotonic logics
, 2006 In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal operators and (2) a mapping of these new temporal nonmonotonic logics into a Metric ...
Governatori, Guido +3 more
core +1 more source
PD‐1 Inhibits CD4+ TRM‐Mediated cDC1 Mobilization via Suppressing JAML in Human NSCLC
Advanced Science, EarlyView.CD4+ tissue‐resident memory T cells (TRMs) in non‐small cell lung cancer recruit conventional type 1 dendritic cells via XCL1‐XCR1 signaling, orchestrating antitumor immunity. The costimulatory molecule JAML is essential for this process. PD‐1 blockade restores JAML expression and cDC1 mobilization, while JAML agonists synergize with anti‐PD‐1 therapy,
Zheyu Shao +16 more
wiley +1 more source
Bisimulations for temporal logic [PDF]
We define bisimulations for temporal logic with Since and Until. We compare our notion to existing notions of bisimulations, and we use it to develop the basic model theory of temporal logic with Since and Until, which includes preservation and ...
Kurtonina, Natasha, Rijke, Maarten de
core
Decidability of Interval Temporal Logics over Split-Frames via Granularity
, 2002 . Logics for time intervals provide a natural framework for representing and reasoning about timing properties in various areas of artificial intelligence and computer science.
Guido Sciavicco +8 more
core +1 more source
Advanced Science, EarlyView.Antibody–drug conjugates (ADCs) transform breast cancer therapy, yet resistance limits their durability. Emerging evidence reveals that ADC failure is not solely tumor‐intrinsic but shaped by dynamic tumor–microenvironment interactions that alter drug delivery, processing, and response.
Minji Seo, Jangsoon Lee, Naoto T. Ueno
wiley +1 more source
The light side of Interval Temporal Logics: the Bernays-Schoenfinkel's fragment of CDT
, 2011 Decidability and complexity of the satisfiability problem for the logics of time intervals have been extensively studied in the last years. Even though most interval logics turn out to be undecidable, meaningful exceptions exist, such as the logics of ...
Guido Sciavicco +12 more
core +1 more source
On complexity of veri¯cation of nondeterministic probabilistic multiagent systems
Моделирование и анализ информационных систем, 2010 Probabilistic systems of interacting nondeterministic intelligent agents are consid- ered. States of the agents in these systems are some probabilistic databases, and the activity of the agents is controlled by some probabilistic logic programs. Moreover,
M. K. Valiev, M. I. Dekhtyar
doaj