Theory Seminars

Max-stable Random Sketches: Estimation of Distances, Norms and Dominance Norms

Sublinear Algorithms for Compressed Sensing

Large-scale phylogenetic reconstruction and the Tree of Life

Deploying Sensor Nets with Guaranteed Capacity and Fault Tolerance, by Jonathan L. Bredin, Erik D. Demaine, MohammadTaghi Hajiaghayi and Daniela Rus.

Gowers Uniformity, influence of variables, and PCPs

On the Complexity of Numerical Analysis

Deploying Sensor Nets with Guaranteed Capacity and Fault Tolerance by Jonathan L. Bredin, Erik D. Demaine, MohammadTaghi Hajiaghayi and Daniela Rus

The search for a quantum algorithm for Graph Isomorphism

FRAIG: A new datastructure for formal verification and circuit synthesis

Quadratic Lower Bounds on Matrix Rigidity