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
Tail Recursion
Graph Chatbot
Related lectures (33)
Optimization with Constraints: KKT Conditions
Covers the KKT conditions for optimization with constraints, essential for solving constrained optimization problems efficiently.
Introduction to Algorithms
Explores the ingredients and selection of algorithms for different goals.
Tail Calls: Optimization Techniques
Log in to Mediaspace to watch this video
Explores tail call optimization in functional programming, discussing trampolines, Baker's technique, and more.
Understanding Chaos in Quantum Field Theories
Log in to Mediaspace to watch this video
Explores chaos in quantum field theories, focusing on conformal symmetry, OPE coefficients, and random matrix universality.
Course Introduction: Compilation of High-Level Languages
Log in to Mediaspace to watch this video
Covers the course on compiling high-level languages and optimizing code.
Register Allocation: Tail Calls
Log in to Mediaspace to watch this video
Covers register allocation techniques, including interference graph examples, coloring, spilling, and coalescing.
Recursive Functions: Methodology of Development + Debugging
Log in to Mediaspace to watch this video
Covers the methodology of development, recursion, and debugging in C++.
Big-step semantics: Defining arithmetic expressions and commands
Log in to Mediaspace to watch this video
Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.
Introduction to Coq: Arithmetic Expressions and Evaluators
Log in to Mediaspace to watch this video
Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.
Distributed Computing Execution Models
Log in to Mediaspace to watch this video
Explores challenges in minimizing job completion time in distributed computing, focusing on data skew impact and efficient processing.
Optimization Basics: Unconstrained Optimization and Gradient Descent
Log in to Mediaspace to watch this video
Covers optimization basics, including unconstrained optimization and gradient descent methods for finding optimal solutions.
Ford-Fulkerson: a worked example
Log in to Mediaspace to watch this video
Demonstrates the Ford-Fulkerson algorithm through a step-by-step worked example.
Optimization Techniques: Stochastic Gradient Descent and Beyond
Log in to Mediaspace to watch this video
Discusses optimization techniques in machine learning, focusing on stochastic gradient descent and its applications in constrained and non-convex problems.
Previous
Page 2 of 2
Next