Explores MIPS assembly language, covering function calls, memory management, and data structures, including recursive functions, programming constructs, arrays, and linked lists.
Presents an environment-based interpreter for recursive functions, optimizing evaluation through parameter bindings and eliminating the need for explicit substitutions.
Explores the time-varying Kalman filter, state estimation, challenges in conditioning on measured outputs, and the importance of affine transformations.