Results 21 to 40 of 152
Sort by:

  • MiniSat
  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...

  • R
  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...

  • Statool
  • Referenced in 9 articles [sw00914]
  • We present Statool, a software tool for obtaining...

  • L-BFGS-B
  • Referenced in 200 articles [sw01234]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...

  • WordNet
  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...

  • CONOPT
  • Referenced in 171 articles [sw02791]
  • CONOPT is a generalized reduced-gradient (GRG) algorithm...

  • ELECTRE
  • Referenced in 130 articles [sw02971]
  • Electre Methods. Over the last three decades a...

  • L-BFGS
  • Referenced in 852 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...

  • CUDA
  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...

  • LDPC
  • Referenced in 84 articles [sw03321]
  • Software for Low Density Parity Check Codes This...

  • deal.ii
  • Referenced in 650 articles [sw03516]
  • deal.II is a C++ program library targeted at...

  • Trilinos
  • Referenced in 412 articles [sw04028]
  • Each Trilinos package is a self-contained, independent...

  • UCI-ml
  • Referenced in 3444 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...

  • METIS
  • Referenced in 480 articles [sw04089]
  • METIS is a set of serial programs for...

  • Gurobi
  • Referenced in 727 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...

  • NuSMV
  • Referenced in 314 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...

  • SPSS
  • Referenced in 677 articles [sw04269]
  • SPSS is a computer program used for survey...

  • DOLFIN
  • Referenced in 203 articles [sw04313]
  • DOLFIN is a C++/Python library that functions...