
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 97 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 14 articles
[sw10889]
 linear regularization path; (2) it provides an accurate dual certificate as stopping criterion...

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

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

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

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

RBFCUB
 Referenced in 2 articles
[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...

Celer
 Referenced in 5 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...

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 83 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

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

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

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

GeM
 Referenced in 100 articles
[sw00332]
 We present a recently developed Maplebased “GeM...

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

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