• ProbLog

  • Referenced in 82 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based on Prolog. Two ProbLog implementations are available ... success probability of a given query, either exactly or using various approximate methods. ProbLog1 also ... interpretations setting. ProbLog1 also supports decision-theoretic inference. ProbLog2 allows the user to compute marginal...
  • Venture

  • Referenced in 8 articles [sw14670]
  • specified via a Turing-complete, higher-order probabilistic language descended from Lisp. Unlike Church, Venture ... compositional language for custom inference strategies built out of scalable exact and approximate techniques ... implementation that build on ideas from probabilistic graphical models. First, we describe the stochastic procedure ... supports custom control flow, higher-order probabilistic procedures, partially exchangeable sequences and “likelihood-free” stochastic...
  • MCINTYRE

  • Referenced in 8 articles [sw22925]
  • program transformation that translates a probabilistic program into a normal program to which the query ... resulting system, called MCINTYRE for Monte Carlo INference wiTh Yap REcord, is evaluated on various ... ProbLog and cplint and with the exact inference of the PITA system. The results show...
  • Libra

  • Referenced in 3 articles [sw14324]
  • algorithms for learning and inference with discrete probabilistic models, including Bayesian networks, Markov networks, dependency ... structure of tractable models in which exact inference is efficient. It also includes a variety...
  • Hakaru

  • Referenced in 4 articles [sw14669]
  • probabilistic programming system that allows composable reuse of distributions, queries, and inference algorithms, all expressed ... conditional distributions, and {it simplification}, which subsumes exact inference by computer algebra. We show...
  • cplint

  • Referenced in 4 articles [sw22924]
  • programs for reasoning and learning with Probabilistic Logic Programming languages that follow the distribution semantics ... measured. The two cplint modules for inference, PITA and MCINTYRE, have been extended for computing ... these models. We also executed experiments comparing exact and approximate inference with conditional and causal...
  • GSPPCA

  • Referenced in 4 articles [sw25977]
  • using a variational expectation-maximization algorithm. The exact marginal likelihood can eventually be maximized over ... components, we call this approach globally sparse probabilistic PCA (GSPPCA). Its usefulness is illustrated ... unlabeled microarray data, GSPPCA is shown to infer biologically relevant subsets of genes. According...
  • BNFinder2

  • Referenced in 1 article [sw34896]
  • Bayesian classification. Bayesian Networks (BNs) are versatile probabilistic models applicable to many different biological phenomena ... inferred from experimental data. BNFinder is a fast software implementation of an exact algorithm...
  • PMT

  • Referenced in 0 articles [sw29885]
  • each probabilistic model, PMT provides functions for simulation (sampling from the model), inference (hidden state ... from data. PMT supports multiple inference methods, both exact and approximate (e.g., winner takes...
  • ANSYS

  • Referenced in 655 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • AXIOM

  • Referenced in 170 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Expokit

  • Referenced in 173 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • gmp

  • Referenced in 265 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LSQR

  • Referenced in 358 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Maple

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12074 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Maxima

  • Referenced in 151 articles [sw00560]
  • Maxima is a system for the manipulation of...