Title: The Molecular Sciences Software Institute Speaker: T. Daniel Crawford Date: September 12, 2016 Time: 2:30pm Location: NASA/LaRC, Pearl Young Welcomed by: Joe Morrison, NASA LaRC Doug Stanley, NIA Abstract: The Molecular Sciences Software Institute (MolSSI) is…
Tag: 2016 Seminars
12-01-2016 | Camilo Rocha: Formal Specification and Reachability Analysis of ICAROUS Software Architecture
Title: Formal Specification and Reachability Analysis of ICAROUS Software Architecture Speaker: Camilo Rocha, NIA Visitor Date: Thursday, December 1, 2016 Time: 10:30am Location: NIA, Room 141 Host: C. Munoz, NASA/LaRC…
12-02-2016 | Perry van Wesel: Challenges in the Verification of Machine Learning Algorithms
Topic: “Challenges in the Verification of Machine Learning Algorithms” Speaker: Perry van Wesel, NIA Visitor Date: Friday, December 2, 2016 Location: NASA, Building 1220, Room 27 Time: 1:00pm Host: A. Goodloe, NASA/LaRC…