ALT 4. Case studies Coding a series of models: Simulated data of movie ratings Prior specification for regression models: Reanalysis of a sleep study Predictive model checking and comparison: Clinical trial Building up to a hierarchical model: Coronavirus testing Using a fitted model for decision analysis: Mixture model for time series competition Posterior predictive checking: Stochastic learning in dogs Incremental development and testing: Black cat adoptions Debugging a model: World Cup football Leave-one-out cross validation model checking and comparison: Roaches Model building and expansion: Golf putting Model building with latent variables: Markov models for animal movement Model building: Time-series decomposition for birthdays Models for regression coefficients and variable selection: Student grades Sampling problems with latent variables: No vehicles in the park Challenge of multimodality: Differential equation for planetary motion Simulation-based calibration checking in model d