
Outward rotations
 Referenced in 44 articles
[sw08660]
 improved approximation algorithm for MAX NAEf3gSAT. Finally, we provide some evidence that outward...

FOX
 Referenced in 22 articles
[sw13586]
 strong and efficient keyschedule algorithms. We provide evidence that FOX is immune to linear...

AISBN
 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 selfimportance sampling ... network, with evidence as unlikely as $10^41$. While the AISBN 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 evidencetheoretic Knearest neighbor (ETKNN) algorithm. The chloroplast ... introducing the evidencetheoretic Knearest neighbor (ETKNN) 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 runtime 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, multimodal 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...

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

MLflex
 Referenced in 1 article
[sw10521]
 Additionally, MLFlex supports aggregating evidence across multiple algorithms and data sets via ensemble learning...