• Miniball

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

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

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

  • Referenced in 51 articles [sw08106]
  • electrostatic analysis. The MIBPB has a unique feature that it is the first interface technique...
  • Abella

  • Referenced in 49 articles [sw09461]
  • admissibility for a sequent calculus and type uniqueness and subject reduction properties. This paper discusses...
  • LieART

  • Referenced in 44 articles [sw08573]
  • used in most particle-physics publications. The unique Dynkin labels of irreducible representations are used...
  • BSPlib

  • Referenced in 42 articles [sw03374]
  • code which are amenable to improvement. A unique feature of this profiler is that...
  • BLOG

  • Referenced in 41 articles [sw22025]
  • acyclicity constraints, every BLOG model specifies a unique probability distribution over first-order model structures...
  • IMFIL

  • Referenced in 40 articles [sw04814]
  • MATLAB implementation. It is unique for being the only book in the area of derivative...
  • iLoc-Euk

  • Referenced in 37 articles [sw22434]
  • ignored because they usually posses some unique biological functions worthy of our special notice...
  • Woflan

  • Referenced in 36 articles [sw07028]
  • production. Woflan is a remarkable product with unique features. State-of-the-art Petri...
  • MediaBench

  • Referenced in 34 articles [sw08949]
  • driven initial selection, experimental measurement to establish uniqueness, and integration with system synthesis algorithms...
  • iPro54-PseKNC

  • Referenced in 34 articles [sw22411]
  • nucleotide composition. The σ(54) promoters are unique in prokaryotic genome and responsible for transcripting...
  • GELDA

  • Referenced in 33 articles [sw00331]
  • that the DAE is found to be uniquely solvable, GELDA is able to compute...
  • GEOCLAW

  • Referenced in 33 articles [sw08626]
  • balanced source terms from variable topography, present unique challenges and require modifications such as special...
  • HElib

  • Referenced in 33 articles [sw09518]
  • Intel SSE and the like), but with unique cost metrics and parameters. In this report...
  • SplitsTree

  • Referenced in 30 articles [sw12234]
  • thus do not always clearly support a unique tree. To address this problem, Bandelt...
  • SimCalc

  • Referenced in 20 articles [sw06726]
  • graphing calculators. This feature makes SimClac MathWorld unique. The purpose of SimClac MathWorld is show ... same time it has a unique feature that shows fishes that travel along a linear...