
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 testinput 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 normalform game as input. GAMUT is not to be confused with...

SetTest
 Referenced in 3 articles
[sw21047]
 quantile, pvalue, statistical power calculator and random number generator for a collection of group ... sided phidivergence tests, etc. The input are a group of pvalues. The null ... group of i.i.d. random variables to a given continuous distribution, the input pvalues ... 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 twodimensional ... 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 signalplusnoise 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...