Results 71 to 80 of about 7,596,236 (250)
Homological Localisation of Model Categories [PDF]
, 2013 One of the most useful methods for studying the stable homotopy category is localising at some spectrum E. For an arbitrary stable model category we introduce a candidate for the E–localisation of this model category. We study the properties of this new
Roitzheim, Constanze +4 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
On modeling, mathematics, category theory and RM-ODP
, 2001 . RM-ODP is about modeling, and mathematics is one of the oldest, and deserved, modeling disciplines. Experience accumulated in mathematics in general, and some of machineries developed, may well turn out to be relevant for arranging/organizing ...
Zinovy Diskin
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
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
Complex Systems from the Perspective of Category Theory: I. Functioning of the Adjunction Concept [PDF]
, 2003 We develop a category theoretical framework for the comprehension of the information structure associated with a complex system, in terms of families of partial or local information carriers.
Zafiris, Elias
core
On the self-predicative universals of category theory [PDF]
This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and ...
Ellerman, David
core +3 more sources
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
Lautman and the Reality of Mathematics [PDF]
, 2010 Working in he 1930s, Albert Lautman described with extraordinary clarity the new understanding of mathematics of that time. He delighted in the multiple manifestations of a common idea in different mathematical fields. However, he took the common idea to
Corfield, David Neil
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