• k-Wave

  • Referenced in 31 articles [sw07387]
  • based reconstruction, time reversal is shown to be sufficiently general that it can also...
  • FastTree

  • Referenced in 9 articles [sw28979]
  • FastTree uses the Jukes-Cantor or generalized time-reversible (GTR) models of nucleotide evolution...
  • STL

  • Referenced in 79 articles [sw11800]
  • Compile-time advances of the C++ standard template library. The C++ Standard Template Library ... These scenarios are related to allocators and reverse iterators. We emit warnings while these constructs ... compiler. We also present a general approach to emit “customized” warnings. We support...
  • Recodon

  • Referenced in 3 articles [sw35372]
  • implemented is an extension to the general time-reversible model of nucleotide substitution with...
  • GARLI

  • Referenced in 1 article [sw29598]
  • performs heuristic phylogenetic searches under the General Time Reversible (GTR) model of nucleotide substitution...
  • IBCN

  • Referenced in 3 articles [sw03452]
  • some extensions to the general theory applicable to superposed, time-reversible Markovian Rate Process ... with respect to the system parameters. The general framework is then carried over...
  • REVEAL

  • Referenced in 28 articles [sw36999]
  • Reveal, a general reverse engineering algorithm for inference of genetic network architectures. Given the immanent ... state transition tables of Boolean nets, resemble time series of gene expression. By systematically analyzing...
  • jacobi2.0

  • Referenced in 5 articles [sw06052]
  • test the Jacobi identity for a given generalized `Poisson’ bracket. Novel frameworks for nonequilibrium thermodynamics ... have been established, which require that the reversible part of motion of thermodynamically admissible models ... identity in order to ensure the full time-structure invariance of equations of motion...
  • ADOL-C

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

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ASTA

  • Referenced in 16 articles [sw00051]
  • ASTA is a tool for research in predictions...
  • BoomerAMG

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

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

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

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

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

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • HSL

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...