
QuickCheck
 Referenced in 87 articles
[sw07277]
 avoid. Random testing is especially suitable for functional programs because properties can be stated ... built from separately tested components, then random testing suffuces to obtain good coverage...

CirCut
 Referenced in 42 articles
[sw04782]
 other binary quadratic programs The GoemansWilliamson randomized algorithm guarantees a highquality approximation ... stateoftheart semidefinite programming codes that implement the GoemansWilliamson randomized algorithm...

FEYNMAN
 Referenced in 5 articles
[sw06056]
 mixed quantum states as well as separable states. In addition to being a prerequisite ... heuristic studies which make use of random states, unitary matrices and other objects...

QRNG
 Referenced in 3 articles
[sw08634]
 Generating and using truly random quantum states in Mathematica. The problem of generating random quantum ... states is of a great interest from the quantum information theory point of view ... Quantis quantum random number generator (QRNG), for investigating statistical properties of quantum states. The described ... number of functions for generating random states, which use Quantis QRNG as a source...

CCASat
 Referenced in 10 articles
[sw12924]
 Swcc, which shows promising experimental results on random 3SAT instances, and outperforms ... called Swcca, which exhibits stateoftheart performance on random 3SAT instances ... solving random $ k$SAT instances with $k>3$, and significantly outperforms other state ... CCASat, which was ranked first in the random track of SAT Challenge 2012. par Additionally...

HepMC
 Referenced in 9 articles
[sw18252]
 stored and traced, random number generator states can be stored, and an arbitrary number...

trng
 Referenced in 9 articles
[sw07529]
 Library (TRNG) is a state of the art C++ pseudorandom number generator library...

Antichains
 Referenced in 27 articles
[sw20208]
 state sets. We evaluate the performance of our algorithm experimentally using the random automaton model...

HMQV
 Referenced in 77 articles
[sw02714]
 security as well as many of its stated security goals. On the basis of these ... formally proved to hold in the random oracle model under the computational DiffieHellman assumption...

MALLET
 Referenced in 21 articles
[sw10602]
 Conditional Random Fields. These methods are implemented in an extensible system for finite state transducers...

CreditRisk+
 Referenced in 40 articles
[sw31697]
 CREDITRISK+ Model considers default rates as continuous random variables and incorporates the volatility of default ... rates. Often, background factors, such as the state of the economy, may cause the incidence...

momentuHMM
 Referenced in 7 articles
[sw21676]
 streams and latent behavior states; 3) biased and correlated random walk movement models, including ”activity...

GATE
 Referenced in 6 articles
[sw06442]
 area of the GAs’ random search operators, depending on the state of convergence...

LibDAI
 Referenced in 15 articles
[sw06422]
 networks) as well as undirected ones (Markov random fields and factor graphs). It offers various ... marginal probability distributions and maximum probability states. Parameter learning is also supported. A feature comparison...

RTNI
 Referenced in 2 articles
[sw28081]
 theory, including entropy calculations for random tensor network states as considered in toy models...

iHydPseCp
 Referenced in 15 articles
[sw23952]
 amino acid composition (PseAAC) and introducing the ”Random Forest” algorithm to operate the calculation. Rigorous ... predictor remarkably outperformed the existing stateoftheart prediction method for the same purpose...

QPACK
 Referenced in 12 articles
[sw07920]
 software package finds numerically the steadystate probabilities and moments for the number ... various time epochs (i.e. Prearrival, Random, and Postdeparture). It also, finds moments...

EasyMKL
 Referenced in 4 articles
[sw32450]
 accuracy of a target kernel machine. Stateoftheart methods of MKL have ... compared with other baselines (random, average, etc.) and three stateoftheart MKL methods...

Blendenpik
 Referenced in 33 articles
[sw09210]
 squares solver. Several innovative randomsampling and randommixing techniques for solving problems in linear ... faster than highperformance implementations of existing stateoftheart algorithms...

wbs
 Referenced in 50 articles
[sw11110]
 sample size. Due to a certain random localisation mechanism, WBS works even for very short ... good practical performance in comparison with the state of the art. The WBS methodology...