Results 161 to 170 of about 566,633 (340)
A dense time semantics for web services specifications languages
Serge Haddad +3 more
openalex +2 more sources
Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics
This review explores how flexible sensing technology and artificial intelligence (AI) significantly enhance human–machine interfaces in medical robotics. It highlights key sensing mechanisms, AI‐driven advancements, and applications in prosthetics, exoskeletons, and surgical robotics.
Yuxiao Wang +5 more
wiley +1 more source
THE HOFFMAN–JOYCE CONTINUUM A Specification for Living Language
Steven Srebranig
openalex +1 more source
A multimaterial robotic gripper fabricated via multimaterial 3D printing integrates conductive thermopolymer joints with flexible elastomeric components. Joule heating enables precise joint‐level stiffness modulation, enhanced by embedded temperature sensors, passive shape restoration, and active cooling, enabling versatile manipulation capabilities ...
Daniel Jee Seng Goh +4 more
wiley +1 more source
KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. [PDF]
Wang Z, Zhu X, Wang H, Yu Y, Lan Y.
europepmc +1 more source
The Future of Research in Cognitive Robotics: Foundation Models or Developmental Cognitive Models?
Research in cognitive robotics founded on principles of developmental psychology and enactive cognitive science would yield what we seek in autonomous robots: the ability to perceive its environment, learn from experience, anticipate the outcome of events, act to pursue goals, and adapt to changing circumstances without resorting to training with ...
David Vernon
wiley +1 more source
Automated code generation from LEMS, the general purpose model specification language underpinning NeuroML2 [PDF]
Marin B +4 more
europepmc +1 more source
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
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
Deterministic Petri Net Languages as Business Process Specification Language
Manu De Backer, Monique Snoeck
openalex +1 more source

