• PRISM

  • Referenced in 442 articles [sw01186]
  • systems. PRISM supports three probabilistic models: discrete-time 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 point-referenced...
  • 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, spatio-temporal models, graphical models, and semi-parametric 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 continuous-time Markov decision processes (CTMDPs) and CSL model checking by discrete-event...
  • msm

  • Referenced in 53 articles [sw08096]
  • Multi-state Markov and hidden Markov models in continuous time. Functions for fitting general continuous ... time Markov and hidden Markov multi-state models to longitudinal data. A variety of observation ... continuously-observed 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 model-checking algorithms, are available. For the study ... available when the underlying process is a Markov chain. In addition, discrete-event simulation ... process, but certain classes of non-Markov 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 semi-Markov reward models as well stochastic Petri nets. Steady...
  • MCQueue

  • Referenced in 147 articles [sw05198]
  • analysis of discrete-time and continuous-time Markov chains up to 100 states. The other ... waiting-time 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 non-motif ... reported motifs. The parameters of the Markov background model are either estimated from user-specified...