Results 1 to 20 of 280
Sort by:

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