
BUGS
 Referenced in 364 articles
[sw07885]
 Bayesian analysis of complex statistical models using Markov chain Monte Carlo (MCMC) methods. The project...

PRISM
 Referenced in 416 articles
[sw01186]
 systems. PRISM supports three probabilistic models: discretetime Markov chains, Markov decision processes and continuous ... time Markov chains. Analysis is performed through model checking such systems against specifications written...

JAGS
 Referenced in 209 articles
[sw08040]
 program for analysis of Bayesian hierarchical models using Markov Chain Monte Carlo (MCMC) simulation ... plaftorm for experimentation with ideas in Bayesian modelling. JAGS is licensed under the GNU General...

spBayes
 Referenced in 330 articles
[sw10160]
 hierarchical models. Unfortunately, fitting such models involves computationally intensive Markov chain Monte Carlo (MCMC) methods ... wide variety of Gaussian spatial process models for univariate as well as multivariate pointreferenced...

SHOGUN
 Referenced in 101 articles
[sw03517]
 such as support vector machines, hidden Markov models, multiple kernel learning, linear discriminant analysis...

GMRFLib
 Referenced in 286 articles
[sw06641]
 image analysis are familiar with Gaussian Markov Random Fields (GMRFs), and they are traditionally among ... longitudinal and survival data, spatiotemporal models, graphical models, and semiparametric statistics. With ... comprehensive reference on the subject.par Gaussian Markov Random Fields: Theory and Applications provides such ... complex hierarchical models, in which statistical inference is only possible using Markov Chain Monte Carlo...

MRMC
 Referenced in 70 articles
[sw04129]
 probabilistic model checker MRMC. The Markov Reward Model Checker (MRMC) is a software tool ... probabilistic models. It supports PCTL and CSL model checking, and their reward extensions. Distinguishing features ... analysis for continuoustime Markov decision processes (CTMDPs) and CSL model checking by discreteevent...

msm
 Referenced in 48 articles
[sw08096]
 Multistate Markov and hidden Markov models in continuous time. Functions for fitting general continuous ... time Markov and hidden Markov multistate models to longitudinal data. A variety of observation ... continuouslyobserved processes, and censored states. Both Markov transition ... rates and the hidden Markov output process can be modelled in terms of covariates, which...

PRISM
 Referenced in 34 articles
[sw23359]
 popular probabilistic modeling formalisms, the hidden Markov model and Bayesian networks, are described by PRISM...

SMART_
 Referenced in 33 articles
[sw04097]
 generation techniques, as well as symbolic CTL modelchecking algorithms, are available. For the study ... available when the underlying process is a Markov chain. In addition, discreteevent simulation ... process, but certain classes of nonMarkov models can still be solved numerically. Finally, since...

Rfam
 Referenced in 33 articles
[sw04637]
 sequence alignments, consensus secondary structures and covariance models (CMs). The families in Rfam break down ... complicated relative of the profile hidden Markov models (HMMs) used by Pfam. CMs can simultaneously...

MARCA
 Referenced in 31 articles
[sw00547]
 chain analyzer, a software package for Markov modeling MARCA is a software package designed...

MALLET
 Referenced in 21 articles
[sw10602]
 natural language processing, document classification, clustering, topic modeling, information extraction, and other machine learning applications ... extraction from text. Algorithms include Hidden Markov Models, Maximum Entropy Markov Models, and Conditional Random...

MrBayes
 Referenced in 55 articles
[sw07715]
 range of phylogenetic and evolutionary models. MrBayes uses Markov chain Monte Carlo (MCMC) methods...

SHARPE
 Referenced in 42 articles
[sw03100]
 types for performance, reliability and performability modeling. Model types include combinatorial one such as fault ... ones such as Markov and semiMarkov reward models as well stochastic Petri nets. Steady...

MCQueue
 Referenced in 139 articles
[sw05198]
 analysis of discretetime and continuoustime Markov chains up to 100 states. The other ... waitingtime probabilities for basic queueing models (M/G/1 queue, M/M/c queue, M/D/c queue, G/M/c queue...

BioProspector
 Referenced in 29 articles
[sw09375]
 regulatory sequence motifs. BioProspector uses Markov background to model the base dependencies of nonmotif ... reported motifs. The parameters of the Markov background model are either estimated from userspecified...

MLwiN
 Referenced in 104 articles
[sw04837]
 fitting multilevel models. It uses both maximum likelihood estimation and Markov Chain Monte Carlo (MCMC ... other additional features)[1]. MLwiN represents multilevel models using mathematical notation including Greek letters...

ggm
 Referenced in 17 articles
[sw04542]
 package ggm: A package for Graphical Markov Models. Functions for analyzing and fitting Graphical Markov...

WAFO
 Referenced in 24 articles
[sw07370]
 loads; Theoretical density of rainflow cycles Sea modelling: Simulation of linear and nonlinear Gaussian ... value analysis; Kernel density estimation, Hidden markov models...