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

Concept

Intuitionistic type theory

Related lectures (32)

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.

Quantum Chemistry Log in to Mediaspace to watch this video

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

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Project Management: Portfolio Management Log in to Mediaspace to watch this video

Focuses on project planning, execution, and key user involvement for effective project management.

Quantum Chemistry: Lecture Series Log in to Mediaspace to watch this video

Series covers spherical coordinates, harmonics, Legendre polynomials, and angular momentum.

Thermal Bridge Analysis: Materials and Conditions Log in to Mediaspace to watch this video

Explores thermal bridge analysis, material properties, and boundary conditions for building insulation.

Introduction to Transport Phenomena: Bernoulli's Equation Log in to Mediaspace to watch this video

Covers Bernoulli's equation and its applications in fluid flow problems, including continuity, friction factors, and practical examples.

Instability of a Jet: Deformation and Drops Log in to Mediaspace to watch this video

Explores the instability of a jet, focusing on deformation and breakup into drops, with applications in industrial processes and dynamics of water surface waves.

Crypto Wallet for DeFi: MetaMask Log in to Mediaspace to watch this video

Covers MetaMask, a crypto wallet for blockchain apps, emphasizing wallet security and account protection.

Displacement Field by Point Forces Log in to Mediaspace to watch this video

Explores solving displacement field by point forces using Green's functions and integration process to obtain total solution.

Microstructure Modeling: Homogenization Approach Log in to Mediaspace to watch this video

Explores computational modeling of realistic microstructures, microstructure characterization, and finite element analysis for studying mechanical behavior.

Spectroscopy Fundamentals Log in to Mediaspace to watch this video

Covers the fundamentals of spectroscopy, including tools, color, Doppler effect, and molecular behavior.