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

pomp
 Referenced in 18 articles
[sw10664]
 working with partially observed Markov processes (POMPs, AKA stochastic dynamical systems, statespace 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...

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

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

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 OrnsteinUhlenbeck 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 continuoustime stochastic process. ctmm is an R package for analyzing ... tracking data as a continuoustime stochastic processes. Package features include FFT variogram and Lomb...