• EnKF

  • Referenced in 362 articles [sw02066]
  • predict the error statistics forward in time, and it uses an analysis scheme which operates...
  • Compqd

  • Referenced in 2 articles [sw29675]
  • algorithm. We study in detail the error analysis of the qd and Compqd algorithms ... condition numbers so that the relative forward rounding error bounds can be derived directly...
  • ARACHNE

  • Referenced in 9 articles [sw07552]
  • accuracy by correcting errors before assembly, read merger based on forward-reverse links, and detection ... repeat contigs by forward-reverse link inconsistency. To test ARACHNE, we created simulated reads providing ... number of supercontigs (or scaffolds). For example, analysis of the D. melanogaster genome yielded approximately ... accuracy was high, although not perfect: small errors occurred at a frequency of roughly...
  • LineCast

  • Referenced in 1 article [sw22029]
  • qualities matching their channel conditions. Our theoretical analysis shows that the proposed LineCast can achieve ... over JPEG 2000 with forward error correction...
  • IJIT

  • Referenced in 1 article [sw21506]
  • IJIT: An API for Boolean Program Analysis with Just-in-Time Translation. Exploration algorithms ... algorithm basis, such modifications are laborious and error-prone. In this paper we present ... time for expansion via image computations, forward or backward. Using our API, we have effortlessly...
  • Galois Field Arithmetic Library

  • Referenced in 1 article [sw05610]
  • Galois. The branch deals mainly with the analysis and formal description of binary and unary ... cryptography and error correcting codes. The library is simple, consise and straight forward, it also...
  • ADOL-C

  • Referenced in 239 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

  • Referenced in 316 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

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

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • gmp

  • Referenced in 269 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

  • Referenced in 602 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • INTLIB

  • Referenced in 29 articles [sw00444]
  • Algorithm 737: INTLIB - a portable Fortran 77 interval...
  • LAPACK

  • Referenced in 1642 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

  • Referenced in 367 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • MA57

  • Referenced in 87 articles [sw00536]
  • MA57 - a code for the solution of sparse...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...