Results 161 to 170 of about 1,615,597 (299)

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

Technical Feasibility Study of Autonomous Field Robot‐Based on‐the‐go Assessment of Soil Nutrients Using Ion‐Sensitive Field‐Effect Transistors

Advanced Robotics Research, EarlyView.
Autonomous field robots equipped with ISFET‐based sensors enable rapid, spatially resolved soil nutrient analysis directly in the field. An automated system based on the BoniRob platform is presented for standardized on‐site extraction and measurement of key macronutrients and soil pH.
Vadim Riedel, Stefan Hinck, Edgar Peiter, Arno Ruckelshausen   +3 more
wiley   +1 more source

Human‐Scale Rotating Magnetic Field Delivery With Permanent Magnets Under Anatomic and Robotic Constraints

Advanced Robotics Research, EarlyView.
Rotating magnetic fields (RMFs) are widely used for microrobot propulsion and control. We show that RMF generation with permanent magnets is mechanically feasible for many limb and intracranial applications but becomes constrained for thoracic targets.
Tuan‐Anh Le, Husnu Halid Alabay, Anika Sivarasa, Gia‐Minh Hoang, Hakan Ceylan   +4 more
wiley   +1 more source

WorMa: An Undulatory Robot With Center of Mass Regulation via Internal Fluid Redistribution for Amphibious Locomotion

Advanced Robotics Research, EarlyView.
WorMa is an amphibious undulatory robot that uses Center of Mass redistribution as the sole terrain adaptation mechanism. This mechanism is based on internal fluid mass redistribution through a pump‐driven latex balloon system that creates three profiles: head‐biased, balanced, and tail‐biased.
Daniil Filimonov, Nana Obayashi
wiley   +1 more source

Consensus Formation and Change are Enhanced by Neutrality

Advanced Science, EarlyView.
Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag, Janina A. Hoffmann, Tim Rogers, Christian A. Yates   +3 more
wiley   +1 more source

Guest Editorial: Special Issue on Parameterized Complexity

Tsinghua Science and Technology, 2014
Liming Cai, Iyad Kanj, Frances A. Rosamond   +2 more
doaj   +1 more source

Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic. [PDF]

J Logic Lang Inf, 2018
van de Pol I, van Rooij I, Szymanik J.
europepmc   +1 more source

Thermodynamics of Concomitant Charge‐Transfer, Antiferromagnetic, and Isostructural Phase Transitions in Barocaloric ACu3Fe4O12 Quadruple Perovskites

Advanced Science, EarlyView.
A copper‐iron charge transfer instability drives concomitant electronic, magnetic, and isostructural phase transitions in ACu3Fe4O12${\rm ACu}_3{\rm Fe}_4{\rm O}_{12}$, with an inverse barocaloric effect. A minimal Landau theory ties these thermodynamic signatures together, revealing a pressure‐independent transition entropy with comparable charge and ...
Jefferson Delgado‐Quesada, Gian Giacomo Guzmán‐Verri   +1 more
wiley   +1 more source

Parameterized Complexity of Eulerian Deletion Problems. [PDF]

Algorithmica, 2014
Cygan M, Marx D, Pilipczuk M, Pilipczuk M, Schlotter I.   +4 more
europepmc   +1 more source

Solid Harmonic Wavelet Bispectrum for Image Analysis

Advanced Science, EarlyView.
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown, Mathilda Avirett‐Mackenzie, Carolin Villforth, Georgios Exarchakis   +3 more
wiley   +1 more source