• Brain-Graph-Tools

  • Referenced in 1 article [sw17033]
  • weights. The graphs are given in anatomically annotated GraphML format that facilitates better further processing ... regions of interests of the brain. For example, one can easily download and study ... precuneus of 96 subjects using the data. Partially directed connectomes of 423 subjects are also...
  • Tensorial

  • Referenced in 2 articles [sw20318]
  • indices and base indices. Flavored (colored or annotated) indices for various coordinate systems. Differently flavor ... Kronecker, generalized Kronecker and Levi-Civita routines. Partial, covariant, total, absolute and Lie derivative routines ... Complete documented Help with individual pages and examples for each command. Additional tutorial notebooks...
  • KeY-C

  • Referenced in 5 articles [sw00486]
  • We present KeY-C, a tool for deductive...
  • MapReduce

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

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

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

  • Referenced in 153 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • veriSoft

  • Referenced in 90 articles [sw01489]
  • VeriSoft automatically searches for coordination problems (deadlocks, etc...
  • WordNet

  • Referenced in 364 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • S-PLUS

  • Referenced in 509 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • BLAST

  • Referenced in 115 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • Logic programming with functions and predicates: The language...
  • L-BFGS

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

  • Referenced in 666 articles [sw03455]
  • Spin is a popular open-source software tool...
  • SHOGUN

  • Referenced in 77 articles [sw03517]
  • The SHOGUN machine learning toolbox. We have developed...
  • Pajek

  • Referenced in 99 articles [sw03707]
  • Pajek -- analysis and visualization of large networks. Pajek...
  • SDPT3

  • Referenced in 527 articles [sw04009]
  • This software is designed to solve conic programming...
  • UCI-ml

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

  • Referenced in 468 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • Isar

  • Referenced in 125 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...