Simons Institute for the Theory of Computing
453 old videos with fewer than 5,000 views from this channel.
-
33:36
Logic in Computer Science, Engineering and Industry
-
30:40
Logics of Finite Hankel Rank
-
30:36
Testing Assignments to Constraint Satisfaction Problems
-
43:23
Spectral Approaches to Nearest Neighbor Search
-
42:18
Distribution-Specific Analysis of Nearest Neighbor Search and Classification
-
52:18
Beyond Big-O: Statistical Analysis of Performance Scaling
-
51:35
Learning as a Tool for Algorithm Design and Beyond-Worst-Case Analysis
-
50:40
Characterizing the Typical Case Complexity of Formal Verification and Synthesis
-
43:12
Beyond Worst Case: When Complex Feedback Can Improve the Label Complexity of Active Learning
-
45:16
Follow the Leader with Dropout Perturbations
-
52:50
When Does Clustering Become Easy, and Should We Care About Other Cases?
-
43:59
Automated Scientific Discovery Using Insights from Problem Structure
-
47:36
How Hard Is Inference for Structured Prediction?
-
41:57
The Power of Predictions in Online Optimization
-
31:42
Semantics for Physicists
-
40:54
Compositionality, Adequacy, and Full Abstraction
-
41:11
An Operadic Approach to Compositionality
-
17:56
Modelling Interconnected Systems with Decorated Corelations
-
24:43
Custom Compact Closed Categories via Relations
-
33:18
Some Thoughts on Inferring System Structure
-
38:58
Automata Learning -- Infinite Alphabets and Application to Verification
-
26:38
Multipartite Composition of Contextuality Scenarios
-
39:18
Compositionality in Categorical Quantum Computing
-
27:39
Towards a Resource Theory of Contextuality