Covers relational query optimization, including logical and physical query plans, cost estimation, equivalences, and the System R strategy.
Covers exercises on surface radiative properties, including spectral absorptivity, reflectivity, emissivity, and temperature changes.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Covers query optimization, from logical to physical plans, including query transformation and cost estimation.
Covers the definition of biological contaminants and the transmission of pathogens, including emerging infectious diseases and antibiotic resistance.
Covers the basics of circuit analysis, including defining unknowns, establishing equations, solving systems, and analyzing circuits.
