• RAKAPOSHI

  • Referenced in 6 articles [sw09740]
  • introduce the rakaposhi stream cipher. The algorithm is based on Dynamic Linear Feedback Shift Registers ... aims to complement the current eSTREAM portfolio of hardware-oriented stream ciphers...
  • 3BA

  • Referenced in 2 articles [sw25685]
  • border basis algorithm (BBBA) with a CDCL SAT solver in a portfolio-based fashion. Instead...
  • PortfolioOptim

  • Referenced in 1 article [sw19708]
  • financial portfolio optimization by linear programming are provided. One function implements Benders decomposition algorithm ... applicable for moderate sample sizes, finds optimal portfolio which has the smallest distance...
  • CCruncher

  • Referenced in 0 articles [sw05693]
  • losses in the portfolio is the Monte Carlo algorithm, because it allows you to consider...
  • Proofwatch

  • Referenced in 4 articles [sw28654]
  • system, and (ii) develop new proof guiding algorithms that load many previous proofs inside ... showing significant improvement of E’s standard portfolio of strategies, and also of the previous...
  • rDecode

  • Referenced in 1 article [sw38627]
  • quadratic programming problem without parameter tuning. The algorithm, called DECODE, can handle high-dimensional data ... found useful in high dimensional portfolio selection (see Pun (2018) ) and large...
  • OREX-J

  • Referenced in 1 article [sw07410]
  • used for experiments in three different areas: Algorithms and reformulations for mixed-integer programming models ... model for software supplier selection and product portfolio planning...
  • QPALM

  • Referenced in 6 articles [sw35397]
  • possibly nonconvex) QP. The QPALM algorithm solves the subproblems iteratively using semismooth Newton directions ... arising from application domains such as portfolio optimization and model predictive control. As such, QPALM...
  • PyPortfolioOpt

  • Referenced in 1 article [sw38785]
  • PyPortfolioOpt is a library that implements portfolio optimization methods, including classical efficient frontier techniques ... handful of undervalued picks, or an algorithmic trader who has a basket of strategies, PyPortfolioOpt...
  • FinRL

  • Referenced in 1 article [sw36051]
  • fine-tuned state-of-the-art DRL algorithms (DQN, DDPG ... single stock trading, multiple stock trading, and portfolio allocation...
  • ARfit

  • Referenced in 38 articles [sw00046]
  • ARfit is a collection of Matlab modules for...
  • BARON

  • Referenced in 361 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BPMPD

  • Referenced in 41 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CUTE

  • Referenced in 66 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • Dafny

  • Referenced in 74 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • DEA

  • Referenced in 246 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • EIGIFP

  • Referenced in 46 articles [sw00235]
  • eigifp is a MATLAB program for computing a...
  • GCLC

  • Referenced in 31 articles [sw00326]
  • We present GCLC/WinGCLC -- a tool for visualizing geometrical...