
tn
 Referenced in 135 articles
[sw05140]
 largescale unconstrained minimization problems. It is shown how the equivalent Lanczos characterization ... Newton method which can be applied to problems that do not necessarily have positivedefinite...

SCS
 Referenced in 38 articles
[sw16632]
 homogeneous selfdual 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 minimumnorm 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 PeacemanRachford ... developed and applied to parabolic and elliptic problems, both linear and nonlinear. 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 interiorpoint...

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: onthefly 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 leastsquares problems min∥Axb∥ 2 , with A being ... GolubKahan 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 maxcut problems) that ... formulated as the nonconvex nonlinear programming problem of minimizing a quadratic function subject ... equality constraints. We prove the equivalence of the LRSDP problem with the unconstrained minimization...