NASA Logo, National Aeronautics and Space Administration

Publications for year 2009 (33 of 1172)

Deriving Safety Cases from Automatically Constructed Proofs
Nurlida Basir, Ewen Denny, Bernd Fischer
08/19/09
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software
Ewen Denney, Bernd Fischer
Published at: IEEE/ACM International Conference on Automated
07/28/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
07/07/09
Human/Automations Trade Methodology for the Moon, Mars and Beyond
David Korsmeyer
Published at: 60th IAC
04/29/09
Model Based Inference for Wire Chafe Diagnostics
Stefan Schuet, Kevin Wheeler, Dogan Timucin, Phil Wysocki, Marc Kowalski
Published at: Aging Aircraft 2009
04/27/09
Applying Model-based Deagnosis 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
04/21/09
Wiring Diagnostics via l1-Regularized Least Squares
Stefan Schuet
Published at: Journal Article: IEEE Sensors Journal
04/21/09
Robotics Research at NASA Ames-An Expanded View
Silvano Colombano
Published at: Erste Nationale Konferenz zur Raumfahrt-Robotik
04/21/09
Model Based Analysis and Test Generation for Flight Software
Corina Pasareanu, Johann Schumann, Peter Mehlitz, Michael Lowry, Gabor Karsai
Published at: SMC-IT Conference
04/21/09
Evaluation of Anomaly Detection Capability for Ground-Based Pre-Launch Shuttle Operations
Rodney Martin
Published at: Book Chapter: IN-TECH: Aerospace Technologies Advancements
04/20/09
The Applications of NASA Mission Technologies to the Greening of Human Impact
Michael Sims
Published at: Exploration and Sustainability Expo
04/20/09
The Role of Guidance, Navigation and Control in Hypersonic Vehicle Multidisciplinary Design and Optimization
Peter Ouzts
04/03/09
Parameter Estimation for a Hybrid Adaptive Flight Controller
Stefan Campbell, Nhan Nguyen, John Kaneshige, Kalmanje Krishnakumar
04/03/09
Robust Optimal Adaptive Control Method with Large Adaptive Gain
Nhan Nguyen
04/03/09
NASA's OCA Mirroring Systen: An Application of Multiagent Systems in Mission Control
Maarten Sierhuus, William Clancey, Ronnie VanHoof, Chin Hua Seah, Michael Scott
Published at: AAMAS 2009 Conference
03/05/09
NASA Program Flavor
Kai Goebel, Barbara Brown
Published at: PHMTech09
02/27/09
Local Search for Optimal Global Map Generation Using Mid-Decadal Landsat Images.
Robert Morris, John Gasch, Lina Khatib
Published at: JA: AI Magazine
02/26/09
Interface Generation and Compositional Verification in JavaPathfinder
Dimitra Giannakopolou, Corina Pasareanu
02/26/09
Abstraction for Efficiently Computing Most Probable Explanations in Bayesian Networks
Ole Mengshoel
Published at: IJCAI/IAAI
02/09/09
Structural Health Sensors Benchmarking for space vehicles
Vadim Smelyanskiy, Vasil Hafiychuk, Curtis Banks, Jimmy Miller
Published at: PHM conference
02/09/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
02/05/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
02/05/09
A Distributed Prognostic Health Management Architecture
Bhaskar Saha
Published at: MFPT 2009
02/05/09
A Better Conversion of LTL Formulas to Symbolic Automata
Kristin Rozier, Mosche Vardi
Published at: Computer Aided Verification (CAV 2009)
02/05/09
Peer-to-Peer Planning for Space Mission Control
Javier Barreiro, Steve Schaffer, Grailing Jones
Published at: IEEE Aerospace Conference
01/29/09
Fault Diagnostics and Prognostics for Large Segmented SRM's
Dimitry Luchinsky, Vadim Smelyanskiy, Viatcheslav Osipov, Dogan Timucin
Published at: IEEE Aerospace Conference
01/26/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
01/26/09
Sensitivity Analysis of Linear Programming and Quatratic Programming Algorithms for Control Allocation
Susan Frost, Marc Bodson, Diana Acosta
Published at: AIAA Infotech@Aerospace Conference and Exhibit
01/26/09
Modeling, Detection, and Disambiguation of Sensor Faults for Aerospace Applications
Edward Balaban, Abhinav Saxena, Prasun Bansal, Kai Goebel, Simon Curran
Published at: JA: IEEE Sensors Journal
01/15/09
Understanding the Scalability of Bayesian Network Inference using Clique Tree Growth Curves
Ole Mengshoel
Published at: JA: AI Magazine
01/14/09
Estimation of Faults in DC Electrical Power System
Dimitry Gorinevsky, Stephen Boyd, Scott Poll
Published at: American Control Conference
01/14/09
Traverse Planning for Human & Robotic Missions to Hadley Rille (report)
Michael Broxton, Matthew Deans, Terry Fong, Mark Helper, Kip Hodges, Gerald Schaber, Harrison Schmitt, Trey Smith
Published at: TM
01/14/09
A Diagnostic Approach for Electro-Mechanical Actuators in Aerospace Systems
Edward Balaban, Abhinav Saxena, Prasun Bansal, Kai Goebel, Paul Stoelting
Published at: IEEE Aerospace Conference
01/14/09

Search Publications

Date range

Start
End

Filter by year

2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

The Intelligence Report

The Intelligence Report is a compilation of articles describing the rich and diverse research and development projects at Ames Research Center's Intelligent Systems Division.

2006-2007

2005-2006

2004-2005

2003-2004

+NASA Home

+Ames Home

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