• SPACE

  • Referenced in 24 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 35 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 106 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 17 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...
  • GSHMC

  • Referenced in 13 articles [sw02631]
  • dynamic information throughout the sampling process similar to stochastic Langevin and Brownian dynamics simulations...
  • 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...
  • 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...
  • 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...
  • 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...