Sciweavers

9 search results - page 1 / 2
» Numerical and Statistical Methods for the Coarse-Graining of...
Sort
View
JSCIC
2008
71views more  JSCIC 2008»
13 years 4 months ago
Numerical and Statistical Methods for the Coarse-Graining of Many-Particle Stochastic Systems
In this article we discuss recent work on coarse-graining methods for microscopic stochastic lattice systems. We emphasize the numerical analysis of the schemes, focusing on error ...
Markos A. Katsoulakis, Petr Plechác, Luc Re...
MCS
2008
Springer
13 years 4 months ago
Error analysis of a stochastic immersed boundary method incorporating thermal fluctuations
A stochastic numerical scheme for an extended immersed boundary method which incorporates thermal fluctuations for the simulation of microscopic biological systems consisting of fl...
Paul J. Atzberger, Peter R. Kramer
JCPHY
2011
79views more  JCPHY 2011»
12 years 7 months ago
Stochastic Eulerian Lagrangian methods for fluid-structure interactions with thermal fluctuations
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...
Paul J. Atzberger
IANDC
2006
117views more  IANDC 2006»
13 years 4 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
CAV
2004
Springer
202views Hardware» more  CAV 2004»
13 years 10 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha