Publications for year 2007 (119 of 1172)
Service-Oriented Architecture Supporting a Lunar Analog Field Test
Lorenzo Flueckiger, Vinh To, Hans Utz
Published at: iSAIRIS 2008
12/21/07
Lorenzo Flueckiger, Vinh To, Hans Utz
Published at: iSAIRIS 2008
12/21/07
Effective Data Representations and Compression in Ground Data Systems
David Maluf, Peter Tran, David Tran
Published at: IEEE Aerospace Conference
12/21/07
David Maluf, Peter Tran, David Tran
Published at: IEEE Aerospace Conference
12/21/07
What is Next in Autonomous Control Techniques?
Maria Dolores R-Moreno, James Kurien
Published at: iSAIRIS 2008
12/21/07
Maria Dolores R-Moreno, James Kurien
Published at: iSAIRIS 2008
12/21/07
The Ares I Abort Failure Detection, Confirmation and Response System: An Overview of the Development Process
Greg Pisanich, Anupa Bajwa, Dwight Sanderfer
Published at: IEEE Aerospace Conference
12/21/07
Greg Pisanich, Anupa Bajwa, Dwight Sanderfer
Published at: IEEE Aerospace Conference
12/21/07
Morphic Control Reconfiguration in an Autonomous UAV with UGV Collaboration
Corey Ippolito, Sungmoon Joo, Khalid Al-Ali, Yeh, Yoo Hsi
Published at: IEEE Aerospace Conference
12/21/07
Corey Ippolito, Sungmoon Joo, Khalid Al-Ali, Yeh, Yoo Hsi
Published at: IEEE Aerospace Conference
12/21/07
Sensor Validation Using Bayesian Networks
Ole Mengshoel, Adnan Darwiche, Serdar Uckun
Published at: 9th International Symposium on AI, Robotics and Automation in Space
12/14/07
Ole Mengshoel, Adnan Darwiche, Serdar Uckun
Published at: 9th International Symposium on AI, Robotics and Automation in Space
12/14/07
Quantification of Uncertainty in Idendifyin and Extracting Gravitational Wave Signals for Astrophysical Sources using LISA
David E. Thompson, Rajkumar Thirumalainambi
Published at: 6th International Conference on Engineering Computational Technology
12/14/07
David E. Thompson, Rajkumar Thirumalainambi
Published at: 6th International Conference on Engineering Computational Technology
12/14/07
Ensemble Data Mning Methods
Nikunj Oza
Published at: Book Chapter: "Encyclopedia of Data Warehousing and Mining"
12/14/07
Nikunj Oza
Published at: Book Chapter: "Encyclopedia of Data Warehousing and Mining"
12/14/07
Computer-Automated Evolution of an X-Band Antenna for NASA's Space Technology 5 Mission
Gregory Hornby, Jason Lohn, Derek Linden
Published at: Journal Article IEEE Transactions on Evolutionary Computation/IEEE
12/14/07
Gregory Hornby, Jason Lohn, Derek Linden
Published at: Journal Article IEEE Transactions on Evolutionary Computation/IEEE
12/14/07
Managing Unstructured Data with Structured Legacy Systems
David Maluf, Peter Tran
Published at: IEEE Aerospace Conference
12/14/07
David Maluf, Peter Tran
Published at: IEEE Aerospace Conference
12/14/07
An Ontology for Traffic Flow Management
Bart-Jan van Putten, Shawn Wolfe, Virginia Dignum
Published at: 8th AIAA ATIO Conference
12/14/07
Bart-Jan van Putten, Shawn Wolfe, Virginia Dignum
Published at: 8th AIAA ATIO Conference
12/14/07
Mobile APAgents Field Experiment at Desert-Rats 2006 Video
William Clancey
Published at: Online Educational Video About Research Project Document for Public Web Site
12/10/07
William Clancey
Published at: Online Educational Video About Research Project Document for Public Web Site
12/10/07
Working with a Rover on Mars [short version title: Mars Exploration Rover(MER)]
William Clancey
Published at: Other: Book Chapter
12/10/07
William Clancey
Published at: Other: Book Chapter
12/10/07
Wireless Avionics and Human Interfaces for Inflatable Spacecraft
Richard Alena, Steven R. Ellis, Jim Hieronymus, Dougal Maclise
Published at: IEEE Aerospace Conference
12/10/07
Richard Alena, Steven R. Ellis, Jim Hieronymus, Dougal Maclise
Published at: IEEE Aerospace Conference
12/10/07
Software Development Infrastructure for Small Spacecraft
Howard Cannon, Craig Pires
Published at: Flight Software Workshop 2007, JHU/APL
11/29/07
Howard Cannon, Craig Pires
Published at: Flight Software Workshop 2007, JHU/APL
11/29/07
An Ontology Mapping Approach to Integrating Earth Science Metadata
Richard Keller, Rajkumar Thirumalainambi, Joseph Coughlan
Published at: AAAI Spring Symposium on Semantic Scientifi Knowledge Integration
11/29/07
Richard Keller, Rajkumar Thirumalainambi, Joseph Coughlan
Published at: AAAI Spring Symposium on Semantic Scientifi Knowledge Integration
11/29/07
To BDI of Not to BDI: Design Choices in an Angen-Based Traffic Flow Management Simulation
Shawn Wolfe, Maarten Sierhuis, Peter Jarvis
11/29/07
Shawn Wolfe, Maarten Sierhuis, Peter Jarvis
11/29/07
Methods for Making Predictions: Model Based Methods, Data Driven Methods and Hybrid Approaches
Kai Goebel
Published at: Guest Speaker at Univ of Maryland
11/20/07
Kai Goebel
Published at: Guest Speaker at Univ of Maryland
11/20/07
A Heuristic Search Approach to Planning with Continuous Resources in Stochastic Domains
Nicolas Meuleau, Emmanuel Benazera, Ronen Brafman, Eric Hansen, Peter Lamborn
Published at: Journal Article ~ Journal of AI Research
11/16/07
Nicolas Meuleau, Emmanuel Benazera, Ronen Brafman, Eric Hansen, Peter Lamborn
Published at: Journal Article ~ Journal of AI Research
11/16/07
Trust Your Model - UML Verification with Java Pathfinder
Peter Mehlitz
Published at: IEEE Aerospace Conference 2008
11/16/07
Peter Mehlitz
Published at: IEEE Aerospace Conference 2008
11/16/07
Formal Methods for the Certification of Auto-generated Flight Code
Ewen Denney
Published at: Oral/Visual Presentation
11/15/07
Ewen Denney
Published at: Oral/Visual Presentation
11/15/07
IVHM Technical Accomplishments
Ashok Srivastava, Phil Neudeck, Ole Mengshoel
Published at: 12 Month Review
11/15/07
Ashok Srivastava, Phil Neudeck, Ole Mengshoel
Published at: 12 Month Review
11/15/07
Model-Based Diagnostics for Wire Health Management
Kevin Wheeler, Xander Twombly, Dogan Timucin, Jules Friederich
Published at: NASA/DoD/FAA Aging Aircraft 2008
11/08/07
Kevin Wheeler, Xander Twombly, Dogan Timucin, Jules Friederich
Published at: NASA/DoD/FAA Aging Aircraft 2008
11/08/07
Human-Robotic Systems for Lunar Surface Operations
Terry Fong
Published at: Oral/Visual Presentation
11/08/07
Terry Fong
Published at: Oral/Visual Presentation
11/08/07
A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code
Ewen Denney, Steven Trac
Published at: IEEE Aerospace conferende
11/08/07
Ewen Denney, Steven Trac
Published at: IEEE Aerospace conferende
11/08/07
Application of Data Mining Algorithms to Detect Fault Scenarios in Electrical Power Systems
Santanu Das, Nikunj Oza, Scott Poll
Published at: Technical Publication: IEEE Transactions on Systems, Man and Cybernetic
10/29/07
Santanu Das, Nikunj Oza, Scott Poll
Published at: Technical Publication: IEEE Transactions on Systems, Man and Cybernetic
10/29/07
Detection and Prognostics on Low Dimensional Systems
Ashok Srivastava, Santanu Das
Published at: Journal Article: IEEE Transactions on Systems, Man and Cybernetic
10/29/07
Ashok Srivastava, Santanu Das
Published at: Journal Article: IEEE Transactions on Systems, Man and Cybernetic
10/29/07
Improving the Scalability of Generative Represnetations
Gregory Hornby
Published at: Book: Genetic Programming Theory & Practice V Springer, Publisher
10/19/07
Gregory Hornby
Published at: Book: Genetic Programming Theory & Practice V Springer, Publisher
10/19/07
Modularity, Reuse and Hierachy: Measuring Complexity by Measuring Structure and Organization
Gregory Hornby
Published at: Journal Article: Complexity Journal/Wiley Interscience
10/19/07
Gregory Hornby
Published at: Journal Article: Complexity Journal/Wiley Interscience
10/19/07
Symbolic Execution and Model Checking for Testing
Corina Pasareanu, Willem Visser
Published at: Haifa Verification Conference
10/11/07
Corina Pasareanu, Willem Visser
Published at: Haifa Verification Conference
10/11/07
Simulated Lunar Robotic Survey at Terrestrial Analog Sites
Terry Fong, Matt Deans, Maria Bualat, Lorenzo Flueckiger, Mark Allan, Hans Utz, Susan Lee, Vinh To, P. Lee
Published at: Lunar Exploration Analysis Group (LEAG) Lunar and Planetary Institute (LPI)
10/11/07
Terry Fong, Matt Deans, Maria Bualat, Lorenzo Flueckiger, Mark Allan, Hans Utz, Susan Lee, Vinh To, P. Lee
Published at: Lunar Exploration Analysis Group (LEAG) Lunar and Planetary Institute (LPI)
10/11/07
Xsearch: A Search for Searching and Interrelating NASA Mission Operations Data
Richard Keller, Daniel Berrios, May Windrem, Shawn Wolfe
Published at: AIAA SpaceOps 2008
10/11/07
Richard Keller, Daniel Berrios, May Windrem, Shawn Wolfe
Published at: AIAA SpaceOps 2008
10/11/07
System Health Monitoring for Space Mission Operations
David Iverson
Published at: 2008 IEEE Aerospace Conference
10/11/07
David Iverson
Published at: 2008 IEEE Aerospace Conference
10/11/07
Mobile Agents Integrate Astronauts, Rover, and Mission Support in Desert-Rats Mission Simulation
William Clancey, Maarten Sierhuis, John Dowding, Dan Berrios, Mike Scott, Hoof, Ron va, Frank Delgado, Susan Torney, Joe Kosmo
Published at: The Mars Society
09/17/07
William Clancey, Maarten Sierhuis, John Dowding, Dan Berrios, Mike Scott, Hoof, Ron va, Frank Delgado, Susan Torney, Joe Kosmo
Published at: The Mars Society
09/17/07
A Formal Analysis Framework for PLEXIL
Gilles Dowek, Cesar Munoz, Corina Pasareanu
Published at: 3rd Workshop on Planning and Plan Execution for Real World Systems
09/17/07
Gilles Dowek, Cesar Munoz, Corina Pasareanu
Published at: 3rd Workshop on Planning and Plan Execution for Real World Systems
09/17/07
Learning to Divide & Conquer (temp title)
Dimitra Giannakopoulou, Corina Pasareanu, Mihaela Gheorghiu, Jamieson Cobleigh, Howard Barringer
Published at: Journal Article
09/17/07
Dimitra Giannakopoulou, Corina Pasareanu, Mihaela Gheorghiu, Jamieson Cobleigh, Howard Barringer
Published at: Journal Article
09/17/07
ISHM Technology Maturation
Martin Feather, Serdar Uckun, Kenneth Hicks
Published at: Space Technology & Applications National Forum/ University of New Mexico
09/17/07
Martin Feather, Serdar Uckun, Kenneth Hicks
Published at: Space Technology & Applications National Forum/ University of New Mexico
09/17/07
A Survey of Artificial Intelligence for Prognostice
Mark Schwabacher, Kai Goebel
Published at: AAAI Fall Symposium
09/17/07
Mark Schwabacher, Kai Goebel
Published at: AAAI Fall Symposium
09/17/07
A Bayesian Framework for Remaining Useful Life Estimation
Bashkar Saha, Kai Goebel, Scott Poll, Jon Christophersen
Published at: AAAI Fall Symposium
09/17/07
Bashkar Saha, Kai Goebel, Scott Poll, Jon Christophersen
Published at: AAAI Fall Symposium
09/17/07
Investigation of Optimal Alarm System Performance for Anomaly Detection
Rodney Martin
Published at: National Science Foundation Symposium on Next Generation of Data Mining and Cyber-Enabled Discovery for Innovation
09/17/07
Rodney Martin
Published at: National Science Foundation Symposium on Next Generation of Data Mining and Cyber-Enabled Discovery for Innovation
09/17/07
Data Mining @ NASA
Elizabeth Foughty, Dawn McIntosh
Published at: Presentation to outside groups
09/11/07
Elizabeth Foughty, Dawn McIntosh
Published at: Presentation to outside groups
09/11/07
Hybrid Adaptive Flight Control with Bounded Linear Stability Analysis
Nhan Nguyen, Maryam Bakhtiari-Nejad, Tong Huang
Published at: 2001 AIAA Guidance, Navigation and Control Conf.
09/11/07
Nhan Nguyen, Maryam Bakhtiari-Nejad, Tong Huang
Published at: 2001 AIAA Guidance, Navigation and Control Conf.
09/11/07
MDRS49 Power Agents Video
William J. Clancey
Published at: 8th Annual International Workshop "Engineering Societies in the Agents World"
08/21/07
William J. Clancey
Published at: 8th Annual International Workshop "Engineering Societies in the Agents World"
08/21/07
The Perils of Discrete Resource Models
William Cushing, E. Smith Davi
Published at: International Conference on Automated Planning and Scheduling (ICAPS-07)
08/21/07
William Cushing, E. Smith Davi
Published at: International Conference on Automated Planning and Scheduling (ICAPS-07)
08/21/07
Developing Domain-Independent Search Control for Europa2
Sarah Bernardini, David E. Smith
Published at: International Conference on Automated Planning and Scheduling (ICAPS-07)
08/21/07
Sarah Bernardini, David E. Smith
Published at: International Conference on Automated Planning and Scheduling (ICAPS-07)
08/21/07
Deicsion Support Systems for Launch and Range Operations Using JESS
Rajkumar Thirumalainambi
Published at: SAE 2007 Aerotech Congress & Exhibition
08/21/07
Rajkumar Thirumalainambi
Published at: SAE 2007 Aerotech Congress & Exhibition
08/21/07
Gravitational Wave Signal identification and transformations in time-frequency domain
Rajkumar Thirumalainambi, David Thompson
Published at: 7th WSEAS International Conference on Signal, Speech and Image processing
08/21/07
Rajkumar Thirumalainambi, David Thompson
Published at: 7th WSEAS International Conference on Signal, Speech and Image processing
08/21/07
An Integrated Approach to Battery Health Monitoring Using Bayesian Regression and State Estimation
Bhaskar Saha, Kai Goebel, Scott Poll, Jon Christophersen
Published at: AUTOTESTCON (Sponsers: Aerospace & Electronics Systems Society and Instrumentation & Measurement Society
08/21/07
Bhaskar Saha, Kai Goebel, Scott Poll, Jon Christophersen
Published at: AUTOTESTCON (Sponsers: Aerospace & Electronics Systems Society and Instrumentation & Measurement Society
08/21/07
Active and Passive Constraint Enforcement for Activity Planning
Paul Morris, John Bresina
Published at: ISAIRAS - 08
08/21/07
Paul Morris, John Bresina
Published at: ISAIRAS - 08
08/21/07
Neural Net Adaptive Flight Control Stability, Verification and Validation Challenges and Future Research
Nhan Nguyen, Stephen Jacklin
Published at: 2007 International Joint Conference on Neural Networks
08/14/07
Nhan Nguyen, Stephen Jacklin
Published at: 2007 International Joint Conference on Neural Networks
08/14/07
Into the Beyond: A Crewed Mission to a Near~Earth Object
David Korsmeyer, Rob Landis, Paul Abell, Tom Jones
Published at: 58th IAC Congress
08/14/07
David Korsmeyer, Rob Landis, Paul Abell, Tom Jones
Published at: 58th IAC Congress
08/14/07
Toward Automatic Generation of User Interfaces: Abstraction of Internal States and Transitions
Asaf Degani, Michael Heymann
Published at: 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design and Evaluation of Human-Machine Systems
07/17/07
Asaf Degani, Michael Heymann
Published at: 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design and Evaluation of Human-Machine Systems
07/17/07
Improved Linear Algebra Methods for Redshift Computation from Limited Spectrum Data-II
Leslie Foster, Alex Waagen, Nabeela Aijaz, Michael Hurley, Apolo Luis, Joel Rinsky, Chandrika Satyavolu, Ashok Srivastava
Published at: Technical Publication
07/17/07
Leslie Foster, Alex Waagen, Nabeela Aijaz, Michael Hurley, Apolo Luis, Joel Rinsky, Chandrika Satyavolu, Ashok Srivastava
Published at: Technical Publication
07/17/07
Estimating Remaining Useful Life using Data-driven Techniques
Kai Goebel, Bhaskar Saha
Published at: Poster for DMASES Conference
07/17/07
Kai Goebel, Bhaskar Saha
Published at: Poster for DMASES Conference
07/17/07
Case Breach Fault Model and Diagnostic For The Solid Rocket
Dmitry G. Luchinsky, Viatcheslav V. Osipov, Vadim N. Smelyanskiy, Dogan A. Timucin
Published at: 43rd Joint Propulsion Conference
07/13/07
Dmitry G. Luchinsky, Viatcheslav V. Osipov, Vadim N. Smelyanskiy, Dogan A. Timucin
Published at: 43rd Joint Propulsion Conference
07/13/07
Advanced Diagnostics and Prognostics Testbed
Ann Patterson-Hine, Scott Poll, Joe Camisa, David Garcia, David Hall, Charles Lee, Ole Mengshoel, Christian Neukom, David Nishikawa, John Ossenfort, Adam Sweet, Serge Yentus, Indranil Roychoudhury, Matthew Daigle, Guatam Biswas, Xenofon Koutsoukous
Published at: 18th Intl Workshop on Principles of Diagnosis (DX-07)
07/10/07
Ann Patterson-Hine, Scott Poll, Joe Camisa, David Garcia, David Hall, Charles Lee, Ole Mengshoel, Christian Neukom, David Nishikawa, John Ossenfort, Adam Sweet, Serge Yentus, Indranil Roychoudhury, Matthew Daigle, Guatam Biswas, Xenofon Koutsoukous
Published at: 18th Intl Workshop on Principles of Diagnosis (DX-07)
07/10/07
Predicting the Outcome of a Game
David H. Wolpert
Published at: European Conference on Complex System
07/05/07
David H. Wolpert
Published at: European Conference on Complex System
07/05/07
Bias-Variance trade-offs: Novel Applications
David H. Wolpert
Published at: Book: Encyclopedia of Machine Learning Springer Verlag
07/05/07
David H. Wolpert
Published at: Book: Encyclopedia of Machine Learning Springer Verlag
07/05/07
Advances in Distributed Optimization Using Probability Collectives
David H. Wolpert
Published at: Journal Article
07/05/07
David H. Wolpert
Published at: Journal Article
07/05/07
Adaptive Metropolis Sampling and Optimization with Product Distributions
David H. Wolpert
Published at: Journal Article
07/05/07
David H. Wolpert
Published at: Journal Article
07/05/07
Using Self-dissimilarity to Quanitfy Complexity
David H. Wolpert
Published at: Journal Article
07/05/07
David H. Wolpert
Published at: Journal Article
07/05/07
Ascent Summary Data Analysis Tool (ASDAT) for Shuttle Wing Leading Edge Impact Detection
Dawn M. McIntosh, David L. Iverson
Published at: DMASES Conference
07/05/07
Dawn M. McIntosh, David L. Iverson
Published at: DMASES Conference
07/05/07
Making Predictions at the Edge of Chaos
Ashok N. Srivastava
Published at: NASA STI Series Report: (TP)
07/05/07
Ashok N. Srivastava
Published at: NASA STI Series Report: (TP)
07/05/07
Aging Aircraft Wiring Fault Detection Survey
Kevin Wheeler, Dogan Timucin, I. Xander Twombly, Kai Goebel, Phil Wysocki
06/21/07
Kevin Wheeler, Dogan Timucin, I. Xander Twombly, Kai Goebel, Phil Wysocki
06/21/07
Measuring Complexity by Measuring Structure and Organization
Gregory Hornby
Published at: IEEE Congress on Evolutionary Computation
06/21/07
Gregory Hornby
Published at: IEEE Congress on Evolutionary Computation
06/21/07
Comparing Route Selection Strategies in Collaborative Traffic Flow Management
Shawn Wolfe, Peter Jarvis, Francis Enomoto, Maarten Sierhuis
Published at: Intelligent Agent Technology 2007
06/21/07
Shawn Wolfe, Peter Jarvis, Francis Enomoto, Maarten Sierhuis
Published at: Intelligent Agent Technology 2007
06/21/07
Experiences in the Static Analysis of Embedded Software
Guillaume Brat
Published at: AFADL '07
06/12/07
Guillaume Brat
Published at: AFADL '07
06/12/07
Software Verification for Space Applications Part I: Static Analysis
Guillaume Brat
Published at: Universite Catholique De Vouvain Graduate Seminar (Moves)
06/12/07
Guillaume Brat
Published at: Universite Catholique De Vouvain Graduate Seminar (Moves)
06/12/07
Software Verification for Space Applications Part II: Autonomous Systems
Guillaume Brat
Published at: Universite Catholique De Vouvain Graduate Seminar (Moves)
06/12/07
Guillaume Brat
Published at: Universite Catholique De Vouvain Graduate Seminar (Moves)
06/12/07
Hybrid Damage Adaptive Flight Control with Model Inversion Adaption
Nhan Nguyen, Kalmanje Kishnakumar
Published at: 17th Intern. Ferderation on Automatic Control (IFAC) Symposium on Automatic Control in Aerospace
06/12/07
Nhan Nguyen, Kalmanje Kishnakumar
Published at: 17th Intern. Ferderation on Automatic Control (IFAC) Symposium on Automatic Control in Aerospace
06/12/07
Bayesian Inferential Framework for Diagnosis fo Non-Stationary Systems
Vadim Smelyanskiy, Dmitry Luchinsky, Andrea Duggento, Teter McClintock
Published at: SPIE Fluctuations and Noise 2007
06/05/07
Vadim Smelyanskiy, Dmitry Luchinsky, Andrea Duggento, Teter McClintock
Published at: SPIE Fluctuations and Noise 2007
06/05/07
Local Search for Optima Global Map Generation Using Mid-Decadal Landsat Images
Morris Robert, Khatib Lina, Gasch John, Covington Steven
Published at: AAAI Workshop On Preference Handling
06/05/07
Morris Robert, Khatib Lina, Gasch John, Covington Steven
Published at: AAAI Workshop On Preference Handling
06/05/07
National Research Council's Assessment of NASA's Aviation Safety Program
Ashok Srivastava
Published at: Oral Presentation: National Research Council/ National Academy Sciences
06/05/07
Ashok Srivastava
Published at: Oral Presentation: National Research Council/ National Academy Sciences
06/05/07
Abstraction Integration and Organization of Information for Display: Approach and Emerging Methodologies
Asaf Degani, Michael Shafto, Leonard Olson, Charles Jorgensen
Published at: Poster
06/05/07
Asaf Degani, Michael Shafto, Leonard Olson, Charles Jorgensen
Published at: Poster
06/05/07
Self-Healing Approaches for FPGA's and Wiring Manifolds
Sarah Thompson, Alan Mycroft, Guillaume Brat, Arnaud Venet
Published at: 1st Airforce Research Laboratory Reconfigurable Systems Workshop
06/01/07
Sarah Thompson, Alan Mycroft, Guillaume Brat, Arnaud Venet
Published at: 1st Airforce Research Laboratory Reconfigurable Systems Workshop
06/01/07
Model Based Bayesian Approach for In-Flight SRB Integrated Health Management
Vadim Smelyanskiy, Osipov Viatcheslav, Dmitry Luchinsky, Dogan Timucin
Published at: IEEE JANNAF Aerospace 2007
06/01/07
Vadim Smelyanskiy, Osipov Viatcheslav, Dmitry Luchinsky, Dogan Timucin
Published at: IEEE JANNAF Aerospace 2007
06/01/07
Automatic Discovery of Anomalies Reported in Aerospace Systems Health and Safety Documents
J.P. Castle, J.C. Stutz, Dawn McIntosh
Published at: AIAA Infotech @ Aerospace 2007
06/01/07
J.P. Castle, J.C. Stutz, Dawn McIntosh
Published at: AIAA Infotech @ Aerospace 2007
06/01/07
HyDE-A General Purpose Framework for Stochastic and Hybrid Diagnosis
Sriram Narasimhan, Lee Brownston
Published at: 18th International Workshop on Principles of Diagnosis
06/01/07
Sriram Narasimhan, Lee Brownston
Published at: 18th International Workshop on Principles of Diagnosis
06/01/07
Preliminary Evaluation of an Aviation Safety Thesaurus' Utility for Enhancing Automated Processing of Incident Reports
Francesca Barrientos, Joseph Castle, Dawn McIntosh, Ashok Srivastava
Published at: NASA STI Series Report (Technical Memorandum)
06/01/07
Francesca Barrientos, Joseph Castle, Dawn McIntosh, Ashok Srivastava
Published at: NASA STI Series Report (Technical Memorandum)
06/01/07
MARTE: Technology Development and Lessons Learned from a Mars Drilling Mission Simulation
Howard N. Cannon, Carol R. Stoker, Stephen E. Dunagan, Kiel Davis, Javier Gomez-Elvira, Brian J. Glass, Lawrence G. Lemke, David Miller, Rosalba Bonaccorsi, Mark Branson, Scott Christa, Jose Antonio Rodriguez-Manfredi, Eric Mumm, Gale Paulsen, Matt Roman, Alois Winterholler, Jhony Zavaleta
Published at: Journal Article "Journal of Field Robitics/Wiley"
06/01/07
Howard N. Cannon, Carol R. Stoker, Stephen E. Dunagan, Kiel Davis, Javier Gomez-Elvira, Brian J. Glass, Lawrence G. Lemke, David Miller, Rosalba Bonaccorsi, Mark Branson, Scott Christa, Jose Antonio Rodriguez-Manfredi, Eric Mumm, Gale Paulsen, Matt Roman, Alois Winterholler, Jhony Zavaleta
Published at: Journal Article "Journal of Field Robitics/Wiley"
06/01/07
Advanced Diagnostics and Prognostics Testbed
Scott Poll, Patterson-Hine, Ann , Joe Camisa, David Garcia, David Hall, Charles Lee, Ole Mengshoel, Chris Neukom, David Nishikawa, John Ossenfort, Adam Sweet, Serge Yentus, Indranil Roychoudhury, Matthew Daigle, Gautam Biswas, Xenofon Koutsoukos
Published at: 18th International Workshop on Principles of Diagnosis (DX-07)
06/01/07
Scott Poll, Patterson-Hine, Ann , Joe Camisa, David Garcia, David Hall, Charles Lee, Ole Mengshoel, Chris Neukom, David Nishikawa, John Ossenfort, Adam Sweet, Serge Yentus, Indranil Roychoudhury, Matthew Daigle, Gautam Biswas, Xenofon Koutsoukos
Published at: 18th International Workshop on Principles of Diagnosis (DX-07)
06/01/07
Data Management and Decision Support for the In-Flight SRM
Dmitry Luchinsky, Vadim Smelyanskiy, Slava Osipov, Dogan Timucin, Sun Hwan Lee
Published at: AIAA Infotech @ Aerospace 2007
05/25/07
Dmitry Luchinsky, Vadim Smelyanskiy, Slava Osipov, Dogan Timucin, Sun Hwan Lee
Published at: AIAA Infotech @ Aerospace 2007
05/25/07
Results of the First Survey of Practitioners of Evolutionary Computation
Gregory S. Hornby, Tina Yu
Published at: ACM SIGEVO Newsletter
05/25/07
Gregory S. Hornby, Tina Yu
Published at: ACM SIGEVO Newsletter
05/25/07
Analysis of Wing Leading Edge Impact Data
Upender K. Kaul
Published at: SAE 2007 Aerotech Congress & Exhibition
05/25/07
Upender K. Kaul
Published at: SAE 2007 Aerotech Congress & Exhibition
05/25/07
A High-Level Certification Language for Automatically Generated Code
Ewen Denney, Bernd Fischer
Published at: Generative Programming and Component Engineering (GPCE'07)
05/17/07
Ewen Denney, Bernd Fischer
Published at: Generative Programming and Component Engineering (GPCE'07)
05/17/07
Evaluating UAS Autonomy Operations Software in Simulation
Peter Jarvis, Robert Harris, Chad Frost
Published at: AIAA Infotech @ Aerospace 2007
05/17/07
Peter Jarvis, Robert Harris, Chad Frost
Published at: AIAA Infotech @ Aerospace 2007
05/17/07
Small Spacecraft in Support of the Lunar Exploration Program
William S. Marshall, Mark F. Turner, Butler P. Hine, Alan R. Weston
Published at: Whitepaper
05/11/07
William S. Marshall, Mark F. Turner, Butler P. Hine, Alan R. Weston
Published at: Whitepaper
05/11/07
A Piloted Orion Flight to a Near-Earth Object: A Feasiblity Study
Rob Landis, Paul Abell, Dave Korsmeyer, Daniel Adamo, Edward Lu, Thomas Jones, David Morrison, Larry Lempke, Andrew Gonzalez, Robert Gershman, Ted Sweetser, Lindley Johnson, Michael Hess
Published at: AIAA 2007
05/07/07
Rob Landis, Paul Abell, Dave Korsmeyer, Daniel Adamo, Edward Lu, Thomas Jones, David Morrison, Larry Lempke, Andrew Gonzalez, Robert Gershman, Ted Sweetser, Lindley Johnson, Michael Hess
Published at: AIAA 2007
05/07/07
Intelligent Systems for Advanced Mission Operations
Dave Korsmeyer, Ernest Smith
Published at: Intl Symposium Reducing the Costs of Spacecraft Ground Systems and Operations (RCSGCO)
05/07/07
Dave Korsmeyer, Ernest Smith
Published at: Intl Symposium Reducing the Costs of Spacecraft Ground Systems and Operations (RCSGCO)
05/07/07
Pitfalls of JESS for Dynamic Systems
Raj Thirumalainambi
Published at: Intl Conf on Artificial Intelligence and Pattern Recognition
05/07/07
Raj Thirumalainambi
Published at: Intl Conf on Artificial Intelligence and Pattern Recognition
05/07/07
Artificial Immune System Approach for Air Combat Maneuvering
John Kaneshige, K. Krishnakumar
Published at: SPIE Defense & Security Symposium
05/07/07
John Kaneshige, K. Krishnakumar
Published at: SPIE Defense & Security Symposium
05/07/07
Editorial Introduction to the Special Issue on Developmental Systems
Gregory Hornby, Sanjeev Kumar, Christian Hacob
Published at: Editorial introduction to a special issue of a journal
04/20/07
Gregory Hornby, Sanjeev Kumar, Christian Hacob
Published at: Editorial introduction to a special issue of a journal
04/20/07
Bounding the Resource Availability of Activities with Linear Resource Impact
Jeremy Frank, Paul Morris
Published at: Int'l Conference on Automated Planning and Scheduling
04/20/07
Jeremy Frank, Paul Morris
Published at: Int'l Conference on Automated Planning and Scheduling
04/20/07
Approximations of Optimal Alarm Systems For Anomaly Detection
Rodney Martin
Published at: Journal Article - IEEE Transactions on Info Theory
04/20/07
Rodney Martin
Published at: Journal Article - IEEE Transactions on Info Theory
04/20/07
Comparison of Unsupervised Anomaly Detection Methods for Systems Health Management Using Space Shuttle Main Engine Data
Rodney Martin
Published at: 54th JANNAF Meeting
04/20/07
Rodney Martin
Published at: 54th JANNAF Meeting
04/20/07
The MCP Model Checker
Sarah Thompson, Guillaume Brat, Karl Schimpf
Published at: 14th Workshop on Model Checking Software SPIN 2007
04/17/07
Sarah Thompson, Guillaume Brat, Karl Schimpf
Published at: 14th Workshop on Model Checking Software SPIN 2007
04/17/07
Refining Interface Alphabets for Compositional Verification
Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina Pasareanu
Published at: 13th Intl Conference on Tools & Algorithms for the Construction & Analysis of Systems
03/28/07
Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina Pasareanu
Published at: 13th Intl Conference on Tools & Algorithms for the Construction & Analysis of Systems
03/28/07
Content Based Image Matching for Planetary Science
Matthew Deans, Celine Meyer
Published at: AGU Fall Meeting 2006
03/28/07
Matthew Deans, Celine Meyer
Published at: AGU Fall Meeting 2006
03/28/07
Toward the Computer-Automated Design of Sophisticated Systems by Enabling Structural Organization
Gregory Hornby
Published at: Symposium for Complex Systems Engineering The RAND Corporation
03/28/07
Gregory Hornby
Published at: Symposium for Complex Systems Engineering The RAND Corporation
03/28/07
Model-Based Fault Detection and Diagnosis Sytemm for NASA Subsurface Drill Prototype
Edward Balaban, Howard Cannon, S. Narasimhan
Published at: IEEE Aerospace Conference 2007
03/28/07
Edward Balaban, Howard Cannon, S. Narasimhan
Published at: IEEE Aerospace Conference 2007
03/28/07
Communications for Integrated Modular Avionics
Richard Alena, John Ossenfort, Kenneth Laws, Andre Goforth, Fernando Figueroa
Published at: IEEE Aerospace Conference 2007
03/28/07
Richard Alena, John Ossenfort, Kenneth Laws, Andre Goforth, Fernando Figueroa
Published at: IEEE Aerospace Conference 2007
03/28/07
Testing Planning Domains (Without Model Checkers)
Franco Raimondi, Charles Pecheur, Guillaume Brat
Published at: MBT 2007
03/21/07
Franco Raimondi, Charles Pecheur, Guillaume Brat
Published at: MBT 2007
03/21/07
Fault Tolerant Relative Navigation Using Inertial and Relative Sensors
Gabriel Hoffman, Dimitry Gorinevsky, Robert Mah, Claire Tomlin, Jennifer Mitchell
Published at: AIAA Guidance, Naviation and Control Conference
03/21/07
Gabriel Hoffman, Dimitry Gorinevsky, Robert Mah, Claire Tomlin, Jennifer Mitchell
Published at: AIAA Guidance, Naviation and Control Conference
03/21/07
A Software Safety Certification Plug-in for Automated Code Generators (Feasibility Study and Preliminary Design)
Ewen Denney
Published at: document for web site
03/21/07
Ewen Denney
Published at: document for web site
03/21/07
Computational Method for Non-Conservation Form of 1-D Unsteady Euler Equations for Closed-Loop Transport Systems
Nhan Nguyen
Published at: AIAA Aerospace Meeting and Exhibit
03/08/07
Nhan Nguyen
Published at: AIAA Aerospace Meeting and Exhibit
03/08/07
Lessons from Applying Modern Software Methods and Technologies to Robotics
Lorenzo Flueckiger, Hans Utz
Published at: Intl Conference on Robotics and Automation 2007
02/28/07
Lorenzo Flueckiger, Hans Utz
Published at: Intl Conference on Robotics and Automation 2007
02/28/07
Improving Program Model Checking Using Design-for-Verification A Case Study with NASA Flight Software
Larry Markosian, Peter Mehlitz, Masoud Mansouri-Samani, Tom Pressburger
Published at: IEEE Aerospace Conference 2007
02/28/07
Larry Markosian, Peter Mehlitz, Masoud Mansouri-Samani, Tom Pressburger
Published at: IEEE Aerospace Conference 2007
02/28/07
FFIP: A Framework For Early Assessment of Functional Failures in Complex Sytemes
Tolga Kurtoglu, Irem Tumer
Published at: Intl Conference on Engineering Design
02/22/07
Tolga Kurtoglu, Irem Tumer
Published at: Intl Conference on Engineering Design
02/22/07
Unsupervised Anomaly Detection and Diagnosis for Liquid Rocket Engine Propulsion
Rodney Martin
Published at: IEEE Aerospace Conference 2007
02/22/07
Rodney Martin
Published at: IEEE Aerospace Conference 2007
02/22/07
Recurring Anomaly Detection System - Text Clustering & Recurring Anomaly Detection
Dawn McIntosh
Published at: Meeting w. Lockheed Palmdale representatives
02/22/07
Dawn McIntosh
Published at: Meeting w. Lockheed Palmdale representatives
02/22/07
Exploring the Robustness of Risk Reduction Strategies
Julian Richardson, Daniel Port, Martin Feather
Published at: IEEE Aerospace Conference 2007
02/07/07
Julian Richardson, Daniel Port, Martin Feather
Published at: IEEE Aerospace Conference 2007
02/07/07
Evaluating Spacecraft Crewstation Designs with a Simulator Driven by an AI Reactive Controller
Ujwala Ravinder, Peter Jarvis, Robert McCann, Robert Harris
Published at: ??
02/07/07
Ujwala Ravinder, Peter Jarvis, Robert McCann, Robert Harris
Published at: ??
02/07/07
Autonomous Robotic Inspection for Lunar Surface Operations
Maria Bualat, Larry Edwards, Terrence Fong, Michael Broxton, Lorenzo Flueckiger, Clayton Kunz, Susan Lee, Eric Park, Vinh To, Hans Utz, Vandi Verma, Matt MacMahon
Published at: 6th Intl Conference on field and Service Robotics
02/07/07
Maria Bualat, Larry Edwards, Terrence Fong, Michael Broxton, Lorenzo Flueckiger, Clayton Kunz, Susan Lee, Eric Park, Vinh To, Hans Utz, Vandi Verma, Matt MacMahon
Published at: 6th Intl Conference on field and Service Robotics
02/07/07
Predicate Abstraction with Under-Approximation Refinement
Corina Pasareanu, Radek Pelanek, Willem Visser
Published at: Logical Methods in Computer Science - Journal
02/07/07
Corina Pasareanu, Radek Pelanek, Willem Visser
Published at: Logical Methods in Computer Science - Journal
02/07/07
Search Publications
Date range
Filter by year
2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998
The Intelligence Report
The Intelligence Report is a compilation of articles describing the rich and diverse research and development projects at Ames Research Center's Intelligent Systems Division.
2006-2007
2005-2006
2004-2005
2003-2004
- NASA Official: Dave Korsmeyer
- Curator: ASANI Solutions