• 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]
  • semi-convergence 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 circum-circle 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 deadlock-free 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 leave-one-out 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 sparsity-inducing regularizations are ubiquitous in high-dimensional 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 Maple-based “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...