Results 31 to 40 of about 2,143,165 (258)
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
CERES in higher-order logic [PDF]
, 2011 We define a generalization CERESω of the first-order cut-elimination method CERES to higher-order logic. At the core of CERESω lies the computation of an (unsatisfiable) set of sequents CS(π) (the characteristic sequent set) from a proof π of a sequent S.
Stefan Hetzl +6 more
core +1 more source
Hybrid Continuum Robot Designs and Architectures for Healthcare Applications
Advanced Robotics Research, EarlyView.Hybrid continuum robots represent an emerging class of flexible manipulators that blend materials, structures, and actuation concepts from the established fields of soft and continuum robotics. This review introduces an accessible framework to distinguish key hybridization approaches, surveys current designs aimed at complex clinical applications, and ...
Burak Ozdemir +4 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
Advanced Robotics Research, EarlyView.A flexible, skin‐integrated electromagnetic actuator is developed for wearable virtual/augmented reality (VR/AR) haptic systems. A tunable design model enables control over displacement and resonance frequency. The system is validated through a custom VR application with a 6 × 4 actuator array, demonstrating real‐time, spatially targeted tactile ...
Naji Tarabay +9 more
wiley +1 more source
, 2017 The term “fuzzy logic” (FL) is a generic one, which stands for a broad variety of logical systems. Their common ground is the rejection of the most fundamental principle of classical logic—the principle of bivalence—according to which each declarative ...
George J. Klir +2 more
core +1 more source
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 +3 more
wiley +1 more source
Logic and Discrete Mathematics A Concise Introduction
, 2014 A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has ...
Goranko, Valentin, Conradie, Willem
core
Making mathematics meaningful: Using student-initiated problems to situate mathematics [PDF]
, 2014 Mathematics is everywhere-from the minute we open our eyes to check the alarm clock and calculate how many minutes extra we can afford to lie in bed, to measuring out our cereal for breakfast and estimating if we have enough petrol to make the 18 ...
Brough, Chris Jane, Calder, Nigel Stuart
core
, 2019 This paper responds to the frequently occurring phenomena of 'sad affects' experienced by student teachers as they confront the logic of 'proper mathematics' with young children of differently abled bodies.
Chronaki, Anna +2 more
core +1 more source