• DICOPT

  • Referenced in 35 articles [sw04938]
  • solving mixed-integer nonlinear programming (MINLP) problems that involve linear binary or integer variables ... maturity and reliability as linear, integer or non-linear programming modeling, these problems have ... Center (EDRC) at Carnegie Mellon University. The program is based on the extensions ... solved using any NLP (Nonlinear Programming) or MIP (Mixed-Integer Programming) solver that runs under...
  • DPpackage

  • Referenced in 64 articles [sw10495]
  • simple, yet comprehensive, set of programs for the implementation of some Bayesian nonparametric and semiparametric ... binary regression data, item response data, longitudinal and clustered data using generalized linear mixed models...
  • SimpleMKL

  • Referenced in 62 articles [sw12290]
  • learning algorithm, based on semi-infinite linear programming, has been recently proposed. This approach ... where the kernel is defined as a linear combination of multiple kernels. We propose ... insight on MKL algorithms based on mixed-norm regularization by showing that the two approaches ... show how SimpleMKL can be applied beyond binary classification, for problems like regression, clustering...
  • quadprogIP

  • Referenced in 4 articles [sw36327]
  • mixed-integer linear programming (MILP) problem by first reformulating a QP as a linear complementary ... problem, and then using binary variables and big-M constraints to model its complementary constraints...
  • SABRE

  • Referenced in 2 articles [sw24536]
  • Analysis of Recurrent Events. SABRE is a program for the statistical analysis of multi-process ... take the form of binary, ordinal, count and linear recurrent events. The response sequences ... Crouchley, R., (2011), Multivariate Generalized Linear Mixed Models Using R, CRC Press, Boca Raton...
  • Alpine.jl

  • Referenced in 1 article [sw34677]
  • convex relaxations for mixed-integer nonlinear programs (MINLP) with multi-linear terms. In the first ... stage, we exploit Constraint Programing techniques to contract the variable bounds. We apply feasibility-based ... domains of variables appearing in multi-linear terms (predominantly common in the literature), we construct ... computation time, and limits the number of binary variables that are introduced by the partitioning...
  • ANSYS

  • Referenced in 662 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

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

  • Referenced in 110 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CoCoA

  • Referenced in 631 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

  • Referenced in 200 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • Diffpack

  • Referenced in 114 articles [sw00203]
  • As modern programming methodologies migrate from computer science...
  • FGb

  • Referenced in 242 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 2876 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GAUSS

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • Gerris

  • Referenced in 271 articles [sw00341]
  • Gerris is a Free Software program for the...
  • gmp

  • Referenced in 269 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • HSL

  • Referenced in 270 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • KNITRO

  • Referenced in 179 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...