A rewriting system for convex optimization problems
TLDR
In this paper, a modular rewriting system for translating optimization problems written in a domain-specific language (DSL) to forms compatible with low-level solver interfaces is described.Abstract:
We describe a modular rewriting system for translating optimization problems written in a domain-specific language (DSL) to forms compatible with low-level solver interfaces. Translation is facilit...read more
Citations
More filters
Journal ArticleDOI
OSQP: An Operator Splitting Solver for Quadratic Programs
TL;DR: This work presents a general-purpose solver for convex quadratic programs based on the alternating direction method of multipliers, employing a novel operator splitting technique that requires the solution of a quasi-definite linear system with the same coefficient matrix at almost every iteration.
Posted Content
Implicit Regularization in Deep Matrix Factorization
TL;DR: This work studies the implicit regularization of gradient descent over deep linear neural networks for matrix completion and sensing, a model referred to as deep matrix factorization, and finds that adding depth to a matrix factorizations enhances an implicit tendency towards low-rank solutions.
Journal ArticleDOI
OSQP: an operator splitting solver for quadratic programs
TL;DR: OSQP as discussed by the authors is a general-purpose solver for convex quadratic programs based on the alternating direction method of multipliers, employing a novel operator splitting technique that requires the solution of a quasi-definite linear system with the same coefficient matrix at almost every iteration.
Journal ArticleDOI
Wastewater sequencing reveals early cryptic SARS-CoV-2 variant transmission
Smruthi Karthikeyan,J. Levy,Peter De Hoff,Gregory Humphrey,Amanda Birmingham,Kristen Jepsen,Sawyer Farmer,Helena M. Tubb,Tomás Mulet Valles,Caitlin E Tribelhorn,Rebecca Tsai,Stefan Aigner,Shashank Sathe,Niema Moshiri,Benjamin Henson,Adam Mark,A. Hakim,N. A. Baer,T. Barber,Pedro Belda-Ferre,Marisol Chacon,W. Cheung,Evelyn S Cresini,Emily R Eisner,Alma L. Lastrella,Elijah S. Lawrence,Clarisse Marotz,Toan Tri Dung Ngo,T. Ostrander,A. Plascencia,Rodolfo A. Salido,Phoebe Seaver,E. W. Smoot,Daniel McDonald,Robert M Neuhard,Angela L. Scioscia,Alysson M Satterlund,Elizabeth H. Simmons,Dismas B. Abelman,David Brenner,Judith C Bruner,Andrew Buckley,Michael Lee Ellison,Jeffrey Gattas,Steven L. Gonias,Matt Hale,Faith Kirkham Hawkins,Lydia Ikeda,Hemlata Jhaveri,Ted L. Johnson,Vincent J Kellen,Brendan Kremer,Gary Matthews,Ronald W. McLawhon,P. Ouillet,Daniel Park,Allorah Pradenas,Sharon L. Reed,Lindsay Riggs,Alison Sanders,Bradley Sollenberger,Angela Song,Benjamin A. White,Terri Winbush,Christine M. Aceves,C. Anderson,Karthik Gangavarapu,Emory Hufbauer,E. Kurzban,Justin Lee,Nathaniel L. Matteson,Edyth Parker,Sarah Perkins,Karthik S Ramesh,Refugio Robles-Sikisaka,M. A. Schwab,Emily Spencer,Shirlee Wohl,Laura Nicholson,Ian Howard Mchardy,David Dimmock,Charlotte A. Hobbs,Omid Bakhtar,Aaron Harding,A. D. Mendoza,Alexandre Bolze,D.S. Becker,Elizabeth T. Cirulli,Magnus Isaksson,Kelly M. Schiabor Barrett,Nicole L. Washington,John D Malone,Ashleigh Murphy Schafer,Nikos Gurfield,Sarah S Stous,Rebecca Fielding-Miller,Richard S. Garfein,Tommi L. Gaines,Cheryl Anderson,Natasha K. Martin,Robert E. Schooley,B. Austin,Duncan MacCannell,Stephen F. Kingsmore,William E. Lee,Seema Ramesh Shah,Eric McDonald,Alexander T. Yu,Mark Zeller,Kathleen M. Fisch,Christopher Evan Longhurst,Patricia Maysent,David T. Pride,Pradeep Khosla,Louise C. Laurent,Gene W. Yeo,Kristian G. Andersen,Rob Knight +117 more
TL;DR: In this paper , a scalable solution for wastewater genomic surveillance that allows early detection of SARS-CoV-2 variants and identification of cryptic transmission was proposed, in the controlled environment of a large university campus and the broader context of the surrounding county.
Journal ArticleDOI
Evaluating the Holevo Cramér-Rao bound for multiparameter quantum metrology
TL;DR: This work recast the fundamental bound for multiparameter quantum estimation, the Holevo Cramér-Rao bound, as a semidefinite program, with reduced size for rank-deficient states and shows that it also satisfies strong duality.
References
More filters
Journal ArticleDOI
Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones
TL;DR: This paper describes how to work with SeDuMi, an add-on for MATLAB, which lets you solve optimization problems with linear, quadratic and semidefiniteness constraints by exploiting sparsity.
Book ChapterDOI
Domain-adversarial training of neural networks
Yaroslav Ganin,Evgeniya Ustinova,Hana Ajakan,Pascal Germain,Hugo Larochelle,François Laviolette,Mario Marchand,Victor Lempitsky +7 more
TL;DR: In this article, a new representation learning approach for domain adaptation is proposed, in which data at training and test time come from similar but different distributions, and features that cannot discriminate between the training (source) and test (target) domains are used to promote the emergence of features that are discriminative for the main learning task on the source domain.
Journal ArticleDOI
Semidefinite programming
Lieven Vandenberghe,Stephen Boyd +1 more
TL;DR: A survey of the theory and applications of semidefinite programs and an introduction to primaldual interior-point methods for their solution are given.
Journal ArticleDOI
Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
TL;DR: This algorithm gives the first substantial progress in approximating MAX CUT in nearly twenty years, and represents the first use of semidefinite programming in the design of approximation algorithms.
Journal ArticleDOI
GAMS, a user's guide
TL;DR: JuMP is an open-source modeling language that allows users to express a wide range of ideas in an easy-to-use manner.
Related Papers (5)
PyTorch: An Imperative Style, High-Performance Deep Learning Library
Adam Paszke,Sam Gross,Francisco Massa,Adam Lerer,James Bradbury,Gregory Chanan,Trevor Killeen,Zeming Lin,Natalia Gimelshein,Luca Antiga,Alban Desmaison,Andreas Kopf,Edward Z. Yang,Zachary DeVito,Martin Raison,Alykhan Tejani,Sasank Chilamkurthy,Benoit Steiner,Lu Fang,Junjie Bai,Soumith Chintala +20 more