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 the construction of pe-pH diagrams, the distribution of species, and the application of geochemical modeling in environmental engineering challenges.
Explores dependability in industrial automation, covering reliability, safety, fault characteristics, and examples of failure sources in various industries.
Explores the history, applications, and technologies of thin-film transistors and flat-panel displays, including LCD, OLED, and advanced color e-paper.
