Results 81 to 90 of about 914 (247)

Constructing Deterministic Parity Automata from Positive and Negative Examples [PDF]

TheoretiCS
We present a polynomial time algorithm that constructs a deterministic parity automaton (DPA) from a given set of positive and negative ultimately periodic example words. We show that this algorithm is complete for the class of $\omega$-regular languages,
León Bohn, Christof Löding
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

All about unambiguous polynomial closure [PDF]

TheoretiCS
We study a standard operator on classes of languages: unambiguous polynomial closure. We prove that for every class C of regular languages satisfying mild properties, the membership problem for its unambiguous polynomial closure UPol(C) reduces to the ...
Thomas Place, Marc Zeitoun
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

Simulations for Event-Clock Automata [PDF]

Logical Methods in Computer Science
Event-clock automata (ECA) are a well-known semantic subclass of timed automata (TA) which enjoy admirable theoretical properties, e.g., determinizability, and are practically useful to capture timed specifications.
S Akshay, Paul Gastin, R Govind, B Srivathsan   +3 more
doaj   +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

Safety and Liveness of Quantitative Properties and Automata [PDF]

Logical Methods in Computer Science
Safety and liveness stand as fundamental concepts in formal languages, playing a key role in verification. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç   +3 more
doaj   +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

A 3D Human Bone and Bone Marrow‐on‐a‐Chip Model for In Vitro Bone Remodeling and Immune Cell Maintenance

Advanced Science, EarlyView.
This study presents a human Bone (and Bone Marrow)‐on‐a‐Chip model based on native human bone scaffolds and autologous cells. Dynamic perfusion and sequential cell seeding replicate the physiological bone remodeling process in vitro, enabling the long‐term culture of functional, mature bone marrow immune subpopulations.
Nina Stelzer, Melanie‐Jasmin Ort, Kristian Händler, Emely Bortel, Ioanna Maria Dimitriou, Martin Textor, Georg N. Duda, Janosch Schoon, Uwe Marx, Uwe Kornak, Annika Winter, Bernhard Hesse, Stefanie Donner, Sebastian Hardt, Oliver Klein, Simon Reinke, Malte Spielmann, Sven Geißler   +17 more
wiley   +1 more source

Bifidobacterium Pseudolongum‐Derived Inosine Mitigates Polystyrene Nanoplastics‐Induced Hepatic Injury by Inhibiting the Polarization of M1 Macrophages

Advanced Science, EarlyView.
Probiotic B.p colonization elevated gut‐derived inosine level in the liver, while elevated inosine activated A2AR and subsequently blocked NPs‐induced polarization of M1 macrophages by repressing the miR155/SOCS1/NF‐κB pathway. This reduced the release of inflammatory cytokines and thereby, mitigated NPs‐induced hepatic injury.
Kaikai Zhang, Yuchuan Chen, Jiayuan Wan, Jianzheng Yang, Lijian Chen, Qingyuan Li, Anding Zhou, Nian Zhou, Jiuyang Ding, Qi Wang, Jian Sun   +10 more
wiley   +1 more source