MIT OpenCourseWare Courses

Fiat-Shamir Paradigm and Zero-Knowledge Proofs - Lecture 6

Delve into advanced cryptographic concepts including Merkle hash collision resistance, Fiat-Shamir paradigm applications, and Kilian-Micali protocol soundness in the Random Oracle Model.

• YouTube
• 1 hour 9 minutes
• On-Demand
• Free Video

Probabilistically Checkable Proofs via GKR and Interactive Arguments - Lecture 4

Delve into probabilistically checkable proofs (PCP), exploring their construction through GKR protocol and interactive succinct arguments for NP in advanced cryptography.

• YouTube
• 1 hour 30 minutes
• On-Demand
• Free Video

The Kilian-Micali Protocol Using Collision Resistant Hash Functions and PCP - Lecture 5

Delve into advanced cryptography concepts focusing on collision resistant hash functions, PCP, and interactive arguments in this comprehensive theoretical exploration.

• YouTube
• 1 hour 45 minutes
• On-Demand
• Free Video

BARGs Implies SNARGs and Connection to Non-Signaling PCPs - Lecture 9

Delve into advanced cryptography concepts exploring the relationship between BARGs, SNARGs, and non-signaling PCPs with MIT professor Yael T. Kalai's detailed technical analysis.

• YouTube
• 1 hour 27 minutes
• On-Demand
• Free Video

Soundness of the Fiat-Shamir Paradigm in the Standard Model - Lecture 7

Delve into advanced cryptographic concepts focusing on CI hash functions, their existence in Random Oracle Model, and analysis of the Fiat-Shamir paradigm's soundness in standard models.

• YouTube
• 1 hour 5 minutes
• On-Demand
• Free Video

Prapela Case Study - Day 1

Explore Prapela's business model and strategies in substance use disorder treatment through CEO-led analysis and discussion in this MIT ventures program session.

• YouTube
• 55 minutes
• On-Demand
• Free Video

Translating Healthcare Research into Healthcare Entrepreneurship - Day 2

Discover how to bridge the gap between healthcare research and entrepreneurship, focusing on substance use disorder ventures and practical translation strategies.

• YouTube
• 1 hour 26 minutes
• On-Demand
• Free Video

Corpus Studies and Statistics in Computational Music Theory - Class 14

Explore advanced corpus analysis techniques in computational music theory, examining Bach and Haydn through statistical methods and music21 tools for distant listening.

• YouTube
• 48 minutes
• On-Demand
• Free Video

Encoding Corpora and Voice Leading - Class 15

Explore computational approaches to encoding musical corpora and analyzing voice-leading patterns in this advanced music theory session.

• YouTube
• 1 hour 3 minutes
• On-Demand
• Free Video

Music Representation and Hierarchies in Computational Music Theory - Class 7

Explore advanced music representation techniques and hierarchical structures through computational analysis using music21 modules and scholarly readings.

• YouTube
• 1 hour 6 minutes
• On-Demand
• Free Video

Vocabulary Reduction - Key Analysis and Bach Chorales - Video 26a

Explore vocabulary reduction techniques, key analysis methods, and Bach chorales in computational music theory to prepare for advanced musical analysis problems.

• YouTube
• 24 minutes
• On-Demand
• Free Video

Equivalence and Intervals I - Hierarchies IV - Class 10

Explore computational music theory through equivalence concepts, interval analysis, and hierarchical structures in musical data encoding and theme recognition.

• YouTube
• 1 hour 4 minutes
• On-Demand
• Free Video

Feature Extraction and Machine Learning - Class 27

Explore feature extraction techniques and their applications in artificial intelligence and machine learning for computational music analysis.

• YouTube
• 1 hour 10 minutes
• On-Demand
• Free Video

Feature Extraction and Machine Learning in Computational Music Theory - Class 28

Explore computational music analysis through feature extraction and machine learning techniques applied to popular songs like Baby Shark and melodic similarity studies.

• YouTube
• 51 minutes
• On-Demand
• Free Video

Introduction to Scores and Music Representation - Class 4

Explore musical scores and representation techniques for efficient computer coding in computational music theory and analysis.

• YouTube
• 1 hour 10 minutes
• On-Demand
• Free Video