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

A State-Space Approach to Optimal Level-Crossing Prediction for Linear Gaussian Processes
Rodney Martin
Published at: Journal Article: IEEE Transactions in Information Theory
Date: 12/01/09

3D Lunar Terrain Reconstruction from Apollo Images
Michael Broxton, Ara Nefian, Zachary Moratto, Taemin Kim, Michael Lundy, Aleksandr Segal
Published at: 5th International Symposium on Visual Computing
Date: 11/30/09

Photometric Recovery of Ortho-images Derived from Apollo 15 Metric Camera Imagery
Taemin Kim, Ara Nefian, Michael Broxton
Published at: International Symposium on Visual Computing
Date: 11/30/09