• KELLEY

  • Referenced in 537 articles [sw04829]
  • smooth and for noisy functions is a unique feature of this book. Matlab implementations...
  • INTOPT_90

  • Referenced in 286 articles [sw04705]
  • addition the solutions ought to be unique in these boxes. -- The book contains standard results...
  • TETRAD

  • Referenced in 284 articles [sw12177]
  • commercial programs do not perform. Tetrad is unique in the suite of principled search (”exploration...
  • MersenneTwister

  • Referenced in 206 articles [sw05367]
  • efficient algorithms that are unique to polynomial calculations over the two-element field...
  • MOD-DIST

  • Referenced in 200 articles [sw07504]
  • inventory models, and defender-interdictor problems. A unique taxonomy of location problems and models...
  • MENU-OKF

  • Referenced in 200 articles [sw07505]
  • inventory models, and defender-interdictor problems. A unique taxonomy of location problems and models...
  • SITATION

  • Referenced in 194 articles [sw07503]
  • inventory models, and defender-interdictor problems. A unique taxonomy of location problems and models...
  • IFISS

  • Referenced in 148 articles [sw04398]
  • that arise in incompressible flow modelling. A unique feature of the package is its comprehensive...
  • Pastry

  • Referenced in 106 articles [sw11775]
  • node in the Pastry network has a unique identifier (nodeId). When presented with a message...
  • gSpan

  • Referenced in 87 articles [sw11908]
  • graphs, and maps each graph to a unique minimum DFS code as its canonical label...
  • iFEM

  • Referenced in 73 articles [sw07766]
  • code is simple, readable, and efficient. A unique strength of iFEM is the ability...
  • PicoSAT

  • Referenced in 72 articles [sw07092]
  • proof traces compactly in memory and further unique features of PicoSAT including an aggressive restart...
  • pcalg

  • Referenced in 59 articles [sw06072]
  • equivalence class is represented by its (unique) Completete Partially Directed Acyclic Graph (CPDAG). Furthermore...
  • UniProt

  • Referenced in 59 articles [sw21320]
  • have created a new proteome identifier that uniquely identifies a particular assembly of a species...
  • CLEAN

  • Referenced in 53 articles [sw01346]
  • importance for practical use is Clean’s uniqueness typing enabling destructive updates of arbitrary objects...
  • seL4

  • Referenced in 52 articles [sw15222]
  • code, and hardware, and we used a unique design approach that fuses formal and operating...
  • BIOCHAM

  • Referenced in 36 articles [sw09927]
  • modelling environment for systems biology, with some unique features for static analysis or for inferring ... validate models with respect to such specifications, unique features for developing/correcting/completing/coupling models, including the inference...
  • GOLEM

  • Referenced in 49 articles [sw24695]
  • instance, FOIL, but rather constructs a unique clause covering a set of positive examples relative...
  • Miniball

  • Referenced in 32 articles [sw05179]
  • fits into the combinatorial model of unique sink orientations whose rich structure has recently received ... variety of pivoting methods for unique sink orientations which have the potential of being fast...
  • Dymola

  • Referenced in 39 articles [sw06285]
  • made model libraries to better match users unique modeling and simulation needs. The flexibility...