-
RandGA
- Referenced in 4 articles
[sw35808]
- linear regression models. In general, a good variable selection ensemble should consist of a diverse ... collection of strong members. Based on the parallel genetic algorithm (PGA) proposed...
-
GGMselect
- Referenced in 9 articles
[sw10347]
- strong interest in the problem of graph estimation in high-dimensional Gaussian graphical models ... candidate graphs from the data, and then selects one graph among this family according ... This estimation procedure is shown to be consistent in a high-dimensional setting...
-
IDP3
- Referenced in 10 articles
[sw22941]
- from a small introductory example, applications are selected from problems that arose within machine learning ... areas have recently shown a strong interest in declarative modeling and constraint-solving as opposed ... classical problem of learning a minimal automaton consistent with a given set of strings...
-
SpanBERT
- Referenced in 4 articles
[sw32570]
- consistently outperforms BERT and our better-tuned baselines, with substantial gains on span selection tasks ... training data and model size as BERT-large, our single model obtains ... OntoNotes coreference resolution task (79.6% F1), strong performance on the TACRED relation extraction benchmark...
-
tauPFC
- Referenced in 1 article
[sw40644]
- 𝜏 -scale (𝜏 -estimators). Strong consistency of these estimators under weak assumptions of the underlying ... proven. The 𝜏 -estimators for the PFC model are computed using an iterative algorithm ... when outliers are absent. A proposal to select the dimension of the reduction space based...
-
ANSYS
- Referenced in 704 articles
[sw00044]
- ANSYS offers a comprehensive software suite that spans...
-
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...
-
CGAL
- Referenced in 394 articles
[sw00118]
- The goal of the CGAL Open Source Project...
-
Coq
- Referenced in 1890 articles
[sw00161]
- Coq is a formal proof management system. It...
-
Expokit
- Referenced in 200 articles
[sw00258]
- Expokit provides a set of routines aimed at...
-
GAP
- Referenced in 3189 articles
[sw00320]
- GAP is a system for computational discrete algebra...
-
Gmsh
- Referenced in 767 articles
[sw00366]
- Gmsh is a 3D finite element grid generator...
-
hypre
- Referenced in 329 articles
[sw00426]
- hypre is a software library for the solution...
-
Isabelle
- Referenced in 713 articles
[sw00454]
- Isabelle is a generic proof assistant. It allows...
-
ITSM
- Referenced in 16 articles
[sw00461]
- ITSM (Interactive Time Series Modelling) 6.0 is an...
-
LAPACK
- Referenced in 1702 articles
[sw00503]
- LAPACK is written in Fortran 90 and provides...
-
Macaulay2
- Referenced in 1923 articles
[sw00537]
- Macaulay2 is a software system devoted to supporting...
-
Maple
- Referenced in 5373 articles
[sw00545]
- The result of over 30 years of cutting...
-
MapReduce
- Referenced in 263 articles
[sw00546]
- MapReduce is a new parallel programming model initially...