
MADM
 Referenced in 117 articles
[sw06484]
 Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods ... also an ideal study resource for applied research workers, academicians, and students in mechanical...

adventuresingraphtheory
 Referenced in 1 article
[sw23333]
 valuable uses are. The consequences of graph theory covered by the authors are complicated ... userfriendly manner with copious graphs, exercises, and Sage code for the computation of equations ... interested in exploring how they can apply graph theory to other parts of mathematics...

WORHP
 Referenced in 14 articles
[sw10824]
 regularity assumptions are necessary for the underlying theory and the algorithms based on it. WORHP ... routines for computing sparse derivatives by applying graphcoloring methods to finite differences, structurepreserving...

brainwaver
 Referenced in 2 articles
[sw26203]
 with a visualisation and parametrisation using graph theory. This package computes the correlation matrix ... waveslim (Whitcher, 2000). An hypothesis test is applied to each entry of one matrix ... graph. The graph obtained is finally analysed using the smallworld theory (Watts and Strogatz...

Chaos ManyBody Engine
 Referenced in 2 articles
[sw12491]
 fragmentation level” (defined using the graph theory and the Shannon entropy). Inspired by existing studies ... clusters of galaxies, we tried to apply the virial theorem for a simplified manybody...

BDgraph
 Referenced in 6 articles
[sw14815]
 time birthdeath process. We cover the theory and computational details of the method ... implement and computationally feasible for highdimensional graphs. We show our method outperforms alternative Bayesian ... terms of convergence, mixing in the graph space and computing time. Unlike frequentist approaches ... broad range of simulated data. We then apply the method on largescale real applications...

SONOLAR
 Referenced in 2 articles
[sw26291]
 decide the satisfiability. For handling the extensional theory of arrays, the lemmas on demand approach ... applied to the input formula which is then converted to an AndInverter Graph. After...

Merlin
 Referenced in 2 articles
[sw23076]
 approximation as a probabilistic abstraction, using the theory of probabilistic refinement developed by McIver ... resulting system of probabilistic constraints using factor graphs, which are a wellknown structure ... experimentally validate the Merlin approach by applying it to 10 large businesscritical Web applications...

pyunicorn
 Referenced in 3 articles
[sw19314]
 applying and combining modern methods of data analysis and modeling from complex network theory ... structure using advanced methods of complex network theory such as measures and models for spatial ... recurrence quantification analysis (RQA), recurrence networks, visibility graphs and construction of surrogate time series...

GADAR
 Referenced in 2 articles
[sw03266]
 extremal graph theory For the class of algebraically defined graphs  i.e., graphs in which adjacency ... inefficient. GADAR (short for “Graphs with Algebraically Defined Adjacency Relations”) is a package based ... oriented programming were used. The package is applied to investigation of the infinite families...

GBDD
 Referenced in 1 article
[sw15451]
 infinitestate systems based on automata theory. It represents states using words over a finite ... automata. Recently, these techniques have also been applied to finite trees and we hope ... other kinds of structures such as graphs. For an introduction to Regular Model Checking...

SpectralNet
 Referenced in 2 articles
[sw26162]
 points into the eigenspace of their associated graph Laplacian matrix and subsequently clusters them ... network. Additional improvement can be achieved by applying the network to code representations produced ... fully unsupervised. In addition, we apply VC dimension theory to derive a lower bound...

GRETNA
 Referenced in 1 article
[sw26509]
 functional MRI) and further characterized by graph theory. Given the huge complexity of network construction ... largely lacking. Here, we developed the GRaph thEoreTical Network Analysis (GRETNA) toolbox for imaging connectomics ... state functional MRI (RfMRI) data. After applying the GRETNA to a publicly released...

ADOLC
 Referenced in 219 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 633 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ATLAS
 Referenced in 195 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

ACL2
 Referenced in 273 articles
[sw00060]
 ACL2 is both a programming language in which...

CGAL
 Referenced in 329 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1739 articles
[sw00161]
 Coq is a formal proof management system. It...