• SCIP

  • Referenced in 434 articles [sw01091]
  • nonlinear programming (MINLP). It is also a framework for constraint integer programming and branch ... SoPlex, the modelling language ZIMPL, the parallelization framework UG and the generic column generation solver...
  • AdaBoost.MH

  • Referenced in 442 articles [sw08517]
  • options in a worst-case on-line framework. The model we study can be interpreted...
  • Nuprl

  • Referenced in 387 articles [sw06751]
  • Nuprl system is a framework for reasoning about mathematics and programming. Over the years...
  • CGAL

  • Referenced in 348 articles [sw00118]
  • functions, as well as a matrix search framework and a solver for linear and quadratic...
  • ISOLATE

  • Referenced in 206 articles [sw07741]
  • bisection strategy in a unified framework. Using that framework, a new algorithm is presented, which...
  • GMRFLib

  • Referenced in 265 articles [sw06641]
  • provides such a reference, using a unified framework for representing and understanding GMRFs. Various case...
  • ANFIS

  • Referenced in 262 articles [sw08730]
  • fuzzy inference system implemented in the framework of adaptive networks. By using a hybrid learning...
  • gss

  • Referenced in 258 articles [sw06099]
  • treatment of penalty smoothing under a unified framework. Methods are developed for (i) regression with...
  • Bonmin

  • Referenced in 183 articles [sw04766]
  • algorithmic framework for convex mixed integer nonlinear programs. This paper is motivated by the fact ... results that demonstrate the effectiveness of this framework are reported. Both the library of mixed...
  • DYNAMO

  • Referenced in 250 articles [sw01227]
  • notation developed within the system dynamics analytical framework. It was originally for industrial dynamics...
  • AProVE

  • Referenced in 145 articles [sw07831]
  • Automatic Termination Proofs in the Dependency Pair Framework. AProVE 1.2 is one of the most ... tool which automates the new dependency pair framework [8] and therefore permits a completely flexible ... different termination proof techniques. Due to this framework, AProVE 1.2 is also the first termination...
  • Adam

  • Referenced in 224 articles [sw22205]
  • known results under the online convex optimization framework. Empirical results demonstrate that Adam works well...
  • plfit

  • Referenced in 205 articles [sw23186]
  • present a principled statistical framework for discerning and quantifying power-law behavior in empirical data...
  • Rcpp

  • Referenced in 183 articles [sw08385]
  • vignette. Rcpp also provides Rcpp modules, a framework that allows exposing C++ functions and classes...
  • MOEA/D

  • Referenced in 180 articles [sw06583]
  • MOEA/D framework. An experimental analysis of evolutionary heuristics for the biobjective traveling purchaser problem (2TPP...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • decision procedures and to offer a modular framework for studying their combination. Its purpose ... decision procedures and to offer a modular framework for studying their combination. ELAN takes from ... paradigm of rewriting provides both the logical framework in which deduction systems can be expressed...
  • PhaseLift

  • Referenced in 169 articles [sw31783]
  • matrix completion. This paper develops a novel framework for phase retrieval, a problem which arises...
  • ABACUS

  • Referenced in 115 articles [sw02948]
  • system written in C++ that provides a framework for the implementation of branch-and-bound ... plane and column generation within one algorithm framework. Simple reuse of code and the design...
  • PMTK

  • Referenced in 153 articles [sw14689]
  • provide a unified conceptual and software framework encompassing machine learning, graphical models, and Bayesian statistics...
  • Simula 67

  • Referenced in 135 articles [sw21333]
  • needs of that domain provided the framework for many of the features of object-oriented...