Results 51 to 60 of about 66,342 (310)
A Formal Logic for Formal Category Theory
, 2023 Abstract We present a domain-specific type theory for constructions and proofs in category theory. The type theory axiomatizes notions of category, functor, profunctor and a generalized form of natural transformations.
Max S. New, Daniel R. Licata
openaire +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 +4 more
wiley +1 more source
Advanced Robotics Research, EarlyView.This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +2 more
wiley +1 more source
Formalization of Generalized Newman's Lemma
, 2023 Formalization of Generalized Newman's Lemma in Isabelle 2022 proof ...
Ivanov, Ievgen
core +1 more source
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 +8 more
wiley +1 more source
Formalization: algorithmic approach [PDF]
, 2008 Рассматриваются вопросы формализации задач из различных предметных областей. Предлагается алгоритмический подход к формализации.Questions of formalization of problems from various subject domains are considered.
Провотар, А.И.
core +1 more source
About the Forms of Existence of the Legal Interest of Taxpayer
Сибирское юридическое обозрение, 2018 On the basis of doctrinal provisions the article deals with the problem of legal existence of the taxpayer's legal interest. The author analyzes the normative and non-normative (natural-legal) points of view and concludes that these two legal approaches ...
S. A. Yadrikhinskii
doaj +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
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
THE USE OF GEOSPATIAL INFORMATION BY PUBLIC AUTHORITIES TO SUPPORT THE DECISION MAKING OF MANAGEMENT
Сучасні інформаційні системи, 2021 The article proposes the use of geospatial information to support managerial decision-making by public authorities in the field of reintegration of temporarily occupied territories in Donetsk, Luhansk regions and Crimea.
Ihor Butko
doaj +1 more source