Untitled

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (49)

Dependent Types in Programming Languages

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

Designing Learning Experiences: CS411 Class Project

Introduces the CS411 Class Project, where students design and test a lesson using learning theories.

Foundations of Scala: Modelling and Type Systems

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Verifying Programs with Stainless: How Stainless Works

Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.

Matrix to Density Operator

Explains the transformation from a matrix to the density operator in quantum physics.

Heat Pump Tutorial

Explains the steps to define a heat pump and thermal streams.

Untitled Log in to Mediaspace to watch this video

Logic Programming Techniques: Automated Proof Search and Unification Log in to Mediaspace to watch this video

Covers logic programming concepts, focusing on automated proof search and unification techniques in Coq.

Untitled Log in to Mediaspace to watch this video

Stochastic Endowment Consumption Model Log in to Mediaspace to watch this video

Covers the stochastic endowment consumption model, log-linear transformation, impulse response solution, and Matlab codes.

Block Pulled by a Spring Log in to Mediaspace to watch this video

Explores the dynamics of a block pulled by a spring under various conditions.

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.

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.

Deep Neural Networks Log in to Mediaspace to watch this video

Covers the back-propagation algorithm for deep neural networks and the importance of locality in CNN.

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.

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.

Lambda Calculus and Type Safety: An Overview Log in to Mediaspace to watch this video

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Page 1 of 3