Results 91 to 100 of about 48,852 (268)
Verification of Parameterized Protocols
J. Univers. Comput. Sci., 2001 JUCS - Journal of Universal Computer Science Volume Nr.
Baukus,Kai +2 more
openaire +3 more sources
Advanced Robotics Research, EarlyView.Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar +8 more
wiley +1 more source
Advanced Robotics Research, EarlyView.This study explores how information processing is distributed between brains and bodies through a codesign approach. Using the “backpropagation through soft body” framework, brain–body coupling agents are developed and analyzed across several tasks in which output is generated through the agents’ physical dynamics.
Hiroki Tomioka +3 more
wiley +1 more source
Journal of Advances in Modeling Earth SystemsSince its inception in 2015, the Predicted Particle Properties (P3) bulk microphysics scheme has undergone several major developments. Ice is now represented by a user‐specified number of freely‐evolving (non‐prescribed) categories; the liquid fraction ...
Jason A. Milbrandt +2 more
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
Snow albedo and its parameterization for natural systems and climate modeling
Лëд и снегThe physical factors having influence on albedo of snow cover, as well as the main methods for its parameterization in models of natural systems, are considered.
D. V. Turkov +2 more
doaj +1 more source
Miniaturized Magnetic Tip Design for Endoluminal Vine Robot Navigation
Advanced Robotics Research, EarlyView.A magnetic tip mount is designed for a miniaturized 7 mm soft‐growing vine robot to enable wireless magnetic steering and onboard imaging, while preserving a 3 mm working channel. The internal–external ring magnets design balances magnetic attachment with low eversion pressure. Experiments demonstrate ±90° steering, 34 mm bending radius, and successful
Andrea Yanez Trujillo +4 more
wiley +1 more source
Journal of Marine Science and EngineeringExtreme surface winds and wave heights of tropical cyclones (TCs)—pose serious threats to coastal community, infrastructure and environments. In recent decades, progress in numerical wave modeling has significantly enhanced the ability to reconstruct and
Ru Yao +4 more
doaj +1 more source
Advanced Robotics Research, EarlyView.This work presents the MicroRoboScope, a highly integrated, compact, and portable microrobotic experimentation platform combining electromagnetic and acoustic actuation with real‐time visual feedback into a single, end‐to‐end device. The system enables closed‐loop control and tracking algorithm experimentation within an accessible and unified hardware ...
Max Sokolich +4 more
wiley +1 more source
Efficient Parameterized Approximation
Many problems are NP-hard and, unless P = NP, do not admit polynomial-time exact algorithms. The fastest known exact algorithms exactly usually take time exponential in the input size. Much research effort has gone into obtaining faster exact algorithms for instances that are sufficiently well-structured, e.g., through parameterized algorithms with ...
Stefan Kratsch, Pascal Kunz 0001
openaire +2 more sources