Results 121 to 130 of about 50,010 (270)
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
Aaron Spell Receipt, December 21, 1841 [PDF]
21 December 1841 Aaron Spell receipt for $35.00 from A. M. Nathan per. Chs. E.
Spell, Aaron
core
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 +6 more
wiley +1 more source
Symmetry Reduction in the ProB Model Checker
, 2006 Model checking suffers from the state space explosion problem. One method to alleviate this problem is to exploit symmetries in the system, such that duplicate symmetric components of the state space are not explored – saving time during the checking ...
Turner, Edd, Butler, Michael
core +1 more source
Aaron Spell Receipt, March 9, 1841 [PDF]
9 March 1841 Aaron Spell receipt of A.M. Nathan for $50.00, Benton, Mississippi, per the hands of Chs. E.
Spell, Aaron
core
Learning‐Based Soft Robotic Grasping: Recent Progress and Remaining Challenges
Advanced Robotics Research, EarlyView.This review analyzes learning‐based soft robotic grasping from a pipeline‐oriented perspective, encompassing soft gripper design, multimodal sensing, and learning‐based planning and control. It surveys key neural network architectures and benchmark datasets and identifies critical challenges such as sim‐to‐real transfer, generalization, and continual ...
Arnab Majumder +3 more
wiley +1 more source
WebJspell an online morphological analyser and spell checker
Proces. del Leng. Natural, 2007 Webjspell es una herramienta multiusos para Internet destinada al análisis morfológico y corrección ortográfica de textos escritos en portugués. Además de estas funcionalidades provee: ejemplos de frases, tablas de conjugación verbal, sugerencia de palabras ante eventuales errores ortográficos y corrección ortográfica de páginas de Internet.
openaire +4 more sources
Automated Spellchecking for an Online Spell Checker Service
, 2014 Online usluga provjere pravopisa Hrvatskog akademskog spelling checkera (Hascheck) omogućuje korisnicima da u za to predviđeno polje u obrascu na web-stranici provjernika upišu tekst koji zatim šalju poslužitelju na provjeru.
Voska, Filip
core
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
Phase Diagrams and Piezoelectric Properties of Wurtzite Al1−x−yScxGdyN Heterostructural Alloys
Advanced Science, EarlyView.This study demonstrates ferroelectricity and piezoelectric properties improvement of quaternary wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films, guided by density functional theory calculations. Wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films have a high optical bandgap, enhanced piezoelectric ...
Julia L. Martin +11 more
wiley +1 more source