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

Publications for All Years (712 out of 712)

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
Distributed Anomaly Detection using 1-class SVM for Vertically Partitioned Data
Kamalika Das, Kanishka Bhaduri, Petr Votava
Published at: Journal Article: Statistical Analysis and Data Mining
Date: 05/31/11
Generator speed regulation in the presence of structural modes through adaptive control using residual mode filters
Susan Frost, Mark Balas, Alan Wright
Published at: Journal Article: Mechatronics
Date: 05/31/11

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 -