Publications for year 2008 (110 of 1172)
Application of Bounded Linear Stability Analysis Method for Metrics-Driven Adaptive Control
Maryam Bakhtiari-Nejad
Published at: AIAA, Aerospace Sceince Meeting
12/15/08
Maryam Bakhtiari-Nejad
Published at: AIAA, Aerospace Sceince Meeting
12/15/08
Development and Deployment of NASA's Budget Execution Dashboard
Peter Putz, Herbert Finger
Published at: IEEE Aerospace Conference
12/01/08
Peter Putz, Herbert Finger
Published at: IEEE Aerospace Conference
12/01/08
Prognostics for Electronics Components of Avionics Systems
Jose Celaya, Bhaskar Saha, Kai Goebel, Philip Wysocki
Published at: IEEE Aerospace Conference
11/13/08
Jose Celaya, Bhaskar Saha, Kai Goebel, Philip Wysocki
Published at: IEEE Aerospace Conference
11/13/08
Evaluating Algorithm Performance Metrics Tailored for Prognostics
Abhinav Saxena, Jose Celaya, Bhaskar Saha, Sankalita Saha, Kai Goebel
Published at: IEEE Aerospace Conference
11/13/08
Abhinav Saxena, Jose Celaya, Bhaskar Saha, Sankalita Saha, Kai Goebel
Published at: IEEE Aerospace Conference
11/13/08
Privacy Preservation Through Random Non-linear Data Distortion
Kanishka Bhaduri
Published at: 2009 SIAM Conference on Data Mining
10/29/08
Kanishka Bhaduri
Published at: 2009 SIAM Conference on Data Mining
10/29/08
Towards Intelligent Control for Next Generation CESTOL Aircraft
Diana Acosta
Published at: Fundamental Aeronautics Program Annual Meeting
10/27/08
Diana Acosta
Published at: Fundamental Aeronautics Program Annual Meeting
10/27/08
Efficient Probablistic Diagnostics for Electrical Power Systems
Ole Mengshoel
Published at: TM
10/27/08
Ole Mengshoel
Published at: TM
10/27/08
ISWHM: Tools And Techniques for Software and System Health Management
Johan Schumann
Published at: NASA Aviation Safety Meeting
10/27/08
Johan Schumann
Published at: NASA Aviation Safety Meeting
10/27/08
Verification and Validation of Air Traffic Systems: Tactical Separation Assurance
David Bushnell, Dimitra Giannakopoulou, Peter Mehlitz, Russ Paielli, Corina Pasareanu
Published at: IEEE Aerospace Conference
10/27/08
David Bushnell, Dimitra Giannakopoulou, Peter Mehlitz, Russ Paielli, Corina Pasareanu
Published at: IEEE Aerospace Conference
10/27/08
Simulation Based Evaluation of Integrated Adaptive Control and Flight Planning Technologies
Stefan Campbell
Published at: Aviation Safety Technical Conference
10/20/08
Stefan Campbell
Published at: Aviation Safety Technical Conference
10/20/08
Understanding Wire Chafting: Model Development and Optimal Diagnostics Using TDR
Stefan Schuet
Published at: Aviation Safey Technical Conference
10/20/08
Stefan Schuet
Published at: Aviation Safey Technical Conference
10/20/08
A Novel Mating Approach for Genetic Algorithms
Severino Galan, Ole Mengshoel
Published at: Journal Article
10/16/08
Severino Galan, Ole Mengshoel
Published at: Journal Article
10/16/08
Bringing Web 2.0 to Government Research: A Case Study
Francesca Barrientos
Published at: CHI 2009
10/16/08
Francesca Barrientos
Published at: CHI 2009
10/16/08
Adaptive Flight Control for Aircraft Safety Enhancements
Nhan Nguyen
Published at: Aviation Safety Technical Conference
10/16/08
Nhan Nguyen
Published at: Aviation Safety Technical Conference
10/16/08
Algorithms for Spectral Decomposition, Algorithms for Spectral Decomposition with Applications to Optical Plume Anomaly Detection
Ashok Srivastava
Published at: JANNAF 2008
10/15/08
Ashok Srivastava
Published at: JANNAF 2008
10/15/08
Using Decision Trees to Detect and Isolate Simulated Leaks in the J-2X Rocket Engine
Mark Schwabacher
Published at: 2009 IEEE AeroSpace Conference
10/14/08
Mark Schwabacher
Published at: 2009 IEEE AeroSpace Conference
10/14/08
An Agile Accelerated Aging, Characterization and Scenario Simulation System for Gate Controlled Power Transistors
Greg Sonnenfeld, Kai Goebel, Jose Celeya Galvan
10/06/08
Greg Sonnenfeld, Kai Goebel, Jose Celeya Galvan
10/06/08
Use of Program Property Assertions for V&V of ISHM
Larry Markosian
Published at: SAS 08 Verification Workshop
10/02/08
Larry Markosian
Published at: SAS 08 Verification Workshop
10/02/08
Parametric Analysis of a Hover Test Vehicle using Advanced Generation and Data Analysis
Karen Gundy-Burlet
Published at: AIAA Infotech@Aerospace Conference and Exhibit
09/16/08
Karen Gundy-Burlet
Published at: AIAA Infotech@Aerospace Conference and Exhibit
09/16/08
Model Based Analysis and Test Generation for Flight Software
Johann Schumann
Published at: ICSE 2009
09/16/08
Johann Schumann
Published at: ICSE 2009
09/16/08
Emergency Landing Planning for Damaged Aircraft
Nicolas Meuleau, Chris Plaunt, David E. Smith
Published at: ICAPS 08
09/05/08
Nicolas Meuleau, Chris Plaunt, David E. Smith
Published at: ICAPS 08
09/05/08
A Variable Elimination Approach for Optimal Scheduling With Linear Preferences
Nicolas Meuleau, Robert Morris, Neil Yorke-Smith
Published at: ICAPS 2008
09/03/08
Nicolas Meuleau, Robert Morris, Neil Yorke-Smith
Published at: ICAPS 2008
09/03/08
Athlete's Feet: Multi-Resolution Planning for a Hexapod Robot
Tristan Smith, Javier Barreiro, David Smith, Vytas Sunspiral, Daniel Chavez
08/27/08
Tristan Smith, Javier Barreiro, David Smith, Vytas Sunspiral, Daniel Chavez
08/27/08
Damage Propagation Modeling for Aircraft Engine Prognostics
Abhinav Saxena, Kai Goebel, Don Simon
08/26/08
Abhinav Saxena, Kai Goebel, Don Simon
08/26/08
General Purpose Data-Driven System Monitoring for Space Operations
David L. Iverson, Rodney Martin, Mark Schwabacher, Lilly Spirkovska, William Taylor
08/21/08
David L. Iverson, Rodney Martin, Mark Schwabacher, Lilly Spirkovska, William Taylor
08/21/08
Verification and Validation fo Advanced Fault Detection, Isolation and Recovery for a NASA Space System
Mark Schwabacher, Martin Feather, Lawrence Markosian
Published at: Intl Symposium on Software Reliability Engineering
08/21/08
Mark Schwabacher, Martin Feather, Lawrence Markosian
Published at: Intl Symposium on Software Reliability Engineering
08/21/08
Using Decision Trees to Detect and Isolate Simulated Leaks in the J-2X Rocket Engine
Mark Schwabacher
Published at: Conference on Intelligent Data Understanding
08/20/08
Mark Schwabacher
Published at: Conference on Intelligent Data Understanding
08/20/08
Improving Lunar Surface Science with Robitic Recon
Terry Fong, Matthew Deans, Pascal Lee, Jennifer Heldmann, D. Kring, E. Heggy, Rob Landis
Published at: LEAG Annual Meeting
08/20/08
Terry Fong, Matthew Deans, Pascal Lee, Jennifer Heldmann, D. Kring, E. Heggy, Rob Landis
Published at: LEAG Annual Meeting
08/20/08
Towards Certification of a Space System Application of Fault Detection and Isolation
Larry Markosian
Published at: International Conference on Prognostics and Health
08/20/08
Larry Markosian
Published at: International Conference on Prognostics and Health
08/20/08
Tool Support for Parametric Analysis of Large Software Simulation Systems
Johann Schumann
Published at: Automated Software Engineering; Tools Workshop
08/20/08
Johann Schumann
Published at: Automated Software Engineering; Tools Workshop
08/20/08
Modeling-Error-Driven Performance-Seeking Direct Adaptive Control
Nilesh Kulkarni
Published at: AIAA Guidance Navigation and Control Conf.
08/20/08
Nilesh Kulkarni
Published at: AIAA Guidance Navigation and Control Conf.
08/20/08
Status Report for Planetary Spatial Analyst
Leslie Keely-Meindorfer
Published at: Public Website (Applied Information Systems Research (AISR))
08/20/08
Leslie Keely-Meindorfer
Published at: Public Website (Applied Information Systems Research (AISR))
08/20/08
A Survey of New Trends in Symbolic Execution for Software Testing and Analysis
Corina Pasareanu
Published at: Software Tools for Technology Transfer
08/08/08
Corina Pasareanu
Published at: Software Tools for Technology Transfer
08/08/08
Field Testing of Utilty Robots for Lunar Surface Operations
Terry Fong, Maria Bualat, Matthew Deans, Mark Allen, Xavier Bousyssounouse
08/08/08
Terry Fong, Maria Bualat, Matthew Deans, Mark Allen, Xavier Bousyssounouse
08/08/08
AutoBayes Program Synthesis System Users Manual
Johann Schumann, Hamed Jafari, Ewen Denney, Tom Pressburger
08/08/08
Johann Schumann, Hamed Jafari, Ewen Denney, Tom Pressburger
08/08/08
Development of an On-Board Failure Diagnostics and Prognostics System for Solid Rocket Booster
Vadim Smelyanskiy, Dimitry Luchinsky, Vyatcheslav Osipov
Published at: 44th AIAA JPC
08/08/08
Vadim Smelyanskiy, Dimitry Luchinsky, Vyatcheslav Osipov
Published at: 44th AIAA JPC
08/08/08
FootFall: A Ground Based Operations Toolset Enabling Walking for the ATHLETE Rover
Vytas SunSprial, Daniel Chavez-Clemente, Michael Broxton, Leslie Keely, Patrick Milhelich
Published at: Space 2008
08/08/08
Vytas SunSprial, Daniel Chavez-Clemente, Michael Broxton, Leslie Keely, Patrick Milhelich
Published at: Space 2008
08/08/08
An Optimal Control Modification to Model-Reference Adaptive Control for fast Adaptation
Nhan Nguyen
Published at: AIAA Guidance, Navigation, and Control Conference
08/06/08
Nhan Nguyen
Published at: AIAA Guidance, Navigation, and Control Conference
08/06/08
Using Bayesian Networks for Candidate Generation in Consistency-based Diagnosis
Sriram Narasimhan, Ole Mengshoel
08/05/08
Sriram Narasimhan, Ole Mengshoel
08/05/08
Workflow Agents vs. Expert Systems: Problem solving methods in work systems design
William Clancey
08/01/08
William Clancey
08/01/08
Speeding Up the Resource Envelope Computation for Activities with Linear Resource Impact
Paul Morris, Jeremy Frank
07/16/08
Paul Morris, Jeremy Frank
07/16/08
Planning and Monitoring Solar Array Operations on the ISS
Sudhakar Reddy, Michael Iatauro, Elif Kurklu, Matthew Boyce, Jeremy Frank, Ari Jonsson
07/15/08
Sudhakar Reddy, Michael Iatauro, Elif Kurklu, Matthew Boyce, Jeremy Frank, Ari Jonsson
07/15/08
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Corina Pasareanu, Mihaela Gheorghiu, Dimitra Giannakopoulou
06/30/08
Corina Pasareanu, Mihaela Gheorghiu, Dimitra Giannakopoulou
06/30/08
A Flexible Evolvable Architecture for Constellation Mission Systems User Applications
Jay Trimble
Published at: SpaceOps 2008
06/19/08
Jay Trimble
Published at: SpaceOps 2008
06/19/08
Enabling and Enhancing Space Mission Success and Reduction of Risk Through the Application of an Integrated Data Architecture
Robert Brummett
Published at: IAASS Conference
06/18/08
Robert Brummett
Published at: IAASS Conference
06/18/08
Adaptive Key Component Control of Nonlinear Evolving Flexible Structures
Susan Frost, Mark Balas
Published at: ASME Conf. on Smart Materials
06/13/08
Susan Frost, Mark Balas
Published at: ASME Conf. on Smart Materials
06/13/08
Towards Intelligent Control for Next Generation Aircraft
Diana Acosta, K. Krishnakumar, Susan Frost
Published at: International Powered Lift Conference, Royal Aeronautical Society
06/13/08
Diana Acosta, K. Krishnakumar, Susan Frost
Published at: International Powered Lift Conference, Royal Aeronautical Society
06/13/08
Automated Data Assimilation and Flight Planning for Multi-Platform Observation Missions
Nikunj Oza, Robert Morris, Anthony Strawa, Elif Kurklu, Leslie Keely
Published at: NASA Earth Science technology Conference
06/13/08
Nikunj Oza, Robert Morris, Anthony Strawa, Elif Kurklu, Leslie Keely
Published at: NASA Earth Science technology Conference
06/13/08
Inferential Framework for Nonstationary Dynamics Part II: Application to a Model of Physiological Signaling
Vadim Smelyanskiy, Dmitry Luchinsky
06/13/08
Vadim Smelyanskiy, Dmitry Luchinsky
06/13/08
Recent Results on "Approximations to Optimal Alarm Systems for Anomaly Detection"
Rodney Martin
06/02/08
Rodney Martin
06/02/08
An Investigation of State-Space Model Fidelity for SSME Data
Rodney Martin
Published at: International Conference on Prognostics and Health
05/21/08
Rodney Martin
Published at: International Conference on Prognostics and Health
05/21/08
Integrating System Health Management into the Early Design of Aerospace Systems Using Functional Fault Analysis
Tolga Kurtoglu, Stephen Johnson, Eric Barszcz, Jeremy Johnson, Peter Robinson
Published at: International Conference on Prognostics and Health Management (PHM '08)
05/14/08
Tolga Kurtoglu, Stephen Johnson, Eric Barszcz, Jeremy Johnson, Peter Robinson
Published at: International Conference on Prognostics and Health Management (PHM '08)
05/14/08
Metrics for Evaluating Performance of Prognostic Techniques
Abhinav Saxena, Jose Celaya, Edward Balaban, Bhaskar Saha, Sankalita Saha, Kai Goebel, Mark Schwabacher
Published at: International Conference on Prognostics and Health Management (PHM '08)
05/14/08
Abhinav Saxena, Jose Celaya, Edward Balaban, Bhaskar Saha, Sankalita Saha, Kai Goebel, Mark Schwabacher
Published at: International Conference on Prognostics and Health Management (PHM '08)
05/14/08
Health Management for Wire Insulator Integrity
Kevin Wheeler, Ian Twombly, Stefan Schuet, Dogan Timucin, Jules Friedrich
04/28/08
Kevin Wheeler, Ian Twombly, Stefan Schuet, Dogan Timucin, Jules Friedrich
04/28/08
Assume Guarantee Verification for Interface Automata
Michael Emmi, Dimitra Giannakopoulou, Corina Pasreanu
Published at: 15th International Symposium on Formal Methods
04/10/08
Michael Emmi, Dimitra Giannakopoulou, Corina Pasreanu
Published at: 15th International Symposium on Formal Methods
04/10/08
Automation for Spacecraft Operations: Needs, Risks & Options
Surendra Sharma, Jeremy Frank, David Alfano
Published at: 59th International Astronautical Congress
04/10/08
Surendra Sharma, Jeremy Frank, David Alfano
Published at: 59th International Astronautical Congress
04/10/08
Prognostics in Battery Health Management
Kai Goebel, Bhaskar Saha, Abhinav Saxena, Jose Celaya, Jon Christophersen
Published at: Journal Article: IEEE Instrumentation & Measurement Magazine
04/10/08
Kai Goebel, Bhaskar Saha, Abhinav Saxena, Jose Celaya, Jon Christophersen
Published at: Journal Article: IEEE Instrumentation & Measurement Magazine
04/10/08
Adaptive Key Component control and Inheritance of Almost Strict Passivity in Evolving Systems
Susan Frost, Mark Balas
Published at: F. Landis Markley Symposium/American Astronautical Society
04/10/08
Susan Frost, Mark Balas
Published at: F. Landis Markley Symposium/American Astronautical Society
04/10/08
Classification of Aeronautics System Health and Safety Documents
Nikunj Oza, Pat Castle, John Stutz
Published at: Journal Article: IEEE Transactions on Systems, Man, and Cybernetics, Part C
04/10/08
Nikunj Oza, Pat Castle, John Stutz
Published at: Journal Article: IEEE Transactions on Systems, Man, and Cybernetics, Part C
04/10/08
Game-Theoretic Management of Interacting Adaptive Systems
David Wolpert
Published at: NASA/ESA Conference on Adaptive Hardware & Systems, 2008
04/10/08
David Wolpert
Published at: NASA/ESA Conference on Adaptive Hardware & Systems, 2008
04/10/08
Non-Rationality in Non-Repeated Games
David Wolpert, Julian Jamison, David Newth, Michael Harre
Published at: Journal Article: Proc. Nat. Academy Sciences
04/10/08
David Wolpert, Julian Jamison, David Newth, Michael Harre
Published at: Journal Article: Proc. Nat. Academy Sciences
04/10/08
Physical Limits of Inference
David Wolpert
Published at: Understanding Complex Systems, 2008
04/10/08
David Wolpert
Published at: Understanding Complex Systems, 2008
04/10/08
Statistical Prediction of the Outcome of a Game
David Wolpert
Published at: 3rd Congress of Game Theory Society
04/10/08
David Wolpert
Published at: 3rd Congress of Game Theory Society
04/10/08
Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle
Michael Lowry
Published at: ISMIS 2008
04/10/08
Michael Lowry
Published at: ISMIS 2008
04/10/08
Analysis of Historical ISS Problem Reports for Insights Into Spacecraft Integrated Acceptance Testing Effectiveness
Francesca Barrientos, Robert Biel, Patricia Watson
Published at: 24th Aerospace Testing seminar
04/09/08
Francesca Barrientos, Robert Biel, Patricia Watson
Published at: 24th Aerospace Testing seminar
04/09/08
Fault Tolerance of Relative Navigation Sensing in Docking Approach of Spacecraft
Dimitry Gorinevsky, Gabriel Hoffman, Mariana Shmakova, Robert Mah, Scott Cryan, Jennifer Mitchell
Published at: IEEE Aerospace Conference
04/09/08
Dimitry Gorinevsky, Gabriel Hoffman, Mariana Shmakova, Robert Mah, Scott Cryan, Jennifer Mitchell
Published at: IEEE Aerospace Conference
04/09/08
Intelligent Systems for Advanced Mission Operations
David Korsmeyer, Ernest Smith
Published at: SpaceOps 2008
04/09/08
David Korsmeyer, Ernest Smith
Published at: SpaceOps 2008
04/09/08
Contraint Handling using Tournament Selection: Abductive Inference in Partly Deterministic Bayesian Networks
Severino Galan, Ole Mengshoel
Published at: Journal Article: Evolutionary Compurtation, MIT Press
04/09/08
Severino Galan, Ole Mengshoel
Published at: Journal Article: Evolutionary Compurtation, MIT Press
04/09/08
The Crowding Approach to Niching In Genetic Algorithms
Ole Mengshoel, David Goldberg
Published at: Journal Article: Evolutionary Compurtation, MIT Press
04/09/08
Ole Mengshoel, David Goldberg
Published at: Journal Article: Evolutionary Compurtation, MIT Press
04/09/08
Understanding the Role of Noise In Stochastic Local Search: Analysis and Experiments
Ole Mengshoel
Published at: Journal Article: Artificial Intelligence, Elsevier
04/09/08
Ole Mengshoel
Published at: Journal Article: Artificial Intelligence, Elsevier
04/09/08
Comparison of Prognostic Algorithms for Estimating Remaining Useful Life of Batteries
Bhaskar Saha, Kai Goebel, Jon Christophersen
Published at: Journal Article: Transactions of the Institute of Measurement and Control
04/09/08
Bhaskar Saha, Kai Goebel, Jon Christophersen
Published at: Journal Article: Transactions of the Institute of Measurement and Control
04/09/08
Some Properties of Multilayerd Patterns (of information): Insights From Medieval Architecture
Asaf Degani
Published at: Diagram 2008
04/09/08
Asaf Degani
Published at: Diagram 2008
04/09/08
Automation for Operations
Jeremy Frank
Published at: AIAA Space 2008 Conference & Exposition
04/09/08
Jeremy Frank
Published at: AIAA Space 2008 Conference & Exposition
04/09/08
Cost-Benefits of Automation for Surface Operations: Preliminary Results
Jeremy Frank
Published at: AIAA Space 2008 Conference & Exposition
04/09/08
Jeremy Frank
Published at: AIAA Space 2008 Conference & Exposition
04/09/08
Local Search for Optimal Global Map Generation Using Mid-Decadal Landsat Images
Robert Morris, John Gasch, Lina Khatib, Steven Covington
Published at: 20th IAAI Conference on Artificial Intelligence
04/09/08
Robert Morris, John Gasch, Lina Khatib, Steven Covington
Published at: 20th IAAI Conference on Artificial Intelligence
04/09/08
Learning to Improve Earth Observation Flight Planning
Robert Morris, Nikunj Oza, Leslie Keely, Elif Kurklu, Anthony Strawa
Published at: 20th IAAI Conference on Artificial Intelligence
04/09/08
Robert Morris, Nikunj Oza, Leslie Keely, Elif Kurklu, Anthony Strawa
Published at: 20th IAAI Conference on Artificial Intelligence
04/09/08
A Tactic Language for Hiproofs
David Aspinall, Ewen Denney, Christoph Lueth
Published at: 7th Intern. Conference on Mathematical Knowledge Management
04/09/08
David Aspinall, Ewen Denney, Christoph Lueth
Published at: 7th Intern. Conference on Mathematical Knowledge Management
04/09/08
Constructing a Safety Case for Automaticall Generated Code from Formal Program Verification Information
Nurlida Basir, Ewen Denney, Bernd Fischer
Published at: 27th Intern. Conference on Computer Safety, Reliability and Security
04/09/08
Nurlida Basir, Ewen Denney, Bernd Fischer
Published at: 27th Intern. Conference on Computer Safety, Reliability and Security
04/09/08
Explaining Verification Conditions
Ewen Denney, Bernd Fischer
Published at: 12th Intern. Conference on Algebraic Methodology and Software Technology
04/09/08
Ewen Denney, Bernd Fischer
Published at: 12th Intern. Conference on Algebraic Methodology and Software Technology
04/09/08
Diagnosing Faults in electrical Power Systems of Spacecraft and Aircraft
Ole Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Scott Poll, Serdar Uckun
Published at: 20th IAAI Conference on Artificial Intelligence
04/09/08
Ole Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Scott Poll, Serdar Uckun
Published at: 20th IAAI Conference on Artificial Intelligence
04/09/08
OperA and Brahms: a symphony? Integrating Organizational & emergent Views on Agent-Based Modeling
Bart-Jan van Putten, Virginia Dignum, Maarten Sierhuis, Shawn Wolfe
Published at: The 9th International Workshop on Agent Oriented Software Engineering (AOSE-08) at AAMAS 20008
04/09/08
Bart-Jan van Putten, Virginia Dignum, Maarten Sierhuis, Shawn Wolfe
Published at: The 9th International Workshop on Agent Oriented Software Engineering (AOSE-08) at AAMAS 20008
04/09/08
DataMining Apoplications for Space Mission Operations System Health Monitoring
David Iverson
Published at: SpaceOps 2008
03/28/08
David Iverson
Published at: SpaceOps 2008
03/28/08
Model-Based Diagnostics for Wire Health Management
Kevin Wheeler, Stefan Schuet, Jules Friederich, Dogan Timucin, Xander Twombly, Phil Wysocki
Published at: Aging Aircraft 2008, NASA/DoD/FAA
03/27/08
Kevin Wheeler, Stefan Schuet, Jules Friederich, Dogan Timucin, Xander Twombly, Phil Wysocki
Published at: Aging Aircraft 2008, NASA/DoD/FAA
03/27/08
Verification & Validation of Adaptive Systems: Course Presentation
Johann Schumann
Published at: Lecture Series "Discrete Mathmatics and Logic" UNESCO
03/27/08
Johann Schumann
Published at: Lecture Series "Discrete Mathmatics and Logic" UNESCO
03/27/08
Planetary Drilling Automation Blind Tests
Brian Glass, Scott Christa, S. Hanagud, S Statham, S. Mukherjee, L. Shirashi, J. Paulsen, J Cohen
Published at: 39th Lunary & Planetary Sciences
03/14/08
Brian Glass, Scott Christa, S. Hanagud, S Statham, S. Mukherjee, L. Shirashi, J. Paulsen, J Cohen
Published at: 39th Lunary & Planetary Sciences
03/14/08
Modeling-Error-Driven Performance-Seeking Direct Adaptive Control
Nilesh Kulkarni, John Kaneshige, Kalmanje Krishnakumar, John Burken
Published at: AIAA Guidance Navigation and Control Conference
03/06/08
Nilesh Kulkarni, John Kaneshige, Kalmanje Krishnakumar, John Burken
Published at: AIAA Guidance Navigation and Control Conference
03/06/08
Macroscopic Models of Clique Tree Growth for Bayesian Networks
Ole Mengshoel
Published at: AAAI 2007
03/06/08
Ole Mengshoel
Published at: AAAI 2007
03/06/08
Combining Unit-level Symbolic Execution and System-level Concrete Execution for Testing NASA Software
Corina Pasareanu, Peter Mehlitz, David Bushnell, Karen Gundy-Burlet, Michael Lowry, Suzette Person, Mark Pape
03/04/08
Corina Pasareanu, Peter Mehlitz, David Bushnell, Karen Gundy-Burlet, Michael Lowry, Suzette Person, Mark Pape
03/04/08
Situated Information Search & Access for Space Station & Shuttle Mission Operations Personnel
Richard Keller
Published at: ISAIRAS 2008
03/04/08
Richard Keller
Published at: ISAIRAS 2008
03/04/08
Parametric Analysis of Antares Re-Entry Guidance Algorithms Using Advanced Test Generation and Data Analysis
Karen Gundy-Burlet, Johann Schumann, Tim Menzies, Tony Barrett
Published at: ISAIRAS 2008
02/14/08
Karen Gundy-Burlet, Johann Schumann, Tim Menzies, Tony Barrett
Published at: ISAIRAS 2008
02/14/08
A Risk-Informed Decision Making Methodology for Evaluatin Failure Impact of Early System Designs
Tolga Kurtoglu, Irem Tumer
Published at: ASME International Design Engineering Technical Conf & Computers & Info in Engineering Conference
02/14/08
Tolga Kurtoglu, Irem Tumer
Published at: ASME International Design Engineering Technical Conf & Computers & Info in Engineering Conference
02/14/08
A Comparison of Three Data-Driven Algorithms for Prognostics
Kai Goebel, Bashar Saha, Abhinav Saxena
Published at: MFPT 62/Society for Machinery Failure Prevention Technology
02/14/08
Kai Goebel, Bashar Saha, Abhinav Saxena
Published at: MFPT 62/Society for Machinery Failure Prevention Technology
02/14/08
Program Model Checking: A Practioner's Guide
Masoud Mansouri-Samani, Peter Mehlitz, Corina Pasareau, John Penix, Guillaume Brat, Lawrence Markosian, Owen O'Malley, Thomas Pressburger, Willem Visser
Published at: Document For Public Web Site
02/13/08
Masoud Mansouri-Samani, Peter Mehlitz, Corina Pasareau, John Penix, Guillaume Brat, Lawrence Markosian, Owen O'Malley, Thomas Pressburger, Willem Visser
Published at: Document For Public Web Site
02/13/08
Portfolios in Stochastic Local Search: Efficiently Computing Most Probable Explanations in Bayesian Networks
Ole Mengshoel, Dan Roth, David Wilkins
Published at: Journal Article: Artificail Intelligence Magazine
02/13/08
Ole Mengshoel, Dan Roth, David Wilkins
Published at: Journal Article: Artificail Intelligence Magazine
02/13/08
Integrated Flight Dynamic Modeling of Flexible Aircraft with Inertial Force-Propulsion-Aeroelastic Coupling
Nhan Nguyen
Published at: 2008 AIA Aerospace Sciences Meeting
01/24/08
Nhan Nguyen
Published at: 2008 AIA Aerospace Sciences Meeting
01/24/08
Diagnosing Faults in electrical Power Systems of Spacecraft and Aircraft
Ole Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Ann Patterson-Hine, Scott Poll, Serdar Uckun
Published at: 20th IAAI Conference on Artificial Intelligence
01/24/08
Ole Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Ann Patterson-Hine, Scott Poll, Serdar Uckun
Published at: 20th IAAI Conference on Artificial Intelligence
01/24/08
A Multiagent Simulation of Collaborative Air Traffic Flow Management
Shawn Wolfe, Peter Jarvis, Francis Enomoto, Maarten Sierhuis, Bart-Jan van Putten
Published at: Book: Chapter of Multi-Agent Systems for Traffic and Transportation, IGI Global
01/17/08
Shawn Wolfe, Peter Jarvis, Francis Enomoto, Maarten Sierhuis, Bart-Jan van Putten
Published at: Book: Chapter of Multi-Agent Systems for Traffic and Transportation, IGI Global
01/17/08
Costs and Benefits of Model-based Diagnostics
James Kurien, Maria Dolores R-Moreno
Published at: IEEE Aerospace Conference
01/17/08
James Kurien, Maria Dolores R-Moreno
Published at: IEEE Aerospace Conference
01/17/08
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code
Nurlida Basir, Ewen Denney, Bernd Fischer
Published at: SafeCert 2008, International Workshop on the Certification of Safety-Critical Software Controlled Systems
01/17/08
Nurlida Basir, Ewen Denney, Bernd Fischer
Published at: SafeCert 2008, International Workshop on the Certification of Safety-Critical Software Controlled Systems
01/17/08
Adaptive Control for ESTOL Abstractions -- Performance Analysis
Diana Acosta, Kalmanje Krishnakumar, John Kaneshige
Published at: 2008 AIA Aerospace Sciences Meeting
01/17/08
Diana Acosta, Kalmanje Krishnakumar, John Kaneshige
Published at: 2008 AIA Aerospace Sciences Meeting
01/17/08
Advanced Diagnostic and Prognostic Testbed (ADAPT) Testability Analysis Report
John Ossenfort
Published at: Technical Memorandum
01/17/08
John Ossenfort
Published at: Technical Memorandum
01/17/08
Uncertainty Management for Diagnostics and Prognostics of Batteries using Bayesian Techniques
Bhaskar Saha, Kai Goebel
Published at: IEEE Aerospace Conference
01/17/08
Bhaskar Saha, Kai Goebel
Published at: IEEE Aerospace Conference
01/17/08
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