Title: Formal Methods Seminar: A Graphics Library for Rapid Prototyping Interactive Cockpit Displays Speaker: Paolo Masci, Senior Research Scientist, NIA When: Friday, February 15, 2019 Time: 10:30AM Location: NASA/LaRC, B1230-R264A Contact: Cesar Munoz, NASA/LaRC Abstract: This…
Day: February 1, 2019
[2016-08] August 23-26 Short Course | C. Ariel Pinto: Risk Modeling and Analysis
Risk Modeling and Analysis Instructor: Dr. C. Ariel Pinto, Old Dominion University August 23-26, 2016 National Institute of Aerospace 100 Exploration Way, Hampton, VA 23666 (Directions) Registration: If you…
[2016-09] September 13-14 Short Course | Marco Campi: Scenario-Based Optimization: Heuristics and Certificates in Decision Making
Scenario-Based Optimization: Heuristics and Certificates in Decision Making Instructor: Dr. Marco Campi, University of Brescia (Italy) September 13 -14, 2016 National Institute of Aerospace – Room 101 100 Exploration Way,…