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

Publications for All Years (496 out of 496)

Model Based Analysis and Test Generation for Flight Software
Corina Pasareanu, Johann Schumann, Peter Mehlitz, Michael Lowry, Gabor Karsai
Published at: SMC-IT Conference
Date: 07/19/09
The Future of Software Certification - a Roadmap
Ewen Denney
Published at: Frontiers of Automated Software Engineering
Date: 07/15/09
Introduction to Brahms- Modeling, Simulation and Development of Multi-Agent Systems with Brahms
Maarten Sierhuis
Published at: 2009 Summer Computer Simulation Conference
Date: 07/13/09
Diagnosis and Reconfiguration using Bayesian Networks: An Electrical Power System Case Study
Ole Mengshoel, Bradley Knox
Published at: 21st International Joint Conferences on Artifical Intelligence
Date: 07/13/09
Developing Large-Scale Bayesian Networks by Composition-Fault Diagnosis of Electrical Power Systems in Aircraft & Spacecraft
Ole Mengshoel
Published at: Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09), SAS09 Workshop
Date: 07/13/09
Generating Code Review Documentation for Auto-Generated Mission-Critical Software
Ewen Denney
Published at: Third IEEE International Conference on Space Mission Challenges for Information Technology
Date: 07/13/09
Abstraction for Efficiently Computing Most Probable Explanations in Bayesian Networks
Ole Mengshoel
Published at: IJCAI/IAAI
Date: 07/11/09
Developing Large-Scale Bayesian Networks by Composition: Fault Diagnosis of Electrical Power Systems in Aircraft and Spacecraft
Ole Mengshoel, Scott Poll, Tolga Kurtoglu
Published at: IJCAI/IAAI-09
Date: 07/11/09
Steady-State ALPS fro Real-Valued Problems
Greg Hornby
Published at: Genetic and Evolutionary Computation Conference
Date: 07/09/09
A Local Scalable Distributed Expectation Maximization Algorithm for Large Peer-to-Peer Networks
Kanishka Bhaduri, Ashok Srivastava
Published at: Knowledge Discovery and Data Mining
Date: 06/28/09
Applying Model-based Diagnosis to a Rapid Propellant Loading System
Charles Goodrich, Sriram Narasimhan, Matthew Daigle, Walter Hatfield, Robert Johnson, Barbara Brown
Published at: 20th International Workshop on Principles of Diagnosis
Date: 06/14/09
Constraint Enforcement for Scramjet-Powered Hypersonic Vehicles with Significant Aero-Elastic-Propulsion Interactions
Don Soloway
Published at: 2009 American Control Conference
Date: 06/10/09
Estimation of Faults in DC Electrical Power System
Dimitry Gorinevsky, Stephen Boyd, Scott Poll
Published at: American Control Conference
Date: 06/10/09
Adjustment of Adaptive Gain with Bounded Linear Stability Analysis to Improve Time-Delay Margin for Metrics-Driven Adaptive Control
Maryam Bakhtiari-Nejad, Nhan Nguyen, Kalmanje Krishnakumar
Published at: AIAA Infotech Aerospace Conference
Date: 06/04/09
Wiring Diagnostics via l1-Regularized Least Squares
Stefan Schuet
Published at: Journal Article: IEEE Sensors Journal
Date: 06/01/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