Results 51 to 60 of about 74,153 (309)
On the comparison theorem for multidimensional BSDEs [PDF]
, 2006 International audienceIn this Note, we give a necessary and sufficient condition under which the comparison theorem holds for multidimensional backward stochastic differential equations (BSDEs) and for matrix-valued ...
Ying Hu +3 more
core +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
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
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
Advances in Difference Equations, 2021 In this paper, we consider a nonautonomous predator–prey model with Holling type II schemes and a prey refuge. By applying the comparison theorem of differential equations and constructing a suitable Lyapunov function, sufficient conditions that ...
Yumin Wu, Fengde Chen, Caifeng Du
doaj +1 more source
A general comparison theorem for backward stochastic differential equations
, 2010 A useful result when dealing with backward stochastic differential equations is the comparison theorem of Peng (1992). When the equations are not based on Brownian motion, the comparison theorem no longer holds in general.
Robert J. Elliott +5 more
core +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
A Hochschild cohomology comparison theorem for prestacks [PDF]
Transactions of the American Mathematical Society, 2010 We generalize and clarify Gerstenhaber and Schack’s “Special Cohomology Comparison Theorem”. More specifically we obtain a fully faithful functor between the derived categories of bimodules over a prestack over a small category
Lowen, Wendy, VAN DEN BERGH, Michel
openaire +5 more sources
On Determination Method for Resolution of Secondary Electron Images in Scanning Electron Microscopy
Advanced Science, EarlyView.An idealized SEM, termed Rayleigh's microscope, is constructed by Monte Carlo simulation to represent imaging conditions that just satisfy the Rayleigh criterion. Based on this physically defined model, sharpness–resolution conversion curves are established and combined with the Rose criterion, enabling automated resolution evaluation from practical ...
Tongfang Yang, Yanbo Zou, Zejun Ding
wiley +1 more source
An impossibility theorem for paired comparisons [PDF]
Central European Journal of Operations Research, 2018 18 pages, 4 ...
openaire +4 more sources