
Traceband
 Referenced in 1 article
[sw00974]
 similar crosstraffic. Experimental results in a controlled environment with Poisson crosstraffic demonstrate that ... faster, and introduces less overhead. Traceband’s convergence time is demonstrated using bursty crosstraffic ... accuracy and variability degrade with the Hurst parameter but it still performs within reasonable limits...

DSelectk
 Referenced in 1 article
[sw41672]
 architecture is showing promising results in improving parameter sharing in multitask learning ... lack of smoothness can lead to convergence and statistical performance issues when training with gradient ... stochastic gradient descent, and offers explicit control over the number of experts to select...

CVFEM
 Referenced in 1 article
[sw41248]
 Modelling laminar diffusion flames using a fast convergence threedimensional CVFEM code. Laminar diffusion flames ... effects of physical and chemicalrelated parameters on combustion phenomena. Attention has been given ... conditions. The code is based on the control volume finite element method, written in MATLAB...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

AMD
 Referenced in 60 articles
[sw00039]
 Algorithm 837: AMD is a set of routines...

ANSYS
 Referenced in 704 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

BARON
 Referenced in 354 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CADNA
 Referenced in 46 articles
[sw00098]
 CADNA: a library for estimating roundoff error...

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

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

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

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

FEMLAB
 Referenced in 57 articles
[sw00274]
 COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...

FIAT
 Referenced in 40 articles
[sw00287]
 Algorithm 839: FIAT, a new paradigm for computing...

gmp
 Referenced in 282 articles
[sw00363]
 GMP is a free library for arbitrary precision...

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