Algorithms & Theory

Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.

13 courses · 77 standalone talks · 370 total lectures

All Theory & Algos Algorithms & Data Structures (203)Computational Complexity (88)Cryptography (41)Probability & Information Theory (28)Neuroscience & Cognition (26)Calculus & Analysis (24)Complex Systems & Scaling (16)Computer Architecture (14)Signal Processing & Robotics (13)Dynamic Programming (13)

Showing 6 of 6 lectures

Lecturej/k navigate · c chapters · s save · x watched

Scholar · University

Chapters · Duration

A Nearly Quadratic Lower Bound for Linear Optimization over Convex Bodies

A Nearly Quadratic Lower Bound for Linear Optimization over Convex Bodies

Theory & Algos·Research Seminar · Santosh Vempala · Georgia Institute of Technology

Santosh Vempala Georgia Institute of Technology

1:09:25

Red Points and Blue Points (SIMONS-TCS-ML)

Red Points and Blue Points (SIMONS-TCS-ML)

SIMONS-TCS-ML · Lec 17 · Santosh Vempala · Simons Institute (UC Berkeley)

Santosh Vempala Simons Institute (UC Berkeley)

38:15

Conditional Hardness for the Fréchet Distance Under Translation

Conditional Hardness for the Fréchet Distance Under Translation

Theory & Algos·Research Seminar · Andre Nusser · Max Planck Institute for Informatics

Andre Nusser Max Planck Institute for Informatics

17:08

2. Retroactive Data Structures

2. Retroactive Data Structures

6.851 · Lec 2 · Erik Demaine · MIT

Erik Demaine MIT

1:18:39

4. Geometric Structures II

4. Geometric Structures II

6.851 · Lec 4 · Erik Demaine · MIT

Erik Demaine MIT

1:22:09

Lecture 9: Augmentation: Range Trees (6.046J)

Lecture 9: Augmentation: Range Trees (6.046J)

6.046J · Lec 11 · Erik Demaine · MIT

Erik Demaine MIT

1:24:34

More categories

Systems & CS (504)Mathematics (518)Physics & Cosmology (366)AI & Machine Learning (283)History & Humanities (371)Philosophy & Ethics (286)Biology & Neuroscience (332)Economics & Finance (323)Engineering & Robotics (333)