• SPACE

• Referenced in 26 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 38 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 32 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...

• pomp

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

• PEPA

• Referenced in 107 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...

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

• URDME

• Referenced in 19 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 6 articles [sw06381]
• time density functions associated to certain stochastic processes. Such a strategy is based...

• HASL

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

• GSHMC

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

• COSMOS

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

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

• YUIMA

• Referenced in 15 articles [sw11399]
• discretely observed fractional Ornstein-Uhlenbeck process solution of the stochastic differential equation...

• PANOW

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

• CASPA

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

• PALOMA

• Referenced in 4 articles [sw20778]
• Markovian agents. We present a novel stochastic process algebra that allows the expression of models...

• CollocInfer

• Referenced in 4 articles [sw14377]
• continuous-time and discrete-time stochastic processes. They provide model-based smoothing, gradient-matching, generalized...

• CARMA

• Referenced in 4 articles [sw20777]
• collective adaptive systems. CARMA is a stochastic process algebra equipped with linguistic constructs specifically developed...

• EOlib

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