
PRISM
 Referenced in 442 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...

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

JAGS
 Referenced in 247 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 365 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 103 articles
[sw03517]
 such as support vector machines, hidden Markov models, multiple kernel learning, linear discriminant analysis...

GMRFLib
 Referenced in 309 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 71 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 53 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 39 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...

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

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

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

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

LSTM
 Referenced in 30 articles
[sw03373]
 other adaptive approaches such as Hidden Markov Models (no continuous internal states), feedforward networks...

SHARPE
 Referenced in 43 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 147 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...

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

Label.switching
 Referenced in 25 articles
[sw14745]
 mixture models (and more general hidden Markov models) suffers from the label switching phenomenon, making...

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