
QuickCheck
 Referenced in 83 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...

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 26 articles
[sw20208]
 state sets. We evaluate the performance of our algorithm experimentally using the random automaton model...

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

HMQV
 Referenced in 76 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...

CCASat
 Referenced in 6 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...

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

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

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

LibDAI
 Referenced in 12 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...

Blendenpik
 Referenced in 28 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 41 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...

dSPIN
 Referenced in 30 articles
[sw09888]
 implemented on top of standard SPIN’s state space exploration and reduction algorithms: memory references ... Such constructs are supported by both the random simulator and verifier generator. The tool...

MCAMC
 Referenced in 12 articles
[sw02829]
 extremely useful for models with discrete state spaces when lowtemperature simulations are desired ... algorithm we introduce a simple model involving random walkers on an energy landscape. This simple...

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