Sciweavers

407 search results - page 18 / 82
» Monte Carlo simulation approach to stochastic programming
Sort
View
CAV
2009
Springer
187views Hardware» more  CAV 2009»
16 years 6 months ago
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
Nathan Kitchen, Andreas Kuehlmann
ICCS
2007
Springer
16 years 4 days ago
Modeling of Carrier Transport in Nanowires
Abstract. We consider a physical model of ultrafast evolution of an initial electron distribution in a quantum wire. The electron evolution is described by a quantum-kinetic equati...
Todor V. Gurov, Emanouil I. Atanassov, Mihail Nedj...
BMCBI
2010
176views more  BMCBI 2010»
15 years 3 months ago
Haplotype association analyses in resources of mixed structure using Monte Carlo testing
Background: Genomewide association studies have resulted in a great many genomic regions that are likely to harbor disease genes. Thorough interrogation of these specific regions ...
Ryan Abo, Jathine Wong, Alun Thomas, Nicola J. Cam...
CAV
2005
Springer
133views Hardware» more  CAV 2005»
15 years 11 months ago
On Statistical Model Checking of Stochastic Systems
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
Koushik Sen, Mahesh Viswanathan, Gul Agha
IJCNN
2006
IEEE
16 years 15 hour ago
A Monte Carlo Sequential Estimation for Point Process Optimum Filtering
— Adaptive filtering is normally utilized to estimate system states or outputs from continuous valued observations, and it is of limited use when the observations are discrete e...
Yiwen Wang 0002, António R. C. Paiva, Jose ...