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
Concept
Type theory
Graph Chatbot
Related lectures (32)
Login to filter by course
Login to filter by course
Reset
Previous
Page 3 of 4
Next
Solid Mechanics Principles: Greens Functions
Explores Greens functions in solid mechanics, emphasizing the solution of point forces and their impact on displacement fields.
Differential Amplifier Design
Covers the design of a differential amplifier with key parameters like gain and bias current.
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.
Block Pulled by a Spring
Explores the dynamics of a block pulled by a spring under various conditions.
Verifying Programs with Stainless: How Stainless Works
Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.
Chain Polymerisation: Mechanism and Kinetics
Explores the mechanism and kinetics of chain polymerisation, focusing on inhibitors and competitive inhibition in enzyme reactions.
Computational Modeling of Microstructures
Covers computational modeling of microstructures, statistical measures, microstructure reconstruction, and virtual material testing.
Density Operator: Matrix to the System State
Explores density operator matrix transformation in quantum physics and the implications of measuring the system, leading to state collapse.
Heat Pump Tutorial
Explains the steps to define a heat pump and thermal streams.
Type Rules: Progress and Preservation
Covers Amyli, a tiny functional language, type rules, and soundness.
