Sciweavers

757 search results - page 29 / 152
» Monte Carlo Model Checking
Sort
View
CSDA
2007
85views more  CSDA 2007»
13 years 10 months ago
Markov models for digraph panel data: Monte Carlo-based derivative estimation
A parametric, continuous-time Markov model for digraph panel data is considered. The parameter is estimated by the method of moments. A convenient method for estimating the varian...
Michael Schweinberger, Tom A. B. Snijders
SIAMAM
2000
106views more  SIAMAM 2000»
13 years 9 months ago
Extended Hydrodynamical Model of Carrier Transport in Semiconductors
Abstract. A hydrodynamical model based on the theory of extended thermodynamics is presented for carrier transport in semiconductors. Closure relations for fluxes are obtained by e...
Angelo Marcello Anile, Giovanni Russo, Vittorio Ro...
WSC
2004
13 years 11 months ago
Adaptive Control Variates
Adaptive Monte Carlo methods are specialized Monte Carlo simulation techniques where the methods are adaptively tuned as the simulation progresses. The primary focus of such techn...
Sujin Kim, Shane G. Henderson
SOCA
2007
IEEE
14 years 4 months ago
A Model Checking Approach to Verify BPEL4WS Workflows
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini