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

Publications for the year 2010 (112 out of 508)

Near Real-Time Optimal Prediction of Advers Events in Aviation Data
Rodney Martin, Santanu Das
Published at: Conference: AIAA Infotech@Aerospace: Atlanta, GA
Date: 04/20/10
Ares I-X Ground Diagnostic Prototype
Mark Schwabacher, Rodney Martin, Robert Waterman, RebeccaLynn Oostdyk, John Ossenfort
Published at: Infotech@Aerospace Conference
Date: 04/20/10
Stability Properties and Cross Coupling Performance of the Control Allocation Scheme CAPIO
Yildiray Yildiz, Ilya Kolmanovsky
Published at: AIAA Infotech@Aerospace
Date: 04/20/10
Using Factored Bond Graphs for Distributed Diagnosis of Physical Systems
Indranil Roychoudhury, Gautam Biswas, Xenofon Koutsoukos
Published at: International Conference on Bond Graph Modeling and Simulation
Date: 04/11/10
Using Factored Bond Graphs for Distributed Diagnosis of Complex Systems
Indranil Roychoudhury
Published at: International Conference on Bond Graph Modeling and Simulation
Date: 04/11/10
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


Filter by year

2014 2013 2012 2011 2010 2009 2008

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

+NASA Home

+Ames Home

Intelligent Systems Division
First Gov logo
NASA Logo - nasa.gov