• 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 Mono-Implicit Runge-Kutta ... 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 real-time 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...
  • DRAIN-2D

  • 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 SR-LR 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 Box-Jenkins 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...