• mctoolbox

  • Referenced in 1485 articles [sw04827]
  • release 1995). The toolbox was developed in conjunction with the book Accuracy and Stability...
  • FGb

  • Referenced in 247 articles [sw00286]
  • practical efficiency of new algorithms. Secondly, in conjunction with other software, the FGb library...
  • CUTE

  • Referenced in 226 articles [sw14681]
  • were originally produced by the authors in conjunction with the software package LANCELOT, we believe...
  • Walksat

  • Referenced in 209 articles [sw04328]
  • have been converted into, conjunctive normal form. They start by assigning a random value...
  • FEAP

  • Referenced in 192 articles [sw04963]
  • system may also be used in conjunction with mesh generation programs that have an option...
  • Pellet

  • Referenced in 95 articles [sw07019]
  • incorporates optimizations for nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information...
  • UMAT

  • Referenced in 85 articles [sw08803]
  • mechanical constitutive model; can be used in conjunction with user subroutine USDFLD to redefine...
  • Cytoscape

  • Referenced in 82 articles [sw09080]
  • Cytoscape is most powerful when used in conjunction with large databases of protein-protein, protein...
  • Racer

  • Referenced in 66 articles [sw09837]
  • provides the powerful and semantically well-defined conjunctive query language nRQL (new Racer Query Language...
  • CVODE

  • Referenced in 62 articles [sw04947]
  • nonzero but controlled. When used in conjunction with the serial NVECTOR module, CVODE provides both...
  • limma

  • Referenced in 58 articles [sw10458]
  • adaptive background correction and control spots in conjunction with linear modelling is illustrated...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • soluton relations and all-solutions relations. A conjunction of single-solution relation calls ... computed, using committed choice nondeterminism. A conjunction of all-solutions relation calls is evaluated without...
  • PREMIX

  • Referenced in 52 articles [sw27815]
  • convergence difficulties. The program runs in conjunction with preprocessors for the chemical reaction mechanism...
  • COSA

  • Referenced in 49 articles [sw22936]
  • clustering attribute value data. When used in conjunction with conventional distance-based clustering algorithms this...
  • DepQBF

  • Referenced in 45 articles [sw09734]
  • quantified boolean formulae (QBF) in prenex conjunctive normal form. It is based on the DPLL...
  • TRANSPORT

  • Referenced in 44 articles [sw08144]
  • subroutines are designed to be used in conjunction with the CHEMKIN-III subroutine library...
  • Chabot

  • Referenced in 39 articles [sw14898]
  • simple color analysis method, if used in conjunction with other search criteria, improves our ability...
  • UnitWalk

  • Referenced in 36 articles [sw00993]
  • satisfiability problem for Boolean formulas in conjunctive normal form. Despite its simplicity, this algorithm performs...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • problems. However, it is best used in conjunction with other optimization paradigms such as local...
  • LFR-toolbox

  • Referenced in 28 articles [sw04756]
  • function interfaces. The new enhancements in conjunction with improved symbolical preprocessing lead generally...