Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Complexity & Induction: Algorithms & Proofs

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (44)

Algorithms: Efficiency Analysis Log in to Mediaspace to watch this video

Covers the analysis of algorithm efficiency and optimizing code for faster execution.

Logic and Proof Techniques Log in to Mediaspace to watch this video

Covers integers, rationals, logic, proof techniques, functions, and relations using examples and truth tables.

Closure Conversion: Representation and Transformation Log in to Mediaspace to watch this video

Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.

Dynamic Programming: Integer Programming Log in to Mediaspace to watch this video

Covers integer programming, dynamic programming, and optimal solutions complexity.

Support Vector Machines: Formulation and Complexity Log in to Mediaspace to watch this video

Explores the formulation and complexity of Support Vector Machines, including primal and dual forms, geometric interpretation, and algorithmic implications.

Matlab: Interactive Mode and Project Steps Log in to Mediaspace to watch this video

Introduces Matlab basics, error handling, and billiards project concepts.

Pointers: Strings, Functions, Casting Log in to Mediaspace to watch this video

Covers pointers to strings, functions, and casting in C programming.

Linear Algebra: Integers Log in to Mediaspace to watch this video

Explores linear algebra over integers, emphasizing solutions to A.x=b equations and Hermite normal form.

Connect Four: Alpha-Beta Pruning and Monte-Carlo Tree Search Log in to Mediaspace to watch this video

Explores solving Connect Four using game theory and algorithms for optimal strategy in minimum time.

Transformer Architectures: Subquadratic Attention Mechanisms Log in to Mediaspace to watch this video

Covers transformer architecture and subquadratic attention mechanisms, focusing on efficient approximations and their applications in machine learning.

Encoder and Decoder for Prefix-Free Codes Log in to Mediaspace to watch this video

Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.

Needleman-Wunsch Algorithm: Sequence Alignment Log in to Mediaspace to watch this video

Covers the Needleman-Wunsch algorithm for optimal protein sequence alignment using dynamic programming and scoring methods.

Introduction to Analysis Log in to Mediaspace to watch this video

Covers the basics of analysis, including proofs, sets, rational and real numbers, and the concept of infimum.

Linear Systems: Direct Methods Log in to Mediaspace to watch this video

Explores linear systems, direct methods, Gauss elimination, LU decomposition, and computational complexity.

Huffman's Algorithm: Mechanizing the Proof Log in to Mediaspace to watch this video

Explores the mechanization of Huffman's algorithm proof and functional implementation.

IP Management: Non-Patent Strategies Log in to Mediaspace to watch this video

Explores non-patent strategies for IP management, including defensive publication, trademarks, copyrights, and trade secrets, emphasizing alignment with business goals.

Computation & Algorithms I Log in to Mediaspace to watch this video

Covers the basics of algorithms, their historical significance, pseudo-code representation, and practical tasks in computational thinking.

Relational Query Optimization Log in to Mediaspace to watch this video

Covers relational query optimization, including logical and physical query plans, cost estimation, equivalences, and the System R strategy.

Distribution & Interpolation Spaces Log in to Mediaspace to watch this video

Explores distribution and interpolation spaces, showcasing their importance in mathematical analysis and the computations involved.

Transition Gymnase-EPFL Log in to Mediaspace to watch this video

Covers the transition from high school to EPFL, addressing challenges and measures for student success.

Page 2 of 3