• Möbius

  • Referenced in 24 articles [sw04098]
  • numerical solution, based on compact MDD-based Markov processes, are both supported...
  • PRISM

  • Referenced in 401 articles [sw01186]
  • chains, Markov decision processes and continuous-time Markov chains. Analysis is performed through model checking ... diagrams) and MTBDDs (multi-terminal BDDs); one based on sparse matrices; and one which combines...
  • OpenBUGS

  • Referenced in 68 articles [sw08316]
  • determines an appropriate MCMC (Markov chain Monte Carlo) scheme (based on the Gibbs sampler...
  • MLwiN

  • Referenced in 92 articles [sw04837]
  • likelihood estimation and Markov Chain Monte Carlo (MCMC) methods. MLwiN is based on an earlier...
  • geoRglm

  • Referenced in 17 articles [sw06328]
  • posterior and predictive inference is based on Markov chain Monte Carlo methods. Package geoRglm...
  • BioProspector

  • Referenced in 28 articles [sw09375]
  • sequence motifs. BioProspector uses Markov background to model the base dependencies of non-motif bases...
  • MCQueue

  • Referenced in 137 articles [sw05198]
  • analysis of discrete-time and continuous-time Markov chains up to 100 states. The other ... algorithms in this software package are based on methods discussed in the book H.C. Tijms...
  • LiQuor

  • Referenced in 18 articles [sw04136]
  • language with an operational semantics based on (finite) Markov decision processes. LiQuor provides the facility ... linear time properties by means of automata-based model checking algorithms...
  • PennCNV

  • Referenced in 16 articles [sw19390]
  • present PennCNV, a hidden Markov model (HMM) based approach, for kilobase-resolution detection of CNVs...
  • BDI-POMDP

  • Referenced in 6 articles [sw03092]
  • performance analysis under uncertainty. Distributed partially observable Markov decision problems (POMDPs) are well suited ... that end, we introduce RMTDP (Role-based Markov Team Decision Problem), a new distributed POMDP...
  • latentnet

  • Referenced in 13 articles [sw10550]
  • Bayesian inference for the models based on an Markov chain Monte Carlo algorithm...
  • Alchemy

  • Referenced in 11 articles [sw16040]
  • learning and probabilistic logic inference, based on the Markov logic representation. Alchemy allows...
  • GeneMarkS

  • Referenced in 6 articles [sw23024]
  • gene start within an iterative Hidden Markov model based algorithm. The new gene prediction method ... gene finding program GeneMark.hmm, heuristic Markov models of coding and non-coding regions...
  • smerfs

  • Referenced in 6 articles [sw23987]
  • numerical applications. A fast algorithm based on Markov properties and fast Fourier transforms...
  • Venture

  • Referenced in 8 articles [sw14670]
  • Gibbs sampling, and blocked proposals based on particle Markov chain Monte Carlo and mean-field...
  • Infernal

  • Referenced in 11 articles [sw17000]
  • homology search based on accelerated profile hidden Markov model (HMM) methods and HMM-banded...
  • EasyGene

  • Referenced in 7 articles [sw17322]
  • gene. The gene finder is based on a hidden Markov model (HMM) that is automatically ... then scored with the HMM, and based on score and length ... sense of a third order Markov chain. Conclusions: The result is a flexible gene finder...
  • LatticeKrig

  • Referenced in 4 articles [sw15594]
  • package LatticeKrig: Multiresolution Kriging Based on Markov Random Fields. Methods for the interpolation of large...
  • PROFtmb

  • Referenced in 4 articles [sw11343]
  • residue protein. PROFtmb is a profile-based Hidden Markov Model (HMM) with an architecture mirroring...
  • Pi4U

  • Referenced in 7 articles [sw18320]
  • heterogeneous clusters. Sampling is based on the Transitional Markov Chain Monte Carlo (TMCMC) algorithm ... accommodates scheduling of multiple physical model evaluations based on an adaptive load balancing library...