- Dimensional analysis
- >
- Dimensionless numbers
- >
- Probability
- >
- Probabilistic software

- Fields of mathematics
- >
- Probability and statistics
- >
- Probability
- >
- Probabilistic software

- Mathematics
- >
- Mathematical tools
- >
- Mathematical software
- >
- Probabilistic software

- Numbers
- >
- Dimensionless numbers
- >
- Probability
- >
- Probabilistic software

- Theoretical computer science
- >
- Mathematics of computing
- >
- Mathematical software
- >
- Probabilistic software

GoldSim

GoldSim is dynamic, probabilistic simulation software developed by GoldSim Technology Group. This general-purpose simulator is a hybrid of several simulation approaches, combining an extension of syst

Ecolego

Ecolego is a simulation software tool that is used for creating dynamic models and performing deterministic and probabilistic simulations. It is also used for conducting risk assessments of complex dy

Stan (software)

Stan is a probabilistic programming language for statistical inference written in C++. The Stan language is used to specify a (Bayesian) statistical model with an imperative program calculating the lo

Probabilistic programming

Probabilistic programming (PP) is a programming paradigm in which probabilistic models are specified and inference for these models is performed automatically. It represents an attempt to unify probab

PyMC

PyMC (formerly known as PyMC3) is a Python package for Bayesian statistical modeling and probabilistic machine learning which focuses on advanced Markov chain Monte Carlo and variational fitting algor

Infer.NET

Infer.NET is a free and open source .NET software library for machine learning. It supports running Bayesian inference in graphical models and can also be used for probabilistic programming.

ArviZ

ArviZ (/ˈɑːrvɪz/ AR-vees) is a Python package for exploratory analysis of Bayesian models. When working with Bayesian models there are a series of related tasks that need to be addressed besides infer

Church (programming language)

Church refers to both a family of LISP-like probabilistic programming languages for specifying arbitrary probabilistic programs, as well as a set of algorithms for performing probabilistic inference i

ML.NET

ML.NET is a free software machine learning library for the C# and F# programming languages. It also supports Python models when used together with NimbusML. The preview release of ML.NET included tran

PRISM model checker

PRISM is a probabilistic model checker, a formal verification software tool for the modelling and analysis of systems that exhibit probabilistic behaviour. One source of such systems is the use of ran

SAPHIRE

SAPHIRE is a probabilistic risk and reliability assessment software tool. SAPHIRE stands for Systems Analysis Programs for Hands-on Integrated Reliability Evaluations. The system was developed for the

NESSUS Probabilistic Analysis Software

NESSUS is a general-purpose, probabilistic analysis program that simulates variations and uncertainties in loads, geometry, material behavior and other user-defined inputs to compute probability of fa

TrueAllele

TrueAllele is a software program by that analyzes DNA using statistical methods, a process called probabilistic genotyping. It is used in forensic identification. The program can be used in situations

Turing (probabilistic programming)

No description available.

Vensim

Vensim is a simulation software developed by Ventana Systems. It primarily supports continuous simulation (system dynamics), with some discrete event and agent-based modelling capabilities. It is avai

ProbLog

ProbLog is a probabilistic logic programming that extends Prolog with probabilities. It minimally extends Prolog by adding the notion of a probabilistic fact, which combines the idea of logic atoms an

© 2023 Useful Links.