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

SMART_
 Referenced in 26 articles
[sw04097]
 algorithms, are available. For the study of stochastic and timing behavior, both sparsestorage ... 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...

Church
 Referenced in 16 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...

PEPA
 Referenced in 119 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...

BioPEPAd
 Referenced in 5 articles
[sw10690]
 this paper, we enrich the stochastic process algebra BioPEPA, with the possibility of assigning ... actions, yielding a new nonMarkovian stochastic process algebra: BioPEPAd. This is a conservative ... approach, earlier presented in papers on the stochastic simulation of biological systems with delays. This ... generalized semiMarkov processes (GSMPs), as input for a delay stochastic simulation algorithm (DSSA...

MAGP
 Referenced in 7 articles
[sw14019]
 consider the class of realvalued stochastic processes indexed on a compact subset...

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

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

fptdApprox
 Referenced in 4 articles
[sw06381]
 time density functions associated to certain stochastic processes. Such a strategy is based...

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

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

EOlib
 Referenced in 17 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 decisionmaking 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...

MoDeST
 Referenced in 30 articles
[sw01544]
 well as soft realtime (i.e., stochastic) aspects. The language is influenced by popular ... deals with compositionality in a lightweight processalgebra style. Thus, MoDeST (i) covers...

STABLE
 Referenced in 75 articles
[sw04843]
 distribution functions”, J. P. Nolan, Commun. Statist.Stochastic Models, 13(4), 759774 (1997). Also ... Nolan, in the book Levy Processes, Ed. by BarndorffNielsen, Mikosch and Resnick, Birkhauser...

BIOSIM
 Referenced in 2 articles
[sw01083]
 created interactively. Biologically oriented learning and forgetting processes are modeled, e.g. sensitization, habituation, conditioning, hebbian ... orbservation windows for neurons and synapses. Stochastic processes such as noise can be included.par...