Publications for the year 2010 (110 out of 419)
An Alternate Explanation for the Relationship between Householder Transformations and Modified Gram-Schmidt
Eric Barszcz
Published at: JA: SIAM Review
Date: 01/22/10
Eric Barszcz
Published at: JA: SIAM Review
Date: 01/22/10
Planetary exploration rebooted! New ways of exploring the Moon, Mars and beyond
Terry Fong
Published at: Field Robotics Center Seminar
Date: 01/21/10
Terry Fong
Published at: Field Robotics Center Seminar
Date: 01/21/10
Software Model Checking of ARINC-653 Flight Code with MCP
Sarah Thompson, Guillaume Brat, Arnaud Venet
Published at: NASA Formal Methods Symposium (NFM 2010)
Date: 01/18/10
Sarah Thompson, Guillaume Brat, Arnaud Venet
Published at: NASA Formal Methods Symposium (NFM 2010)
Date: 01/18/10
Modified Adaptive Control for Region 3 Operation in the Presence of Wind Turbine Structural Modes
Susan Frost, Mark Balas, Alan Wright
Published at: 48th AIAA Aerospace Sciences Meeting
Date: 01/04/10
Susan Frost, Mark Balas, Alan Wright
Published at: 48th AIAA Aerospace Sciences Meeting
Date: 01/04/10
- NASA Official: Michael Shafto
- Curator: ASANI Solutions