• ConceptNet

  • Referenced in 26 articles [sw10660]
  • oriented inferences. The knowledge base is a semantic network presently consisting of over 1.6 million ... commonsense knowledge encompassing the spatial, physical, social, temporal, and psychological aspects of everyday life. ConceptNet...
  • INDUS

  • Referenced in 2 articles [sw10500]
  • software for collaborative discovery from autonomous, semantically heterogeneous, distributed information sources. Development of high throughput ... enterprise informatics, and social informatics (among others). However, the massive size, semantic heterogeneity, autonomy...
  • GraphCT

  • Referenced in 1 article [sw06629]
  • data that include rich semantic and complex networks. A social graph, for example, containing hundreds...
  • MasterMovelets

  • Referenced in 1 article [sw34436]
  • explosion of social media data and the advances in the semantic enrichment of mobility data...
  • GraphDBLP

  • Referenced in 1 article [sw32533]
  • queries and social network analyses. GraphDBLP also enriches the DBLP data through semantic keyword similarities ... given topic, and (iii) perform social network analyses over the whole community. To date, GraphDBLP...
  • ToppGene Suite

  • Referenced in 6 articles [sw30169]
  • similarity between any two genes based on semantic annotations. The similarity scores from individual features ... PPIN)-based disease candidate gene prioritization uses social and Web networks analysis algorithms (extended versions...
  • STTM

  • Referenced in 1 article [sw28482]
  • Along with the emergence and popularity of social communications on the Internet, topic discovery from ... becomes fundamental to many applications that require semantic understanding of textual content. As a rising...
  • InstQL

  • Referenced in 1 article [sw02055]
  • about “correct” and “incorrect” behaviour within a social context. While institutions can be studied ... reason over the underlying normative models. The semantics of the query language is provided...
  • MorphDroid

  • Referenced in 1 article [sw34337]
  • information, including the device ID, contacts and social data. This richness increases the functionality ... longitude and latitude) and (ii) modeling of semantic transformations over private data (e.g. conversion...
  • Coq

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

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

  • Referenced in 5020 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

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

  • Referenced in 5857 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 528 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 553 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Normaliz

  • Referenced in 148 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • Octave

  • Referenced in 279 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • Paramils

  • Referenced in 68 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...