Results 1 to 20 of 114
Sort by:

  • libmpdata++
  • Referenced in 5 articles [sw15814]
  • option for variable-sign fields and a flux-corrected transport extension to guarantee non-oscillatory...

  • sgnmanova
  • Referenced in 1 article [sw25932]
  • Signs. Recently, new nonparametric multivariate extensions of the univariate sign methods have been proposed. Randles...

  • G-Hadoop
  • Referenced in 12 articles [sw08480]
  • cluster system. G-Hadoop is an extension of the Hadoop MapReduce framework with the functionality ... current G-Hadoop implementation with a single-sign-on approach. In addition, the designed security...

  • ProjectionCAD
  • Referenced in 8 articles [sw09911]
  • code can produce CADs which are: sign-invariant, order-invariant, invariant with respect to equational ... also improved lifting, as well as extensions to the original TTICAD algorithm...

  • MinimumEnergyPoints
  • Referenced in 2 articles [sw34576]
  • which is a front-extension of the sequence of derivatives ... dots ), up to sign and constants. The boundedness of the kernel simplifies the classical potential...

  • ANewDsc
  • Referenced in 11 articles [sw19984]
  • polynomial. The method combines Descartes? Rule of Signs to test intervals for the existence ... underlying algorithm. With an excerpt of our extensive collection of benchmarks, available online...

  • Staccato
  • Referenced in 1 article [sw07497]
  • time-related data (e.g., gesture phases or sign language constituents). The software implements an assessment ... agreement assessment procedure and points at future extensions of Staccato...

  • DFTB+
  • Referenced in 2 articles [sw08685]
  • method, containing almost all of the useful extensions which had been developed for the DFTB ... download it after registering and signing a license agreement. Commercial use is possible upon individual...

  • mcprofile
  • Referenced in 1 article [sw16827]
  • normal- or t-distribution together with the signed likelihood root statistic. In an application ... methods are readily implemented in the R extension package mcprofile...

  • Intrinsic3D
  • Referenced in 1 article [sw30922]
  • simultaneously optimize for geometry encoded in a signed distance field (SDF), textures from automatically-selected ... from subvolumes of the reconstructed scene. Through extensive examples and evaluations, we demonstrate that...

  • TRaCE+
  • Referenced in 1 article [sw29319]
  • ensemble of networks. TRaCE and its extension TRaCE+ were developed using an ensemble inference approach ... ensemble of digraphs, TRaCE+ further considers the signs of the edges. A positive edge represents...

  • RGB2Hands
  • Referenced in 1 article [sw42721]
  • computer interaction applications, including AR/VR, robotics, or sign language recognition. Existing works are either limited ... tracking and 3D reconstruction pipeline through an extensive ablation study. Moreover, we demonstrate that...

  • CMPLX
  • Referenced in 1 article [sw30515]
  • error function, erf(z), used extensively e.g. in acoustics. erf(z) is calculated using SQRT ... Functions, or Much Ado About Nothing’s Sign Bit, in The State...

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

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

  • FLAME
  • Referenced in 39 articles [sw00293]
  • We present a number of application program interfaces...

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

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

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