Theoretical Computer Science Courses and Certifications

Paul G. Allen School

Machine Learning - Lecture 8

Explore advanced machine learning concepts, focusing on ensemble methods and boosting techniques to enhance model performance and predictive accuracy.

• YouTube
• 2 hours 52 minutes
• Self-Paced
• Free Video

Paul G. Allen School

Machine Learning - Lecture 6

Explore advanced machine learning concepts, focusing on ensemble methods and boosting techniques to enhance model performance and predictive accuracy.

• YouTube
• 2 hours 54 minutes
• Self-Paced
• Free Video

Paul G. Allen School

Machine Learning - Lecture 4

Machine learning techniques for classification, including decision trees, logistic regression, and support vector machines. Explores model evaluation, feature engineering, and handling imbalanced datasets.

• YouTube
• 2 hours 56 minutes
• Self-Paced
• Free Video

Paul G. Allen School

CSEP 501 - Compilers for Computer Languages - Lecture 10

Explore advanced compiler optimization techniques, focusing on data-flow analysis and its applications in program transformation and code improvement.

• YouTube
• 2 hours 57 minutes
• Self-Paced
• Free Video

Strange Loop Conference

Oatmeal is Cheap - A Fundamental Theorem for Procedural Generators

Explore Kolmogorov complexity in procedural generation, linking generator knowledge to output complexity. Insights for game design decisions in Minecraft, Borderlands, and Tea Garden, with interactive examples.

• YouTube
• 42 minutes
• Self-Paced
• Free Video

Tom Rocks Maths

Interview with Noga Alon - Mathematician with 600 Publications

Interview with mathematician Noga Alon discussing his prolific career, interdisciplinary research, and notable contributions to mathematics, including necklace splitting and applications of the Borsuk-Ulam Theorem.

• YouTube
• 27 minutes
• Self-Paced
• Free Video

Institute for Advanced Study

Discussion on MIP* = RE

Explore the groundbreaking MIP* = RE theorem with MIT's Anand Natarajan, delving into its implications for quantum computing, complexity theory, and the foundations of mathematics.

• YouTube
• 1 hour 33 minutes
• Self-Paced
• Free Video

Institute for Advanced Study

The Value of Errors in Proofs

Explore the significance of errors in mathematical proofs with Avi Wigderson, delving into their role in advancing quantum information and physics research.

• YouTube
• 1 hour 19 minutes
• Self-Paced
• Free Video

NPTEL-NOC IITM

Significance of Regular Languages and Regular Operations - Lecture 5

Explore regular languages, non-regular examples, and key operations like union, concatenation, and Kleene star to deepen understanding of formal language theory.

• YouTube
• 16 minutes
• Self-Paced
• Free Video

Google TechTalks

Understanding Oversmoothing in Graph Neural Networks (GNNs) - Insights from Two Theoretical Studies

Explore theoretical insights on oversmoothing in Graph Neural Networks, analyzing mechanisms, quantifying effects, and examining attention-based GNNs to enhance understanding and improve network performance.

• YouTube
• 1 hour
• Self-Paced
• Free Video

Wolfram

Exploring Formal-Language Syntax with Multiway Systems

Explore computational dynamics of formal-language syntax using multiway systems, focusing on substitution rules and visualization of various grammar types.

• YouTube
• 29 minutes
• Self-Paced
• Free Video

Sundeep Saradhi Kanthety

Automata Theory and Formal Languages Made Simple - Complete Course

2 ratings

Master finite automata, regular expressions, context-free grammars, and pushdown automata through practical examples and step-by-step problem solving in this comprehensive theory of computation tutorial.

• YouTube
• 9 hours 50 minutes
• Self-Paced
• Free Video

Models of Consciousness Conferences

Finite Automata as a Tool for Modeling Psychological Phenomena

1 rating

Explore how finite automata can effectively model psychological theories, focusing on stress and cognitive processes through clear mathematical frameworks and comparative analysis techniques.

• YouTube
• 20 minutes
• Self-Paced
• Free Video

Ryan O'Donnell

Constraint Satisfaction Problems - Lecture 20b of CS Theory Toolkit

1 rating

Explore Constraint Satisfaction Problems, their formal definition, examples, and algorithms. Learn about the Dichotomy Theorem and its implications for theoretical computer science research.

• YouTube
• 32 minutes
• Self-Paced
• Free Video

Thoughts on Rational Inference - Is Information Theoretic Inference Rational?

Exploring rational inference approaches for incomplete information in complex sciences. Discusses defining and implementing rational methods, handling misspecifications, and addressing model uncertainty and robustness.

• YouTube
• 47 minutes
• Self-Paced
• Free Video