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
Intermediate Representations: CPS/L3
Graph Chatbot
Related lectures (32)
Previous
Page 3 of 4
Next
JVM Backend: Code Generation and Translation
Explores the translation of programs, definitions, and expressions into bytecode using the JVM backend.
RNA Functions: Transcription and Translation
Explores RNA functions in transcription, translation, and gene regulation, including defense mechanisms and viral infections.
Lie Groups: Representations and Transformations
Explores Lie groups, scalar fields, and vector spaces transformations.
Translations and Homotheties
Covers translations, homotheties, and geometric transformations using vectors and matrices.
Model Interpretation and Compilation
Explores model interpretation, compilation via partial evaluation, function calls, and the transition to partial evaluation, emphasizing the importance of model interpreters in supporting modeling languages.
2D Transformations: Linear Maps & Matrices
Covers 2D transformations, linear maps, matrices, affine transformations, and orthogonal transformations.
Correctness of Compilers: Part 2
Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.
Space Shuttle Control Systems
Explores the control systems of the Space Shuttle, including hand controllers and reference directions.
Actor Composition: Patterns and Strategies
Explores actor composition, fundamental patterns, result aggregation, risk delegation, and façade strategies in actor systems.
Magnetic Order: Symmetry Breaking
Covers the transition from order to disorder and the significance of scalar fields in breaking the electroweak symmetry.