• ElemStatLearn

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

  • Referenced in 265 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 C-library ... ecology, introducing them to this powerful statistical inference method...
  • ANFIS

  • Referenced in 262 articles [sw08730]
  • ANFIS: adaptive-network-based fuzzy inference system. The architecture and learning procedure underlying ANFIS (adaptive ... network-based fuzzy inference system) is presented, which is a fuzzy inference system implemented...
  • BUGS

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

  • Referenced in 310 articles [sw02904]
  • first-order logic with equality. Otter’s inference rules are based on resolution and paramodulation...
  • HOL Light

  • Referenced in 288 articles [sw06580]
  • system can be extended with new inference rules without compromising soundness. While retaining this reliability...
  • OCaml

  • Referenced in 271 articles [sw06363]
  • sound, polymorphic type system featuring type inference. The OCaml system is an industrial-strength implementation...
  • ETPS

  • Referenced in 153 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...
  • Julia

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

  • Referenced in 122 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 chi-squared tests) and model...
  • Stan

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

  • Referenced in 113 articles [sw06799]
  • high-level 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 126 articles [sw04356]
  • package quantreg: Quantile Regression. Estimation and inference methods for models of conditional quantiles: Linear...
  • MIM

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

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

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

  • Referenced in 78 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...
  • DENFIS

  • Referenced in 58 articles [sw24183]
  • DENFIS: dynamic evolving neural-fuzzy inference system and its application for time-series prediction. This ... paper introduces a new type of fuzzy inference systems, denoted as dynamic evolving neural-fuzzy ... inference system (DENFIS), for adaptive online and offline learning, and their application for dynamic time ... DENFIS is calculated through a fuzzy inference system based on m-most activated fuzzy rules...
  • Fuzzy Logic Toolbox

  • Referenced in 56 articles [sw07379]
  • through the steps of designing fuzzy inference systems. Functions are provided for many common methods ... then implement these rules in a fuzzy inference system ... stand-alone fuzzy inference engine. Alternatively, you can use fuzzy inference blocks in Simulink...
  • PHYLIP

  • Referenced in 96 articles [sw07694]
  • free package of programs for inferring phylogenies. It is distributed as source code, documentation files...