Title: Topics in Validated Computations