• tn

  • Referenced in 135 articles [sw05140]
  • large-scale unconstrained minimization problems. It is shown how the equivalent Lanczos characterization ... Newton method which can be applied to problems that do not necessarily have positive-definite...
  • SCS

  • Referenced in 38 articles [sw16632]
  • homogeneous self-dual embedding, an equivalent feasibility problem involving finding a nonzero point...
  • Miniball

  • Referenced in 41 articles [sw05179]
  • product, we show that the problem of finding the smallest enclosing ball of balls with ... point on the boundary is equivalent to the problem of finding the minimum-norm point...
  • LSQR

  • Referenced in 372 articles [sw00530]
  • LSQR: Sparse Linear Equations and Least Squares Problems. An iterative method is given for solving ... Golub and Kahan. It is analytically equivalent to the standard method of conjugate gradients...
  • Anderson

  • Referenced in 74 articles [sw15192]
  • that, on linear problems, Anderson acceleration without truncation is “essentially equivalent” in a certain sense...
  • LMIRank

  • Referenced in 34 articles [sw04823]
  • easily seen to be equivalent to rank one constrained LMI problems...
  • SimpleMKL

  • Referenced in 62 articles [sw12290]
  • algorithm, named SimpleMKL, for solving this MKL problem and provide a new insight ... equivalent. We show how SimpleMKL can be applied beyond binary classification, for problems like regression...
  • Hopscotch

  • Referenced in 43 articles [sw00413]
  • solution of evolutionary problems is reformulated and shown to be equivalent to a Peaceman-Rachford ... developed and applied to parabolic and elliptic problems, both linear and non-linear. This algorithm...
  • HandTill2001

  • Referenced in 65 articles [sw11200]
  • class classification problems The area under the ROC curve, or the equivalent Gini index...
  • DFMO

  • Referenced in 11 articles [sw36997]
  • constraints, and prove that the original problem is equivalent to a bound constrained problem obtained...
  • EVPI

  • Referenced in 20 articles [sw02644]
  • linear programming has many practical applications for problems whose current decisions have to be made ... solving the deterministic equivalent forms of these dynamic problems, including the simplex and interior-point...
  • FRSDE

  • Referenced in 15 articles [sw08762]
  • finding that RSDE is equivalent to a special MEB problem is derived. With this finding...
  • CAESAR_SOLVE

  • Referenced in 14 articles [sw10194]
  • concurrent systems, such as equivalence checking and model checking. These problems can be solved ... used for three purposes: on-the-fly equivalence checking modulo five widely used equivalence relations...
  • QHOPDM

  • Referenced in 5 articles [sw04335]
  • problems and modified by us for QP problems. We stress once more that the quadratic ... easily construct a separable equivalent problem, which is easy to solve numerically...
  • FortSP

  • Referenced in 5 articles [sw07566]
  • used on its own to solve problems presented in SMPS format. FortSP is available ... used to optimize the deterministic equivalent problem and also the subproblems in the decomposition methods...
  • HOMER

  • Referenced in 5 articles [sw13321]
  • terms reduces to the VPA Equivalence Problem. Our checker is thus sound and complete; because...
  • CoVaC

  • Referenced in 7 articles [sw21472]
  • program analysis techniques, we reduce the equivalence checking problem to analysis of one system ... approach can be effectively used for checking equivalence of consonant (i.e., structurally similar) programs. Finally...
  • BISIMULATOR

  • Referenced in 7 articles [sw02526]
  • equivalence checking. The equivalence checking problem consists in verifying that a system (e.g., a protocol ... Labeled Transition Systems (Ltss) modulo a given equivalence relation. Two approaches are traditionally used...
  • LSMR

  • Referenced in 68 articles [sw12940]
  • linear systems Ax=b and least-squares problems min∥Ax-b∥ 2 , with A being ... Golub-Kahan bidiagonalization process. It is analytically equivalent to the MINRES method applied...
  • SpeeDP

  • Referenced in 4 articles [sw07003]
  • relaxations of unconstrained ${-1,1}$ quadratic problems (or, equivalently, of max-cut problems) that ... formulated as the non-convex nonlinear programming problem of minimizing a quadratic function subject ... equality constraints. We prove the equivalence of the LRSDP problem with the unconstrained minimization...