Publications for All Years (417 out of 417)
Advances in Adaptive Control Methods
Nhan Nguyen
Published at: NASA Aviation Safety Technical Conference
Date: 11/17/09
Nhan Nguyen
Published at: NASA Aviation Safety Technical Conference
Date: 11/17/09
Pilot Evaluation of Adaptive Control in Motion-Based Flight Simulator
Stefan Campbell, John Kaneshige
Published at: NASA Aviation Safety Technical Conference
Date: 11/17/09
Stefan Campbell, John Kaneshige
Published at: NASA Aviation Safety Technical Conference
Date: 11/17/09
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software
Ewen Denney
Published at: IEEE/ACM International Conference on Automated Software Engineering
Date: 11/16/09
Ewen Denney
Published at: IEEE/ACM International Conference on Automated Software Engineering
Date: 11/16/09
Exploring Data Mining Representations of Track Data
Shawn Wolfe
Published at: SAE Aero Tech
Date: 11/10/09
Shawn Wolfe
Published at: SAE Aero Tech
Date: 11/10/09
A Bayesian Formulation for Sub-Pixel Refinement in Stereo Orbital Imagery
Ara Nefian, Kyle Husmann, Michael Broxton, Vinh To, Michael Lundy
Published at: International Conference on Image Processing
Date: 11/08/09
Ara Nefian, Kyle Husmann, Michael Broxton, Vinh To, Michael Lundy
Published at: International Conference on Image Processing
Date: 11/08/09
Probabilistic Matching of Lines for Their Homography
Taemin Kim, Jihwan Woo, InSo Kweon
Published at: International Conference on Image Processing
Date: 11/07/09
Taemin Kim, Jihwan Woo, InSo Kweon
Published at: International Conference on Image Processing
Date: 11/07/09
Compositional Verification for Discovering Failures in Adaptive Flight Control Systems
Sarah Thompson, Misty Davies, Karen Gundy-Burlet
Published at: AIAA Infotech
Date: 11/06/09
Sarah Thompson, Misty Davies, Karen Gundy-Burlet
Published at: AIAA Infotech
Date: 11/06/09
Visualization of Global Sensitivity Analysis Results Based on a Combination of Linearly Dependent and Independent Directions
Misty Davies, Karen Gundy-Burlet
Published at: AIAA Infotech
Date: 11/06/09
Misty Davies, Karen Gundy-Burlet
Published at: AIAA Infotech
Date: 11/06/09
Deriving Safety Cases from Automatically Constructed Proofs
Ewen Denney, Bernd Fischer, Nurlida Basir
Published at: 4th IET International Conference on System Safety
Date: 10/26/09
Ewen Denney, Bernd Fischer, Nurlida Basir
Published at: 4th IET International Conference on System Safety
Date: 10/26/09
Control Relevant Modeling, Analysis, and Design of Scramjet-Powered Hypersonic Vehicles
Armando Rodriguez, Jeffrey Dickeson, Jose Benavides, Don Soloway
Published at: 16th International Space Planes and Hypersonic Systems and Technologies Conference
Date: 10/19/09
Armando Rodriguez, Jeffrey Dickeson, Jose Benavides, Don Soloway
Published at: 16th International Space Planes and Hypersonic Systems and Technologies Conference
Date: 10/19/09
The Role of Guidance, Navigation and Control in Hypersonic Vehicle Multidisciplinary Design and Optimization
Peter Ouzts, Don Soloway, Daniel Moerder, David Wolpert, Jose Benavides
Published at: International Space Planes and Hypersonics Sytems and Technologies
Date: 10/19/09
Peter Ouzts, Don Soloway, Daniel Moerder, David Wolpert, Jose Benavides
Published at: International Space Planes and Hypersonics Sytems and Technologies
Date: 10/19/09
Virtual Planetary Analysis Enviroment for Remote Science
Leslie Keely
Published at: CIDU/AISRP
Date: 10/14/09
Leslie Keely
Published at: CIDU/AISRP
Date: 10/14/09
Porting Gravitational Wave Signal Extraction to Parallel Virtual Machine (PVM)
Raj Thirumalainambi
Published at: Conference on Intelligent Data Understanding (CIDU)
Date: 10/14/09
Raj Thirumalainambi
Published at: Conference on Intelligent Data Understanding (CIDU)
Date: 10/14/09
Parameter Estimation of ERIS Model Using Monte Carlo Error
Raj Thirumalainambi, Johann Schumann, Peter Berg, Anupa Bajwa
Published at: Conference on Intelligent Data Understanding (CIDU)
Date: 10/14/09
Raj Thirumalainambi, Johann Schumann, Peter Berg, Anupa Bajwa
Published at: Conference on Intelligent Data Understanding (CIDU)
Date: 10/14/09
- NASA Official: Michael Shafto
- Curator: ASANI Solutions