
BEAST
 Referenced in 48 articles
[sw12588]
 molecular sequences. It estimates rooted, timemeasured phylogenies using strict or relaxed molecular clock models ... tree space, so that each tree is weighted proportional to its posterior probability. BEAST...

ABCSubSim
 Referenced in 13 articles
[sw10099]
 Beck, “Estimation of small failure probabilities in high dimensions by subset simulation”, Probabilistic Engrg. Mech ... actual data vector in observation space. The efficiency of the algorithm is demonstrated ... efficiency while achieving the same, or better, measure of accuracy in the posterior distribution...

BIEMS
 Referenced in 9 articles
[sw21171]
 unconstrained prior truncated in the constrained space. This results in Bayes factors that appropriately balance ... multivariate) regression, or repeated measurements, the obtained Bayes factor can be used to determine ... Bayes factors from BIEMS. Furthermore, posterior model probabilities of constrained models are provided which allows...

Libunfold
 Referenced in 1 article
[sw32656]
 reconstruction of the original probability distribution from the measured one is called unfolding. That technically ... inverse of an integral operator over the space of L1 functions, which is known ... provide proof of convergence in a probability theory context. Furthermore, we provide formulae for error...

BAS
 Referenced in 3 articles
[sw10530]
 discrete and continuous populations in multidimensional space. The design, which we call balanced acceptance ... spatial diversity of selected locations. Targeted inclusion probabilities are achieved by acceptance sampling ... faster, and achieves better spatial balance as measured by a number of quantities. The algorithm...

bnspatial
 Referenced in 1 article
[sw15268]
 Bayesian Networks and mapping in geographical space. It makes maps of expected value (or most ... uncertainty measured as both coefficient of variation or Shannon index (entropy), maps of probability associated...

RNAiFold2T
 Referenced in 0 articles
[sw15050]
 space of solutions. Subsequently, solutions can be prioritized by computing various measures, including probability...

KSD
 Referenced in 0 articles
[sw15901]
 Discrepancy, a discrepancy statistic for measuring differences between two probability distributions based on combination ... Stein’s method and reproducing kernel Hilbert space theory. It provides a method...

AUTOIK
 Referenced in 2 articles
[sw21228]
 attribute values are better connected in space than others (e.g. low pollutant concentrations). To apply ... results to retrieve attribute estimates and associated measures of uncertainty. This paper presents a computer ... modeling of indicator semivariograms, modeling of probability distributions at unmonitored locations (regular or irregular grids...

convexity
 Referenced in 1 article
[sw36571]
 design points within a Euclidean space. We wish to determine whether there exists a convex ... posterior probability of this being true. In each iteration, the posterior probability is estimated using ... offer three variance reduction methods: change of measure, acceptancerejection, and conditional Monte Carlo. Numerical...

topgeommeas
 Referenced in 1 article
[sw38871]
 only on the closed trajectory in parameter space. Such geometric phases are ubiquitous and also ... quantum measurements. We show that the application of a sequence of weak measurements renders ... geometric phase, stochastic. We study the concomitant probability distribution and show that, when varying...

ANSYS
 Referenced in 666 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

cdd
 Referenced in 112 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

Coq
 Referenced in 1835 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 2974 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GAUSS
 Referenced in 119 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

gmp
 Referenced in 274 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Isabelle
 Referenced in 624 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1649 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...