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

Home

Lecture

Data Abstraction: Modules and Specifications in Coq

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (51)

Python Basics Log in to Mediaspace to watch this video

Covers Python basics, Git, control structures, functions, file handling, and debugging using PDB.

Programming for Engineer: Introduction Log in to Mediaspace to watch this video

Introduces programming basics, debugging, and structured software implementation using powerful tools.

Introduction to Python Programming Log in to Mediaspace to watch this video

Introduces Python programming basics using Anaconda and JupyterLab, with practical exercises on syntax and libraries.

Data Analysis Techniques: Amplitude Shift Keying and Graphical Methods Log in to Mediaspace to watch this video

Covers amplitude shift keying and various data analysis techniques using Jupyter Notebooks.

Quiz LV Log in to Mediaspace to watch this video

Covers examples related to racing programming for engineers, focusing on values of variables, debugging, and shift registers.

Numerical Methods: Bisection and Multidimensional Arrays Log in to Mediaspace to watch this video

Discusses the bisection method for solving nonlinear equations and its implementation using Python with NumPy and Matplotlib.

Robot Competition: Preparation for RoboCup Log in to Mediaspace to watch this video

Explores the EPFL Robot Competition, where students build a robot to clean rooms and retrieve bottles, gaining valuable hands-on experience and preparing for future engineering roles.

Thermo-Calc: Exercise and Property Models Log in to Mediaspace to watch this video

Explores Thermo-Calc software for defining functions and property models in materials science.

Rigorous Bounds: Isotropic Phases Log in to Mediaspace to watch this video

Explores rigorous upper and lower bounds for isotropic phase composites and their microstructure arrangement, focusing on laminated plates and stress-strain relationships.

Weyl character formula Log in to Mediaspace to watch this video

Explores the proof of the Weyl character formula for finite-dimensional representations of semisimple Lie algebras.

Algorithms in Computer Science: Search and Sort Techniques Log in to Mediaspace to watch this video

Provides an overview of essential search and sort algorithms in computer science.

Page 3 of 3