Lectures related to Microsoft Office 2010

Learning-aided Program Reasoning

Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.

Image Processing Techniques

Covers image processing techniques including noise addition, filtering, and image enhancement using various filters and tools.

Complex Manifolds: GAGA Principle

Covers the GAGA principle, stating that any morphism on projective varieties is constant.

Untitled

Excel Exercise: Trends

Explores trend analysis in Excel using rent data from 1995 to 2023.

Parallel Databases

Explores parallel and distributed databases, covering architectures, query optimization, data storage, and distributed transactions.

Untitled

Variety Defined as the Closure of VCA

Explores the concept of variety defined as the closure of VCA and its applications in algebraic geometry.

Viscosity experiment

Covers a viscosity experiment using a falling sphere viscometer to determine fluid viscosity and understand the forces involved.