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

Home

Lecture

Verified Functional Programming: Nicolas Voirol public PhD thesis defense

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (41)

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.

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.

Fracture Mechanics: Energy Analysis Log in to Mediaspace to watch this video

Explores energy analysis in fracture mechanics, emphasizing unstable crack growth and the importance of compliance in structural behavior.

Fracture Analysis: Energy and Mechanics Log in to Mediaspace to watch this video

Explores macroscopic energy analysis of fracture, focusing on unstable crack growth and energy mechanics.

Kinematics: Deformation and Expansion Log in to Mediaspace to watch this video

Explores kinematics of deformation, focusing on radial and linear expansion, torsion, and rotation by an angle.

Data Abstraction: Modules and Specifications in Coq Log in to Mediaspace to watch this video

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Service Design Basics Log in to Mediaspace to watch this video

Introduces the basics of service design, including key models and processes, problem framing, co-creation, and customer journey mapping.

Quantum Chemistry Log in to Mediaspace to watch this video

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

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.

Computational Modeling of Microstructures Log in to Mediaspace to watch this video

Covers computational modeling of microstructures, statistical measures, microstructure reconstruction, and virtual material testing.

Introduction to Programming: First Steps Log in to Mediaspace to watch this video

Covers the basics of programming, including the development cycle of a program, strong typing, data storage in Java variables, and primitive data types.

Mass Transport: Fick's Law of Molecular Diffusion Log in to Mediaspace to watch this video

Covers mass transport through molecular diffusion, explaining Fick's first law and diffusion coefficient values for various materials.

Linear Elasticity: Equations of Linear Elasticity Log in to Mediaspace to watch this video

Covers the equations of linear elasticity for static problems with small strain, emphasizing uniqueness of solutions and Navier's Equations.

Quantum Chemistry: Eigenfunctions and Hermitian Operators Log in to Mediaspace to watch this video

Discusses eigenfunctions of Hermitian operators in quantum chemistry and the quantization of energy levels.

Untitled Log in to Mediaspace to watch this video

Confidence Intervals and T-Test Log in to Mediaspace to watch this video

Explores confidence intervals, T-test, and hypothesis testing, including assumptions and critical regions.

Steady Flow through Unsaturated Zone Log in to Mediaspace to watch this video

Covers the steady flow through the unsaturated zone and explores special cases.

Virtual Work in Structural Mechanics Log in to Mediaspace to watch this video

Explores virtual work in structural mechanics, stability criteria, reaction load calculations, and mechanical systems with springs.

Wave Equation Stability Log in to Mediaspace to watch this video

Explores the stability of the wave equation finite difference scheme and resonant excitation.

Separate Compilation: Linker/Loader; Make Log in to Mediaspace to watch this video

Covers separate compilation, linking modules, loader role, and makefile usage.

Page 2 of 3