Publication | Date of Publication | Type |
---|
Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks | 2024-04-09 | Paper |
Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems | 2024-02-29 | Paper |
A Sparse Version of Reznick’s Positivstellensatz | 2024-02-23 | Paper |
A hierarchy of spectral relaxations for polynomial optimization | 2023-12-02 | Paper |
Pourchet’s theorem in action: decomposing univariate nonnegative polynomials as sums of five squares | 2023-11-03 | Paper |
Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations | 2023-07-07 | Paper |
Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem | 2023-05-30 | Paper |
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients | 2023-03-30 | Paper |
Convergence rates for sums-of-squares hierarchies with correlative sparsity | 2023-03-26 | Paper |
Sums of squares representations on singular loci | 2023-03-09 | Paper |
Noncommutative Christoffel-Darboux kernels | 2022-11-17 | Paper |
Time-dependent moments from partial differential equations and the time-dependent set of atoms | 2022-11-08 | Paper |
SONC optimization and exact nonnegativity certificates via second-order cone programming | 2022-09-22 | Paper |
Sparse Polynomial Optimization: Theory and Practice | 2022-08-23 | Paper |
Sparse Polynomial Optimization | 2022-07-11 | Paper |
Urysohn in action: separating semialgebraic sets by polynomials | 2022-07-01 | Paper |
Positivity certificates and polynomial optimization on non-compact semialgebraic sets | 2022-06-29 | Paper |
On the complexity of Putinar-Vasilescu's Positivstellensatz | 2022-06-17 | Paper |
Sparse noncommutative polynomial optimization | 2022-06-14 | Paper |
Tractable semidefinite bounds of positive maximal singular values | 2022-02-17 | Paper |
Exploiting sparsity in complex polynomial optimization | 2022-01-27 | Paper |
A sublevel moment-SOS hierarchy for polynomial optimization | 2022-01-24 | Paper |
Optimization over trace polynomials | 2022-01-19 | Paper |
\(l_2\) Induced norm analysis of discrete-time LTI systems for nonnegative input signals and its application to stability analysis of recurrent neural networks | 2022-01-19 | Paper |
Exploiting term sparsity in noncommutative polynomial optimization | 2021-09-29 | Paper |
Minimizing Rational Functions: A Hierarchy of Approximations via Pushforward Measures | 2021-09-24 | Paper |
Certifying Global Optimality of AC-OPF Solutions via sparse polynomial optimization | 2021-09-21 | Paper |
Noncommutative Polynomial Optimization | 2021-09-02 | Paper |
Dimension-free entanglement detection in multipartite Werner states | 2021-08-19 | Paper |
Noncommutative Christoffel-Darboux Kernels | 2021-06-11 | Paper |
On exact Reznick, Hilbert-Artin and Putinar's representations | 2021-06-03 | Paper |
Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification | 2021-06-02 | Paper |
TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity | 2021-02-04 | Paper |
Chordal-TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity with Chordal Extension | 2021-02-04 | Paper |
The Constant Trace Property in Noncommutative Optimization | 2021-02-03 | Paper |
Stability of Linear Systems under Extended Weakly-Hard Constraints | 2021-01-27 | Paper |
A second order cone characterization for sums of nonnegative circuits | 2021-01-22 | Paper |
Exploiting constant trace property in large-scale polynomial optimization | 2020-12-16 | Paper |
Computing the Hausdorff Boundary Measure of Semialgebraic Sets | 2020-10-31 | Paper |
Exploiting term sparsity in Noncommutative Polynomial Optimization | 2020-10-14 | Paper |
Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials | 2020-09-10 | Paper |
On Exact Polya and Putinar's Representations | 2020-09-09 | Paper |
SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions | 2020-08-26 | Paper |
Optimal control of linear PDEs using occupation measures and SDP relaxations | 2020-04-07 | Paper |
Semidefinite approximations of invariant measures for polynomial systems | 2019-10-10 | Paper |
Formal Proofs for Nonlinear Optimization | 2019-09-18 | Paper |
In SDP Relaxations, Inaccurate Solvers Do Robust Optimization | 2019-09-16 | Paper |
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems | 2019-08-30 | Paper |
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations | 2019-08-13 | Paper |
R <scp>eal</scp> c <scp>ertify</scp> | 2019-03-29 | Paper |
Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials | 2019-03-21 | Paper |
Interval Enclosures of Upper Bounds of Roundoff Errors Using Semidefinite Programming | 2019-01-18 | Paper |
Optimal Data Fitting: A Moment Approach | 2018-11-20 | Paper |
Approximating Pareto curves using semidefinite relaxations | 2018-09-28 | Paper |
A sums-of-squares extension of policy iterations | 2017-10-04 | Paper |
Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets | 2015-11-18 | Paper |
Error bounds for polynomial optimization over the hypercube using Putinar type representations | 2015-07-22 | Paper |
Certification of real inequalities: templates and sums of squares | 2015-06-19 | Paper |
NLCertify: A Tool for Formal Nonlinear Optimization | 2014-09-08 | Paper |
Certification of Bounds of Non-linear Functions: The Templates Method | 2013-08-09 | Paper |
Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation | 2013-07-26 | Paper |