Results 61 to 70 of about 3,473 (262)

Game Semantics for Bounded Polymorphism [PDF]

, 2016
We describe a denotational, intensional semantics for programs with polymorphic types with bounded quantification, in which phenomena such as inheritance between stateful objects may be represented and studied. Our model is developed from a game semantics for unbounded polymorphism, by establishing dinaturality properties of generic strategies, and ...
openaire   +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

Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials [PDF]

Logical Methods in Computer Science
This paper presents a case study for the application of semiring semantics for fixed-point formulae to the analysis of strategies in B\"uchi games. Semiring semantics generalizes the classical Boolean semantics by permitting multiple truth values from ...
Erich Grädel, Niels Lücking, Matthias Naaf   +2 more
doaj   +1 more source

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

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, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source

A Machine Vision‐Guided Microphysiological Platform With Automated Microfluidics Enables Longitudinal Biomarker Monitoring and Emulation of Translationally Relevant Exposure Scenarios

Advanced Science, EarlyView.
A pneumatically actuated multi‐tissue microphysiological system is integrated with AI‐based machine vision and automatic sampling and replenishment systems. The platform allows for the emulation of translationally relevant long‐term pharmacokinetic exposure scenarios for multiple weeks while enabling longitudinal monitoring of response biomarkers ...
Jibbe Keulen, Yi Zhong, Laura Dangel, Sonia Youhanna, Reza Zandi Shafagh, Jinhye Ryu, Domnica‐Gabriela Gurau, Mathias Haag, Thomas E. Mürdter, Yingxin Liang, Iro Beligiani, Nicole Ziegler, Sabine Willems, Nayere Taebnia, Wouter van der Wijngaart, Volker M. Lauschke   +15 more
wiley   +1 more source

Classifying Limited-Move Stability Cycles in 2 × 2 Games

Games
The 2×2 game is the simplest non-trivial model of strategic interaction: there are two players, each has two strategies, and each has a strict preference ranking over the four possible outcomes.
Leandro Chaves Rêgo, France Evellyn Gomes de Oliveira, Giannini Italino Alves Vieira, D. Marc Kilgour   +3 more
doaj   +1 more source

Smart Flexible Tactile Sensors: Recent Progress in Device Designs, Intelligent Algorithms, and Multidisciplinary Applications

Advanced Intelligent Discovery, EarlyView.
Flexible tactile sensors have considerable potential for broad application in healthcare monitoring, human–machine interfaces, and bioinspired robotics. This review explores recent progress in device design, performance optimization, and intelligent applications. It highlights how AI algorithms enhance environmental adaptability and perception accuracy
Siyuan Wang, Ming Dong, Rongrong Bao, Caofeng Pan   +3 more
wiley   +1 more source

An Autonomous Large Language Model‐Agent Framework for Transparent and Local Time Series Forecasting

Advanced Intelligent Discovery, EarlyView.
Architecture of the proposed large language model (LLM)‐based agent framework for autonomous time series forecasting in thermal power generation systems. The framework operates through a vertical pipeline initiated by natural language queries from users, which are processed by the LLM Agent Core powered by Llama.cpp and a ReAct loop with persistent ...
William Gouvêa Buratto, Gabriel Villarrubia Gonzalez, Ademir Nied, Laio Oriel Seman, Anne Carolina Rodrigues Klaar, Stefano Frizzo Stefenon   +5 more
wiley   +1 more source

Game Comonads & Generalised Quantifiers [PDF]

Logical Methods in Computer Science
Game comonads, introduced by Abramsky, Dawar and Wang and developed by Abramsky and Shah, give an interesting categorical semantics to some Spoiler-Duplicator games that are common in finite model theory. In particular they expose connections between one-
Adam Ó Conghaile, Anuj Dawar
doaj   +1 more source