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

Publications for All Years (528 out of 528)

Tactics for Hierarchical Proof
Ewen Denney, David Aspinall, Christoph Lüth
Published at: JA: Mathematics in Computer Science
Date: 03/05/10
Trajectory Clustering and an Application to Airspace Monitoring
Ashok Srivastava, Maxime Gariel, Eric Feron
Published at: JA: AIAA Journal of Aerospace Computing, Information and Communication
Date: 03/02/10
Neural Networks in High-Assurance Applications (ed)
Johann Schumann
Published at: Book Chapter: Neural Networks in High-Assurance Applications
Date: 03/01/10
Application of Neural Networks in High Assurance Systems- A Survey
Johann Schumann, Pramod Gupta, Yan Liu
Published at: Book Chapter: Application of Neural Networks in High Assurance Systems
Date: 02/15/10
Data-Driven Online System Health Monitoring for Space Operations
David Iverson
Published at: POWID 2010 Symposium
Date: 02/12/10
A Design Framework for Integrating Instruments, Software, Processes, and Organization in Telerobotic M
William Clancey
Published at: Design Theory Workshop of the International Design Society
Date: 02/01/10
An Alternate Explanation for the Relationship between Householder Transformations and Modified Gram-Schmidt
Eric Barszcz
Published at: JA: SIAM Review
Date: 01/22/10
Planetary exploration rebooted! New ways of exploring the Moon, Mars and beyond
Terry Fong
Published at: Field Robotics Center Seminar
Date: 01/21/10
Planetary Robotics for Human Exploration
Terry Fong
Published at: RIT Honors Seminar
Date: 01/21/10
Software Model Checking of ARINC-653 Flight Code with MCP
Sarah Thompson, Guillaume Brat, Arnaud Venet
Published at: NASA Formal Methods Symposium (NFM 2010)
Date: 01/18/10
Modified Adaptive Control for Region 3 Operation in the Presence of Wind Turbine Structural Modes
Susan Frost, Mark Balas, Alan Wright
Published at: 48th AIAA Aerospace Sciences Meeting
Date: 01/04/10
Evolving Systems and Adaptive Key Component Control
Susan Frost, Mark Balas
Published at: Book Chapter: Aerospace Technologies Advancements
Date: 12/31/09
Wiring Diagnostics via ℓ1-Regularized Least Squares
Stefan Schuet
Published at: Journal Article: IEEE Sensors Journal
Date: 12/14/09
Detecting Anomalies in Multivariate Data Sets with Switching Sequences and Continous Streams
Santanu Das, Kanishka Bhaduri, Nikunj Oza, Ashok Srivastava, Bryan Matthews
Published at: Understanding Multiple Kernel Learning Methods (NIPS 09)
Date: 12/11/09
nu-Anomica: A Fast Support Vector based Novelty Detection Technique
Santanu Das, Kanishka Bhaduri, Nikunj Oza, Ashok Srivastava
Published at: International Conference on Data Mining
Date: 12/06/09


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