Results 1 to 20 of 1002
Sort by:

  • 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 18 articles [sw10664]
  • working with partially observed Markov processes (POMPs, AKA stochastic dynamical systems, state-space models). ’pomp...

  • PEPA
  • Referenced in 103 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 16 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...

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

  • CARMA

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

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

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

  • ctmm
  • Referenced in 2 articles [sw21677]
  • relocation data as a continuous-time stochastic process. ctmm is an R package for analyzing ... tracking data as a continuous-time stochastic processes. Package features include FFT variogram and Lomb...