Results 111 to 120 of about 6,120 (267)

Establishment of Ship-Motion-Based Operational Limiting Criteria for Safe and Efficient Offshore Cable-Laying Operations

Journal of Marine Science and Engineering
As offshore wind projects are located further and deeper in the ocean, time-intensive and costly cable laying plays an increasingly critical role in offshore wind farm construction.
Xu Han, Zhibo Xu, Xin Li, Wei Shi, Zhipeng Leng   +4 more
doaj   +1 more source

Improving the Robustness of Visual Teach‐and‐Repeat Navigation Using Drift Error Correction and Event‐Based Vision for Low‐Light Environments

Advanced Robotics Research, EarlyView.
Visual teach‐and‐repeat (VTR) navigation allows robots to learn and follow routes without building a full metric map. We show that navigation accuracy for VTR can be improved by integrating a topological map with error‐drift correction based on stereo vision.
Fuhai Ling, Ze Huang, Tony J. Prescott
wiley   +1 more source

Continual Learning for Multimodal Data Fusion of a Soft Gripper

Advanced Robotics Research, EarlyView.
Models trained on a single data modality often struggle to generalize when exposed to a different modality. This work introduces a continual learning algorithm capable of incrementally learning different data modalities by leveraging both class‐incremental and domain‐incremental learning scenarios in an artificial environment where labeled data is ...
Nilay Kushawaha, Egidio Falotico
wiley   +1 more source

Modular Structural Operational Semantics

BRICS Report Series, 2004
Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given incrementally, once and for all, and do not need reformulation when further constructs are added to the language. MSOS thus provides an exceptionally high degree of modularity
openaire   +5 more sources

Multimodal Engagement Assessment in Children During Invented Story Paradigm With a Social Robot

Advanced Robotics Research, EarlyView.
A multimodal framework is proposed to assess children's engagement during storytelling interactions with a social robot. Gaze, physiological, and behavioral data are combined and validated against observer ratings. An automated gaze‐labeling strategy is introduced, and supervised classifiers achieve high accuracy. The study supports scalable engagement
Laura Fiorini, Elena Adelucci, Stefano Scatigna, Lorenzo Pugi, Alice Bruni, Benedetta Carotenuto, Chiara Pecini, Filippo Cavallo   +7 more
wiley   +1 more source

Operational Semantics for Fun and Profit

, 2005
The FDR refinement-checking tool, available free for academic purposes. [5] relies fundamentally upon the congruences between operational and denotational semantics for CSP, in order to determine a denotational property by exploring an operationally presented system.
openaire   +2 more sources

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

The New Operational Quantity Ambient Dose in Environmental Radiation Monitoring

Applied Sciences
In ICRU Report 95, the International Commission on Radiation Units and Measurements (ICRU) has proposed jointly with the International Commission on Radiological Protection (ICRP) new operational quantities for external radiation.
Thomas Otto
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

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