382 search results - page 27 / 77 » Formalization of Continuous Probability Distributions |
CORR
2000
Springer
14 years 11 months ago
2000
Springer
The probability distribution P from which the history of our universe is sampled represents a theory of everything or TOE. We assume P is formally describable. Since most (uncount...
WAOA
2007
Springer
15 years 5 months ago
2007
Springer
We consider the following distributed optimization problem: three agents i = 1, 2, 3 are each presented with a load drawn independently from the same known prior distribution. Then...
113
click to vote
SIAMJO
2008
14 years 11 months ago
2008
We study the quantitative stability of linear multistage stochastic programs under perturbations of the underlying stochastic processes. It is shown that the optimal values behave...
145
click to vote
CCGRID
2010
IEEE
15 years 27 days ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
101
click to vote
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...