
PRISM
 Referenced in 454 articles
[sw01186]
 PCTL and CSL. The tool features three model checking engines: one symbolic, using BDDs (binary ... MTBDDs (multiterminal BDDs); one based on sparse matrices; and one which combines both symbolic...

hgam
 Referenced in 73 articles
[sw11201]
 smoothness penalty for highdimensional generalized additive models. The combination of sparsity and smoothness ... estimator for high dimensional but sparse additive models. Finally, an adaptive version of our sparsity...

sparsenet
 Referenced in 94 articles
[sw19133]
 address the problem of sparse selection in linear models. A number of nonconvex penalties have...

SparseMatrix
 Referenced in 747 articles
[sw04629]
 development and performance evaluation of sparse matrix algorithms. It allows for robust and repeatable experiments ... geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics...

TFOCS
 Referenced in 133 articles
[sw12839]
 variety of convex models, including in particular those employed in sparse recovery applications...

hierNet
 Referenced in 43 articles
[sw09625]
 Lasso for Hierarchical Interactions. Fits sparse interaction models for continuous and binary responses subject...

flare
 Referenced in 21 articles
[sw12406]
 Lasso for estimating high dimensional sparse linear model. We adopt the alternating direction method ... adopted for further acceleration. Besides the sparse linear model estimation, we also provide the extension ... these Lasso variants to sparse Gaussian graphical model estimation including TIGER and CLIME using either ... computation is memoryoptimized using the sparse matrix output...

SINDy
 Referenced in 29 articles
[sw30277]
 recently proposed datadriven modelling framework that uses sparse regression techniques to identify nonlinear ... identified models compare favourably against reducedorder models obtained from a standard Galerkin projection procedure ... entire code base for our constrained sparse Galerkin regression algorithm is freely available online...

GPstuff
 Referenced in 25 articles
[sw12867]
 versatile collection of Gaussian process models and computational tools required for inference. The tools include ... among others, various inference methods, sparse approximations and model assessment methods. The GPstuff toolbox works...

SVMlight
 Referenced in 268 articles
[sw04076]
 SVMlight can also train SVMs with cost models (see [Morik et al., 1999]). The code ... applications. Many tasks have the property of sparse instance vectors. This implementation makes...

camel
 Referenced in 10 articles
[sw14318]
 Calibrated Dantzig Selector for estimating sparse linear models; (2) Calibrated Multivariate Regression for estimating sparse ... Tiger, Calibrated Clime for estimating sparse Gaussian graphical models. We adopt the combination ... computation is memoryoptimized using the sparse matrix output, and accelerated by the path following...

CHiLasso
 Referenced in 6 articles
[sw25234]
 HiLasso: a collaborative hierarchical sparse modeling framework. Sparse modeling is a powerful framework for data ... sparsity property of the Group Lasso, where sparse groups of features are jointly encoded, obtaining ... group) level, obtaining the collaborative HiLasso model (CHiLasso). Such signals then share the same...

CONOPT
 Referenced in 171 articles
[sw02791]
 solving largescale nonlinear programs involving sparse nonlinear constraints. The paper will discuss strategic ... contains performance statistics for a range of models from different branches of engineering and economics...

BDgraph
 Referenced in 19 articles
[sw14815]
 Bayesian structure learning in sparse Gaussian graphical models. Decoding complex relationships among large numbers...

CorrT
 Referenced in 6 articles
[sw26432]
 Significance testing in nonsparse highdimensional linear models. In highdimensional linear models ... error approaching zero for sparse and many dense models. In fact, CorrT is also shown ... frameworks: sparse, nonsparse and hybrid models where sparse and dense signals are mixed. Numerical...

hdm
 Referenced in 7 articles
[sw21313]
 which appear in highdimensional approximately sparse models. Including functions for fitting heteroscedastic robust Lasso...

SparseM
 Referenced in 24 articles
[sw10534]
 linear model fitting functions that implement least squares methods for problems with sparse design matrices...

Pyomo
 Referenced in 77 articles
[sw04910]
 modeling approach supported by modern AML (algebraic modeling language) tools. Pyomo is a flexible, extensible ... orientation. Pyomo includes Python classes for defining sparse sets, parameters, and variables, which ... which makes it easy to create Pyomo models, apply a variety of optimizers, and examine...

pacbpred
 Referenced in 4 articles
[sw07805]
 Bayesian Estimation and Prediction in Sparse Additive Models. This package is intended to perform estimation ... prediction in highdimensional additive models, using a sparse PACBayesian point of view ... Bayesian Estimation and Prediction in Sparse Additive Models’, Electronic Journal of Statistics...

SMART_
 Referenced in 33 articles
[sw04097]
 modelchecking algorithms, are available. For the study of stochastic and timing behavior, both sparse ... process, but certain classes of nonMarkov models can still be solved numerically. Finally, since...