Lectures related to Model checking

Covers multicollinearity, outliers, model specification, and practical strategies in linear regression.

Introduces topographic brain mapping, auditory pathways, motor cortex organization, and the General Linear Model for fMRI data analysis.

Covers the Cell Transmission Model (CTM) in traffic flow modeling, including fundamental diagrams, flow conservation, and spatial-temporal modeling.

Covers the identification and model specification in time series analysis, including AR models and least squares estimation.

Discusses the red bud-blue bus paradox in mode choice modeling and its policy implications.

Covers Presburger arithmetic, quantifier elimination, and the transformation of formulas into disjunctive normal form.