Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
semidefinite programming
biblio
Bounding Laconic Proof Systems by Solving CSPs in Parallel
Submitted by grigby1 on Wed, 04/11/2018 - 1:43pm
Complexity theory
composability
Compositionality
constraint satisfaction problems
pubcrawl
semidefinite programming
theoretical cryptography
biblio
The Integrality Gap of the Goemans-Linial SDP Relaxation for Sparsest Cut Is at Least a Constant Multiple of $\surd$Log N
Submitted by grigby1 on Mon, 03/26/2018 - 12:09pm
Approximation algorithms
metric embeddings
Metrics
pubcrawl
resilience
Resiliency
Scalability
semidefinite programming
Sparsest Cut Problem
work factor metrics
biblio
Robust-to-dynamics linear programming
Submitted by grigby1 on Wed, 03/08/2017 - 12:55pm
pubcrawl170110
upper bounds
uncertainty
structural properties
semidefinite programming based algorithm
semidefinite programming
Robustness
robust-to-dynamics optimization
robust-to-dynamics linear programming
robust optimization problems
Robust optimization
RDO
Asymptotic stability
polynomial time
optimization
Nonlinear dynamical systems
mathematical program
linear system
Linear programming
linear dynamics
Heuristic algorithms
Facsimile
Dynamical Systems
dynamical system
