Results 51 to 60 of about 3,949,996 (306)
, 2013 It is important to be able to calculate the ratchet limit of a component when performing integrity assessments of plant components. This paper details the addition of a lower bound ratchet limit calculation to the Linear Matching Method. The extension of
Tipping, David +2 more
core +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
Central limit theorem for Markov processes with spectral gap in the Wasserstein metric [PDF]
, 2011 Suppose that {Xt,t≥0} is a non-stationary Markov process, taking values in a Polish metric space E. We prove the law of large numbers and central limit theorem for an additive functional of the form ∫0Tψ(Xs)ds, provided that the dual transition ...
T. Komorowski, A. Walczuk
semanticscholar +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 Central Limit Theorem in Many-Body Quantum Dynamics [PDF]
, 2011 We study the many body quantum evolution of bosonic systems in the mean field limit. The dynamics is known to be well approximated by the Hartree equation. So far, the available results have the form of a law of large numbers.
G. B. Arous, K. Kirkpatrick, B. Schlein
semanticscholar +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
From limit theorems to mixing limit theorems
45 ...
Arana-Herrera, Francisco +1 more
openaire +2 more sources
Tauberian Theorems and the Central Limit Theorem
The Annals of Probability, 1981 We prove Tauberian theorems for random walks with positive drift obeying the central limit theorem. The results include (i) conclusions involving certain averages, relevant to number-theoretic densities and extending results of Diaconis and Stein; (ii) pointwise conclusions, including the classical Borel-Tauber theorem and extending results of Schmaal,
openaire +3 more sources
On Lindeberg-Feller Limit Theorem
Доклады Академии наук, 2019 In the Lindeberg-Feller theorem, the Lindeberg condition is present. The fulfillment of this condition must be checked for any ε > 0. We formulae a new condition in terms of some generalization of moments of order 2 + α, which does not depend on ε, and show that this condition is equivalent to the Lindeberg condition, and if this condition is valid ...
Presman, É. L., Formanov, Sh. K.
openaire +3 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