• RIATA-HGT

  • Referenced in 7 articles [sw17371]
  • incongruence among species and gene trees. Empirical performance of the method on synthetic and biological ... outstanding. Being a heuristic, RIATA-HGT may overestimate the optimal number ... events; empirical performance, however, shows that such overestimation is very mild. par We have implemented...
  • APOGEE

  • Referenced in 36 articles [sw08451]
  • linear scheme that activates appropriate under- and overestimators with a number of binary decision variables ... binary variables and computationally compare the performance of this new formulation to the best-performing...
  • SHOT

  • Referenced in 22 articles [sw15630]
  • cutting plane algorithm ESH generates a tighter overestimated set and unlike outer approximation the generation ... extensive numerical comparison of its performance against other state-of-the-art MINLP solvers...
  • DBH

  • Referenced in 0 articles [sw23363]
  • higher clustering performance and low memory usage, facilitating the overestimation of OTUs number...
  • ParVec

  • Referenced in 1 article [sw13519]
  • order to ensure correctness and perform performance and energy evaluations. However, keeping up with architectural ... others, architects may end up overestimating the impact of certain techniques and underestimating others ... custom vectorization and math libraries. The performance and energy efficiency improvements from vectorization depend greatly...
  • WinoGrande

  • Referenced in 2 articles [sw42140]
  • datasets that lead to an overestimation of the true capabilities of machine commonsense. To investigate ... which are 15-35% below human performance of 94.0%, depending on the amount ... concern that we are likely to be overestimating the true capabilities of machine commonsense across...
  • iOverbook

  • Referenced in 2 articles [sw22897]
  • becomes feasible because user applications tend to overestimate their resource requirements utilizing only a fraction ... resource usage along with the expected mean performance of host machines. To evaluate our approach...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • INTLIB

  • Referenced in 29 articles [sw00444]
  • Algorithm 737: INTLIB - a portable Fortran 77 interval...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PROFIL/BIAS

  • Referenced in 134 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • SUNDIALS

  • Referenced in 246 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • BLAS

  • Referenced in 501 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • INTLAB

  • Referenced in 472 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • CUTEr

  • Referenced in 612 articles [sw04010]
  • CUTEr is a versatile testing environment for optimization...
  • LINPACK

  • Referenced in 525 articles [sw04209]
  • LINPACK is a collection of Fortran subroutines that...