Results 71 to 80 of about 7,167,833 (242)
Complex Systems from the Perspective of Category Theory: II. Covering Systems and Sheaves [PDF]
, 2003 Using the concept of adjunctive correspondence, for the comprehension of the structure of a complex system, developed in Part I, we introduce the notion of covering systems consisting of partially or locally defined adequately understood objects.
Zafiris, Elias
core
A Review on Sensor Technologies, Control Approaches, and Emerging Challenges in Soft Robotics
Advanced Robotics Research, EarlyView.This review provides an introspective of sensors and controllers in soft robotics. Initially describing the current sensing methods, then moving on to the control methods utilized, and finally ending with challenges and future directions in soft robotics focusing on the material innovations, sensor fusion, and embedded intelligence for sensors and ...
Ean Lovett +5 more
wiley +1 more source
Efficient and Robust Standing Postures of Quadruped Robots
Advanced Robotics Research, EarlyView.A calibrated static framework estimates load, optimizes torques, and adapts posture so quadruped robots stand efficiently and robustly under external payloads, achieving up to 50% lower torque demand. Inspired by the natural posture adjustments of animals under external loading, this article presents an optimization‐based framework for minimizing joint
Mohamad Kanaan +5 more
wiley +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
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
Investigation Of Category Theory For Mathematical Foundations Of Computer Science
İlköğretim Online, 2023 As a potent mathematical framework, category theory has gained popularity and has important applications in many disciplines, including computer technology. The category theory's role as a basis for mathematical inference in computer science is examined in this paper.
openaire +1 more source
International Category Theory conference CT2025, Masaryk University, Brno, Czech Republic.
Building pretorsion theories from torsion theories Abstract: Pretorsion theories are defined as "non-pointed torsion theories", where the zero object and the zero morphisms are replaced by a class of "trivial" objects and a suitable ideal of morphisms ...
International Category Theory conference CT2025 +1 more
core
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 +3 more
wiley +1 more source
On the category of cocommutative Hopf algebras
, 2019 In [1] we prove that the category of cocommutative Hopf algebras over any field is semi-abelian [2]. The aim of this talk is to give an idea of the proof of this result and to explain some of its consequences.
Sterck, Florence, Category theory 2019
core
A Perspective on Interactive Theorem Provers in Physics
Advanced 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