Results 111 to 120 of about 294,052 (285)

Towards Real-time, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems

International Journal of Prognostics and Health Management, 2015
For unmanned aerial systems (UAS) to be successfully deployed and integrated within the national airspace, it is imperative that they possess the capability to effectively complete their missions without compromising the safety of other aircraft, as well
Johann Schumann, Kristin Y. Rozier, Thomas Reinbacher, Ole J. Mengshoel, Timmy Mbaya, Corey Ippolito   +5 more
doaj   +1 more source

Model checking for linear temporal logic: An efficient implementation [PDF]

This report provides evidence to support the claim that model checking for linear temporal logic (LTL) is practically efficient. Two implementations of a linear temporal logic model checker is described.
Pnueli, Amir, Sherman, Rivi
core   +1 more source

ChicGrasp: Imitation‐Learning‐Based Customized Dual‐Jaw Gripper Control for Manipulation of Delicate, Irregular Bio‐Products

Advanced Robotics Research, EarlyView.
Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar, Zhengtong Xu, Siavash Mahmoudi, Pouya Sohrabipour, Chaitanya Pallerla, Yu She, Wan Shou, Philip Glen Crandall, Dongyi Wang   +8 more
wiley   +1 more source

A Soft Robotic Device for Targeted Massage Therapy of Residual Limbs

Advanced Robotics Research, EarlyView.
Residual limb edema after amputation can hinder recovery and delay prosthetic fitting. This study presents a soft‐robotic wearable device that delivers sequential compression through pneumatic McKibben actuators. By replicating the principles of manual lymphatic drainage, the device generates controlled mechanotherapeutic pressure patterns, providing a
Maria Grazia Polizzotto, Alessio Capecchi, Maartje Van der Lingen, Emanuele Gruppioni, Arianna Menciassi, Linda Paternò   +5 more
wiley   +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

Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems

Computers
Today, various applications in different domains increasingly rely on high-performance computing (HPC) to accomplish computations swiftly. Integrating one or more programming models alongside the used programming language enhances system parallelism ...
Salwa Saad, Etimad Fadel, Ohoud Alzamzami, Fathy Eassa, Ahmed M. Alghamdi   +4 more
doaj   +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

Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking

Axioms
The encapsulation of particular quality functions and predicates within temporal logic formulas markedly enhances the representation of detailed temporal characteristics within a system.
Xianfeng Yu, Yongming Li, Shengling Geng, Huirong Li   +3 more
doaj   +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, 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

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