• MAS-SOC

  • Referenced in 3 articles [sw09161]
  • creating a platform for multi-agent based social simulation building on recent progress ... mentions recent work on the use of ontologies in defining environments with ELMS and illustrates...
  • INDUS

  • Referenced in 2 articles [sw10500]
  • bioinformatics, environmental informatics, enterprise informatics, and social informatics (among others). However, the massive size, semantic ... heterogeneous data sources, by making explicit, the ontologies (attributes and relationships between attributes) associated with...
  • Coq

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

  • Referenced in 674 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • MapReduce

  • Referenced in 257 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Matlab

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

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

  • Referenced in 89 articles [sw01283]
  • Graphviz is open source graph visualization software. Graph...
  • WordNet

  • Referenced in 402 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • HARMONIA

  • Referenced in 4 articles [sw03091]
  • The role of norms and electronic institutions in...
  • L-BFGS

  • Referenced in 778 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • UCI-ml

  • Referenced in 3266 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • Gurobi

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

  • Referenced in 312 articles [sw04205]
  • Bioconductor provides tools for the analysis and comprehension...
  • SPSS

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

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