
HMQV
 Referenced in 89 articles
[sw02714]
 model under the computational DiffieHellman assumption. We base the design and proof of HMQV...

TETRAD
 Referenced in 441 articles
[sw12177]
 effects of interventions or experiments based on a model. All of its search procedures ... various commonly made (but not always true!) assumptions...

STARCCM+
 Referenced in 30 articles
[sw07683]
 also introduce a turbulence model based on Boussinesq’s assumption, leading to a socalled ... presents a numerical resolution of this model based on the finite volume technique and implemented...

HDclassif
 Referenced in 19 articles
[sw11114]
 methods for high dimensional data, based on the assumption that highdimensional data live...

ARMS
 Referenced in 68 articles
[sw00048]
 BILUM and BILUTM. All these methods are based on a block incomplete LU factorization ... nested dissection reordering and innerlevel iterations. Assumptions, under which the new preconditioning is exact...

DQAINT
 Referenced in 11 articles
[sw02110]
 infinite interval. The algorithm is based on the assumption that the oscillating behavior...

GIST
 Referenced in 11 articles
[sw09876]
 turnbased probabilistic games with ωregular objectives; and (b) synthesizes reasonable environment assumptions ... first and efficient implementations of several reductionbased techniques to solve turnbased probabilistic games ... analysis of turnbased probabilistic games for synthesizing environment assumptions for unrealizable specifications...

MPIDepQBF
 Referenced in 4 articles
[sw18671]
 solver DepQBF with assumptionbased reasoning and integrated it in our novel solver MPIDepQBF...

MiniLEGO
 Referenced in 13 articles
[sw09866]
 efficient secure twoparty computation from general assumptions. One of the main tools to construct ... technique, one can get reasonably efficient Yaobased protocols with security against malicious adversaries ... construction in [28] is based on a specific numbertheoretic assumption and requires public ... homomorphic commitment scheme based on oblivious transfer, that we use to cope with the problem...

SCCP
 Referenced in 79 articles
[sw03318]
 contains many optimization problems as special cases. Based on a general smoothing function, we propose ... linearly and locally quadratically convergent under suitable assumptions...

DQAINF
 Referenced in 8 articles
[sw02646]
 infinite interval. The algorithm is based on the assumption that the oscillating behavior...

Vivid
 Referenced in 3 articles
[sw01316]
 valued logic. We extend the assumptionbase semantics of DPLs to accommodate diagrammatic reasoning...

lobpcg.m
 Referenced in 147 articles
[sw24008]
 gradient (LOBPCG) method for symmetric eigenvalue problems, based on a local optimization of a three ... homogeneous system of linear equations under the assumption that the eigenvalue is known. We recommend...

IUPred
 Referenced in 7 articles
[sw16915]
 total pairwise interresidue interaction energy, based on the assumption that IUP sequences do not fold...

WORHP
 Referenced in 20 articles
[sw10824]
 regularity assumptions are necessary for the underlying theory and the algorithms based on it. WORHP...

MicroEliece
 Referenced in 10 articles
[sw09835]
 publickey scheme is based on the alternative security assumption that decoding unknown linear binary...

Benchmarking
 Referenced in 26 articles
[sw14630]
 Data Envelopment Analysis (DEA), under different technology assumptions (fdh, vrs, drs, crs, irs, add/frh ... using different efficiency measures (input based, output based, hyperbolic graph, additive, super, and directional efficiency...

CMAES
 Referenced in 124 articles
[sw05063]
 individuals are selected for the next generation based on their fitness or objective function value ... contrast to most classical methods, fewer assumptions on the nature of the underlying objective function...

iLocHum
 Referenced in 36 articles
[sw22433]
 predicting the subcellular locations of proteins based on their sequence information, it still remains ... existing methods were established on the assumption: a protein has one, and only one, subcellular ... special biological functions worthy of our attention. Based on the accumulationlabel scale...

Voom
 Referenced in 19 articles
[sw14009]
 based RNAseq methods even when the data are generated according to the assumptions...