• MUSCLE

  • Referenced in 70 articles [sw13193]
  • accuracy on each of these sets. Without refinement, MUSCLE achieves average accuracy statistically indistinguishable from ... MUSCLE program, source code and PREFAB test data are freely available at http://www.drive5. com/muscle...
  • TetGen

  • Referenced in 85 articles [sw04046]
  • TetGen, including an efficient tetrahedral mesh data structure, a set of enhanced local mesh operations ... recovering constraints, and a new constrained Delaunay refinement algorithm for adaptive quality tetrahedral mesh generation...
  • Real_Impl

  • Referenced in 2 articles [sw29247]
  • form Q[sqrt(b)]. We apply data refinement to implement the real numbers, where...
  • Deutsch Schorr Waite

  • Referenced in 1 article [sw28837]
  • Schorr-Waite Graph Marking Algorithm using Data Refinement. The verification of the Deutsch-Schorr-Waite ... this mechanization is to show how data refinement of invariant based programs can be used...
  • par2Dhp

  • Referenced in 15 articles [sw30807]
  • data redistribution, a parallel frontal solver, and algorithms for parallel mesh refinement and mesh reconciliation...
  • ArcAngelC

  • Referenced in 6 articles [sw06338]
  • Circus is a refinement language in which specifications define both data and behavioural aspects ... combination of Z and CSP. Its refinement theory and calculus are distinctive, but since refinements...
  • HP90

  • Referenced in 18 articles [sw00415]
  • implementation is based on an abstract data structure, which allows to incorporate the full ... triangular and quadrilateral finite elements. The $h$-refinement strategies are based on $h2$-refinement...
  • Wirtinger Flow

  • Referenced in 65 articles [sw34175]
  • means of a spectral method, and then refines this initial estimate by iteratively applying novel ... efficient both in terms of computational and data resources. In theory, a variation on this...
  • V-Xtractor

  • Referenced in 1 article [sw33186]
  • susceptibility to false-positives, this tool refines data reliability and facilitates subsequent analysis in community...
  • ArcFace

  • Referenced in 2 articles [sw33958]
  • negligible computational overhead. We release all refined training data, training codes, pre-trained models...
  • EMan

  • Referenced in 8 articles [sw09056]
  • beyond 10 Å as such high-resolution data become available. A complete single-particle reconstruction ... rotational symmetry, or icosahedral symmetry. Model refinement is an iterative process, which utilizes classification ... determined using a new paradigm in which data from multiple micrographs are fit simultaneously. Amplitude ... then performed automatically as part of the refinement loop. A graphical user interface is provided...
  • aspeed

  • Referenced in 11 articles [sw27492]
  • more refined, that is, nonuniform and ordered solver schedules from the existing benchmarking data...
  • Imperative Refinement

  • Referenced in 3 articles [sw29235]
  • uses the Monadic Refinement Framework as a frontend for the specification of the abstract programs ... using efficient imperative implementations for the abstract data structures. This entry also includes the Imperative ... library of re-usable imperative collection data structures. Moreover, this entry contains a quickstart guide ... Peter Lammich: Refinement based verification of imperative data structures...
  • Sigma*

  • Referenced in 8 articles [sw21731]
  • programs and counterexample guided abstraction refinement to over-approximate program behavior, Sigma* transforms arbitrary source ... data items---for which Sigma* converges to a complete model if abstraction refinement eventually builds...
  • PLUMP

  • Referenced in 14 articles [sw00718]
  • Whereas HPF has only facilities for regular data decompositions, PST supports user-defined mappings ... developed at CSCS to support the local refinement and dynamic repartioning of meshes distributed over ... simplify the manipulation of the underlying dynamic data structures. The use of PLUMP in conjunction...
  • GeneMarkS

  • Referenced in 6 articles [sw23024]
  • addition to the refinement of protein sequence N-terminal data, provides the benefit of precise...
  • ECOS

  • Referenced in 34 articles [sw12123]
  • algebra computations operating on the (sparse) problem data. As a consequence, it can be used ... optimization problems. It uses regularization and iterative refinement techniques to be numerically robust. The solution...
  • L2CXFT

  • Referenced in 9 articles [sw00498]
  • splines are determined automatically from the data points due to the constraint equations. The subroutine ... during the calculation are updated suitably. Iterative refinement improves the accuracy of some calculations when ... been applied to a variety of data having substantial differences and has performed fast...
  • Light-weight Containers

  • Referenced in 4 articles [sw29238]
  • with different (efficient) data structures. Thanks to type classes and refinement during code generation, this ... Heuristics automatically pick one of the available data structures depending on the type of elements...
  • ASMOD

  • Referenced in 14 articles [sw02122]
  • learning paradigm for higher-dimensional data $(>3)$ based on $B$-spline interpolation. The models ... method for step-wise model refinement is applied during model training for gradually increasing...