• 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 sparse-storage ... 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...

• Bio-PEPAd

• Referenced in 5 articles [sw10690]
• this paper, we enrich the stochastic process algebra Bio-PEPA, with the possibility of assigning ... actions, yielding a new non-Markovian stochastic process algebra: Bio-PEPAd. This is a conservative ... approach, earlier presented in papers on the stochastic simulation of biological systems with delays. This ... generalized semi-Markov processes (GSMPs), as input for a delay stochastic simulation algorithm (DSSA...

• MAGP

• Referenced in 7 articles [sw14019]
• consider the class of real-valued 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...

• URDME

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

• 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...

• pomp

• Referenced in 9 articles [sw10664]
• working with partially observed Markov processes (POMPs, AKA stochastic dynamical systems, state-space models). ’pomp...

• EOlib

• Referenced in 18 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 decision-making 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), 759-774 (1997). Also ... Nolan, in the book Levy Processes, Ed. by Barndorff-Nielsen, Mikosch and Resnick, Birkhauser...

• MoDeST

• Referenced in 28 articles [sw01544]
• well as soft real-time (i.e., stochastic) aspects. The language is influenced by popular ... deals with compositionality in a light-weight process-algebra style. Thus, MoDeST (i) covers...