• Outward rotations

  • Referenced in 44 articles [sw08660]
  • improved approximation algorithm for MAX NAE-f3g-SAT. Finally, we provide some evidence that outward...
  • FOX

  • Referenced in 22 articles [sw13586]
  • strong and efficient key-schedule algorithms. We provide evidence that FOX is immune to linear...
  • AIS-BN

  • Referenced in 25 articles [sw02223]
  • algorithms, while an attractive alternative to exact algorithms in very large Bayesian network models, have ... unlikely evidence. To address this problem, we propose an adaptive importance sampling algorithm ... state of the art general purpose sampling algorithms, likelihood weighting and self-importance sampling ... network, with evidence as unlikely as $10^-41$. While the AIS-BN algorithm always performed...
  • MultiNest

  • Referenced in 36 articles [sw10481]
  • nested sampling algorithm, called MultiNest. This Bayesian inference tool calculates the evidence, with an associated ... robustness, as compared to the original algorithm presented in Feroz & Hobson, which itself significantly outperformed...
  • SubChlo

  • Referenced in 11 articles [sw22431]
  • composition and the evidence-theoretic K-nearest neighbor (ET-KNN) algorithm. The chloroplast ... introducing the evidence-theoretic K-nearest neighbor (ET-KNN) algorithm, we developed a method...
  • BLOG

  • Referenced in 41 articles [sw22025]
  • unbounded numbers of objects. Furthermore, complete inference algorithms exist for a large fragment ... probabilistic form of Skolemization for handling evidence...
  • SoftPOSIT

  • Referenced in 8 articles [sw28187]
  • difficult scenarios, and empirical evidence suggests that the algorithm has a run-time complexity that...
  • ParNes

  • Referenced in 12 articles [sw08366]
  • solver. The resulting algorithm is called parnes. We provide numerical evidence to show that...
  • KronFit

  • Referenced in 41 articles [sw20428]
  • they do so. We also provide empirical evidence showing that Kronecker graphs can effectively model ... then present KRONFIT, a fast and scalable algorithm for fitting the Kronecker graph generation model...
  • SIGREF

  • Referenced in 15 articles [sw00859]
  • development of algorithms for other types of bisimulation.\parWe provide experimental evidence of the viability...
  • dynesty

  • Referenced in 6 articles [sw28387]
  • Python package to estimate Bayesian posteriors and evidences (marginal likelihoods) using Dynamic Nested Sampling ... benefits of Markov Chain Monte Carlo algorithms that focus exclusively on posterior estimation while retaining ... Nested Sampling’s ability to estimate evidences and sample from complex, multi-modal distributions ... extension to Dynamic Nested Sampling, the algorithmic challenges involved, and the various approaches taken...
  • DDA

  • Referenced in 2 articles [sw29479]
  • algorithm, extracted from previous work with evolutionary algorithms, that takes as input a finite groupoid ... give theoretical and experimental evidence that this algorithm is successful for all idemprimal term continuous...
  • numericaluniversality

  • Referenced in 10 articles [sw18977]
  • evidence for universality in numerical computations with random data. Given a (possibly stochastic) numerical algorithm...
  • GeneWise

  • Referenced in 5 articles [sw29729]
  • combination of hidden Markov models (HMMs). Both algorithms are highly accurate and can provide both ... gene structures when used with the correct evidence...
  • parametric GCD

  • Referenced in 3 articles [sw35034]
  • proposed algorithm and both of Nagasaka’s algorithms have been implemented in Singular (available ... efficiency in that case becomes even more evident...
  • GSO

  • Referenced in 1 article [sw19035]
  • researchers. The generality of the GSO algorithm is evident in its application to diverse problems...
  • HIPPIE

  • Referenced in 5 articles [sw29288]
  • computer algorithm to reflect the amount and quality of evidence for a given...
  • ABC-SubSim

  • Referenced in 12 articles [sw10099]
  • proposed algorithm outperforms other recent sequential ABC algorithms in terms of computational efficiency while achieving ... SubSim readily provides an estimate of the evidence (marginal likelihood) for posterior model class assessment...
  • PGSL

  • Referenced in 11 articles [sw04748]
  • performs better than genetic algorithms and advanced algorithms for simulated annealing ... increasingly better than these other approaches. Empirical evidence of the convergence of PGSL is provided...
  • ML-flex

  • Referenced in 1 article [sw10521]
  • Additionally, ML-Flex supports aggregating evidence across multiple algorithms and data sets via ensemble learning...