Key Sequence

Notation

New Concepts

• probabilistic programming
• conjugate prior
• Orienteering example: aircraft collision avoidance
• evaulating model fitness
  • Quantile-Quantile plot
  • Calibration Plot
  • Turing Test
• System Specification

  • Metric

  • composite metrics
    • weighted sum method
    • goal distance

Important Results / Claims

• Marginalization Ignores Covariances

Questions

Interesting Factoids