• S-ROCK

  • Referenced in 42 articles [sw11792]
  • possess large stability domains in the mean-square sense. For mean-square stable stiff SDEs...
  • haarfisz

  • Referenced in 17 articles [sw11198]
  • variance stabilizing Fisz transform. The resulting estimator is mean square consistent, rapidly computable and easy ... Haar-Fisz transform’, a device for stabilizing the variance of scaled $chi^2$-data...
  • colcor

  • Referenced in 5 articles [sw12289]
  • conservative (upwardly biased) estimator for the mean-squared row correlation. We show Fisher’s transformation ... sample correlations is still normalizing and variance stabilizing under column dependence ... Finally, we argue that estimating the mean-squared row correlation under column dependence is impossible...
  • SparseJSR

  • Referenced in 3 articles [sw40093]
  • bounds of the JSR by means of sum-of-squares (SOS) programming. Our resulting iterative ... well as on problems arising from stability proofs of controllers, in relation with possible hardware...
  • Miller Analyzer

  • Referenced in 1 article [sw25283]
  • automatic differentiation, we have provided a means of analyzing numerical methods given in the form ... useful in analyzing the numerical stability of algorithms that use only the four basic real ... complex) arithmetic operations and square root. At the end of the paper, we discuss...
  • GIBS

  • Referenced in 1 article [sw19743]
  • biomolecules strongly influences their structure, conformational stability, and inter-molecular interactions.This paper introduces GIBS ... using hard-sphere, L-J and attractive square-well potentials; and, solvent-solvent interactions ... compute the ion excess chemical potentials and mean activity coefficients of sodium chloride as well...
  • Prodepth

  • Referenced in 0 articles [sw25085]
  • with several protein properties, such as protein stability, residue conservation and amino acid types. Accurate ... predicted RD values and a root mean square error (RMSE) of 1.74, after incorporating...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • 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...
  • CSDP

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

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

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • DEA

  • Referenced in 244 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Expokit

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

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

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

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