Results 81 to 90 of about 20,179 (255)
Restriction Category Perspectives of Partial Computation and Geometry
, 2017 This thesis introduces several structures based on Cockett and Lack’s restriction categories which find applications in partial computation, geometry, topology and two-dimensional category theory.
DeWolf, Darien
core
Multimodal Haptic Perception Through Synergistic Nanocomposite Sensor Arrays
Advanced Materials Technologies, EarlyView.Multi‐modal fingertip haptics are advanced through a bioinspired &vertical‐via' electronic skin architecture. A confined PDMS/MWCNT/NiNP nanocomposite, sitting at the percolation threshold, enables tactile, thermal, and magnetic sensing. A unique via‐density gradient and dedicated &Un‐Touch' reference nodes provide robust spatial resolution and signal ...
Amos Bardea, Fernando Patolsky
wiley +1 more source
Indexed induction and coinduction, fibrationally.
, 2011 This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions.
Neil Ghani +5 more
core +1 more source
Formation Control of Multi‐Agent System with Local Interaction and Artificial Potential Field
Advanced Robotics Research, EarlyView.This article proposes a local interaction‐based formation control method for Multi‐Agent system, integrating consensus and leader‐follower strategies with a stress response mechanism—artificial potential field to reduce communication overhead and enable obstacle avoidance. Experimental results on triangular, square, and hexagonal formations confirm its
Luoyin Zhao +3 more
wiley +1 more source
What Chern-Simons theory assigns to a point
, 2017 We answer the questions, "What does Chern-Simons theory assign to a point?" and "What kind of mathematical object does Chern-Simons theory assign to a point?" Our answer to the first question is representations of the based loop group. More precisely, we
Henriques, Andre +5 more
core +1 more source
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
Fundamental Concepts of Category Theory
, 1970 ii, 32 p.This paper will not go into what is being done in category theory. Its purpose is to give a clear picture of the essential terms of the theory: category, functor and natural ...
Hocker, Walter
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
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