Results 61 to 70 of about 14,108,597 (163)

Functional Specification on Non-deterministic Programs [PDF]

, 1972
Floyd has described a class of algorithms which occur frequently in practical tree processing problems (such as language recognition and combinatorial mathematics) and rules for compiling programs which express such algorithms for conventional machines ...
Henderson P
core   +3 more sources

Universal Gripper for Industrial Manipulation With Enhanced Rigid Mechanics and Self‐Adaptable Fingers

Advanced Robotics Research, EarlyView.
An enhanced universal gripper combining rigid mechanics with self‐adaptable fingers is presented for industrial automation. The novel six‐bar linkage with integrated compliant pad eliminates mechanical interference while enabling passive shape adaptation.
Muhammad Usman Khalid, Nirmal Kumar Ravikumar, Mattia Frascio, Sumanth Nagalakunta, Alessandro Seitone, Benoît Lévesque, Alessandro Zanella, Matteo Zoppi   +7 more
wiley   +1 more source

Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs

, 2020
This paper studies propositional proof systems in which lines are sequents of decision trees or branching programs - deterministic and nondeterministic.
Knop, Alexander
core   +1 more source

Tele-ophthalmology-enabled and artificial intelligence-ready referral pathway for community optometry referrals of retinal disease: HERMES cluster randomised trial with a diagnostic accuracy study

Health Technology Assessment
Background Community-based optometrists, a major provider of primary eye care in the United Kingdom, are the main source of referrals to hospital eye services.
Anitta Sharma, Rima Hussain, Annastazia E Learoyd, Angela Aristidou, Taha Soomro, Ann Blandford, John G Lawrenson, Gabriela Grimaldi, Abdel Douiri, Ashleigh Kernohan, Tomos Robinson, Najmeh Moradi, Christiana Dinah, Evangelos Minos, Dawn Sim, Tariq Aslam, Avinash Manna, Alastair K Denniston, Praveen J Patel, Pearse A Keane, Catey Bunce, Luke Vale, Konstantinos Balaskas   +22 more
doaj   +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

Decision procedures for families of deterministic pushdown automata [PDF]

The existence and complexity of decision procedures for families of deterministic pushdown automata are investigated, with special emphasis on positive decidability results for those questions, such as equivalence, which are known to become ...
Valiant, Leslie
core  

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

Cross‐Scale Hierarchical Targeted Delivery System Based on Small‐Scale Magnetic Robots

Advanced Robotics Research, EarlyView.
This article reviews a cross‐scale hierarchical targeted delivery system that integrates magnetic continuum robots and magnetic microrobots. By combining rapid long‐range navigation with precise microscale targeting, the system overcomes key limitations of single‐scale approaches.
Junjian Zhou, Zhiqiang Chen, Yuanbiao Ma, Zhiqiang Tang, Qianqian Wang   +4 more
wiley   +1 more source

Mutual Adaptation and Influence: Review of Latent Dynamics Models in Human–Robot Interaction

Advanced Robotics Research, EarlyView.
Robots are becoming better teammates by learning hidden patterns in how people act. This review covers how state‐of‐the‐art approaches leverage these patterns to help robots not only react but also anticipate and guide cooperation. Here, we synthesize a unifying framework for these approaches, classify and review existing works, and highlight key ...
Mason O. Smith, Sunny Amatya, Seyed Yousef Soltanian, Jonathan Bush, Wenlong Zhang   +4 more
wiley   +1 more source

Learning‐Based Soft Robotic Grasping: Recent Progress and Remaining Challenges

Advanced Robotics Research, EarlyView.
This review analyzes learning‐based soft robotic grasping from a pipeline‐oriented perspective, encompassing soft gripper design, multimodal sensing, and learning‐based planning and control. It surveys key neural network architectures and benchmark datasets and identifies critical challenges such as sim‐to‐real transfer, generalization, and continual ...
Arnab Majumder, Jelizaveta Konstantinova, Graham Deacon, Kaspar Althoefer   +3 more
wiley   +1 more source