Results 101 to 110 of about 3,411 (291)

Scalable Task Planning via Large Language Models and Structured World Representations

Advanced Robotics Research, EarlyView.
This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari, Zhaoting Li, Robert Babuška, Jens Kober, Cosimo Della Santina   +4 more
wiley   +1 more source

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

Advanced Robotics Research, EarlyView.
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami   +4 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

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

Intelligent Maintenance Review for Robots: Multimodal Information, Deep Diagnosis and Embodied Artificial Intelligence

Advanced Robotics Research, EarlyView.
This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao, Hongbo Wang, Naipeng Li, Shuo Wang, Yaguo Lei, Tonghai Wu, Junyi Cao   +6 more
wiley   +1 more source

The hierarchy of formal languages and corresponding automata.

, 2019
The hierarchy of formal languages and corresponding automata.
Cedric Boeckx (453297), Pedro Tiago Martins (4521133)   +1 more
core   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

J.UCS Special Issue on Formal Languages and Automata (WFLA)

, 1999
J.UCS Special Issue on Formal Languages and Automata ...
Mateescu,Alexandru, Mateescu, Alexandru
core   +1 more source

Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages [PDF]

, 2008
The spider diagram logic forms a fragment of the constraint diagram logic and was designed to be primarily used as a diagrammatic software specification tool.
Simon Thompson, John Taylor, Taylor, John, Delaney, Aidan, Thompson, Simon, Aidan Delaney   +5 more
core   +1 more source

Mr BMT Achieves Systemic Macrophage Replacement With Preservation of Tissue Homeostasis

Advanced Science, EarlyView.
Microglia replacement by bone marrow transplantation (Mr BMT) enables systemic replacement of tissue‐resident macrophages. Despite persistent macrophage and tissue remodeling across multiple organs, core biological functions and innate immune responses remain preserved, supporting long‐term maintenance of organismal homeostasis and the therapeutic ...
Yufei Xu, Miaozhan Zou, Yunshang Bai, Yang He, Zhihao Jin, Baozhi Yang, Jinjin Du, Pei Ouyang, Yuanyuan Cai, Yuheng Zhang, Bingying Du, Chengcheng Ge, Jian‐an Gong, Xiaoyu Li, Yuanyi Zheng, Jing Ding, Bo Peng, Yanxia Rao   +17 more
wiley   +1 more source