• PAMR

  • Referenced in 13 articles [sw15437]
  • selection. This article proposes a novel online portfolio selection strategy named “Passive Aggressive Mean Reversion ... with online passive aggressive learning technique from machine learning, the proposed portfolio selection strategy ... almost all state-of-the-art portfolio selection strategies under various performance metrics. In addition ... thus is very suitable for real-life online trading applications. The experimental testbed including source...
  • SATzilla

  • Referenced in 99 articles [sw06281]
  • SATzilla: portfolio-based algorithm selection for SAT. It has been widely observed that there ... instances, we advocate making this decision online on a per-instance basis. Building on previous ... automated approach for constructing per-instance algorithm portfolios for SAT that use so-called empirical...
  • BPMPD

  • Referenced in 41 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • 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...
  • LANCELOT

  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • SATLIB

  • Referenced in 59 articles [sw02107]
  • SATLIB is a collection of benchmark problems, solvers...
  • SNOPT

  • Referenced in 551 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • L-BFGS

  • Referenced in 806 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • AMPL

  • Referenced in 617 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • SeDuMi

  • Referenced in 1281 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • UCI-ml

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...