Lectures related to Developing a Model: Simple Example

Linear Regression: Causality and Model Interpretation Log in to Mediaspace to watch this video

Explores linear regression, causality, and model interpretation through geometric analysis and empirical modeling.

Software Correctness: Testing and Verification Log in to Mediaspace to watch this video

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

Data Integration & Cleaning: Expert Matching & Entity Recognition Log in to Mediaspace to watch this video

Covers data integration, expert matching, entity recognition, performance, scalability, stream data management, tensor decomposition, and concept drift detection.

Business-IT Alignment: Requirements Management & RPA Log in to Mediaspace to watch this video

Covers business/IT alignment, requirements management, and an introduction to Robotic Process Automation.

Data Abstraction: Modules and Specifications in Coq Log in to Mediaspace to watch this video

Discusses data abstraction in programming, focusing on modules and specifications in Coq.