• MADM

  • Referenced in 103 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...
  • adventures-in-graph-theory

  • Referenced in 1 article [sw23333]
  • valuable uses are. The consequences of graph theory covered by the authors are complicated ... user-friendly 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 10 articles [sw10824]
  • regularity assumptions are necessary for the underlying theory and the algorithms based on it. WORHP ... routines for computing sparse derivatives by applying graph-coloring methods to finite differences, structure-preserving...
  • 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 small-world theory (Watts and Strogatz...
  • Orbiter

  • Referenced in 5 articles [sw12417]
  • classify discrete objects such as designs, graphs, codes, and objects from finite geometry. It employs ... stone. The algorithms combine techniques from Group Theory and from Combinatorics. Orbiter is a library ... Discrete Mathematics. In order to be applied to a specific problem, code...
  • Chaos Many-Body 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 many-body...
  • BDgraph

  • Referenced in 6 articles [sw14815]
  • time birth-death process. We cover the theory and computational details of the method ... implement and computationally feasible for high-dimensional 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 large-scale 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 And-Inverter 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 well-known structure ... experimentally validate the Merlin approach by applying it to 10 large business-critical 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]
  • infinite-state 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 1 article [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 (R-fMRI) data. After applying the GRETNA to a publicly released...
  • ANSYS

  • Referenced in 569 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ATLAS

  • Referenced in 192 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CGAL

  • Referenced in 305 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • KNITRO

  • Referenced in 145 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LAPACK

  • Referenced in 1503 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...