Results 31 to 40 of about 3,344,527 (282)
Automatic Probabilistic Program Verification through Random Variable Abstraction
, 2010 The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs.
Barsotti, Damián, Wolovick, Nicolás
core +2 more sources
Influence of a carriageway width on the car Speed under urban conditions [PDF]
Avtomobilʹnyj Transport (Harʹkov), 2019 Problem. The car speed is the most important indicator of the traffic organization level. A priori it is obvious that the value of the car speed in a particular place and at a particular time is random.
Horbachov Peter +3 more
doaj +1 more source
, 2017 We compare the relation between dispersion and dissipation for two random variables that can be used to characterize the precision of a Brownian clock. The first random variable is the current between states.
Barato, Andre C., Ray, Somrita
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Families of children with cancer experience significant financial strain, even with universal healthcare. Indirect costs, such as productivity losses and non‐medical expenses, are rarely included in economic evaluations, and little is known about how effectively financial aid programmes alleviate this burden. Childhood brain tumours
Megumi Lim +8 more
wiley +1 more source
Variable Metric Random Pursuit
, 2014 We consider unconstrained randomized optimization of smooth convex objective functions in the gradient-free setting. We analyze Random Pursuit (RP) algorithms with fixed (F-RP) and variable metric (V-RP).
Gärtner, Bernd +2 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Survivors of childhood acute lymphoblastic leukemia (ALL) often exhibit early deficits in muscle and movement competence, which can compromise long‐term health. Integrative neuromuscular training (INT), a multifaceted approach combining fundamental movement activities with strength exercises, may help address these deficits during ...
Anna Maria Markarian +7 more
wiley +1 more source
The Wasserstein Metric between a Discrete Probability Measure and a Continuous One
MathematicsThis paper examines the Wasserstein metric between the empirical probability measure of n discrete random variables and a continuous uniform measure in the d-dimensional ball, providing an asymptotic estimation of their expectations as n approaches ...
Weihua Yang, Xu Zhang, Xia Wang
doaj +1 more source
Программные генераторы случайных блужданий
Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, 2020 Разработка программных генераторов расчета случайных величин соответсвующих основным угловым распределениям на окружности, фрактальных броуновских движений (ФБД) на окружности, поверхности и сфере с применением численных методов, метода обратной функции ...
Царев, А.Д.
doaj +1 more source
Mathematics, 2022 This study investigates a variety of novel estimations involving the expectation, variance, and moment functions of continuous random variables by applying a generalized proportional fractional integral operator.
Weerawat Sudsutad +4 more
doaj +1 more source
Random Forest variable importance with missing data [PDF]
, 2012 Random Forests are commonly applied for data prediction and interpretation. The latter purpose is supported by variable importance measures that rate the relevance of predictors. Yet existing measures can not be computed when data contains missing values.
Hapfelmeier, Alexander +2 more
core +1 more source