• Ipopt

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

  • Referenced in 325 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 58 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 60 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 25 articles [sw33192]
  • formally show that AdaCost reduces the upper bound of cumulative misclassification cost of the training...
  • quantilogram

  • Referenced in 22 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 17 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...
  • 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...
  • MAGP

  • Referenced in 9 articles [sw14019]
  • main result is the derivation of numerical bounds that turn out to be very accurate ... also present the first explicit upper bound for the distribution tail of the maximum ... known tools such as the Rice upper bound and expansions based on the Euler characteristic...