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

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

Computing, Life, and Intelligence (SFI-CX)

Computing, Life, and Intelligence (SFI-CX)

SFI-CX · Lec 9 · Blaise Agüera y Arcas · Santa Fe Institute

Blaise Agüera y Arcas Santa Fe Institute

1:23:05

Lecture 05: Architectures: Graphs (6.7960)

Lecture 05: Architectures: Graphs (6.7960)

6.7960 · Lec 5 · Phillip Isola · MIT

Phillip Isola MIT

1:21:14

Metacognitive Intelligence in Human-AI Teams

Metacognitive Intelligence in Human-AI Teams

Theory & Algos·Research Seminar · Aaron S. Benjamin · Santa Fe Institute

Aaron S. Benjamin Santa Fe Institute

58:17

Computing with High-Dimensional Vectors

Computing with High-Dimensional Vectors

Theory & Algos·Research Seminar · Pentti Kanerva · Stanford University

Pentti Kanerva Stanford University

59:10

Artificial Intelligence (CS50)

Artificial Intelligence (CS50)

CS50 · Lec 8 · David J. Malan · Harvard University

David J. Malan Harvard University

55:57

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)