• KELLEY

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

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

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

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

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

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

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

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

  • Referenced in 148 articles [sw31783]
  • illumination patterns such that three diffracted figures uniquely determine the phase of the object...
  • UniProt

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

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

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

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

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

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

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

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

  • Referenced in 40 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...
  • DAISY

  • Referenced in 38 articles [sw09059]
  • since it concerns the possibility of recovering uniquely the unknown model parameters from measured input ... course, determining if the parameters can be uniquely recovered from observed data is essential before...
  • GOLEM

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