
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]
 SchorrWaite Graph Marking Algorithm using Data Refinement. The verification of the DeutschSchorrWaite ... 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...

VXtractor
 Referenced in 1 article
[sw33186]
 susceptibility to falsepositives, 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, pretrained models...

EMan
 Referenced in 8 articles
[sw09056]
 beyond 10 Å as such highresolution data become available. A complete singleparticle 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 reusable 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 overapproximate program behavior, Sigma* transforms arbitrary source ... data itemsfor 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 userdefined 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 Nterminal 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...

Lightweight 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 higherdimensional data $(>3)$ based on $B$spline interpolation. The models ... method for stepwise model refinement is applied during model training for gradually increasing...