• KELLEY

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

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

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

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

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

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

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

  • Referenced in 166 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 89 articles [sw11908]
  • graphs, and maps each graph to a unique minimum DFS code as its canonical label...
  • iFEM

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

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

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

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

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

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

  • Referenced in 38 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 50 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 43 articles [sw06285]
  • made model libraries to better match users unique modeling and simulation needs. The flexibility...