First Page | Document Content | |
---|---|---|
Date: 2014-10-25 10:47:09Spaceflight David Spergel Astronomy and Astrophysics Decadal Survey Goddard Space Flight Center Wide Field Infrared Survey Telescope Charles Kennel National Research Council James Webb Space Telescope Planetary Science Decadal Survey Science Astronomy Space telescopes | S PAC E S T U D I E S B OA R D N E W S J a n u a r y — m a r c h I n s i d e T h i sAdd to Reading ListSource URL: sites.nationalacademies.orgDownload Document from Source WebsiteFile Size: 3,59 MBShare Document on Facebook |
Verified Computations Using Taylor Models and Their Applications Kyoko Makino and Martin Berz Department of Physics and Astronomy Michigan State UniversityDocID: 1xUgc - View Document | |
Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State UniversityDocID: 1xTVE - View Document | |
PDF DocumentDocID: 1xT06 - View Document | |
PDF DocumentDocID: 1xSVy - View Document | |
DOC DocumentDocID: 1xPer - View Document |