• HMQV

  • Referenced in 89 articles [sw02714]
  • model under the computational Diffie-Hellman 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...
  • STAR-CCM+

  • Referenced in 30 articles [sw07683]
  • also introduce a turbulence model based on Boussinesq’s assumption, leading to a so-called ... 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 high-dimensional 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 inner-level 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]
  • turn-based probabilistic games with ω-regular objectives; and (b) synthesizes reasonable environment assumptions ... first and efficient implementations of several reduction-based techniques to solve turn-based probabilistic games ... analysis of turn-based probabilistic games for synthesizing environment assumptions for unrealizable specifications...
  • MPIDepQBF

  • Referenced in 4 articles [sw18671]
  • solver DepQBF with assumption-based reasoning and integrated it in our novel solver MPIDepQBF...
  • MiniLEGO

  • Referenced in 13 articles [sw09866]
  • efficient secure two-party computation from general assumptions. One of the main tools to construct ... technique, one can get reasonably efficient Yao-based protocols with security against malicious adversaries ... construction in [28] is based on a specific number-theoretic 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 assumption-base 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]
  • public-key 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...
  • CMA-ES

  • 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...
  • iLoc-Hum

  • 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 accumulation-label scale...
  • Voom

  • Referenced in 19 articles [sw14009]
  • based RNA-seq methods even when the data are generated according to the assumptions...