• KELLEY

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

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

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

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

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

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

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

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

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

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

  • Referenced in 128 articles [sw21320]
  • have created a new proteome identifier that uniquely identifies a particular assembly of a species...
  • 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...
  • seL4

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

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

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

  • Referenced in 42 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...
  • CLEAN

  • Referenced in 58 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...
  • Miniball

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