Lectures related to Untitled | EPFL Graph Search

Gitlab Agent for Kubernetes (`agentk`)

Covers the setup of a Gitlab agent for Kubernetes, focusing on installation, version control, and troubleshooting.

Designing Learning Experiences: CS411 Class Project

Introduces the CS411 Class Project, where students design and test a lesson using learning theories.

Inclusion of Fermented Foods in Food Guides

Discusses the inclusion of fermented foods in global food guides, exploring their benefits and risks, enzyme kinetics, and the history of food enzymes.

Property-Based Testing: Advanced Techniques

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

Untitled Log in to Mediaspace to watch this video

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.

Untitled Log in to Mediaspace to watch this video

Logic Programming Techniques: Automated Proof Search and Unification Log in to Mediaspace to watch this video

Covers logic programming concepts, focusing on automated proof search and unification techniques in Coq.

Deep Neural Networks Log in to Mediaspace to watch this video

Covers the back-propagation algorithm for deep neural networks and the importance of locality in CNN.

Sparsest Cut: ARV Theorem Log in to Mediaspace to watch this video

Covers the proof of the Bourgain's ARV Theorem, focusing on the finite set of points in a semi-metric space and the application of the ARV algorithm to find the sparsest cut in a graph.

Introduction to Proof Scripting: Basics of Ltac Log in to Mediaspace to watch this video

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

Weak Derivatives: Definition and Properties Log in to Mediaspace to watch this video

Covers weak derivatives, their properties, and applications in functional analysis.

Homogenization Theory: Isotropic Phases and Laminated Plates Log in to Mediaspace to watch this video

Explores the rigorous bounds on effective properties of isotropic phases and laminated plates.

Stochastic Endowment Consumption Model Log in to Mediaspace to watch this video

Covers the stochastic endowment consumption model, log-linear transformation, impulse response solution, and Matlab codes.

Fracture Mechanics: Crack Growth and Weakest Link Log in to Mediaspace to watch this video

Explores fracture mechanics, crack growth, and the weakest link theory, emphasizing the statistical distribution of crack sizes and the significance of the largest crack in material failure.

Quantum Chemistry Log in to Mediaspace to watch this video

Covers eigenvalues, eigenfunctions, Hermitian operators, and the measurement of observables in quantum chemistry.

Hoare Logic: Foundations and Applications Log in to Mediaspace to watch this video

Covers Hoare Logic, its foundations, applications, and significance in program verification.