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 20 of 203 lectures

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

Scholar · University

Chapters · Duration

6.034 Lecture 04: Search Algorithms - Depth First, Hill Climbing, and Beyond

6.034 Lecture 04: Search Algorithms - Depth First, Hill Climbing, and Beyond

Theory & Algos·Standalone Lecture · Patrick Winston · MIT

Patrick Winston MIT

55:25

Dancing Links: A Data Structure for Exact Covering Problems

Dancing Links: A Data Structure for Exact Covering Problems

Systems & CS·Standalone Lecture · Donald Knuth · Stanford University

Donald Knuth Stanford University

1:30:25

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

Scheduling with Time-Evolving Uncertainty for Content Review in Social Media

Scheduling with Time-Evolving Uncertainty for Content Review in Social Media

Systems & CS·Research Seminar · Thodoris Lykouris · MIT

Thodoris Lykouris MIT

49:19

Processing Inside NAND Flash Memory

Processing Inside NAND Flash Memory

Systems & CS·Standalone Lecture · Mayank Kabra and Rakesh Nadig · ETH Zürich

Mayank Kabra and Rakesh Nadig ETH Zürich

57:48

DejaVu and ColumnKeeper: Advanced DRAM Vulnerabilities and Solutions

DejaVu and ColumnKeeper: Advanced DRAM Vulnerabilities and Solutions

Systems & CS·Standalone Lecture · ETH Zürich

1:50:13

Cutting-Edge Research in Flash Memory

Cutting-Edge Research in Flash Memory

Systems & CS·Standalone Lecture · Yonggon Park and Rakesh Nadig · ETH Zürich

Yonggon Park and Rakesh Nadig ETH Zürich

50:59

Arithmetic Geometry and Computation

Arithmetic Geometry and Computation

Theory & Algos·Public Colloquium · Minhyong Kim · International Centre for Mathematical Sciences, Edinburgh

Minhyong Kim International Centre for Mathematical Sciences, Edinburgh

54:19

Algorithms for Life: AI and Operations Research Transforming Healthcare, Education, and Agriculture

Algorithms for Life: AI and Operations Research Transforming Healthcare, Education, and Agriculture

Theory & Algos·Standalone Lecture · Dimitris Bertsimas · MIT

Dimitris Bertsimas MIT

1:11:03

Quantum Factoring Algorithm: Finishing Rotation Estimation

Quantum Factoring Algorithm: Finishing Rotation Estimation

Theory & Algos·Standalone Lecture · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

20:32

Quantum Algorithms Recap: Hadamard Transform

Quantum Algorithms Recap: Hadamard Transform

Theory & Algos·Standalone Lecture · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

29:57

Quantum Algorithms Recap: Grover's Algorithm and SAT

Quantum Algorithms Recap: Grover's Algorithm and SAT

Theory & Algos·Standalone Lecture · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

16:57

Fantastic Bitflips & Where to Find Them (and How to Tame Them)

Fantastic Bitflips & Where to Find Them (and How to Tame Them)

Systems & CS·Conference Talk · Onur Mutlu · ETH Zürich

Onur Mutlu ETH Zürich

1:09:32

Richard Feynman on Computer Science: Hardware, Software, and Heuristics

Richard Feynman on Computer Science: Hardware, Software, and Heuristics

Systems & CS·Public Colloquium · Richard Feynman · Muon Ray

Richard Feynman Muon Ray

1:15:47

Linear-size ℓ₁ Sparsifiers

Linear-size ℓ₁ Sparsifiers

Theory & Algos·Research Seminar · Victor Reis · Microsoft Research

Victor Reis Microsoft Research

45:15

Overview and Introduction to Lisp (MIT 6.001 Structure and Interpretation, 1986, Lecture 1A)

Overview and Introduction to Lisp (MIT 6.001 Structure and Interpretation, 1986, Lecture 1A)

Systems & CS·Standalone Lecture · MIT

1:12:55

The Shape of Tiles: Regular and Irregular, Hard and Soft

The Shape of Tiles: Regular and Irregular, Hard and Soft

Philosophy·Public Colloquium · Alain Goriely · University of Oxford

Alain Goriely University of Oxford

50:42

1. Course Overview, Interval Scheduling

1. Course Overview, Interval Scheduling

6.046J · Lec 1 · Erik Demaine & Srini Devadas · MIT

Erik Demaine & Srini Devadas MIT

1:23:34

1. Persistent Data Structures

1. Persistent Data Structures

6.851 · Lec 1 · Erik Demaine · MIT

Erik Demaine MIT

1:23:43

Algorithmic Thinking & Peak Finding in 1D and 2D

Algorithmic Thinking & Peak Finding in 1D and 2D

6.006 · Lec 1 · Srini Devadas · MIT

Srini Devadas MIT

53:21

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)