Results 1 to 20 of 256
Sort by:

  • 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...