Results 51 to 60 of about 6,012,202 (297)
A Fixed Point Theorem for Manifolds [PDF]
Proceedings of the American Mathematical Society, 1971 A Lefschetz type fixed point theorem is proved extending a recent theorem by Robert F. Brown. It deals with compact maps of the form f : (
openaire +1 more source
Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots
Advanced Robotics Research, EarlyView.A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun +3 more
wiley +1 more source
Some variants of Wardowski fixed point theorem
Advances in Difference Equations, 2021 The purpose of this paper is to consider some F-contraction mappings in a dualistic partial metric space and to provide sufficient related conditions for the existence of a fixed point.
Muhammad Nazam +5 more
doaj +1 more source
Waveguide Photoactuators: Materials, Fabrication, and Applications
Advanced Robotics Research, EarlyView.Waveguide photoactuators convert guided light into mechanical motion. Their tethered‐flexible design enables minimally invasive surgery and confined‐space robotics. This review aims to guide materials selection, device design, and system integration, accelerating the transition of waveguide photoactuators from laboratory prototypes to versatile ...
Minjie Xi +4 more
wiley +1 more source
A fixed point theorem for contraction mappings
International Journal of Mathematics and Mathematical Sciences, 1982 Let S be a closed subset of a Banach space E and f:S→E be a strict contraction mapping. Suppose there exists a mapping h:S→(0,1] such that (1−h(x))x+h(x)f(x)∈S for each x∈S. Then for any x0∈S, the sequence {xn} in S defined by xn+1=(1−h(xn))xn+h(xn)f(xn),
V. M. Sehgal
doaj +1 more source
Fixed point theorems for set-valued contraction type maps in metric spaces
, 2010 We first give some fixed point results for set-valued self-map contractions in complete metric spaces. Then we derive a fixed point theorem for nonself set-valued contractions which are metrically inward. Our results generalize many well-known results in
Amini-Harandi, A, O'Regan, D
core +1 more source
Autonomous Navigation of Pollen‐Inspired Magnetic Microrobots for Biomedical Applications
Advanced Robotics Research, EarlyView.A sunflower pollen‐inspired magnetic microrobot enables controlled rolling navigation in vessel‐like environments. Its open geometry reduces hydrodynamic drag, while vision‐based closed‐loop control, shortest‐path planning, and reinforcement learning support target‐reaching and maze navigation with microrobot‐scale accuracy, highlighting a route toward
Ali Anil Demircali +6 more
wiley +1 more source
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
Operator type expansion-compression fixed point theorem
Electronic Journal of Differential Equations, 2011 This article presents an alternative to the compression and expansion fixed point theorems of functional type by using operators and functions to replace the functionals and constants that are used in functional compression and expansion fixed point ...
Douglas R. Anderson +3 more
doaj