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

Publications for All Years (521 out of 521)

Symbolic Pathfinder: Symbolic Execution of Java Bytecode
Corina Pasareanu, Neha Rungta
Published at: 25th Intnl Conference on Automated Software Engineering
Date: 09/20/10
Improving Lunar Exploration with Robotic Follow-Up
Terry Fong, Maria Bualat, Matt Deans, Essam Heggy, Mark Helper
Published at: Lunar Exploration Analysis Group Annual Meeting, Washington DC
Date: 09/14/10
Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework
Alexander Feldman, Tolga Kurtoglu, Sriram Narasimhan, Scott Poll, David Garcia, Lukas Kuhn, Arjan vanGemund
Published at: JA: International Journal of Prognostics and Health Management
Date: 09/14/10
Use of Cliffhanger Contests in Teaching Creative Math Problem Solving
Deepak Kulkarni
Published at: TM:
Date: 09/13/10
A Hardware Model Validation Tool for Use In Complex Space Systems
Misty Davies, Karen Gundy-Burlet, Gregory Limes
Published at: AIAA Space 2010
Date: 08/31/10
Robotic Planetary Drill Tests
Brian Glass, Sarah Thompson, Gale Paulsen
Published at: 10th International Symposium on Artificial Intelligence
Date: 08/29/10
FootSpring- A Compliance Model for the ATHLETE Family of Robots
Dawn Wheeler, Vytas SunSpiral, Daniel Chavez-Clemente
Published at: 10th International Symposium on Artificial Intelligence
Date: 08/29/10
Constraint and Flight Rule Management for Space Mission Operations
Javier Barreiro, JohnMarvin Chachere, Jeremy Frank, ChristieDawn Bertels, Alan Crocker
Published at: Publication
Date: 08/29/10
Physics-based Methods of Failure Analysis and Diagnostics in Human Space Flight
Vadim Smelyanskiy, Dimitry Luchinsky, Vasyl Hafiychuk, Viatcheslav Osipov, Ann Patterson-Hine
Published at: Book Chapter: Physics-based methods of failure analysis and diagnostics in human space flight
Date: 08/19/10
Parameter Estimation with Entangled Photons Produced by Parametric Down-Conversion
Gabriel Durkin, Hugo Cable
Published at: JA: The American Physical Society
Date: 08/19/10
Comparison of Sector Capacity Weather Translation Models
Yao Wang, Shon Grabbe
Published at: TM: 216401
Date: 08/16/10
Solution Concepts that are Distributions Over Profiles Rather Than Sets of Profiles
David Wolpert
Published at: Distributed Control of Systems of Strategic Actors
Date: 08/16/10
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


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