Results 111 to 120 of about 69,366 (304)
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
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 +4 more
wiley +1 more source
MADRASAH DAN PERTUMBUHAN KEILMUAN DUNIA ISLAM: SEBUAH KAJIAN SOSIO-HISTORIS
This article was aimed at deeply discussing the development of madrasah and sciences in Islamic society from the socio-historical perspective. In the past, Islamic education was only implemented informally at homes, kuttab and mosque.
Imam Solihin
doaj +1 more source
Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models
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
Abstraction and verification in Alphard : a symbol table example
The design of the Alphard programming language has been strongly influenced by ideas from the areas of programming methodology and formal program verification. In this paper we design, implement, and verify a general symbol table mechanism.
Mary Shaw (5359700) +2 more
core +1 more source
LLM‐Integrated Human–Robot Interaction System for Microrobots
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
SYMBOLISM - COMPREHENSION RELATIONSHIP IN SCHOOL LEARNING [PDF]
. In everyday life, comprehension phase message induces interest of knowledge itself, the surrounding world, empowering, interpreted, skill formation to guess/search for meanings/multiple correlations between notions, facts, phenomena ...
CORNELIA STAN
doaj
A Perspective on Interactive Theorem Provers in Physics
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
Degeneration of the Hilbert pairing in formal groups over local fields [PDF]
For an arbitrary local field K (a finite extension of the field Qp) and an arbitrary formal group law F over K, we consider an analog cF of the classical Hilbert pairing. A theorem by S. V. Vostokov and I. B.
Vostokova, Regina P. +2 more
core
Kindergarteners’ performance in a sound–symbol paradigm predicts early reading
The current study examined the role of serial processing of newly learned sound–symbol associations in early reading acquisition. A computer-based sound–symbol paradigm (SSP) was administered to 243 children during their last year of kindergarten (T1 ...
Scharke, Wolfgang +4 more
core +1 more source
Integrated multi‐omic profiling maps the gene‐regulatory landscape of the coelomic mesothelium across heart, lung, and pancreas. A cardiac‐restricted regulatory program is uncovered in which TBX20 activates heart mesothelial (epicardial) cis‐regulatory elements, while MAF emerges as a conserved regulator of mesothelial identity.
Quang Minh Dang +3 more
wiley +1 more source

