Explores the chemistry of oxygen, phosphorus, arsenic, antimony, and bismuth, including their properties, compounds, and historical significance.
Discusses the storage hierarchy and buffer management in data-intensive systems.
Explains explicit Runge-Kutta methods up to order 4 and conditions for method's order.
Covers the definition of an inductive data type in Coq and how to build proofs interactively using tactics.
Covers the organization and management of page tables in computer systems, focusing on their structure, challenges, and the advantages of multi-level page tables.
Discusses page-based virtual memory, focusing on its mechanisms, benefits, and address translation techniques.
Covers online algorithms and competitive ratio in caching strategies to optimize memory usage.
Covers the semester project on numerics, focusing on adaptive algorithms and multistep methods.
Explores the lower bound on total variation distance in Markov chains and its implications on mixing time.
Explores storage layers, disk management, flash disks, and B+ tree indexing for efficient data retrieval.
