NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Intelligent Systems Division
Intelligent Systems Division Banner

Publications for All Years (605 out of 605)

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
Rapid Property Specification and Checking for Model-Based Formalisms
Daniel Balasubramanian, Gabor Pap, Harbor Nine, Gabor Karsai, Michael Lowry, Corina Pasareanu, Tom Pressburger
Published at: International Symposium on Rapid System Prototyping (RSP'2011); Karsruhe, Germany
Date: 05/24/11

Filter by year

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 -