Verification of first-order methods for parametric quadratic optimization
From MaRDI portal
Cites work
- A dual algorithm for the solution of nonlinear variational problems via finite element approximation
- A Fast Iterative Shrinkage-Thresholding Algorithm for Linear Inverse Problems
- A nonlinear programming algorithm for solving semidefinite programs via low-rank factorization
- A primer on monotone operator methods
- A reformulation-convexification approach for solving nonconvex quadratic programming problems
- A Survey of the S-Lemma
- Analysis and design of optimization algorithms via integral quadratic constraints
- Automatic Performance Estimation for Decentralized Optimization
- Branch and bound for piecewise linear neural network verification
- Computational Complexity Certification for Real-Time MPC With Input Constraints Based on the Fast Gradient Method
- Conic optimization via operator splitting and homogeneous self-dual embedding
- Convex analysis and monotone operator theory in Hilbert spaces
- CVXPY: a Python-embedded modeling language for convex optimization
- Deep neural networks and mixed integer linear optimization
- Distributed optimization and statistical learning via the alternating direction method of multipliers
- DSOS and SDSOS optimization: more tractable alternatives to sum of squares and semidefinite optimization
- Embedded Online Optimization for Model Predictive Control at Megahertz Rates
- Enhancing sparsity by reweighted \(\ell _{1}\) minimization
- Exact worst-case performance of first-order methods for composite convex optimization
- First-order methods in optimization
- Formal verification of piece-wise linear feed-forward neural networks
- scientific article; zbMATH DE number 5859820 (Why is no real title available?)
- scientific article; zbMATH DE number 2107836 (Why is no real title available?)
- scientific article; zbMATH DE number 845714 (Why is no real title available?)
- scientific article; zbMATH DE number 3368525 (Why is no real title available?)
- Infeasibility detection in the alternating direction method of multipliers for convex optimization
- Introduction to applied linear algebra. Vectors, matrices, and least squares
- Large-scale convex optimization. Algorithms \& analyses via monotone operators
- Lectures on convex optimization
- On the Numerical Solution of Heat Conduction Problems in Two and Three Space Variables
- On the tightness of SDP relaxations of QCQPs
- Operator splitting for a homogeneous embedding of the linear complementarity problem
- Operator splitting performance estimation: tight contraction factors and optimal parameter selection
- OSQP: an operator splitting solver for quadratic programs
- Performance of first-order methods for smooth convex minimization: a novel approach
- Predictive control for linear and hybrid systems
- Reducibility among combinatorial problems
- Robust Estimation of a Location Parameter
- Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming
- Scalable semidefinite programming
- Semidefinite programming versus the reformulation-linearization technique for nonconvex quadratically constrained quadratic programming
- Smooth strongly convex interpolation and exact worst-case performance of first-order methods
- Support-vector networks
- Tutorial on Amortized Optimization
- Warm Start of Mixed-Integer Programs for Model Predictive Control of Hybrid Systems
This page was built for publication: Verification of first-order methods for parametric quadratic optimization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7349071)
