• BNT

  • Referenced in 72 articles [sw07384]
  • page has received over 28,000 hits since May 2000. In this paper, we discuss ... high-level, how BNT was designed to cope with them all. We also compare...
  • JUNG

  • Referenced in 11 articles [sw12112]
  • party Java libraries. The JUNG architecture is designed to support a variety of representations ... distances, flows, and importance measures (centrality, PageRank, HITS, etc.). JUNG also provides a visualization framework...
  • SReachTools

  • Referenced in 6 articles [sw30627]
  • tube, which also encompasses the terminal-time hitting reach-avoid and viability problems. The stochastic ... github.com/unm-hscl/SReachTools, and it is designed to be extensible and user friendly...
  • PerM

  • Referenced in 4 articles [sw35278]
  • next-generation sequencing data has spawned the design of new algorithms and software tools ... five mismatches while minimizing the number random hits per query, significantly speeding up the running...
  • CUDAMPF++

  • Referenced in 1 article [sw21326]
  • processing unit (GPU). As an architecture-aware design, the proposed framework aims to fully utilize ... novel method that proactively sacrifices L1 Cache Hit Ratio (CHR) to get improved performance...
  • FAF-Drugs3

  • Referenced in 0 articles [sw40717]
  • compound property calculation and chemical library design. Drug attrition late in preclinical or clinical development ... compound collections used during the hit generation stage and to the selection of compounds undergoing...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Macaulay2

  • Referenced in 1958 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

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

  • Referenced in 312 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • R

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

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SCIP

  • Referenced in 554 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • SatEx

  • Referenced in 15 articles [sw01588]
  • SatEx: A web-based framework for SAT experimentation...
  • EnKF

  • Referenced in 441 articles [sw02066]
  • EnKF-The Ensemble Kalman Filter The EnKF is...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...