Results 1 to 20 of 773
Sort by:

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

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

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