• 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 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...
  • 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 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 Diffie-Hellman assumption...
  • CCASat

  • Referenced in 6 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...
  • 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...
  • 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...
  • 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 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 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 low-temperature 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...