• Ipopt

  • Referenced in 611 articles [sw04808]
  • denote the lower and upper bounds on the constraints, and the vectors...
  • UMFPACK

  • Referenced in 338 articles [sw00989]
  • symbolic analysis phase computes an upper bound on fill-in, work, and memory usage during...
  • MINOS

  • Referenced in 440 articles [sw05095]
  • some or all gradients. Upper and lower bounds on the variables are handled efficiently. File...
  • BOBYQA

  • Referenced in 60 articles [sw04769]
  • that it allows lower and upper bounds on each variable. The name BOBYQA denotes Bound...
  • CirCut

  • Referenced in 42 articles [sw04782]
  • approach does not guarantee an upper bound on the MAX-CUT optimal value...
  • MULKNAP

  • Referenced in 35 articles [sw06467]
  • constrained MKP and present a branch-and-bound algorithm to solve this problem to optimality ... Lagrangian relaxation approach to obtain an upper bound. Together with the lower bound obtained...
  • DSPCA

  • Referenced in 35 articles [sw04804]
  • rank-one matrix, with an upper bound on the cardinality of its eigenvector. The problem...
  • UnitWalk

  • Referenced in 34 articles [sw00993]
  • having the best current worst-case upper bounds. We combine the main ideas of these...
  • COSTA

  • Referenced in 23 articles [sw00162]
  • selection of resource descriptions, and tries to bound the resource consumption of the program with ... such recurrence relations which represents an upper bound, COSTA includes a dedicated solver. An ! interesting ... much the same machinery for inferring upper bounds on cost as for proving termination (which...
  • PSwarm

  • Referenced in 61 articles [sw00742]
  • where the variables are within upper and lower bounds. The underlying algorithm used...
  • Equator

  • Referenced in 28 articles [sw13158]
  • variable, defined by the lower and upper bounds and an increment. Equator has no plotting...
  • AdaCost

  • Referenced in 26 articles [sw33192]
  • formally show that AdaCost reduces the upper bound of cumulative misclassification cost of the training...
  • quantilogram

  • Referenced in 23 articles [sw25152]
  • conduct inference, propose some model free upper bound critical values, and apply our methods...
  • FRSDE

  • Referenced in 15 articles [sw08762]
  • advantage: it can guarantee that the upper bound of the time complexity is linear with ... large data set and the upper bound of the space complexity is independent...
  • TenEig

  • Referenced in 19 articles [sw14671]
  • eigenpairs. In particular, we derive an upper bound for the number of equivalence classes...
  • VortexCalculations

  • Referenced in 16 articles [sw28311]
  • computer. We also provide upper bounds for these classes of stationary configurations...
  • CodingTheory

  • Referenced in 8 articles [sw01945]
  • constant weight codes (lower and upper bounds) and also using the Table of Constant Weight ... www.research.att.com/∼njas/codes/Andw/] and the table of upper bounds on A(n,d,w) (which ... electronic supplement to their paper “Upper bounds for constant-weight codes” [IEEE Trans. Inf. Theory ... parameters of new codes with classical upper bounds such as Johnson bound, linear programming...
  • CABOB

  • Referenced in 31 articles [sw17813]
  • problem. It uses decomposition techniques, upper and lower bounding (also across components), elaborate and dynamically...
  • MineLib

  • Referenced in 14 articles [sw07469]
  • extracted ore; constraints include precedence and upper bounds on operational resource usage. Extensions of this...
  • qZEILBERGER

  • Referenced in 13 articles [sw11575]
  • Mathematica package qZeil. The article ”Sharp upper bounds for the orders of the recurrences output...