Results 41 to 50 of about 2,939 (217)
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
The legacy of Mario Pieri in foundations and philosophy of mathematics
, 2021 The Italian mathematician Mario Pieri (1860–1913) played a major role in the development of algebraic geometry and foundations of mathematics around the turn of the twentieth century.
Smith, James T +5 more
core +1 more source
Advanced Robotics Research, EarlyView.This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao +6 more
wiley +1 more source
A Primer of Mathematical Analysis and the Foundations of Computation
, 2023 This book is a different approach to teaching the foundations of mathematical analysis and of computation. The main idea is to delay the use of "formal definitions", which are definitions that nobody can understand without working with them. The approach
Kamareddine, Fairouz Dib +1 more
core +1 more source
Continuum Robots in Surgery: From Engineering Design to Clinical Practice
Advanced Robotics Research, EarlyView.The hyper‐redundant nature of continuum robot structures enables near‐infinite degrees of freedom leading to immense potential for medical applications. This review provides a historical background of continuum robots and novel ideas shaping their progress to current structural design, sensing technology, modeling techniques, and control methods.
Griffin Smith +6 more
wiley +1 more source
, 2011 I elaborate in some detail on the First Book of Euclid's ``Elements'' and show that Euclid's theory of geometry is \underline{not} axiomatic in the modern sense but is construed differently.
RODIN, Andrei
core
Toward Mechanical Intelligence in Robotics
Advanced Robotics Research, EarlyView.Robots can use their physical bodies to perform functions usually assigned to electronic sensors and controllers. This perspective defines mechanical intelligence through three core operations: filtering inputs, routing mechanical signals, and switching between states.
Xinyi Yang +5 more
wiley +1 more source
Advanced Science, EarlyView.An on‐demand ultra‐reconfigurable intelligent vision system with hierarchical reconfigurability from device to system levels is demonstrated. Through co‐design of a multi‐paradigm device, reconfigurable circuits, and adaptive system architecture/algorithms, the system enables seamless switching among spiking, non‐spiking, neuromorphic imaging (NI), and
Biyi Jiang +7 more
wiley +1 more source
Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution
Advanced Science, EarlyView.Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley +1 more source
Renewing Foundations - 1 [PDF]
, 2009 Renewing Foundations-1 This is the first part of a work in progress, which contains Introduction, explaining the whole project, and a chapter on Euclid's "Elements".
Rodin, Andrei
core