• BEAST

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

  • 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 multi-dimensional 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...
  • AUTO-IK

  • 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, acceptance-rejection, and conditional Monte Carlo. Numerical...
  • top-geom-meas

  • 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...