• BIONJ

  • Referenced in 30 articles [sw08301]
  • with high substitution rates (maximum pairwise divergence approximately 1.0 substitutions per site), the error reduction ... while the probability of finding the correct tree may be augmented by as much...
  • Scoredist

  • Referenced in 3 articles [sw35538]
  • Scoredist. It uses a logarithmic correction of observed divergence based on the alignment score according ... more accurate. The Jukes-Cantor and Kimura correction methods were also tested, but were substantially...
  • Algebraic_VCs

  • Referenced in 2 articles [sw32217]
  • verification component for total correctness based on divergence Kleene algebras and one for (partial correctness...
  • iGLASS

  • Referenced in 4 articles [sw29611]
  • derive a correction to the GLASS estimator of pairwise divergence times. We show that...
  • CakeML

  • Referenced in 53 articles [sw08799]
  • REPL) in x86-64 machine code. Our correctness theorem ensures that this REPL implementation prints ... compiler. Additionally, our compiler proof handles diverging input programs with a lightweight approach based...
  • GKLEE

  • Referenced in 11 articles [sw12794]
  • GPUs. Programs written for GPUs often contain correctness errors such as races, deadlocks ... coalesced memory accesses, memory bank conflicts, and divergent warps). We provide a new framework called ... analyze C++ GPU programs, locating the aforesaid correctness and performance bugs. For these programs, GKLEE...
  • ODDLS

  • Referenced in 5 articles [sw18207]
  • where the correction step is based on imposing the divergence-free condition in the velocity...
  • SPHEREPACK

  • Referenced in 26 articles [sw04874]
  • inverses of these operators. For example, given divergence and vorticity, the package can be used ... demonstration on your computer that you can correctly produce SPHEREPACK executables...
  • GRACE

  • Referenced in 3 articles [sw11987]
  • counterterms. We also show how infrared divergences are dealt with in the system. We give ... calculation of mutli-leg one-loop corrections...
  • LocARNAscan

  • Referenced in 2 articles [sw23118]
  • annotation. A particular difficulty is posed by divergent homologs that have lost recognizable sequence similarity ... target sequence to fold into the correct secondary structure helpful for this task? RESULTS: Sequence...
  • BoomerAMG

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

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CSDP

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

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gerris

  • Referenced in 354 articles [sw00341]
  • Gerris is a Free Software program for the...
  • gmp

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

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

  • Referenced in 334 articles [sw00426]
  • hypre is a software library for the solution...