• BioMOBY

  • Referenced in 9 articles [sw21658]
  • with object and service ontologies. This allows users to traverse expansive and disparate data sets...
  • BodyParts3D

  • Referenced in 3 articles [sw17747]
  • geometrical knowledge in anatomy and complements ontological representation. Moreover, BodyParts3D introduces a universal coordinate system ... most molecular medicine experiments, have been specified. Expansion of the dictionary by adding further segments...
  • BisoGenet

  • Referenced in 2 articles [sw35192]
  • protein-protein interactions, protein-DNA interactions, gene ontology and metabolic pathways. In the middle tier ... includes network analysis tools and interactive network expansion capabilities. In addition, an option is provided...
  • AlignNemo

  • Referenced in 0 articles [sw34159]
  • handle sparse interaction data with an expansion process that at each step explores the local ... concept of semantic similarity applied to Gene Ontology vocabularies. The binaries of AlignNemo and supplementary...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8601 articles [sw00771]
  • R is a language and environment for statistical...
  • WordNet

  • Referenced in 393 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • NP-SPEC

  • Referenced in 20 articles [sw02243]
  • NP-SPEC: An executable specification language for solving...
  • MOVE

  • Referenced in 3 articles [sw02550]
  • MOVE: A distributed framework for materialized ontology view...
  • Haskell

  • Referenced in 851 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • SeDuMi

  • Referenced in 1191 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • Gurobi

  • Referenced in 530 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • SPSS

  • Referenced in 634 articles [sw04269]
  • SPSS is a computer program used for survey...
  • CRAN

  • Referenced in 473 articles [sw04351]
  • R is ‘GNU S’, a freely available language...
  • Mizar

  • Referenced in 469 articles [sw04704]
  • The Mizar System is the only implementation of...
  • Genocop

  • Referenced in 1081 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • LIBSVM

  • Referenced in 1101 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • DLMF

  • Referenced in 2331 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • WEKA

  • Referenced in 294 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...