Approximate and probabilistic methods
… we review two important approximate techniques, highlighting … Clearly, the quality of the
approximation depends on the “… Besides the obvious challenge of devising new approximate …
approximation depends on the “… Besides the obvious challenge of devising new approximate …
On the accuracy of various probabilistic methods
E Fox, S Reh - 41st Structures, Structural Dynamics, and Materials …, 2000 - arc.aiaa.org
… probabilistic methods from an accuracy standpoint. In particular, the representative probabilistic
methods … state function approximation was a 2nd order approximation / curvature fitting. …
methods … state function approximation was a 2nd order approximation / curvature fitting. …
[BOOK][B] The probabilistic method
N Alon, JH Spencer - 2016 - books.google.com
… reference on probabilistic methods in combinatorics, the Fourth Edition continues to feature
a … combinatorists who use probabilistic methods, discrete mathematics, and number theory. …
a … combinatorists who use probabilistic methods, discrete mathematics, and number theory. …
[HTML][HTML] Types of approximation for probabilistic cognition: Sampling and variational
AN Sanborn - Brain and cognition, 2017 - Elsevier
… Here I focus on the two types that have been applied to approximate probabilistic cognition:
sampling and variational approximations. Sampling algorithms are stochastic, randomly …
sampling and variational approximations. Sampling algorithms are stochastic, randomly …
The probabilistic method
J Spencer - Proceedings of the third annual ACM-SIAM symposium …, 1992 - dl.acm.org
The use of randomness is now an accepted tool in Theoretical Computer Science but not
everyone is aware of the underpinnings of this methodology in Combinatorics - particularly, in …
everyone is aware of the underpinnings of this methodology in Combinatorics - particularly, in …
Probabilistic verification and approximation
R Lassaigne, S Peyronnet - Annals of Pure and Applied Logic, 2008 - Elsevier
… of efficient approximation methods to verify quantitative specifications of probabilistic systems.
… time randomized approximation scheme with relative error for probabilistic verification. …
… time randomized approximation scheme with relative error for probabilistic verification. …
Approximate analysis of probabilistic processes: Logic, simulation and games
J Desharnais, F Laviolette… - 2008 Fifth International …, 2008 - ieeexplore.ieee.org
… approximate bisimulation and approximate simulation have been studied in many other
contexts, such as in non probabilistic … players game for probabilistic systems. Games semantics …
contexts, such as in non probabilistic … players game for probabilistic systems. Games semantics …
Probabilistic rough set approximations
Y Yao - International journal of approximate reasoning, 2008 - Elsevier
… probabilistic rough set approximations can be developed. In Section 4, we critically review
different formulations of probabilistic rough set approx… of probabilistic approximation operators…
different formulations of probabilistic rough set approx… of probabilistic approximation operators…
An approximate method for probabilistic assessment of transient stability
R Billinton, PRS Kuruganty… - IEEE Transactions on …, 1979 - ieeexplore.ieee.org
… is reasonable to examine the probabilistic aspects of the problem. Reader AidsPurpose:
Tutorial, … This paper deals with an approximate method using Lyapunov functions to obtain a …
Tutorial, … This paper deals with an approximate method using Lyapunov functions to obtain a …
Probabilistic verification and approximation
R Lassaigne, S Peyronnet - Electronic Notes in Theoretical Computer …, 2006 - Elsevier
… time framework for probabilistic verification and we show the hardness of approximating
probabilities for LT L formulas. In section 4, we give a randomized approximation algorithm to …
probabilities for LT L formulas. In section 4, we give a randomized approximation algorithm to …
Related searches
- probabilistic methods for structural design
- probabilistic methods in combinatorial analysis
- probabilistic methods algorithmic discrete mathematics
- deterministic parallel algorithms probabilistic method
- types of approximation probabilistic cognition
- two phase approximation probabilistic systems
- approximate method probabilistic assessment
- probabilistic structural analysis methods
- fuzzy probabilistic approximation spaces
- approximate verification probabilistic systems
- approximate analysis probabilistic processes
- application of probabilistic analysis design methods
- approximate method transient stability