
libmpdata++
 Referenced in 5 articles
[sw15814]
 option for variablesign fields and a fluxcorrected transport extension to guarantee nonoscillatory...

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

GHadoop
 Referenced in 12 articles
[sw08480]
 cluster system. GHadoop is an extension of the Hadoop MapReduce framework with the functionality ... current GHadoop implementation with a singlesignon approach. In addition, the designed security...

ProjectionCAD
 Referenced in 8 articles
[sw09911]
 code can produce CADs which are: signinvariant, orderinvariant, 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 frontextension 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]
 timerelated 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 tdistribution 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 automaticallyselected ... 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...

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

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