Results 181 to 190 of about 5,611,476 (304)

THEORY OF FINITE AUTOMATA

open access: yesMemoirs of the Faculty of Science, Kyushu University. Series A, Mathematics, 1962
openaire   +2 more sources

Enhancing Amphibious Flipper‐Based Locomotion Through Terrain‐Dependent Bayesian Optimization of Central Pattern Generator Control

open access: yesAdvanced Robotics Research, EarlyView.
A sea turtle‐inspired amphibious robot uses simulation‐guided optimization to adapt its flipper coordination to different environments. Sensitivity analysis and multiobjective Bayesian optimization identify terrain‐dependent controllers that are validated on hardware.
Nnamdi C. Chikere, Yasemin Ozkan‐Aydin
wiley   +1 more source

Robotic Assistants in the Operating Room: A Systematic Review of Vision‐Based Systems for Nonoperative Tasks

open access: yesAdvanced Robotics Research, EarlyView.
This review brings together 20 publications describing 11 robotic system families developed for instrument handling, sterile‐package opening, supply delivery, and operating room logistics. Perception is becoming more capable through deep learning and language‐guided control, but autonomy remains limited, evidence is largely laboratory‐based, and no ...
Eugenia Mawuenya Akpo   +4 more
wiley   +1 more source

Consensus Formation and Change are Enhanced by Neutrality

open access: yesAdvanced 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   +3 more
wiley   +1 more source

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced 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

Home - About - Disclaimer - Privacy