
Fiona
 Referenced in 3 articles
[sw34360]
 Fiona: a parallel and automatic strategy for read error correction. Results: We present Fiona...

bvptwp.m
 Referenced in 9 articles
[sw10030]
 mesh selection strategy based on the estimation of the local error and the estimation ... problem. The codes twpbvp.f/tpbvpc.f use a deferred correction scheme based on MonoImplicit RungeKutta ... correction scheme based on Lobatto formulas. The acdc.f/acdcc.f codes implement an automatic continuation strategy...

ALADINS
 Referenced in 10 articles
[sw09563]
 reliable a posteriori error estimator. Typical strategies are based on the combination of the solutions ... this paper, we move from the pressure correction algebraic factorizations formerly proposed by F. Saleri...

sk_p
 Referenced in 1 article
[sw28853]
 both syntactic and semantic errors without manual, problem specific correction strategies. Given an incorrect student...

LoRDEC
 Referenced in 1 article
[sw34559]
 LoRDEC: accurate and efficient long read error correction. Motivation: PacBio single molecule realtime sequencing ... with comparatively lower throughput and higher error rate. Errors include numerous indels and complicate downstream ... mapping or de novo assembly. A hybrid strategy that takes advantage of the high accuracy ... generation short reads has been proposed for correcting long reads. Mapping of short reads...

DRAIN2D
 Referenced in 1 article
[sw30111]
 solution strategies may be specified: the time step can be varied automatically and corrections ... applied to compensate for errors in force equilibrium and energy balance. Energy balance computation...

LSC
 Referenced in 1 article
[sw28781]
 computational method, LSC, to perform error correction of TGS long reads (LR) by SGS short ... reads (SR). Aiming to reduce the error rate in homopolymer runs in the main ... applies a homopolymer compression (HC) transformation strategy to increase the sensitivity of SRLR alignment ... show LSC can correct PacBio long reads to reduce the error rate by more than...

SAFECode
 Referenced in 4 articles
[sw13323]
 array bounds overflow. We describe a compilation strategy for standard C programs that guarantees that ... never invalidated by any possible memory errors. We formalize our approach as a new type ... checks in operational semantics and prove the correctness of our approach for a subset...

RASCAL
 Referenced in 3 articles
[sw24615]
 most commonly used methods to correct these errors use iterative techniques to maximize an objective ... well aligned regions can be differentiated. Alignment correction is then restricted to the less reliable ... more reliable and efficient refinement strategy. RESULTS: The accuracy and reliability of RASCAL is demonstrated...

TargetSearch
 Referenced in 2 articles
[sw19123]
 limitations, including restricted maximum sample size, systematic errors and low flexibility. However, the biggest limitation ... hours. We developed a novel strategy to iteratively correct and update retention time indices...

PROC ARIMA
 Referenced in 2 articles
[sw12094]
 series models; multiple regression analysis with ARMA errors; and rational transfer function models ... PROC ARIMA closely follows the BoxJenkins strategy for time series modeling with features ... expertise is needed to use them correctly...

ANSYS
 Referenced in 663 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

ACL2
 Referenced in 279 articles
[sw00060]
 ACL2 is both a programming language in which...

BARON
 Referenced in 324 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BoomerAMG
 Referenced in 168 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

CGAL
 Referenced in 362 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1818 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

DCUTRI
 Referenced in 12 articles
[sw00191]
 Algorithm 706: DCUTRI: an algorithm for adaptive cubature...