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

Publications for All Years (522 out of 522)

Human/Automations Trade Methodology for the Moon, Mars and Beyond
David Korsmeyer
Published at: 60th IAC
Date: 10/12/09
Testing First-Order Axioms in AutoCert
KiYung Ahn, Ewen Denney
Published at: The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) and Systems (APLAS 2009)
Date: 10/08/09
Human/Automation Trade Methodology for the Mood, Mars and Beyond
David Korsmeyer
Published at: 59th International Astronautical Congress
Date: 09/29/09
Methods for Probabilistic Fault Diagnosis- An Electrical Power System Case Study
Brian Ricks, Ole Mengshoel
Published at: Annual Conference of the Prognostics and Health Management Society 2009
Date: 09/27/09
Towards Verification of Operational Procedures using Auto-Generated Diagnostic Trees
Tolga Kurtoglu, Robyn Lutz, Ann Patterson-Hine
Published at: Annual Conference of the Prognostics and Health Management Society 2009
Date: 09/27/09
On Applying the Prognostics Performance Metrics
Abhinav Saxena, Jose Celaya-Galvan, Bhaskar Saha, Sankalita Saha, Kai Goebel
Published at: 1st Annual Conference of the Prognostics and Health Management Society
Date: 09/27/09
Model-Based Diagnostics and Prognostics for Solid Rocket Motors
Dimitry Luchinsky, Vadim Smelyanskiy, Ann Patterson-Hine, Viatcheslav Osipov
Published at: 1st Annual Conference of the Prognostics and Health Management Society
Date: 09/27/09
Model-based Verification and Validation for Procedure Authoring
Guillaume Brat, Dimitra Giannakopoulou, Michel Izygon, Emmy Alex, Lui Wang
Published at: Verification and validaiton of planning and scheduling systems
Date: 09/20/09
PDVer, a Tool to Verify PDDL Planning Domains
Guillaume Brat, Franco Raimondi, Charles Pecheur
Published at: Verification and validation of planning and scheduling systems
Date: 09/20/09
A Comparison of Risk Sensitive Path Planning Methods for Aircraft Emergency Landing
Nicolas Meuleau, Chris Plaunt, David Smith, Tristan Smith
Published at: 19th International Conference on Automated Planning and Scheduling Workshop
Date: 09/19/09
Highly Scalable Matching Pursuit Signal Decomposition Algorithm
Santanu Das
Published at: International Workshop on Structral Health Monitoring
Date: 09/11/09
Web 2.0 in Government
Elizabeth Foughty
Published at: Journal Article: ACM Interactions
Date: 09/01/09
Informal Overview of HTV Project History
Eleanor Crane
Published at: Stanford Aerospace Robotics Lab Group Meeting
Date: 08/31/09
A Survey of Health Management User Objectives Related to Diagnostic and Prognostic Metrics
Kevin Wheeler, Tolga Kurtoglu, Scott Poll
Published at: ASME IDETC Computers and Information in Engineering Conference
Date: 08/30/09
Introductions to Mission Operations and Ground Data Systems
Helen Stewart
Published at: International Space University Class
Date: 08/15/09


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