1999 | A convergence criterion for Secant method with approximate zeros | 김선영 | Article |
2003 | A general framework for convex relaxation of polynomial optimization problems over cones | 김선영 | Article |
2016 | A Lagrangian–DNN relaxation: a fast method for computing tight lower bounds for a class of quadratic optimization problems | 김선영 | Article |
2002 | A newton-based approach for attributing tumor lethality in animal carcinogenicity studies | 김선영 | Article |
2013 | A quadratically constrained quadratic optimization model for completely positive cone programming | 김선영 | Article |
2018 | A Stable and Convergent Hodge Decomposition Method for Fluid–Solid Interaction | 민조홍 | Article |
2008 | Algorithm 883: SparsePOP - A sparse semidefinite programming relaxation of polynomial optimization problems | 김선영 | Article |
2012 | Algorithm 920: SFSDP: A sparse version of full semidefinite programming relaxation for sensor network localization problems | 김선영 | Article |
1996 | Computational techniques for inverse problems in kidney modeling | 김선영 | Article |
2003 | Computing all nonsingular solutions of cyclic-n polynomial using polyhedral homotopy continuation methods | 김선영 | Article |
2006 | Convergence analysis for a second-order elliptic equation by a collocation method using scattered points | 윤정호 | Article |
2008 | Correlative sparsity in primal-dual interior-point methods for LP, SDP, and SOCP | 김선영 | Article |
2022 | Doubly nonnegative relaxations for quadratic and polynomial optimization problems with binary and box constraints | 김선영 | Article |
2023 | Exact SDP relaxations for quadratic programs with bipartite graph structures | 김선영 | Article |
2022 | Exact SDP relaxations of quadratically constrained quadratic programs with forest structures | 김선영 | Article |
2017 | Exact semidefinite programming relaxations with truncated moment matrix for binary polynomial optimization problems | 김선영 | Article |
2003 | Exact solutions of some nonconvex quadratic optimization problems via SDP and SOCP relaxations | 김선영 | Article |
2011 | Exploiting sparsity in linear and nonlinear matrix inequalities via positive semidefinite matrix completion | 김선영 | Article |
2009 | Exploiting sparsity in SDP relaxation for sensor network localization | 김선영 | Article |
2012 | Exploiting sparsity in SDP relaxation of polynomial optimization problems | 김선영 | Book Chapter |
2014 | Faster, but weaker, relaxations for quadratically constrained quadratic programs | 김선영 | Article |
2017 | Formalizing the meta-theory of first-order predicate logic | 김선영 | Article |
2020 | Fully commutative elements of the complex reflection groups | 오세진 | Article |
2005 | Generalized lagrangian duals and sums of squares relaxations of sparse polynomial optimization blems | 김선영 | Article |
1999 | Numerical solutions of Cauchy singular integral equations using generalized inverses | 김선영 | Article |
2004 | Numerical stability of path tracing in polyhedral homotopy continuation methods | 김선영 | Article |
2019 | On the conditions for the finite termination of ADMM and its applications to SOS polynomials feasibility problems | 김선영 | Article |
2004 | PHoM - A polyhedral homotopy continuation method for polynomial systems | 김선영 | Article |
2006 | PHoMpara - Parallel implementation of the polyhedral homotopy continuation method for polynomial systems | 김선영 | Article |
2013 | Pieri algebras for the orthogonal and symplectic groups | 김상집 | Article |