• ARPACK

  • Referenced in 781 articles [sw04218]
  • When the matrix A is symmetric it reduces to a variant of the Lanczos process ... Arnoldi/Lanczos process with the Implicitly Shifted QR technique that is suitable for large scale problems...
  • REDLOG

  • Referenced in 159 articles [sw04250]
  • package that extends the computer algebra system REDUCE to a computer logic system ... explain the design issues and implementation techniques...
  • ParaSails

  • Referenced in 27 articles [sw11521]
  • ParaSails also uses a post-filtering technique to reduce the cost of applying the preconditioner...
  • QUBOS

  • Referenced in 24 articles [sw09580]
  • procedure is based on nonclausal simplification techniques that reduce formulae to a propositional clausal form...
  • t-SNE

  • Referenced in 88 articles [sw22300]
  • three-dimensional map. The technique is a variation of Stochastic Neighbor Embedding (Hinton and Roweis ... optimize, and produces significantly better visualizations by reducing the tendency to crowd points together ... better than existing techniques at creating a single map that reveals structure at many different...
  • SEC/AUED

  • Referenced in 20 articles [sw03211]
  • codeword. We present a technique to reduce the weight distribution of the SEC code...
  • redbKIT

  • Referenced in 158 articles [sw12977]
  • This book provides a basic introduction to reduced basis (RB) methods for problems involving ... using greedy algorithms and proper orthogonal decomposition techniques, investigate their approximation properties and analyze offline ... priori and a posteriori error analysis. Reduced basis methods for partial differential equations. An introduction...
  • ABF++

  • Referenced in 21 articles [sw14153]
  • numerical solution technique that dramatically reduces the dimension of the linear systems solved at each ... scheme; and (3) an efficient hierarchical solution technique. The speedup with (1) does not come...
  • MIBPB

  • Referenced in 49 articles [sw08106]
  • subspace (KS) techniques. Condition numbers of the MIBPB matrices are significantly reduced by using appropriate...
  • Kodkod

  • Referenced in 23 articles [sw07090]
  • These desiderata are addressed with three new techniques: a symmetry detection algorithm that works ... boolean expression diagrams and reduced boolean circuits. The presented techniques have been implemented and evaluated...
  • RBniCS

  • Referenced in 11 articles [sw33333]
  • implementation in FEniCS of several reduced order modelling techniques (and, in particular, certified reduced basis...
  • FastFDs

  • Referenced in 10 articles [sw01613]
  • finding minimal covers of hypergraphs. The technique of reducing the FD discovery problem...
  • NPen++

  • Referenced in 5 articles [sw17459]
  • proposed tree search and pruning technique reduces the search space considerably without loosing too much...
  • Rebeca

  • Referenced in 8 articles [sw09422]
  • abstraction, symmetry and partial order reduction techniques for reducing the state space. Simple message-driven...
  • Geppetto

  • Referenced in 7 articles [sw31791]
  • remote parties. Recent work has dramatically reduced the client’s cost to verify the correctness ... remains largely impractical. Geppetto introduces complementary techniques for reducing prover overhead and increasing prover flexibility...
  • CoVaC

  • Referenced in 7 articles [sw21472]
  • compilers. To leverage existing program analysis techniques, we reduce the equivalence checking problem to analysis...
  • Privtrans

  • Referenced in 4 articles [sw23074]
  • analysis with dynamic information. Our optimization techniques reduce the number of expensive calls made...
  • RLT-POS

  • Referenced in 3 articles [sw18321]
  • including constraint filtering techniques, reduced RLT representations, and semidefinite cuts. When implemented individually, each model ... However, the coordination between different model enhancement techniques becomes critical for an improved overall performance ... between (1) constraint elimination via filtering techniques and reduced RLT representations, and (2) semidefinite cuts...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • authors own results and it provides techniques to transform linear interval equations into ones which ... these values can be used to reduce the overestimation...
  • FEAST

  • Referenced in 78 articles [sw04025]
  • density-matrix representation and contour integration technique in quantum mechanics. It is free from explicit ... with multiple right-hand sides and one reduced eigenvalue problem orders of magnitude smaller than...