• Macaulay2

  • Referenced in 1841 articles [sw00537]
  • bases and graded or multi-graded free resolutions of modules over quotient rings of graded ... mathematical objects and the installation of methods for computing specifically with them. Macaulay2 can compute...
  • CLAWPACK

  • Referenced in 132 articles [sw01069]
  • focus on implementing high-resolution Godunov type methods using limiters in a general framework applicable...
  • MALLBA

  • Referenced in 28 articles [sw00542]
  • MALLBA offers three families of generic resolution methods: exact, heuristic and hybrid. Moreover, for each ... resolution method, MALLBA provides three different implementations: sequential, parallel for local area networks, and parallel...
  • BerkMin

  • Referenced in 160 articles [sw06917]
  • method of clause database management. We experimentally compare BerkMin with Chaff, the leader among resolution...
  • LSSPER

  • Referenced in 29 articles [sw02485]
  • Local Search with SubProblem Exact Resolution (LSSPER) method based on large neighbourhood search for solving...
  • GEOCLAW

  • Referenced in 36 articles [sw08626]
  • Adaptive finite volume methods with well-balanced Riemann solvers for modeling floods in rugged terrain ... equations with well-balanced high-resolution finite volume methods and block-structured dynamic adaptive mesh...
  • HTab

  • Referenced in 11 articles [sw12427]
  • system, HyLoRes, is based on the resolution method. An alternative to resolution is the tableaux...
  • YAQUI

  • Referenced in 21 articles [sw18316]
  • allowed by a purely Lagrangian method, and with more resolution than is afforded...
  • FLIRT

  • Referenced in 21 articles [sw02671]
  • around a multi-start, multi-resolution global optimisation method. It can be used for inter...
  • chebop

  • Referenced in 33 articles [sw12693]
  • spectral collocation methods on Chebyshev grids of automatically determined resolution...
  • CERES

  • Referenced in 20 articles [sw09442]
  • proofs. The cut-elimination method CERES (cut-elimination by resolution) works by extracting ... clauses from a proof with cuts. Any resolution refutation of this set then serves ... system CERES, an implementation of the CERES-method has been used successfully in analyzing nontrivial...
  • UDC

  • Referenced in 19 articles [sw20233]
  • divide-and-conquer method for computing the spectral resolution of a unitary upper Hessenberg matrix...
  • SiZer

  • Referenced in 70 articles [sw34664]
  • curves. In the use of smoothing methods in data analysis, an important question is which ... scale. Here “scale” means “level of resolution”; that is, “bandwidth...
  • Thaw

  • Referenced in 13 articles [sw01150]
  • avoiding this problem. The method involves introducing a minimal angular resolution and discarding those points ... given angular resolution. We also describe software based upon this method that allows...
  • VIKOR

  • Referenced in 39 articles [sw38339]
  • comparison with outranking methods. The VIKOR method was developed to solve MCDM problems with conflicting ... assuming that compromising is acceptable for conflict resolution, the decision maker wants a solution that ... evaluated according to all established criteria. This method focuses on ranking and selecting from...
  • FRESH

  • Referenced in 3 articles [sw28344]
  • piecewise smooth functions and propose a resolution enhancement method for this type of functions ... reconstruction methods. We combine the two reconstructions by leveraging from the multi-resolution analysis ... image super-resolution algorithm. We also propose a further improvement of the method based ... result at lower resolution levels. Simulation results show that our method outperforms state...
  • MIRROR

  • Referenced in 3 articles [sw02280]
  • this scheme, the choice of conflict resolution method is a dynamic function of the states ... MIRROR’s simple to implement conflict resolution mechanism works almost as well as more sophisticated...
  • MAMMOTH

  • Referenced in 11 articles [sw26215]
  • well benchmarked methods capable of comparing and assessing the similarity of low-resolution three-dimensional ... experimental or theoretical approaches. Here, a new method for sequence-independent structural alignment is presented ... experimental protein structure with an arbitrary low-resolution protein tertiary model. The heuristic algorithm...
  • SpECTRE

  • Referenced in 5 articles [sw22266]
  • high-resolution shock capturing methods in regions where (relativistic) shocks are found, while exploiting high...
  • PEGASE

  • Referenced in 7 articles [sw00697]
  • obtained with a projection method based on the resolution of a pressure Poisson equation ... boundaries have been simulated with the proposed method. The effectiveness of this approach is illustrated...