• # 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...
• # 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...
• # 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...
• # 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...
• # 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...
• # 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...