Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Verified Functional Programming: Nicolas Voirol public PhD thesis defense
Graph Chatbot
Related lectures (32)
Previous
Page 3 of 4
Next
Homogenization Theory: Isotropic Phases and Laminated Plates
Explores the rigorous bounds on effective properties of isotropic phases and laminated plates.
Fracture Mechanics: Crack Growth and Weakest Link
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
Explores energy analysis in fracture mechanics, emphasizing unstable crack growth and the importance of compliance in structural behavior.
Fracture Analysis: Energy and Mechanics
Explores macroscopic energy analysis of fracture, focusing on unstable crack growth and energy mechanics.
Kinematics: Deformation and Expansion
Explores kinematics of deformation, focusing on radial and linear expansion, torsion, and rotation by an angle.
Data Abstraction: Modules and Specifications in Coq
Discusses data abstraction in programming, focusing on modules and specifications in Coq.
Service Design Basics
Introduces the basics of service design, including key models and processes, problem framing, co-creation, and customer journey mapping.
Quantum Chemistry
Covers eigenvalues, eigenfunctions, Hermitian operators, and the measurement of observables in quantum chemistry.
Introduction to Coq: Arithmetic Expressions and Evaluators
Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.
Collision Kinetics: Theory and Applications
Covers the theory and applications of collision kinetics in understanding molecular interactions.
