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

Home

Lecture

Binary Search: Basics and Execution

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (38)

Algorithmic Complexity: Visualization and Analysis Log in to Mediaspace to watch this video

Explores algorithmic complexity, visualization of functions, and algorithm efficiency analysis using Python.

Merge Sort: Divide, Conquer, Combine Log in to Mediaspace to watch this video

Explores Merge Sort, a sorting algorithm that divides, conquers, and combines arrays efficiently to achieve O(nlog n) time 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.

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.

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.

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.

Shor's factoring algorithm: Quantum Phase Estimation Log in to Mediaspace to watch this video

Covers Shor's factoring algorithm and the link between order finding and factoring.

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.

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.

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

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

Cutset Formulation: MST Problem Log in to Mediaspace to watch this video

Explores the cutset formulation for the MST Problem and Gomory Cutting Planes method.

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

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

Cost-Benefit Analysis: Decision Making and Ethics Log in to Mediaspace to watch this video

Explores cost-benefit analysis in decision-making, emphasizing ethical considerations and societal values.

Bezier Curves: Fundamentals and Applications Log in to Mediaspace to watch this video

Explores the fundamentals and applications of Bezier curves, focusing on their construction, properties, and practical uses in design and modeling.

Quantum Supremacy: Introduction Log in to Mediaspace to watch this video

Introduces Quantum Supremacy, covering Google's 2019 achievement with 60 qubits and exploring quantum information and error correction.

Kernel Ridge Regression: Equivalent Formulations and Representer Theorem Log in to Mediaspace to watch this video

Explores Kernel Ridge Regression, equivalent formulations, Representer Theorem, Kernel trick, and predicting with kernels.

Memory Safety and Client/Server Architecture: Key Concepts Log in to Mediaspace to watch this video

Covers memory safety principles and the client/server architecture in system design.

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.

Page 2 of 2