Thursday, May 23

Session TAA

10:30 AM - 12:00 Noon
Room A

Chair:

10:30-11:00 Validated Integration of Asteroid Orbits

M. Berz, Michigan State University, and K. Makino, University of Illinois at Urbana-Champaign

Extended abstract in PostScript and pdf

11:00-11:30 Validated Composite Value at Risk for Energy Service Company Operation

G. B. Sheble and D. Berleant, Iowa State University

Extended abstract in PostScript and pdf (caution: this pdf file may not work on some versions of Acrobat)
Here is the presentation

11:30-12:00 Methods of Proving Chaos in Dynamical Systems via Transfer Maps

R. Toenjes, J. Hoefkens, M. Berz, Michigan State University, and K. Makino, University of Illinois at Urbana-Champaign

Extended abstract in PostScript and pdf