• UNAFold

  • Referenced in 7 articles [sw12671]
  • stranded nucleic acid sequences. The name is derived from “Unified Nucleic Acid Folding.” Folding (secondary ... heat capacity change (Cp), and mole fractions of different molecular species are computed...
  • AltAltp

  • Referenced in 2 articles [sw20689]
  • novel distance heuristics that AltAltp derives from a graphplan-style planning graph for the problem ... generating good quality parallel plans at a fraction of the cost incurred by the disjunctive...
  • STJM

  • Referenced in 4 articles [sw19776]
  • time be modelled using fixed and/or random fractional polynomials or resticted cubic splines. Six choices ... default current value parameterisation, the first derivative of the longitudinal submodel (slope), and/or a random...
  • Compqd

  • Referenced in 2 articles [sw29675]
  • relative forward rounding error bounds can be derived directly. Our numerical experiments illustrate that ... algorithm in the obtention of continued fractions and in pole and zero detection are shown...
  • Algorithm 985

  • Referenced in 2 articles [sw22553]
  • along with asymptotic expressions from Laplace continued fractions. Over a wide and fine grid ... calculation of the Faddeyeva function, w, partial derivatives of the real and imaginary parts...
  • InSilicoVA

  • Referenced in 0 articles [sw18472]
  • death and population cause-specific mortality fractions using the ’InSilicoVA’ algorithm from McCormick ... href=”http://dx.doi.org/10.1080/01621459.2016.1152191”>doi:10.1080/01621459.2016.1152191>. It uses data derived from verbal autopsy (VA) interviews...
  • Special_Function_Bounds

  • Referenced in 1 article [sw32216]
  • bounds, originally obtained from the functions’ continued fraction expansions using the computer algebra system Maple ... then consider the sign of the derivative. The immediate purpose of this development...
  • SoilGrids250m

  • Referenced in 1 article [sw27798]
  • Cation Exchange Capacity (CEC), pH, soil texture fractions and coarse fragments) at seven standard depths ... remote sensing-based soil covariates (primarily derived from MODIS land products, SRTM DEM derivatives, climatic...
  • HRMSonicELSAFoam

  • Referenced in 1 article [sw31281]
  • this method, a pressure equation is derived which employs the continuity equation including compressibility effects ... accurately calculates the pressure and vapour mass fraction. This demonstrates the potential of HRMSonicELSAFoam...
  • CobWeb

  • Referenced in 1 article [sw26487]
  • elementary volume analysis of digital rock images derived from high resolution tomography. The CobWeb code ... porosity trends, pore size distribution, and volume fraction of different phases can be performed...
  • AXIOM

  • Referenced in 168 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

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

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

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

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

  • Referenced in 192 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • C-XSC

  • Referenced in 105 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • Expokit

  • Referenced in 167 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

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

  • Referenced in 77 articles [sw00332]
  • We present a recently developed Maple-based “GeM...