• GloptiPoly

  • Referenced in 218 articles [sw04343]
  • relaxations of the GPM, whose associated monotone sequence of optimal values converges to the global...
  • CESAR

  • Referenced in 138 articles [sw08510]
  • computed iteratively as fixed points of monotonic predicate transformers. The verification of a system consists...
  • SCCP

  • Referenced in 59 articles [sw03318]
  • interior continuation algorithm for the monotone SCCP It is well known that the symmetric cone ... interior continuation algorithm for solving the monotone SCCP. The proposed algorithm solves at most...
  • CFSQP

  • Referenced in 57 articles [sw04658]
  • inequality and linear constraints has been reached (monotone line search), or requiring a decrease within ... generate feasible iterates. In the first one (monotone line search), a certain Armijo type...
  • LSMR

  • Referenced in 40 articles [sw12940]
  • quantities ∥A T r k ∥ are monotonically decreasing (where ... practice that ∥r k ∥ also decreases monotonically, so that compared to LSQR (for which only ... monotonic) it is safer to terminate LSMR early. We also report some experiments with reorthogonalization...
  • SQEMA

  • Referenced in 33 articles [sw03056]
  • replaced by a semantic one, viz. downward monotonicity. For the first, and most general, extension ... Sahlqvist formulae, defined by replacing polarity with monotonicity. By employing a special modal version ... Lyndon’s monotonicity theorem and imposing additional requirements on the Ackermann rule we obtain restricted...
  • NLPQLP

  • Referenced in 34 articles [sw04073]
  • NLPQLP - Nonlinear Programming with Non-Monotone and Distributed Line Search. NLPQLP is a special implementation ... augmented Lagrangian merit function. Moreover, a non-monotone line search is performed in error situations...
  • DELORES

  • Referenced in 23 articles [sw05546]
  • less-expressive but more efficient non-monotonic logic. In contrast with most other non-monotonic...
  • QPCOMP

  • Referenced in 31 articles [sw00757]
  • solvable Lipschitz continuous, continuously differentiable, pseudo-monotone mixed nonlinear complementarity problem. QPCOMP also extends...
  • HypE

  • Referenced in 31 articles [sw19794]
  • measure that is known to be strictly monotonic with regard to Pareto dominance: whenever...
  • COBS

  • Referenced in 21 articles [sw08988]
  • difficult time accommodating qualitative constraints like monotonicity, convexity or boundary conditions on the fitted function ... space of B-splines provides a monotone smoother that is flexible, efficient and achieves...
  • QUBE

  • Referenced in 25 articles [sw11381]
  • planning [1], abduction, reasoning about knowledge, non monotonic reasoning [2], can be directly mapped into...
  • fdrtool

  • Referenced in 23 articles [sw08196]
  • parametric density estimation (Grenander estimator), for monotone regression (isotonic regression and antitonic regression with weights...
  • MAPC

  • Referenced in 22 articles [sw04990]
  • region. Decomposing a plane algebraic curve into monotonic subsections. The current implementation of MAPC...
  • NoMoRe

  • Referenced in 22 articles [sw07094]
  • NoMoRe: A system for non-monotonic reasoning under answer set semantics NoMoRe implements answer...
  • Antichains

  • Referenced in 22 articles [sw20208]
  • computes the least fixed point of a monotone function on the lattice of antichains...
  • AIR tools

  • Referenced in 21 articles [sw09203]
  • rules provided are the discrepancy principle, the monotone error rule, and the normalixed cumulative periodogram...
  • PREFDIS

  • Referenced in 20 articles [sw11030]
  • modeling capabilities, including the modeling of non-monotone preferences. The friendly window-based user interface...
  • KIVA-4

  • Referenced in 19 articles [sw02561]
  • cast in an explicit but second-order monotonicity-preserving manner. Also, the convection calculations...
  • SeqLog

  • Referenced in 13 articles [sw01946]
  • form of a conjunction of a monotonic and an anti-monotonic constraint on sequential patterns...