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

Publications for All Years (558 out of 558)

Interval Analysis and Machine Arithmetic: Why Signedness Ignorance is Bliss
Graeme Gange, Jorge Navas Laserna, Peter Schachte, Harald Sondergaard, Peter Stuckey
Published at: Publication: Journal: Theoretical Computer Science Journal
Date: 05/29/15
System Design and Locomotion of SUPERball, an Untethered Tensegrity Robot
Andrew Sabelhaus, Jonathan Bruce, Ken Caluwaerts, Pavlo Manovi, Roya Firoozi, Vytas SunSpiral
Published at: Conference: ICRA 2015; Seattle, WA
Date: 05/26/15
Survey of Verification and Validation Techniques for Small Satellite Software Development
Steven Jacklin
Published at: Conference: Space Tech Expo; Long Beach, CA
Date: 05/18/15
A Flexible and Non-instrusive Approach for Computing Complex Structural Coverage Metrics
Neha Rungta, Michael Whalen, Suzette Person, Matt Staats, Daniela Grijincu
Published at: Conference: 37th International Conference on Software Engineering; Florence, Italy
Date: 05/16/15
Dynamic Safety Cases for Through-life Safety Assurance
Ewen Denney, Ganeshmadhav Pai, Ibrahim Habli
Published at: Conference: 37th International Conference on Software Engineering; Florence, Italy
Date: 05/16/15
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites
Neha Rungta, Anitha Murugesan, Michael Whalen, Oksana Tkachuk, Suzette Person
Published at: Conference: NASA Formal Methods; Pasadena, CA
Date: 04/27/15
Safety Case Patterns: Theory and Applications
Ewen Denney, Ganeshmadhav Pai
Published at: NASA STI Report Series: TM #2015-218492
Date: 03/27/15
SimSup's Loop: A Control Theory Approach to Spacecraft Operator Training
Brandon Owens, Alan Crocker
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/13/15
Stochastic Prediction of Remaining Driving Time and Distance for a Planetary Rover
Matthew Daigle, Shankar Sankararaman, Chetan Kulkarni
Published at: Conference: IEEE Aerospace Conference: Big Sky, MT
Date: 03/07/15
An Integrated Framework for Distributed Diagnosis of Process and Sensor Faults
Anibal Bregon, Matthew Daigle, Indranil Roychoudhury
Published at: Conference: IEEE Aerospace Conference: Big Sky, MT
Date: 03/07/15
Software Testbed for Developing and Evaluating Integrated Autonomous Subsystems
Peter Robinson, James Ong, Emilio Remolina, Axel Prompt, Adam Sweet
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/07/15
Active Wing Shaping Control Concept Using Composite Lattice-based Cellular Materials
Sean Swei, Kenneth Cheung
Published at: Oral or Visual Presentation: NARI Seedling Fund Final Reporting
Date: 02/15/15
Open Source Mission Control for Chrome
Jay Trimble
Published at: Publication: Other: Company and University Talk, publicly available
Date: 01/31/15
Activity Planning for a Lunar Orbital Mission
John Bresina
Published at: Conference: 27th Conference on Innovative Applications of Artificial Intelligence; Austin TX
Date: 01/25/15
Trajectory Prediction and Alerting for Aircraft Mode and Energy State Awareness
Kimberlee Shish, John Kaneshige, Diana Acosta, Stefan Schuet, Thomas Lombaerts
Published at: Conference: AIAA SciTech 2015; Kissimmee, FL
Date: 01/15/15


Filter by year

2015 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