Results 51 to 60 of about 16,156 (266)
Separating the Fan Theorem and Its Weakenings [PDF]
The Journal of Symbolic Logic, 2013 AbstractVarieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Some of the implications have been shown to be strict, others strict in a weak context, and yet others not at all, using disparate techniques.
Robert S. Lubarsky, Hannes Diener
openaire +2 more sources
Advanced Materials Technologies, EarlyView.The study considers the use of polymer/dielectric‐based multilayers piezoelectric Energy Harvesters (EH) to produce an output voltage and current, by exploiting the mechanical energy provided by human organs movements. In particular, the heart motion is considered from the kinematic viewpoint, and a multiphysics theoretical model is developed to assess
Hamdi Ezzin +5 more
wiley +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
Separation theorems for oriented matroids
Discrete Mathematics, 1988 In this paper we show that Minty's lemma can be used to prove the Hahn- Banach theorem as well as other theorems in this class such as Radon's and Helly's theorem for oriented matroids having an intersection property which guarantees that every pair of flats intersects in some point extension \({\mathcal O}\cup p\) of the oriented matroid \({\mathcal O}
Achim Bachem, Alfred Wanka
openaire +2 more sources
Consensus algorithms and the decomposition-separation theorem [PDF]
52nd IEEE Conference on Decision and Control, 2013 Convergence properties of time inhomogeneous Markov chain based discrete and continuous time linear consensus algorithms are analyzed. Provided that a so-called infinite jet flow property is satisfied by the underlying chains, necessary conditions for both consensus and multiple consensus are established.
Sadegh Bolouki, Roland P. Malhamé
openaire +2 more sources
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
Theorems on separability in Riemannian 𝑛-space [PDF]
Proceedings of the American Mathematical Society, 1952 (2) ~~~~~V20 = ? (2) and consider separability in an n-space with Riemannian metric gij=0, where i$j. DEFINITION I.
Moon, Parry, Spencer, Domina Eberle
openaire +1 more source
Advanced Robotics Research, EarlyView.This study presents a soft pneumatic fabric bidirectional actuation module (PNEUMA) capable of generating high torque in both bending directions within a single integrated architecture. PNEUMA achieves up to 50 Nm with reduced inflation volume and a lightweight design.
Odysseas Simatos +2 more
wiley +1 more source
An Imbedding Theorem for Separable Algebras [PDF]
Proceedings of the American Mathematical Society, 1973 Let S / R S/R
openaire +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