
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 decisiontheoretic inference. ProbLog2 allows the user to compute marginal...

Venture
 Referenced in 8 articles
[sw14670]
 specified via a Turingcomplete, higherorder 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, higherorder probabilistic procedures, partially exchangeable sequences and “likelihoodfree” 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 expectationmaximization 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 highlevel language and interactive...

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