• 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 Goemans--Williamson randomized algorithm guarantees a high-quality approximation ... state-of-the-art semidefinite programming codes that implement the Goemans--Williamson 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 3-SAT instances, and outperforms ... called Swcca, which exhibits state-of-the-art performance on random 3-SAT 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++ pseudo-random 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 Diffie-Hellman 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...
  • iHyd-PseCp

  • 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 state-of-the-art prediction method for the same purpose...
  • QPACK

  • Referenced in 12 articles [sw07920]
  • software package finds numerically the steady-state probabilities and moments for the number ... various time epochs (i.e. Pre-arrival, Random, and Post-departure). It also, finds moments...
  • EasyMKL

  • Referenced in 4 articles [sw32450]
  • accuracy of a target kernel machine. State-of-the-art methods of MKL have ... compared with other baselines (random, average, etc.) and three state-of-the-art MKL methods...
  • Blendenpik

  • Referenced in 33 articles [sw09210]
  • squares solver. Several innovative random-sampling and random-mixing techniques for solving problems in linear ... faster than high-performance implementations of existing state-of-the-art 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...