• getRDS

  • Referenced in 3 articles [sw12595]
  • always necessary to resort to randomness to generate inputs. Then, novel sampling methods were derived ... compared to the well known Mersenne Twister random number generator MT19937 (MT). We noticed that...
  • Houghtool

  • Referenced in 4 articles [sw08121]
  • probabilistic approaches which use random sampling of the input points. The aim of the Houghtool...
  • LambertW

  • Referenced in 11 articles [sw06066]
  • random variables (RV) are based on an input/output framework where the input...
  • dSPIN

  • Referenced in 31 articles [sw09888]
  • caused by adding extra functionalities. The input language of dSPIN is a superset of PROMELA ... Such constructs are supported by both the random simulator and verifier generator. The tool...
  • Harvey

  • Referenced in 4 articles [sw21395]
  • present Harvey, a tool for random testing in answer set programming (ASP) that allows ... constraints to guide the generation of test inputs. Due to the declarative nature ... allows for random testing of answer set programs in which both test-input generation ... input selection is achieved by using XOR sampling. This allows to go beyond simple random...
  • GAMUT

  • Referenced in 17 articles [sw30178]
  • different parameterization options, it is possible to randomize over countless distributions of games, resulting ... algorithm requiring a normal-form game as input. GAMUT is not to be confused with...
  • SetTest

  • Referenced in 3 articles [sw21047]
  • quantile, p-value, statistical power calculator and random number generator for a collection of group ... sided phi-divergence tests, etc. The input are a group of p-values. The null ... group of i.i.d. random variables to a given continuous distribution, the input p-values ... transformation. The null hypothesis means that these random variables follow the given distribution. For reference...
  • BacSim

  • Referenced in 21 articles [sw17261]
  • eight readily obtainable parameters which can be randomly varied. For substrate diffusion, a two-dimensional ... implemented. The simulator output faithfully reproduced all input parameters. Growth characteristics when maintenance and uptake ... quantify the loss of synchrony due to random variation of cell parameters or spatial heterogeneity...
  • CreditRisk+

  • Referenced in 44 articles [sw31697]
  • CREDITRISK+ Model considers default rates as continuous random variables and incorporates the volatility of default ... rather than using default correlations as explicit inputs into the model. Mathematical techniques applied widely...
  • VIDE

  • Referenced in 1 article [sw26660]
  • common formats. It can also randomly subsample inputs and includes a Halo Occupation Distribution model...
  • SMPS reader

  • Referenced in 17 articles [sw04815]
  • Utility routines for working with the SMPS Input Format for Stochastic Linear Programs This file ... through sampling routines. A variety of random number generators for uniform, discrete, normal, lognormal...
  • ZKBoo

  • Referenced in 9 articles [sw28503]
  • They on OpenSSL for doing commits and randomness generation and use OpenMP for parallelization. When ... either prover, it will prompt for an input to hash. After entering the input...
  • gensim

  • Referenced in 14 articles [sw04081]
  • Latent Semantic Analysis, Latent Dirichlet Allocation or Random Projections, discover semantic structure of documents ... algorithms are unsupervised, which means no human input is necessary – you only need a corpus...
  • DropEdge

  • Referenced in 3 articles [sw37753]
  • training by isolating output representations from the input features with the increase in network depth ... core, DropEdge randomly removes a certain number of edges from the input graph at each...
  • hebbRNN

  • Referenced in 1 article [sw29194]
  • reward signal. On individual trials, input is perturbed randomly at the synapses of individual neurons...
  • RVGEN

  • Referenced in 1 article [sw00819]
  • setting and getting of random variate parameters, GUIs for inputting parameters, validation of parameters, parameter ... input and output from a file, generation of random variate class declarations, generation of seeds...
  • GLISSOM

  • Referenced in 6 articles [sw04192]
  • respectively). The connection weights are initially random or isotropic, and are subsequently organized through ... unsupervised Hebbian learning process using visual input. Weak connections are eliminated periodically, resulting in patchy...
  • ASPTools

  • Referenced in 1 article [sw33089]
  • delete rules from a program (randomly); igen: add an input generator to a module with ... external (input) atoms; interpret: map atom numbers back to symbolic names; len: calculate the length ... each module in turn; planar: generate random planar graphs; redr: check the redundancy of individual...
  • OptShrink

  • Referenced in 16 articles [sw33657]
  • buried in noise. It takes as its input the signal-plus-noise matrix, an estimate ... correct manner as given by random matrix theory. It can be used in the missing...
  • OCTOPUS

  • Referenced in 1 article [sw17597]
  • tool. This means that the input is made of random phase screens (usually...