
TIGRA
 Referenced in 40 articles
[sw02333]
 fixed regularization parameter and a parameter iteration for satisfying a discrepancy criterion in an outer...

AIR tools
 Referenced in 82 articles
[sw09203]
 semiconvergence for achieving the necessary regularization of the problem. Two classes of methods ... error rule, and the normalixed cumulative periodogram criterion; for the first two methods “training...

FASTCLIME
 Referenced in 12 articles
[sw10889]
 linear regularization path; (2) it provides an accurate dual certificate as stopping criterion...

loo
 Referenced in 13 articles
[sw19420]
 importance sampling (PSIS), a new procedure for regularizing importance weights. As a byproduct ... also compute the widely applicable information criterion (WAIC...

DELAUNDO
 Referenced in 5 articles
[sw09675]
 resulting triangulation observes a circumcircle criterion. It is also akin to Advancing Front methods ... layers on the boundaries in a very regular fashion. The regularity of the point distribution...

IsingFit
 Referenced in 2 articles
[sw33250]
 regularized logistic regression with model selection based on the Extended Bayesian Information Criterion (EBIC). EBIC...

ToolboxPMRI
 Referenced in 2 articles
[sw20643]
 criterion is composed with a least square function as data fidelity term, and a regularization...

Gopherlyzer
 Referenced in 2 articles
[sw23206]
 synchronous channel communications. In our analysis, regular expressions extended with a fork operator capture ... program. Starting from a simple criterion that characterizes traces of deadlockfree programs, we develop...

BSP
 Referenced in 3 articles
[sw13162]
 tool for parsing ambiguous regular expressions (r.e.). Given a r.e., the BSP tool generates ... either the Greedy or the POSIX criterion. The BSP tool is a HTML page including...

Celer
 Referenced in 4 articles
[sw37123]
 Lasso with Dual Extrapolation. Convex sparsityinducing regularizations are ubiquitous in highdimensional machine learning ... control of optimality as used in stopping criterion, as well as better screening performance...

RBFCUB
 Referenced in 1 article
[sw40821]
 cubature a leaveoneout cross validation criterion for the optimization of the RBF shape ... kind of both infinity and finite regularity RBF. The efficacy of this approximation scheme...

scola
 Referenced in 1 article
[sw40516]
 from correlation matrices based on optimisation with regularization, where we lay an edge between each ... candidate null models using a model selection criterion. For three economic data sets, we find...

ALBERT
 Referenced in 82 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

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

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

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

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

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

JMulTi
 Referenced in 33 articles
[sw00477]
 JMulTi was originally designed as a tool for...