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 77 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

System Dynamics: Student Project Reviews and Model Refinement

System Dynamics: Student Project Reviews and Model Refinement

Theory & Algos·Standalone Lecture · Hazhir Rahmandad · MIT

Hazhir Rahmandad MIT

2:37:59

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

Learning Representations: A Challenge for Learning Theory, COLT 2013

Learning Representations: A Challenge for Learning Theory, COLT 2013

Theory & Algos·Conference Talk · Yann LeCun · New York University

Yann LeCun New York University

54:33

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

Man-in-the-Middle Attacks, Certificates, and PKI

Man-in-the-Middle Attacks, Certificates, and PKI

Theory & Algos·Standalone Lecture · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:10:02

Post-Quantum Cryptography: Merkle Signature Schemes

Post-Quantum Cryptography: Merkle Signature Schemes

Theory & Algos·Standalone Lecture · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:32:41

Introduction to Hash-based Post-quantum Cryptography (PQC)

Introduction to Hash-based Post-quantum Cryptography (PQC)

Theory & Algos·Standalone Lecture · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:40:59

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

The Exponential Time Hypothesis: Foundations of Computational Hardness

The Exponential Time Hypothesis: Foundations of Computational Hardness

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

Ryan O'Donnell Carnegie Mellon University

1:19:45

Essential Hardness: Completing the Exponential Time Hypothesis Proof

Essential Hardness: Completing the Exponential Time Hypothesis Proof

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

Ryan O'Donnell Carnegie Mellon University

1:22:00

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

The Role of Computer Assistance in Mathematical Proofs

The Role of Computer Assistance in Mathematical Proofs

Theory & Algos·Research Seminar · Kevin Buzzard · Imperial College London

Kevin Buzzard Imperial College London

1:13:30

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)