Results 111 to 120 of about 547,797 (285)

An Online Human-Aware Behavior Planning Method for Nondeterministic UAV System Under Probabilistic Model Checking

Drones
This paper proposes an online human-aware behavior planning method to enable Unmanned Aerial Vehicles (UAVs) to dynamically satisfy high-level linear temporal logic (LTL) task descriptions from human collaborators.
Jiancheng Zhu, Peng Wang, Yong Peng, Quanjun Yin   +3 more
doaj   +1 more source

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]

Sensors (Basel), 2023
Bezerra WR, Martina JE, Westphall CB.
europepmc   +1 more source

Bisimulations for Temporal Logic

Journal of Logic, Language and Information, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kurtonina, N., de Rijke, M.
openaire   +3 more sources

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

A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition. [PDF]

PeerJ Comput Sci, 2022
Zhao W, Liu Z.
europepmc   +1 more source

Temporal logic with predicate abstraction

, 2004
A predicate linear temporal logic LTL_{\lambda,=} without quantifiers but with predicate abstraction mechanism and equality is considered. The models of LTL_{\lambda,=} can be naturally seen as the systems of pebbles (flexible constants) moving over the ...
Lisitsa, Alexei, Potapov, Igor
core   +2 more sources

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, Qinyuan Liu, Zhongwei Xin, Zhiyao Zhou, Mingjie Lin, Di Chen, Zhixing Hao, Yongyuan Chen, Wenxuan Wu, Shuyang Zhang, Xiaoke Chen, Xia Xu, Jinfan Li, Wei Lin, Yuhao Lu, Dang Wu, Pin Wu   +16 more
wiley   +1 more source

Compositional RL Agents That Follow Language Commands in Temporal Logic. [PDF]

Front Robot AI, 2021
Kuo YL, Katz B, Barbu A.
europepmc   +1 more source

Timing Mechanotransduction: Mechanically Dynamic Biomaterials Reveal the Temporal Hierarchy of YAP/TAZ Control Nodes

Advanced Science, EarlyView.
This work develops dynamically softening polyacrylamide hydrogels for time‐resolved imaging during continuous mechanical transitions. The study revealed that mechanotransduction is biphasic; YAP/TAZ inactivation is driven by early loss of the nucleocytoskeletal continuum connecting subnuclear adhesions, F‐actin, and the nuclear envelope, coupled with ...
Alessandro Gandin, Giada Vanni, Veronica Torresan, Margherita Pelosin, Rebecca Busetto, Anna Citron, Ambela Suli, Paolo Contessotto, Carlo Albanese, Francesca Zanconato, Tito Panciera, Stefano Piccolo, Giovanna Brusatin   +12 more
wiley   +1 more source

Understanding and Overcoming Antibody‐Drug Conjugate Resistance: Biological Mechanisms and Emerging Analytical Frameworks in Breast Cancer

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