NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

Publications for All Years (565 out of 565)

Deriving Safety Cases for Hierachical Systems in Model-Based Development
Nurlida Basir, Ewen Denney, Bernd Fischer
Published at: SAFECOMP 2010
Date: 03/22/10
Interaction and Personalization of Criteria in Information Retrieval Models
Shawn Wolfe, Yi Zhang
Published at: User Modeling, Adaptation and Personalization
Date: 03/15/10
Modular Infrastructure for Rapid Flight Software Development
Craig Pires
Published at: Adopting Model-Based Design Within Aerospace and Defense (Mathworks)
Date: 03/08/10
Distributed Prognostic Health Management with Gaussian Process Regression
Sankalita Saha, Bhaskar Saha, Abhinav Saxena, Kai Goebel
Published at: IEEE Aerospace Conference
Date: 03/06/10
Evaluating Prognostics Performance for Algorithms Incorporating Uncertainty Estimates
Abhinav Saxena, Jose Celaya-Galvan, Bhaskar Saha, Sankalita Saha, Kai Goebel
Published at: IEEE Aerospace Conference
Date: 03/06/10
The Unique Aspects of Simulation Verification and Validation as Related to Software Verification, Test and Certification
Wen Liu, Michael Lowry, Tom Pressburger, Danny Thomas, Alexia Joiner
Published at: IEEE Aerospace Conference
Date: 03/06/10
Tactics for Hierarchical Proof
Ewen Denney, David Aspinall, Christoph Lüth
Published at: JA: Mathematics in Computer Science
Date: 03/05/10
Trajectory Clustering and an Application to Airspace Monitoring
Ashok Srivastava, Maxime Gariel, Eric Feron
Published at: JA: AIAA Journal of Aerospace Computing, Information and Communication
Date: 03/02/10
Neural Networks in High-Assurance Applications (ed)
Johann Schumann
Published at: Book Chapter: Neural Networks in High-Assurance Applications
Date: 03/01/10
Application of Neural Networks in High Assurance Systems- A Survey
Johann Schumann, Pramod Gupta, Yan Liu
Published at: Book Chapter: Application of Neural Networks in High Assurance Systems
Date: 02/15/10
Data-Driven Online System Health Monitoring for Space Operations
David Iverson
Published at: POWID 2010 Symposium
Date: 02/12/10
A Design Framework for Integrating Instruments, Software, Processes, and Organization in Telerobotic M
William Clancey
Published at: Design Theory Workshop of the International Design Society
Date: 02/01/10
An Alternate Explanation for the Relationship between Householder Transformations and Modified Gram-Schmidt
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
Planetary Robotics for Human Exploration
Terry Fong
Published at: RIT Honors Seminar
Date: 01/21/10

Filter by year

2015 2014 2013 2012 2011 2010 2009 2008

Publications Search


2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

+NASA Home

+Ames Home

Intelligent Systems Division
First Gov logo
NASA Logo -