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

Publications for All Years (533 out of 533)

Symbolic Execution with Interval Solving and Meta-heuristic Search
Mateus Borges, Marcelo D'amorim, Anand Saswat, David Bushnell, Corina Pasareanu
Published at: Conference: 5th International Conference on Software Testing, Verification, & Validation; Montreal Canada
Date: 04/18/12
Integrating Statechart Components in Polyglot
Corina Pasareanu, Tom Pressburger, Michael Lowry, Gabor Karsai, Daniel Balasubramanian
Published at: Conference: 4th NASA Formal Methods 2012; Norfolk, VA
Date: 04/03/12
Mathematical and Critical Physics Analysis of Engineering Problems: Old-New Way of Doing Things
Vadim Smelyanskiy, Viatcheslav Osipov, Dmitry Luchinsky, Vasyl Hafiychuk
Published at: NASA STI Report ~ TM #
Date: 04/01/12
Voyages of Scientific Discovery with the Mars Exploration Rovers
William Clancey
Published at: Oral or Visual Presentation: Science & Technology Member-Led Forum; San Francisco, CA
Date: 02/27/12
Shielded-Twisted-Pair Cable Model for Chafe Fault Detection Via Time-Domain Reflectometry
Dogan Timucin, Kevin Wheeler, Stefan Schuet
Published at: NASA STI Report ~ TM #216001
Date: 02/01/12
Optimal Control Modification for Time-Scale Separated Systems
Nhan Nguyen
Published at: Journal Article: Research Disclosure
Date: 01/31/12
Symbolic Execution Enhanced System Testing
Misty Davies, Vishwanath Raman, Corina Pasareanu
Published at: Conference: Verified Software: Theories, Tools and Experiments; Philadelphia, PA
Date: 01/27/12
A Knowledge-Based System Approach for Sensor Fault Modeling, Detection and Mitigation
Jonny da Silva, Abhinav Saxena, Edward Balaban, Kai Goebel
Published at: Journal Article: Expert Systems with Applications
Date: 01/26/12
Prognostics Approach for Power MOSFET under Thermal-Stress
Jose Celaya-Galvan, Abhinav Saxena, Sankalita Saha, Kai Goebel
Published at: Conference: The Annual Reliability and Maintainability Symposium; Reno, NV
Date: 01/23/12
Accelerated Aging in Electrolytic Capacitors for Prognostics
Jose Celaya-Galvan, Chetan Kulkarni, Sankalita Saha, Gautam Biswas, Kai Goebel
Published at: Conference: The Annual Reliability and Maintainability Symposium; Reno, NV
Date: 01/23/12
Adaptive Control of Linear Modal Systems using Residual Mode Filters and a Simple Disturbance Estimator
Mark Balas, Susan Frost
Date: 01/12/12
Machine Learning and Knowledge Discovery for Engineering Systems Health Management: Introductory Chapter
Ashok Srivastava, Jiawei Han
Published at: Book Chapter: Machine Learning and Knowledge Discovery for Engineering Systems Health Management
Date: 01/01/12
NASA's Contributions to Information Technology: A View From Ames Research Center
Michael Shafto, David Korsmeyer
Published at: Journal Article: IT Professional
Date: 12/15/11
Detecting Abnormal Machine Characteristics in Cloud Infrastructures
Kanishka Bhaduri, Kamalika Das, Bryan Matthews
Published at: Conference: IEEE International Conference on Data Mining; Vancouver, Canada
Date: 12/10/11
Wind Energy Research Interests and Activities at NASA Ames Research Center
Susan Frost
Published at: Oral or Visual Presentation: Meeting at DOE HQ; Washington, DC
Date: 12/01/11


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