Sciweavers

63 search results - page 5 / 13
» On the Numerical Analysis of Stochastic Lotka-Volterra Model...
Sort
View
INFORMS
1998
142views more  INFORMS 1998»
13 years 6 months ago
Distributed State Space Generation of Discrete-State Stochastic Models
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
Gianfranco Ciardo, Joshua Gluckman, David M. Nicol
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 3 days 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
PE
2006
Springer
130views Optimization» more  PE 2006»
13 years 6 months ago
Analysis of resource transfers in peer-to-peer file sharing applications using fluid models
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...
Rossano Gaeta, Marco Gribaudo, Daniele Manini, Mat...
NN
2010
Springer
225views Neural Networks» more  NN 2010»
13 years 5 months ago
Learning to imitate stochastic time series in a compositional way by chaos
This study shows that a mixture of RNN experts model can acquire the ability to generate sequences that are combination of multiple primitive patterns by means of self-organizing ...
Jun Namikawa, Jun Tani
CMSB
2009
Springer
14 years 1 months ago
Approximation of Event Probabilities in Noisy Cellular Processes
Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discrete-state continuous-time st...
Frédéric Didier, Thomas A. Henzinger...