
ElemStatLearn
 Referenced in 1477 articles
[sw11049]
 Elements of Statistical Learning, Data Mining, Inference, and Prediction” by Trevor Hastie, Robert Tibshirani...

GMRFLib
 Referenced in 309 articles
[sw06641]
 complex hierarchical models, in which statistical inference is only possible using Markov Chain Monte Carlo ... construct fast and reliable algorithms for MCMC inference, and provide an online Clibrary ... ecology, introducing them to this powerful statistical inference method...

Julia
 Referenced in 450 articles
[sw13986]
 expressive programming model and successful type inference, leading to good performance for a wide range...

ANFIS
 Referenced in 279 articles
[sw08730]
 ANFIS: adaptivenetworkbased fuzzy inference system. The architecture and learning procedure underlying ANFIS (adaptive ... networkbased fuzzy inference system) is presented, which is a fuzzy inference system implemented...

BUGS
 Referenced in 378 articles
[sw07885]
 BUGS (Bayesian inference Using Gibbs Sampling) project is concerned with flexible software for the Bayesian...

OTTER
 Referenced in 316 articles
[sw02904]
 firstorder logic with equality. Otter’s inference rules are based on resolution and paramodulation...

HOL Light
 Referenced in 307 articles
[sw06580]
 system can be extended with new inference rules without compromising soundness. While retaining this reliability...

Stan
 Referenced in 286 articles
[sw10200]
 probabilistic programming language implementing full Bayesian statistical inference with MCMC sampling (NUTS, HMC) and penalized...

OCaml
 Referenced in 273 articles
[sw06363]
 sound, polymorphic type system featuring type inference. The OCaml system is an industrialstrength implementation...

ETPS
 Referenced in 160 articles
[sw06302]
 ETPS issues commands to apply rules of inference in specified ways, and the computer handles ... formulas from them. The rules of inference and predefined problems in ETPS are mostly taken ... Publishers, 2002. Descriptions of the rules of inference are available online. When the teacher permits...

spatstat
 Referenced in 140 articles
[sw04429]
 simulation, spatial sampling, model diagnostics, and formal inference. Data types include point patterns, line segment ... simulated automatically. Also provides facilities for formal inference (such as chisquared tests) and model...

Oz
 Referenced in 117 articles
[sw06799]
 highlevel programming language combining constraint inference with concurrency. Typical application areas of Oz include ... powerful primitives for programming constraint inference engines at a high level...

quantreg
 Referenced in 160 articles
[sw04356]
 package quantreg: Quantile Regression. Estimation and inference methods for models of conditional quantiles: Linear...

MIM
 Referenced in 134 articles
[sw26139]
 summarizes some recent work on causal inference, relevant when graphical models are given a causal...

pcalg
 Referenced in 90 articles
[sw06072]
 package pcalg: Estimation of CPDAG/PAG and causal inference using the IDA algorithm , Standard and robust ... available for estimating PAGs. Functions for causal inference using the IDA algorithm (based...

SETHEO
 Referenced in 122 articles
[sw00707]
 programming language LOP (under development). The inference machine of the system is implemented using Prolog...

Boogie
 Referenced in 120 articles
[sw07714]
 accepts the Boogie language as input, optionally infers some invariants in the given Boogie program...

bnlearn
 Referenced in 74 articles
[sw08265]
 Bayesian network structure learning, parameter learning and inference. Bayesian network structure learning, parameter learning ... inference. This package implements constraintbased (GS, IAMB, InterIAMB, FastIAMB, MMPC, Hiton ... parameter estimation (maximum likelihood and Bayesian) and inference, conditional probability queries and crossvalidation. Development...

BartPy
 Referenced in 83 articles
[sw40584]
 weak learner, and fitting and inference are accomplished via an iterative Bayesian backfitting MCMC algorithm ... likelihood. This approach enables full posterior inference including point and interval estimates of the unknown...

RStan
 Referenced in 81 articles
[sw13990]
 programming language that implements full Bayesian statistical inference via Markov Chain Monte Carlo, rough Bayesian ... inference via variational approximation, and (optionally penalized) maximum likelihood estimation via optimization. In all three...