• CeTA

  • Referenced in 40 articles [sw06584]
  • major termination criteria: dependency pairs, dependency graphs, and reduction pairs. Second, for each of these...
  • SparseMatrix

  • Referenced in 559 articles [sw04629]
  • structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics, computer graphics/vision ... statistics, power networks, and other networks and graphs). We provide software for accessing and managing...
  • Traces

  • Referenced in 93 articles [sw07823]
  • labeling and the automorphism group of a graph is investigated. A new algorithmic design aimed ... reduction in the search space, thereby making computation feasible for several classes of graphs which...
  • Reduze

  • Referenced in 69 articles [sw10354]
  • reduction of different topologies is supported via a modular, load balancing job system. Fast graph...
  • Leibniz

  • Referenced in 31 articles [sw12871]
  • lazy learner - dimension reduction of models - decomposition of graphs and matrices - solution of constrained optimization...
  • Alfalfa

  • Referenced in 3 articles [sw09414]
  • Alfalfa: distributed graph reduction on a hypercube multiprocessor. Alfalfa is implementation of a functional language ... abstract machine model consisting of both graph reduction and stack oriented execution. Alfalfa consists...
  • LoLA

  • Referenced in 24 articles [sw04381]
  • state space reduction, LoLA features symmetries, stubborn sets, and coverability graphs...
  • PELCR

  • Referenced in 3 articles [sw20841]
  • environment supporting Lévy’s optimal reduction for the λ-calculus on parallel (or distributed) computing ... base our work on a graph reduction technique, known as directed virtual reduction, which...
  • Anagopos

  • Referenced in 1 article [sw17745]
  • Anagopos: a reduction graph visualizer for term rewriting and lambda calculus. We present Anagopos ... open source tool for visualizing reduction graphs of terms in lambda calculus and term rewriting ... allows step-by-step generation of reduction graphs under six different graph drawing algorithms...
  • GYutsis

  • Referenced in 4 articles [sw26978]
  • reduction of Yutsis graphs. General angular momentum recoupling coefficients can be expressed as a summation ... cubic graph and they describe a set of reduction rules allowing a stepwise generation...
  • DIASPORA

  • Referenced in 14 articles [sw02659]
  • reductions in network traffic and user response times. DIASPORA is built over an expressive graph...
  • SpectralNET

  • Referenced in 2 articles [sw26161]
  • SpectralNET also displays several graph visualizations, including a linear dimensionality reduction for uploaded datasets (Principal ... linear dimensionality reduction that provides an elegant view of global graph structure (Laplacian eigenvectors). CONCLUSION ... means of analyzing graph-theoretic metrics for data modeling and dimensionality reduction. SpectralNET is publicly...
  • NET-SYNTHESIS

  • Referenced in 3 articles [sw29379]
  • algorithms for (i) transitive reduction of an initially synthesized graph subject to the constraints that...
  • DrScheme

  • Referenced in 28 articles [sw01265]
  • Scheme programs to values, according to the reduction semantics of Scheme. It is useful ... inferences in terms of a value-flow graph, selectively overlaid on the program text...
  • GraphDemo

  • Referenced in 1 article [sw10148]
  • local neighborhoods using similarity graphs: manifold methods for dimensionality reduction or data denoising, spectral clustering ... pretty unclear which kind of similarity graph one should use, and how its parameters have...
  • TRANSWESD

  • Referenced in 1 article [sw17199]
  • removal of false positive edges. Transitive reduction is one approach for eliminating edges reflecting indirect ... reconstructing cyclic interaction graphs with true redundant structures is problematic. Results: We present TRANSWESD ... elaborated variant of TRANSitive reduction for WEighted Signed Digraphs that overcomes conceptual problems of existing ... statistical approaches for generating high-quality perturbation graphs from systematic perturbation experiments...
  • Spin-to-Grape

  • Referenced in 6 articles [sw07515]
  • group-theoretic package Gap and its graph-theoretic add on, Grape. Through studying these examples ... Finally we discuss ways in which symmetry reduction techniques incorporated within Spin, e.g., the SymmSpin...
  • Geoxp

  • Referenced in 6 articles [sw08289]
  • selection of a portion of the graph results in the automatic highlighting of the corresponding ... data, GeoXp includes some dimension reduction techniques such...
  • InfoMod

  • Referenced in 1 article [sw21234]
  • classes in terms of certain infinite planar graphs (dessins) called c{c}arks. InfoMod illustrates ... various aspects of these forms, i.e. Gauss’ reduction algorithm, the representation problem of forms, ambiguous...
  • EigenCFA

  • Referenced in 3 articles [sw14136]
  • from linear-algebra operations. Central to this reduction were “abstract” Church encodings, and encodings ... critical accelerants. Because control-flow graphs are sparse in practice (up to 96% empty...