
SPACE
 Referenced in 23 articles
[sw04716]
 space (Stochastic Process Analysis of Computer Experiments): The code is useful for analysis and global ... Fitting or Estimation of the stochastic process model parameters Cross validation of the model...

Church
 Referenced in 19 articles
[sw08946]
 Church, a universal language for describing stochastic generative processes. Church is based on the Lisp ... also includes a novel language construct, the stochastic memoizer, which enables simple description of many...

SMART_
 Referenced in 24 articles
[sw04097]
 algorithms, are available. For the study of stochastic and timing behavior, both sparsestorage ... solution approaches are available when the underlying process is a Markov chain. In addition, discrete ... always applicable regardless of the stochastic nature of the process, but certain classes...

BioPEPAd
 Referenced in 5 articles
[sw10690]
 this paper, we enrich the stochastic process algebra BioPEPA, with the possibility of assigning ... actions, yielding a new nonMarkovian stochastic process algebra: BioPEPAd. This is a conservative ... approach, earlier presented in papers on the stochastic simulation of biological systems with delays. This ... generalized semiMarkov processes (GSMPs), as input for a delay stochastic simulation algorithm (DSSA...

MAGP
 Referenced in 7 articles
[sw14019]
 consider the class of realvalued stochastic processes indexed on a compact subset...

PEPA
 Referenced in 92 articles
[sw10692]
 Evaluation Process Algebra. PEPA tools: The PEPA process algebra is supported by the PEPA Eclipse ... model checking properties in the Continuous Stochastic Logic (CSL). Download the PEPA Eclipse Plug...

DET2STO
 Referenced in 5 articles
[sw05102]
 DET2STO is a tool that transforms a stochastic version of a model written in AMPL ... then processed by the algebraic modeling language AMPL and optimized by a solver. Stochastic Programming ... described by an event tree. The stochastic process is assumed to be independent ... else than an extensive formulation of the stochastic programming version of the problem...

fptdApprox
 Referenced in 5 articles
[sw06381]
 time density functions associated to certain stochastic processes. Such a strategy is based...

PANOW
 Referenced in 5 articles
[sw10156]
 string of symbols in a stochastic process with mixing properties (such as Markov chains...

HASL
 Referenced in 5 articles
[sw13330]
 verification of discrete event stochastic processes (DESP). HASL employs Linear Hybrid Automata (LHA) as machineries...

GSHMC
 Referenced in 11 articles
[sw02631]
 dynamic information throughout the sampling process similar to stochastic Langevin and Brownian dynamics simulations...

CASPA
 Referenced in 3 articles
[sw02863]
 efficient symbolic elimination algorithm for the stochastic process algebra tool CASPA. CASPA is a stochastic...

COSMOS
 Referenced in 4 articles
[sw13329]
 execution paths of a Discrete Event Stochastic Process (DESP), a class of stochastic models which...

URDME
 Referenced in 12 articles
[sw10400]
 modular framework for stochastic simulation of reactiontransport processes in complex geometries. We have developed ... URDME, a flexible software framework for general stochastic reactiontransport modeling and simulation. URDME uses ... Diffusion Master Equation formalism to model the processes under study. An interface to a mature...

EOlib
 Referenced in 17 articles
[sw00239]
 results. These are stochastic algorithms, because they iteratively use random processes. The vast majority...

POMDPS
 Referenced in 29 articles
[sw03055]
 Processes (POMDPs) provide a rich framework for sequential decisionmaking under uncertainty in stochastic domains...

STOCKS
 Referenced in 10 articles
[sw10438]
 STOCKS, software for the stochastic kinetic simulation of biochemical processes is presented. The program uses...

STABLE
 Referenced in 76 articles
[sw04843]
 distribution functions”, J. P. Nolan, Commun. Statist.Stochastic Models, 13(4), 759774 (1997). Also ... Nolan, in the book Levy Processes, Ed. by BarndorffNielsen, Mikosch and Resnick, Birkhauser...

pomp
 Referenced in 6 articles
[sw10664]
 working with partially observed Markov processes (POMPs, AKA stochastic dynamical systems, statespace models). ’pomp...

MoDeST
 Referenced in 28 articles
[sw01544]
 well as soft realtime (i.e., stochastic) aspects. The language is influenced by popular ... deals with compositionality in a lightweight processalgebra style. Thus, MoDeST (i) covers...