Fall 2019

Formal Verification of Edmond’s Blossom Algorithm

Continue Reading

Fountain codes with applications

Continue Reading

Using semidefinite programming for Inference — case of robust community detection.

Continue Reading

No-Signaling Proofs, Their Applications, and Their Power

Continue Reading

Nonlinear Regression Via Convex Programming

Continue Reading

Optimization Techniques for Complex Energy Infrastructure Systems

Continue Reading

Universal laws and architectures in complex networked systems with applications to sensorimotor control

Continue Reading

Learning and Decision-Making with Proxies

Continue Reading