• 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...

• Isabelle/HOL

• Referenced in 1017 articles [sw01569]
• Isabelle is a generic proof assistant. It allows...

• 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...

• Visual Basic

• Referenced in 306 articles [sw03518]
• Visual Basic is a third-generation event-driven...

• 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...