Introduction to Types and Inductive Relations

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (54)

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.

Dynamic Memory Allocation in C Log in to Mediaspace to watch this video

Explores dynamic memory allocation in C, covering malloc, calloc, and realloc functions, emphasizing proper memory management and dynamic arrays.

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.

Deformation Analysis: Small Strain and Kinematics Log in to Mediaspace to watch this video

Explores small strain theory, kinematics, and compatibility conditions in solid mechanics.

Debugging and Optimization Log in to Mediaspace to watch this video

Covers types of errors in programming and emphasizes the importance of debugging and optimization techniques.

Memory Consistency: Taking it to the Compiler Log in to Mediaspace to watch this video

Explores memory consistency, weak consistency, and language-level guarantees in memory ordering, emphasizing the importance of data race free programming.

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.

Hyperelasticity: Basic Theory and Applications Log in to Mediaspace to watch this video

Covers hyperelasticity basics, including stress-strain response, energy density, and isotropic materials.

Pointers: Strings, Functions, Casting Log in to Mediaspace to watch this video

Covers pointers to strings, functions, and casting in C programming.

Heat Exchangers: Fundamentals and Applications Log in to Mediaspace to watch this video

Explores the fundamentals of heat exchangers, including conduction, convection, and temperature profiles, with practical examples.

Eshelby Method: Modulus Mismatch and Eigenstrains Log in to Mediaspace to watch this video

Discusses stress concentrations, modulus mismatch, and eigenstrains in materials.

Laminate Analysis: Stresses and Failures Log in to Mediaspace to watch this video

Covers the analysis of stresses and failures in laminated composites, including the computation of stresses at the ply level.

Introduction to C Programming Log in to Mediaspace to watch this video

Introduces fundamental C programming concepts, covering variables, control structures, functions, and pointers, with practical examples and exercises.

Untitled Log in to Mediaspace to watch this video

Page 3 of 3