• KELLEY

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

  • Referenced in 379 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 262 articles [sw05367]
  • efficient algorithms that are unique to polynomial calculations over the two-element field...
  • MOD-DIST

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

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 57 articles [sw16108]
  • Julia programming language to offer unique functionality while achieving performance on par with commercial modeling...
  • 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...