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