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

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

SCCP
 Referenced in 72 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...

LSMR
 Referenced in 53 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...

CFSQP
 Referenced in 59 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...

SQEMA
 Referenced in 37 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 37 articles
[sw04073]
 NLPQLP  Nonlinear Programming with NonMonotone and Distributed Line Search. NLPQLP is a special implementation ... augmented Lagrangian merit function. Moreover, a nonmonotone line search is performed in error situations...

AIR tools
 Referenced in 44 articles
[sw09203]
 rules provided are the discrepancy principle, the monotone error rule, and the normalixed cumulative periodogram...

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

DELORES
 Referenced in 25 articles
[sw05546]
 lessexpressive but more efficient nonmonotonic logic. In contrast with most other nonmonotonic...

COBS
 Referenced in 24 articles
[sw08988]
 difficult time accommodating qualitative constraints like monotonicity, convexity or boundary conditions on the fitted function ... space of Bsplines provides a monotone smoother that is flexible, efficient and achieves...

QPCOMP
 Referenced in 31 articles
[sw00757]
 solvable Lipschitz continuous, continuously differentiable, pseudomonotone mixed nonlinear complementarity problem. QPCOMP also extends...

ROMS
 Referenced in 22 articles
[sw30140]
 conservative parabolic splines; and higherorder, quasimonotone advection algorithms. Examples of quantitative skill assessment ... spatial approximations, enhanced conservation properties, and quasimonotone advection produces both more robust and accurate...

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

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

Antichains
 Referenced in 26 articles
[sw20208]
 computes the least fixed point of a monotone function on the lattice of antichains...

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

bnpmr
 Referenced in 16 articles
[sw11018]
 bnpmr: Bayesian monotonic nonparametric regression. Implements the Bayesian nonparametric monotonic regression method described in Bornkamp...

KIVA4
 Referenced in 22 articles
[sw02561]
 cast in an explicit but secondorder monotonicitypreserving manner. Also, the convection calculations...

NoMoRe
 Referenced in 22 articles
[sw07094]
 NoMoRe: A system for nonmonotonic reasoning under answer set semantics NoMoRe implements answer...