• PRISM

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

  • Referenced in 73 articles [sw11201]
  • smoothness penalty for high-dimensional 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 memory-optimized using the sparse matrix output...
  • SINDy

  • Referenced in 29 articles [sw30277]
  • recently proposed data-driven modelling framework that uses sparse regression techniques to identify nonlinear ... identified models compare favourably against reduced-order 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 memory-optimized using the sparse matrix output, and accelerated by the path following...
  • C-HiLasso

  • 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 (C-HiLasso). Such signals then share the same...
  • CONOPT

  • Referenced in 171 articles [sw02791]
  • solving large-scale 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 non-sparse high-dimensional linear models. In high-dimensional linear models ... error approaching zero for sparse and many dense models. In fact, CorrT is also shown ... frameworks: sparse, non-sparse and hybrid models where sparse and dense signals are mixed. Numerical...
  • hdm

  • Referenced in 7 articles [sw21313]
  • which appear in high-dimensional 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 high-dimensional additive models, using a sparse PAC-Bayesian point of view ... Bayesian Estimation and Prediction in Sparse Additive Models’, Electronic Journal of Statistics...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • model-checking algorithms, are available. For the study of stochastic and timing behavior, both sparse ... process, but certain classes of non-Markov models can still be solved numerically. Finally, since...