
BrainGraphTools
 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 LeviCivita routines. Partial, covariant, total, absolute and Lie derivative routines ... Complete documented Help with individual pages and examples for each command. Additional tutorial notebooks...

KeYC
 Referenced in 5 articles
[sw00486]
 We present KeYC, 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 highlevel 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...

SPLUS
 Referenced in 509 articles
[sw02892]
 SPLUS 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...

LBFGS
 Referenced in 623 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

SPIN
 Referenced in 666 articles
[sw03455]
 Spin is a popular opensource 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...

UCIml
 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...