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

Publications for All Years (638 out of 638)

NASA and the Settlement of the Solar System (Autonomously...)
David Korsmeyer
Published at: Conference: SMC-IT, Palo Alto CA
Date: 08/01/11
Analysis of Field Experiments using the Mobile Agents Open Architecture with Workflow Interoperability
William Clancey, Michael Lowry, Maarten Sierhuis, Robert Nado
Published at: Space Mission Challenges for Information Technology Conference, Palo Alto, CA
Date: 08/01/11
State-Based Scheduling via Active Resource Solving
Paul Morris, Javier Barreiro, John Bresina, Michael Iatauro, Tristan Smith
Published at: Conference: SMC-IT 2011:IEEE International Conference on Space Mission Challenges for Information Technology; Palo Alto, CA
Date: 08/01/11
Symbolic Execution with Mixed Concrete-Symbolic Solving
Corina Pasareanu, Neha Rungta, Willem Visser
Published at: Conference: International Symposium on Software Testing and Analysis (ISSTA 2011), Toronto, Canada
Date: 07/17/11
Tracking of Dynamic Physical Systems with Dynamic Bayesian Net Models Factored Using Structural Observability
Indranil Roychoudhury, Gautam Biswas, Xenofon Koutsoukos
Published at: Conference: Conference on Uncertainty in Artificail Intelligence; Barcelona, Sapin
Date: 07/14/11
Sparse Inverse Gaussian Process Regression with Application to Climate Network Discovery
Ashok Srivastava, Kamalika Das
Published at: Conference: CIDU, Mountain View, CA
Date: 07/01/11
IVHM Technology
Kai Goebel
Published at: Book Chapter: IVHM
Date: 06/29/11
Coupled Aeroelastic Vortex Lattice Modeling of Flexible Aircraft
Nhan Nguyen, Khanh Trinh, Susan Frost, Kevin Reynolds
Published at: Conference: AIAA Applied Aerodynamics: Honolulu, HI
Date: 06/27/11
Fleet Level Anomaly Detection of Aviation Safety Data
Santanu Das, Bryan Matthews, Robert Lawrence
Published at: Conference: IEEE International Conference on Prognostics and Health, Denver, CO
Date: 06/20/11
The Emergency Landing Planner Experiment
David Smith, Nicolas Meuleau, Christian Neukom, Chris Plaunt, Tristan Smith
Published at: Conference: 21st International Conference on Automated Planning and Scheduling (ICAPS): Freiburg, Germany
Date: 06/11/11
The Challenge of configuring Model-Based Space Mission Planners
Jeremy Frank, Bradley Clement, JohnMarvin Chachere, Tristan Smith, Keith Swanson
Published at: Conference: 7th International Workshop on Planning and Scheduling for Space (IWPSS); Darmstadt, Germany
Date: 06/11/11
Finding Mutual Exclusion Invariants in Temporal Planning Domains
Sara Bernardini, David Smith
Published at: Conference: 7th International Workshop on Planning and Scheduling for Space (IWPSS); Darmstadt, Germany
Date: 06/08/11
Lectures on Work Systems Design: Knowledge Representation and Software Engineering Methods for Multi-cultural System Design, Modeling, and Representation
William Clancey
Published at: Oral or Visual Presentation: Kuala Lumpur, Malaysia
Date: 06/06/11
A Dynamical Model of Rocket Propellant Loading with Liquid Hydrogen
Viatcheslav Osipov, Matt Daigle, Cyrill Muratov, Michael Foygel, Vadim Smelyanskiy
Published at: Journal Artical: Journal of Spacecraft and Rockets
Date: 06/01/11
LCROSS Flight Team Development and Operations Experience
Paul Tompkins, David Hunt, John Bresina, Khaled Galal, Mark Shirley
Published at: Book Chapter: Space Operations: Exploration, Scientific Utilization and Technology Development
Date: 06/01/11

Filter by year

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 -