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

Publications for All Years (510 out of 510)

Interface Generation and Compositional Verification in JavaPathfinder
Dimitra Giannakopoulou, Corina Pasareanu
Published at: ETAPS 2009 (FASE 2009)
Date: 03/22/09
A Simple and Efficient Computational Approach to Chafed Cable Time-Domain Reflectometry Signature Prediction
Mark Kowalski
Published at: The Annual Review of Progress in Applied Computational Electromagnetics
Date: 03/08/09
Applications of Payload Directed Flight
Corey Ippolito, Matthew Fladeland, YooHsiu Yeh
Published at: IEEE Aerospace Conference
Date: 03/07/09
Peer-to-Peer Planning for Space Mission Control
Javier Barreiro, Steve Schaffer, Grailing Jones
Published at: IEEE Aerospace Conference
Date: 03/07/09
Fault Diagnostics and Prognostics for Large Segmented SRM's
Dimitry Luchinsky, Vadim Smelyanskiy, Viatcheslav Osipov, Dogan Timucin
Published at: IEEE Aerospace Conference
Date: 03/07/09
Development and Deployment of NASA's Budget Execution Dashboard
Peter Putz, Herbert Finger
Published at: IEEE Aerospace Conference
Date: 03/07/09
Systematic Benchmarking of Diagnostic Algorithms for an Electrical Power System
Tolga Kurtoglu, David Jensen, Scott Poll
Published at: IEEE Aerospace Conference
Date: 03/07/09
Evaluating Algorithm Performance Metrics Tailored for Prognostics
Abhinav Saxena, Jose Celaya-Galvan, Bhaskar Saha, Sankalita Saha, Kai Goebel
Published at: IEEE Aerospace Conference
Date: 03/07/09
Using Decision Trees to Detect and Isolate Simulated Leaks in the J-2X Rocket Engine
Mark Schwabacher
Published at: 2009 IEEE AeroSpace Conference
Date: 03/07/09
Using Decision Trees to Detect and Isolate Simulated Leaks in the J-2X Rocket Engine
Mark Schwabacher
Published at: IEEE Aerospace Conference
Date: 03/07/09
NASA Program Flavor
Kai Goebel, Barbara Brown
Published at: PHMTech09
Date: 03/01/09
Structural Health Sensors Benchmarking for space vehicles
Vadim Smelyanskiy, Vasyl Hafiychuk, Curtis Banks, Jimmy Miller
Published at: PHM conference
Date: 02/10/09
Adaptive Control of a Utility-Scale Wind Turbine Operation in Region 3
Susan Frost, Mark Balas, Alan Wright
Published at: 47th AIAA Aerospace Sciences Meeting, Orlando FL
Date: 01/05/09
Application of Bounded Linear Stability Analysis Method for Metrics-Driven Adaptive Control
Maryam Bakhtiari-Nejad
Published at: AIAA, Aerospace Sceince Meeting
Date: 01/05/09
Algorithms for Spectral Decomposition, Algorithms for Spectral Decomposition with Applications to Optical Plume Anomaly Detection
Ashok Srivastava
Published at: JANNAF 2008
Date: 12/08/08


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