Covers hashing, sorting, extendible hashing, linear hashing, and external sorting.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Explores turbulence characteristics, simulation methods, and modeling challenges, providing guidelines for choosing and validating turbulence models.
Covers the basics of circuit analysis, including defining unknowns, establishing equations, solving systems, and analyzing circuits.
Covers query processing with relational operations, focusing on different join methods and the impact of buffering.
