• CLEAN

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

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

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

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

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

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

  • Referenced in 42 articles [sw04814]
  • MATLAB implementation. It is unique for being the only book in the area of derivative...
  • BLOG

  • Referenced in 41 articles [sw22025]
  • acyclicity constraints, every BLOG model specifies a unique probability distribution over first-order model structures...
  • 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...
  • InterViewer

  • Referenced in 29 articles [sw00443]
  • protein interaction networks in three-dimensional space. Unique features of INTERVIEWER include...