Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Recursive Sorting: Merge Sort
Graph Chatbot
Related lectures (47)
Hashing and Sorting
Log in to Mediaspace to watch this video
Covers hashing, sorting, extendible hashing, linear hashing, and external sorting.
Query Processing with Relational Operations
Log in to Mediaspace to watch this video
Covers query processing with relational operations, including query optimization and different join algorithms.
Filter & Sort Professors List
Log in to Mediaspace to watch this video
Explains how to filter and sort a list of professors by different criteria.
Introduction to Logarithm
Log in to Mediaspace to watch this video
Covers the introduction to logarithms, algorithmic notations, and analysis of algorithm travel times.
Property-Based Testing: QuickChick
Log in to Mediaspace to watch this video
Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.
Microfluidic Valves
Log in to Mediaspace to watch this video
Covers the principles and applications of microfluidic valves in various designs.
Introduction to Algorithms
Log in to Mediaspace to watch this video
Covers the concept of algorithms, loop invariants, and examples of algorithmic problem-solving.
Laurent Series and Convergence: Complex Analysis Fundamentals
Log in to Mediaspace to watch this video
Introduces Laurent series in complex analysis, focusing on convergence and analytic functions.
Software Correctness: Testing and Verification
Log in to Mediaspace to watch this video
Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.
Group Theory: Active Learning Session
Log in to Mediaspace to watch this video
Delves into group theory, emphasizing the centralizer of elements and the classification of finite abelian groups.
Dynamic Programming: Knapsack
Log in to Mediaspace to watch this video
Explores dynamic programming for the Knapsack problem, discussing strategies, algorithms, NP-hardness, and time complexity analysis.
Query Optimization: Execution Models
Log in to Mediaspace to watch this video
Explores Run-Length Encoding, Query optimization, and Execution models for efficient query processing.
Euclidean Algorithm: GCD Calculation
Log in to Mediaspace to watch this video
Covers the Euclidean algorithm for GCD calculation and algorithmic complexity analysis.
Direct Sums Arithmetic
Log in to Mediaspace to watch this video
Explores the arithmetic of direct sums in group theory, discussing conditions for equality.
Dijkstra's Algorithm: All-Pairs
Log in to Mediaspace to watch this video
Covers Dijkstra's algorithm and its application to the all-pairs shortest path problem.
Visualizing the Fourth Dimension: A Mathematical Journey
Log in to Mediaspace to watch this video
Explores visualizing the Fourth Dimension through points, lines, circles, spheres, and punching through, covering vector space properties, dimensionality, bases, and theorems.
Convex Hulls: Complexity and Vertices
Log in to Mediaspace to watch this video
Explores the complexity of convex hulls and the concept of vertices within them.
Linear Algebra Complexity
Log in to Mediaspace to watch this video
Explores the complexity of linear algebra operations and optimization methods, including Gaussian elimination and the simplex method.
Optimization algorithms
Log in to Mediaspace to watch this video
Covers optimization algorithms, focusing on Proximal Gradient Descent and its variations.
Reliable Broadcast: Overview and Algorithms
Log in to Mediaspace to watch this video
Explores reliable broadcast in distributed systems, presenting specifications, algorithms, and properties for different types of broadcast.
Previous
Page 2 of 3
Next