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

Publications for the year 2010 (114 out of 710)

A Survey of Health Management User Objectives Related to Diagnostic and Prognostic Metrics
Tolga Kurtoglu, Karen Leone, Carl Sandifer, Megan Thomas, Mary Reveley, Mike Venti
Published at: ASME IDETC Computers & Information in Engineering Conf
Date: 08/15/10
Input and Output Performance of M-MRAC in the Presence of Bounded Disturbances
Vahram Stepanyan, Kalmanje Krishnakumar
Published at: Conference: AIAA Guidance Navi
Date: 08/02/10
Elevatore Sizing, Placement and Control-Relevant Tradeoffs for Hypersonic Vehicles
Jeffrey Dickeson, Armando Rodriguez, Srikanth Sridharan, Akshay Korad
Published at: AIAA Guidance, Navigation and Control Conference
Date: 08/02/10
Verifiable Adaptive Control with Analytical Stability Margins by Optimal Control Modification
Nhan Nguyen
Published at: AIAA Guidance, Navigation and Control Conference
Date: 08/02/10
A Framework for Optimal Control Allocation with Structural Load Constraints
Susan Frost, Brian Taylor, Christine Jutte, John Burken, Khanh Trinh
Published at: AIAA Atmospheric Flight Mechanics Conference
Date: 08/02/10
Multiple Kernel Learning for Heterogeneous Anomaly Detection: Algorithm and Aviation Safety Case Study
Santanu Das, Bryan Matthews, Ashok Srivastava, Nikunj Oza
Published at: KDD 2010
Date: 07/25/10
Fast and Flexible Multivariate Time Series Subsequence Search
Kanishka Bhaduri, Qiang Zhu, Nikunj Oza, Ashok Srivastava
Published at: ACM SIGKDD
Date: 07/25/10
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System
Johann Schumann, Karen Cate, Alan Lee
Published at: LOPSTR
Date: 07/23/10
Learning Component Interfaces with May and Must Abstractions
Rishabh Singh, Dimitra Giannakopoulou, Corina Pasareanu
Published at: CAV 2010 (Computer Aided Verification)
Date: 07/15/10
Predicting Peak Sector Occupancy with Two-Hour Convective Weather Forecasts
Shawn Wolfe, Deepak Kulkarni
Published at: Aircraft Guidance, Navigation and Control Conference
Date: 07/14/10
A Centralized Multi-Agent Negoitation Apprach To Collaborative Air Traffic Resource Management Planning
Peter Jarvis, Shawn Wolfe, Robert Nado, Francis Enomoto, Maarten Sierhuis
Published at: 22nd Innovative Applications of AI Conference
Date: 07/11/10
A Dynamical Physics Model of Nominal and Faulty Operational Modes of Propellant Loading (Liquid Hydrogen)-From Space Shuttle to Future Missions
Viatcheslav Osipov, Cyrill Muratov, Matthew Daigle, Michael Foygel, Vadim Smelyanskiy
Published at: TM: 216394
Date: 07/08/10
Portfolios in Stochastic Local Search: Efficiently Computing Most Probable Explanations in Bayesian Networks
Ole Mengshoel, Dan Roth, Dan Wilkins
Published at: JA: Journal of Automated Reasoning
Date: 07/01/10
Testing First-Order Logic Axioms in Program Verification
Ewen Denney, KiYung Ahn
Published at: Tests and Proofs 2010
Date: 07/01/10
Kepler Instrument Performance: An In-Flight Update
Douglas Caldwell, Jeffrey Van Cleve, Jon Jenkins
Published at: Journal Article: SPIE; Societ of Photo-Optical Instrumentation Engineers
Date: 07/01/10

Filter by year

2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008

Publications Search


2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

First Gov logo
NASA Logo -