NASA Logo, National Aeronautics and Space Administration

Publications recently listed (1172 of 1172)

Deriving Safety Cases from Automatically Constructed Proofs
Nurlida Basir, Ewen Denny, Bernd Fischer
08/19/09
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software
Ewen Denney, Bernd Fischer
Published at: IEEE/ACM International Conference on Automated
07/28/09
Generating Code Review Documentation for Auto-Generated Mission-Critical Software
Ewen Denney
Published at: Third IEEE International Conference on Space Mission Challenges for Information Technology
07/07/09
Human/Automations Trade Methodology for the Moon, Mars and Beyond
David Korsmeyer
Published at: 60th IAC
04/29/09
Model Based Inference for Wire Chafe Diagnostics
Stefan Schuet, Kevin Wheeler, Dogan Timucin, Phil Wysocki, Marc Kowalski
Published at: Aging Aircraft 2009
04/27/09
Applying Model-based Deagnosis to a Rapid Propellant Loading System
Charles Goodrich, Sriram Narasimhan, Matthew Daigle, Walter Hatfield, Robert Johnson, Barbara Brown
Published at: 20th International Workshop on Principles of Diagnosis
04/21/09
Wiring Diagnostics via l1-Regularized Least Squares
Stefan Schuet
Published at: Journal Article: IEEE Sensors Journal
04/21/09
Robotics Research at NASA Ames-An Expanded View
Silvano Colombano
Published at: Erste Nationale Konferenz zur Raumfahrt-Robotik
04/21/09
Model Based Analysis and Test Generation for Flight Software
Corina Pasareanu, Johann Schumann, Peter Mehlitz, Michael Lowry, Gabor Karsai
Published at: SMC-IT Conference
04/21/09
Evaluation of Anomaly Detection Capability for Ground-Based Pre-Launch Shuttle Operations
Rodney Martin
Published at: Book Chapter: IN-TECH: Aerospace Technologies Advancements
04/20/09
The Applications of NASA Mission Technologies to the Greening of Human Impact
Michael Sims
Published at: Exploration and Sustainability Expo
04/20/09
The Role of Guidance, Navigation and Control in Hypersonic Vehicle Multidisciplinary Design and Optimization
Peter Ouzts
04/03/09
Parameter Estimation for a Hybrid Adaptive Flight Controller
Stefan Campbell, Nhan Nguyen, John Kaneshige, Kalmanje Krishnakumar
04/03/09
Robust Optimal Adaptive Control Method with Large Adaptive Gain
Nhan Nguyen
04/03/09
NASA's OCA Mirroring Systen: An Application of Multiagent Systems in Mission Control
Maarten Sierhuus, William Clancey, Ronnie VanHoof, Chin Hua Seah, Michael Scott
Published at: AAMAS 2009 Conference
03/05/09
NASA Program Flavor
Kai Goebel, Barbara Brown
Published at: PHMTech09
02/27/09
Local Search for Optimal Global Map Generation Using Mid-Decadal Landsat Images.
Robert Morris, John Gasch, Lina Khatib
Published at: JA: AI Magazine
02/26/09
Interface Generation and Compositional Verification in JavaPathfinder
Dimitra Giannakopolou, Corina Pasareanu
02/26/09
Abstraction for Efficiently Computing Most Probable Explanations in Bayesian Networks
Ole Mengshoel
Published at: IJCAI/IAAI
02/09/09
Structural Health Sensors Benchmarking for space vehicles
Vadim Smelyanskiy, Vasil Hafiychuk, Curtis Banks, Jimmy Miller
Published at: PHM conference
02/09/09
A Simple and Efficient Computational Approach to Chafed Cable Time-Domain Reflectometry Signature Prediction
Mark Kowalski
Published at: The Annual Review of Progress in Applied Computational Electromagnetics
02/05/09
A Local Scalable Distributed Expectation Maximization Algorithm for Large Peer-to-Peer Networks
Kanishka Bhaduri, Ashok Srivastava
Published at: Knowledge Discovery and Data Mining
02/05/09
A Distributed Prognostic Health Management Architecture
Bhaskar Saha
Published at: MFPT 2009
02/05/09
A Better Conversion of LTL Formulas to Symbolic Automata
Kristin Rozier, Mosche Vardi
Published at: Computer Aided Verification (CAV 2009)
02/05/09
Peer-to-Peer Planning for Space Mission Control
Javier Barreiro, Steve Schaffer, Grailing Jones
Published at: IEEE Aerospace Conference
01/29/09
Fault Diagnostics and Prognostics for Large Segmented SRM's
Dimitry Luchinsky, Vadim Smelyanskiy, Viatcheslav Osipov, Dogan Timucin
Published at: IEEE Aerospace Conference
01/26/09
Developing Large-Scale Bayesian Networks by Composition: Fault Diagnosis of Electrical Power Systems in Aircraft and Spacecraft
Ole Mengshoel, Scott Poll, Tolga Kurtoglu
Published at: IJCAI/IAAI-09
01/26/09
Sensitivity Analysis of Linear Programming and Quatratic Programming Algorithms for Control Allocation
Susan Frost, Marc Bodson, Diana Acosta
Published at: AIAA Infotech@Aerospace Conference and Exhibit
01/26/09
Modeling, Detection, and Disambiguation of Sensor Faults for Aerospace Applications
Edward Balaban, Abhinav Saxena, Prasun Bansal, Kai Goebel, Simon Curran
Published at: JA: IEEE Sensors Journal
01/15/09
Understanding the Scalability of Bayesian Network Inference using Clique Tree Growth Curves
Ole Mengshoel
Published at: JA: AI Magazine
01/14/09
Estimation of Faults in DC Electrical Power System
Dimitry Gorinevsky, Stephen Boyd, Scott Poll
Published at: American Control Conference
01/14/09
Traverse Planning for Human & Robotic Missions to Hadley Rille (report)
Michael Broxton, Matthew Deans, Terry Fong, Mark Helper, Kip Hodges, Gerald Schaber, Harrison Schmitt, Trey Smith
Published at: TM
01/14/09
A Diagnostic Approach for Electro-Mechanical Actuators in Aerospace Systems
Edward Balaban, Abhinav Saxena, Prasun Bansal, Kai Goebel, Paul Stoelting
Published at: IEEE Aerospace Conference
01/14/09
Application of Bounded Linear Stability Analysis Method for Metrics-Driven Adaptive Control
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
Prognostics for Electronics Components of Avionics Systems
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
Privacy Preservation Through Random Non-linear Data Distortion
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
Efficient Probablistic Diagnostics for Electrical Power Systems
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
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
Simulation Based Evaluation of Integrated Adaptive Control and Flight Planning Technologies
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
A Novel Mating Approach for Genetic Algorithms
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
Adaptive Flight Control for Aircraft Safety Enhancements
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
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
Evolving MEMS Resonator Designs for Fabrication
Greg Hornby, William Kraus, Jason Lohn
10/09/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
Use of Program Property Assertions for V&V of ISHM
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
Model Based Analysis and Test Generation for Flight Software
Johann Schumann
Published at: ICSE 2009
09/16/08
Prediction of Weather Related Center Delays
Deepak Kulkarni
Published at: INFORMS 2008
09/15/08
Emergency Landing Planning for Damaged Aircraft
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
Athlete's Feet: Multi-Resolution Planning for a Hexapod Robot
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
General Purpose Data-Driven System Monitoring for Space Operations
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
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
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
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
Tool Support for Parametric Analysis of Large Software Simulation Systems
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
Status Report for Planetary Spatial Analyst
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
Field Testing of Utilty Robots for Lunar Surface Operations
Terry Fong, Maria Bualat, Matthew Deans, Mark Allen, Xavier Bousyssounouse
08/08/08
Closing the Certification Gaps in Adaptive Flight Control Software
Stephen Jacklin
08/08/08
AutoBayes Program Synthesis System Users Manual
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
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
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
Using Bayesian Networks for Candidate Generation in Consistency-based Diagnosis
Sriram Narasimhan, Ole Mengshoel
08/05/08
Safe Reactive Navigation for Lunar and Planetary Robots
Hans Utz
08/01/08
Workflow Agents vs. Expert Systems: Problem solving methods in work systems design
William Clancey
08/01/08
Voyages of Discovery with the Mars Exploration Rovers
William Clancey
08/01/08
Speeding Up the Resource Envelope Computation for Activities with Linear Resource Impact
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
Automated Assume-Guarantee Reasoning by Abstraction Refinement
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
Bounded Linear Stability Margin Analysis of Nonlinear Hybrid Adaptive Control
Nhan Nguyen
06/18/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
Adaptive Key Component Control of Nonlinear Evolving Flexible Structures
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
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
Inferential Framework for Nonstationary Dynamics Part II: Application to a Model of Physiological Signaling
Vadim Smelyanskiy, Dmitry Luchinsky
06/13/08
Human/Automation Trade Methodology for the Mood, Mars and Beyond
David Korsmeyer
06/02/08
Recent Results on "Approximations to Optimal Alarm Systems for Anomaly Detection"
Rodney Martin
06/02/08
Generating Customized Verifiers for Automatically Generated Code
Ewen Denney
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
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
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
Health Management for Wire Insulator Integrity
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
Automation for Spacecraft Operations: Needs, Risks & Options
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
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
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
Game-Theoretic Management of Interacting Adaptive Systems
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
Physical Limits of Inference
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
Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle
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
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
Intelligent Systems for Advanced Mission Operations
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
The Crowding Approach to Niching In Genetic Algorithms
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
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
Some Properties of Multilayerd Patterns (of information): Insights From Medieval Architecture
Asaf Degani
Published at: Diagram 2008
04/09/08
Automation for Operations
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
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
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
A Tactic Language for Hiproofs
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
Explaining Verification Conditions
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
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
DataMining Apoplications for Space Mission Operations System Health Monitoring
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
Verification & Validation of Adaptive Systems: Course Presentation
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
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
Macroscopic Models of Clique Tree Growth for Bayesian Networks
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
Situated Information Search & Access for Space Station & Shuttle Mission Operations Personnel
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
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
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
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
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
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
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
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
Costs and Benefits of Model-based Diagnostics
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
Adaptive Control for ESTOL Abstractions -- Performance Analysis
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
Uncertainty Management for Diagnostics and Prognostics of Batteries using Bayesian Techniques
Bhaskar Saha, Kai Goebel
Published at: IEEE Aerospace Conference
01/17/08
Service-Oriented Architecture Supporting a Lunar Analog Field Test
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
What is Next in Autonomous Control Techniques?
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
The ANML Language
David Smith, William Cushing
Published at: iSAIRIS 2008
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
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
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
Ensemble Data Mning Methods
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
Managing Unstructured Data with Structured Legacy Systems
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
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
Working with a Rover on Mars [short version title: Mars Exploration Rover(MER)]
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
Software Development Infrastructure for Small Spacecraft
Howard Cannon, Craig Pires
Published at: Flight Software Workshop 2007, JHU/APL
11/29/07
It Can Be Smart To Be Dumb
David Wolpert, Michael Harre
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
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
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
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
Trust Your Model - UML Verification with Java Pathfinder
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
IVHM Technical Accomplishments
Ashok Srivastava, Phil Neudeck, Ole Mengshoel
Published at: 12 Month Review
11/15/07
Overview of Hypersonic Project: GNC
Don Soloway
Published at: Fundamental Aero
11/08/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
Human-Robotic Systems for Lunar Surface Operations
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
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
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
Improving the Scalability of Generative Represnetations
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
Symbolic Execution and Model Checking for Testing
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
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
System Health Monitoring for Space Mission Operations
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
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
Learning to Divide & Conquer (temp title)
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
A Survey of Artificial Intelligence for Prognostice
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
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
Probabilistic Temporal Planning
Mausam, David Smith, Sylvie Thiebaux
Published at: ICAPS
09/12/07
HyDE Model of ADAPT
Adam Sweet
Published at: Abstract~Software model/data
09/11/07
Data Mining @ NASA
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
MDRS49 Power Agents Video
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
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
Deicsion Support Systems for Launch and Range Operations Using JESS
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
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
Active and Passive Constraint Enforcement for Activity Planning
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
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
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
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
Estimating Remaining Useful Life using Data-driven Techniques
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
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
Predicting the Outcome of a Game
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
Advances in Distributed Optimization Using Probability Collectives
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
Using Self-dissimilarity to Quanitfy Complexity
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
Making Predictions at the Edge of Chaos
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
Measuring Complexity by Measuring Structure and Organization
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
Experiences in the Static Analysis of Embedded Software
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
Software Verification for Space Applications Part II: Autonomous Systems
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
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
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
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
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
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
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
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
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
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
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
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
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
Results of the First Survey of Practitioners of Evolutionary Computation
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
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
Evaluating UAS Autonomy Operations Software in Simulation
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
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
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
Pitfalls of JESS for Dynamic Systems
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
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
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
Approximations of Optimal Alarm Systems For Anomaly Detection
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
The MCP Model Checker
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
Content Based Image Matching for Planetary Science
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
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
Communications for Integrated Modular Avionics
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
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
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
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
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
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
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
Unsupervised Anomaly Detection and Diagnosis for Liquid Rocket Engine Propulsion
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
Exploring the Robustness of Risk Reduction Strategies
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
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
Predicate Abstraction with Under-Approximation Refinement
Corina Pasareanu, Radek Pelanek, Willem Visser
Published at: Logical Methods in Computer Science - Journal
02/07/07
Artificial Immune System Based Approach for Air Combat Maneuvering
John Kaneshige, Kalmanje Krishnakumar
Published at: Intl Society for Optical Engineering (SPIE) Defense and Security Symposium
12/19/06
Classification of Damage Signatures in Composite Plates using One-Class SVMs
Santanu Das, Ashok Srivastava, Aditi Chattopadhyay
Published at: IEEE Aerospace Conference 2007
12/19/06
Searching Across the Internaional Space Station Database
David Maluf
12/19/06
NASA World Wind: Opensource GIS for Mission Operations
David Bell, Frank Kuehnel, Chris Maxwell, Randy Kim, Kushyar Kasraie, Tom Gaskins, Patrick Hogan, Joe Coughlan
Published at: IEEE Aerospace Conference 2007
12/18/06
Earned Value Management at NASA: An Integrated, Lightweight Solution
Peter Putz, David Maluf, David Bell
Published at: IEEE Aerospace Conference 2007
12/18/06
SemanticOrganizer: A Semantically Structured Information Repository for Distributed NASA Project Teams
Richard Keller
12/18/06
Exploring the Robustness of Risk Reduction Strategies
Julian Richardson, Daniel Port, Martin Feather
Published at: 17th IEEE Intl Symposium on Software Reliability Engineering (ISSRE 2006)
11/17/06
Recent Advances in Mining Aviation Safety Data
Ashok Srivastava
Published at: Aeronautics Seminar Series
11/14/06
Geospatial Information Integration for Science Activity Plaanning at the Mars Desert Research Station
Daniel Berrios, Maarten Sierhuis, Richard Keller
Published at: Book
11/14/06
Supporting Air Traffic Flow Management with Agents
Shawn Wolfe
Published at: AIAA Infotech @ Aerospace 2007
11/14/06
Wordplay: An Examination of Semantic Approaches to Classify Safety Reports
Shawn Wolfe
Published at: Abstract
11/14/06
Power System Agents: The Mobile Agents 2006 Field Test at MDRS
William J Clancey, Maarten Sierhuis, Richard Alena, John Dowding, Michael Scott, Hoof, Ronnie Va
Published at: Mars Society Annual Convention
11/14/06
Tracking Collaborative Decision Making by Capturing Asset Deployment Rationale
Daniel Berrios, Trevor Hodges, Richard Keller
Published at: AIAA Infotech @ Aerospace 2007
11/14/06
Robustness of Model-Based Risk Reduction Strategies
Julian Richardson, Daniel Port, Martin Feather
Published at: 17th IEEE International Symp on SW Reliability
11/07/06
Planning Applications for Three Mars Missions with Ensemble
Arash Aghevli, Andrew Bachmann, John Bresina, Kevin Greene, Bob Kanefsky, James Kurien, Michael McCurdy, Paul Morris, Guy Pyrzak, Christian Ratterman, Alonso Vera, Steven Wragg
Published at: Intl Workshop on Planning & Scheduling for Space
09/11/06
Optimal Control of One-Dimensional Model of Stator Flow Using Air Injection
Nhan Nguyen, Bright Michelle, Culley Dennis
Published at: AIAA/ASME/SAE/ASEE Joint Propulsion Conference
09/11/06
Intelligent Rover Execution for the Detection of Life in the Atacama Desert
Vijayakumar Baskaran, Nicola Muscettola, David Rijsman, Chris Plaunt, Chuck Fry
Published at: AAAI 2006 Fall Symposium on Spacecraft Autonomy
09/11/06
Advanced Technologies for Future Spacecraft Cockpits and Space-Based Control Centers
Carlos Garcia-Galan, Serdar Uckun, William Gregory, Kerry Williams
Published at: International Aerospace Conference
09/11/06
Universal Executive & Plexil: Engine & Language for Robust Spacecraft Control & Operations
Vandi Verma, Ari Jonsson, Corina Pasareanu, Michael Iatauro
Published at: AIAA Space 2006
09/11/06
Human-Robot Site Survey and Sampling for Space Exploration
Terrence Fong, Maria Bualat, Larry Edwards, Lorenzo Flueckiger, Clayton Kunz, Susan Lee, Eric Park, Vinh To, Hans Utz, Nir Ackner, Nicholas Armstrong-Crews, Joseph Gannon
Published at: AIAA Space 2006
09/11/06
Automated Antenna Design with Evolutionary Algorithms
Al Globus, Greg Hornby, Derek Linden, Jason Lohn
Published at: AIAA Space 2006
09/11/06
Model-Unified Planning and Execution for Distributed Autonomous System Control
Pascal Aschwanden, Vijay Baskaran, Sara Bernardini, Chuck Fry, Maria Moreno, Nicola Muscettola, Christian Plaunt, David Rijsman, Paul Tompkins
Published at: AAAI Fall Symposium 2006
09/11/06
If You've Got it, Use it
Chad Frost, George Tucker
Published at: AIAA Atmospheric Flight Mechanics
08/28/06
Model Predictive Optimal Control of a Time-Delay Distributed-Parameter System
Nhan Nguyen
Published at: AIAA Guidance, Navigation and Control Conference
08/18/06
Singular-Arc Time-Optimal Trajectory of Aircraft in Two-Dimensional Wind Field
Nhan Nguyen
Published at: AIAA Guidance, Navigation and Control Conference
08/18/06
Dynamics and Adaptive Control for Stability Recovery of Damaged Aircraft
Nhan Nguyen, Kalmanje Krishnakumar, John Kaneshige, Pascal Nescpeca
Published at: AIAA Guidance, Navigation and Control Conference
08/18/06
LISA Framework for Enhancing Gravitational Wave Signal Extraction Techniques
David Thompson, Rajkumar Thirumalainambi
Published at: LISA Science Analysis
08/18/06
Are you talking to me? Dialogue Systems Supporting Mixed Teams of Humans and Robots
John Dowding, William Clancey, Jeffrey Graham
Published at: AAAI Fall Symposium
08/18/06
DAME: Planetary-Prototype Drilling Automation
Brian Glass, Howard Cannon, S. Hanagud, K. Davis
Published at: AIAA Space '06
08/09/06
Executive Modular Control of Heterogeneous Spacecraft Components and Agents
Brian Glass, Howard Cannon, Scott Christa, Sarah Huffman, Jerome Johnson
Published at: 57th IAC, 2006
08/09/06
Continuous Adjoint-based Optimization of Hyperbolic Equations with Nonlinear Diffferential Equation Constraints on Periodic Boundary Conditions
Nhan Nguyen
Published at: 7th World Conference on Computational Mechanics
08/09/06
Diagnostic Technology Evaluation for On-Board Crew Launch Vehicle
Sandra Hayden, Nikunj Oza, Robert Mah, Ryan Mackey, Sriram Narasimhan, Gabor Karsai, Scott Poll, Somnath Deb, Mark Shirley
08/02/06
Mission Operations Planning with Preferences: An Empirical Study
John Bresina, Lina Khatib, Conor McGann
Published at: Fifth International Wkshp on Planning & Scheduling for Space
06/30/06
ESAS Deliverable PS 1.1.2.3 Customer Survey on Code Generators in Safety-Critical Applications
Ewen Denney, Johann Schumann
Published at: Survey Report to Boeing
06/30/06
Clustering & Recurring Anomaly Identification: Recurring Anomaly Detection System (ReADS)
Dawn McIntosh
Published at: Data Mining Applications in Aeronautics & Space Exploration Workshop, sponsored by the NASA Engineering Safety Center
06/30/06
Semantic Integration of Heterogeneous NASA Mission Data Sources
Richard Keller, Daniel Berrios, Shawn Wolfe, David Hall, Ian Sturken
Published at: American Association for Artificial Intelligence Fall Symposium on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa 2006)
06/30/06
A Modular Robotic System with Applications to Space Exploration
Matthew Hancher, Gregory Hornby
Published at: Space Mission Challenges for Information Technology
06/28/06
Shortcomings with Using Edge Encodings to Represent Graph Structures
Gregory Hornby
Published at: Genetic Programming and Evolvable Machines/Springer
06/28/06
The Future of AI in Space
Steve Chien, Richard Doyle, Ari Jonsson, Ashley Davies, Ralph Lorenz
Published at: IEEE Intelligent Systems
06/28/06
Clear Speaking About Machines: People are Exploring Mars, Not Robots
William Clancey
Published at: Implications of HRI (AAAI Workshop)
06/28/06
Prototype Software for Future Spaceflight Tested at MDRS
William Clancey, Maarten Sierhuis, Rick Alena, John Dowding, Brent Garry, Mike Scott, Paul Tompkins, Hoof, Ron va, Vandi Verma
Published at: Mars Society
06/28/06
A Software Safety Certification Plug-in for Automated Code Generators (Executive Briefing)
Ewen Denney, Johann Schumann
Published at: Software Assurance Symposium
06/28/06
Design Teams, Complex Systems and Uncertainty
Francesca Barrientos
Published at: Artificial Intelligence for Engineering Design, Analysis and Manufacturing
06/13/06
QUICR-learning for Multi-Agent Coordination
Adrian Agogino, Tumer Kagan
Published at: 21st Natl Conference on Artificial Intelligence
06/13/06
Mixed-initiative Planning in Space Mission Operations
John Bresina, Paul Morris
Published at: Special issue of AI magazine, published by AAAI
06/13/06
Interior Pointwise Feedback Control and Optimization of Euler Equations for Flow Separation in Stator Cascades by Air Injection
Nhan Nguyen, Michelle Bright, Dennis Culley
Published at: AIAA Flow Control Conference
06/09/06
A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code
Ewen Denney, Bernd Fischer
Published at: Generative Programming and Component Engineering (GPGE '06)
06/09/06
Mission Control Technologies: A New Way of Designing and Evolving Mission Systems
Jay Trimble, Joan Walton
Published at: AIAA SpaceOps 06
06/01/06
Transport in Molecular Junctions with Different Metallic Contacts
John Lawson
Published at: Physical Review B
05/25/06
Software Architecture for Planetary & Lunar Robotics
Hans Utz, Terry Fong, Issa Nesnas
Published at: Ulm University, Fraunhofer-Bonn
05/24/06
Evolutionary Based Techniques for Fault Tolerant Field Programmable Gate Arrays
Gregory Larchev, Jason Lohn
Published at: Space Mission Challenges for Information Technology
05/05/06
A Structural Characterization of Temporal Dynamic Controllability
Paul Morris
Published at: 12th Intl Conference on Principles & Practices of Constraint Programming
05/05/06
Case Study: Test Results of a Tool and Method for In-Flight, Adaptive Control System Verification on a NASA F-15 Flight Research Aircraft
Stephen Jacklin, Johann Schumann, Kurt Guenther, John Bosworth
Published at: 7th World Congress on Computational Mechanics
05/03/06
Agent Reward Shaping for Alleviating Traffic Congestion
Kagan Tumer, Adrian Agogino
05/03/06
Drilling Automation Tests at a Lunar/Mars Analog Site
Brian Glass, Howard Cannon, S. Hanagud, Pascal Lee, G Paulsen
Published at: 37th Lunar & Planetary Sciences Conference
05/03/06
Drilling Automation Demonstrations in Subsurface Exploration for Astrobiology
Brian Glass, Howard Cannon, S. Hanagud, Pascal Lee, K. Davis
Published at: Astrobiology Science Conference
05/03/06
A Predictive Theory of Games
David Wolpert
Published at: Games and Economic Behavior/Elsevier
05/03/06
Component-Based Tool for Mission Operations Software Deployment
A. E. Lindsey
05/03/06
Preliminary Study of Peer-to-Peer Human-Robot Interaction
Terry Fong, Jean Scholtz, Julie Shah, Lorenzo Flueckiger, Clayton Kunz, David Lees, John Schreiner, Michael Siegel, Laura Hiatt, Illah Nourbakhsh, Reid Simmons, Robert Ambrose, Robert Burridge, Brian Antonishek, Magda Bugajska, Alan Schultz, J. Gregory Trafton
Published at: Systems, Man, and Cybernetics/IEEE
04/26/06
Using Correlation to Compute Better Probabiilty Estimates in Plan Graphs
Daniel Bryce, David Smith
Published at: Intl Conference on Automated Planning & Scheduling
04/26/06
Adaptive Inner-Loop Rover Control
Nilesh Kulkarni, Corey Ippolito, Kalmanje Krishnakumar, Khalid Al-Ali
Published at: SMC-IT
04/26/06
Data Mining, SIAM Presentation
Ashok Srivastava, Dawn McIntosh
Published at: JANNAF MSS/LPS/S&MBS Subcommittees
04/17/06
Data Mining for ISHM of Liquid Rocket Propulsion Status Update
Ashok Srivastava
Published at: Rocket Propulsion Health Management Sensor Wkshp
04/17/06
High-Strength, High-Performance Turbine Design fo rHigh-Power Ddensity Applications
Bogdan Marcu, Man Mohan Rai
04/11/06
To the North Coast of Devon: Collaborative Navigation While Exploring Unfamiliar Terrain
William J Clancey, Pascal Lee, Charles Cockell, Stephen Braham, Michael Shafto
Published at: Book Chapter
04/03/06
Plan Execution Interchange Language (PLEXIL)
Ari Jonsson, Tara Estlin, Corina Pasareanu, Reid Simmons, Kam Tso, Vandi Verma
Published at: NASA TM
04/03/06
Explaining Verification Conditions
Ewen Denney, Bernd Fischer
Published at: Formal Methods 2006
04/03/06
Generative Representations for Computer-Automated Evolutionary Design
Gregory Hornby
Published at: ERCOFTAL Design Optimisation: Methods & Applications
04/03/06
Annotation Inference for the Safety Certification of Automatically Generated Code
Ewen Denney, Bernd Fischer
04/03/06
Software Engineering Research/Developer Collaborations in 2005
Tom Pressburger
Published at: sarpresults.ivv.nasa.gov
04/03/06
Characterizing Seasonality and Multi-Resolution Predictions of Virtual Sensors for Remote Sensing Applications
Ashok Srivastava, Rama Nemani
Published at: 2nd NASA Data Mining Workshop
02/23/06
Distributed Evaluation Functions for Fault Tolerant Multi-Rover Systems
Adrian Agogino, Kagan Tumer
Published at: Genetic and Evolutionary Comp Conf
02/09/06
Efficient Agent-Based Cluster Ensembles
Adrian Agogino, Kagan Tumer
Published at: 5th Int'l Joint Conf on Autonomous Systems
02/09/06
Efficient Agent-Based Models for Non-Genomic Evolution
Nachi Gupta, Adrian Agogino, Kagan Tumer
Published at: 5th Int'l Joint Conf on Autonomous Systems
02/09/06
Integrated Health Management (ISHM) Technology Demonstration Project Final Report
Greg Pisanich, Ryan Mackey, David Iverson, David Lawrence
Published at: Tech Brief
02/09/06
Engineering Degrees of Agency
Steven Fonseca
Published at: Int'l Conf on SW Engineering
02/08/06
ALPS: The Age-Layered Population Structure for Reducing the Problem of Premature Convergence
Gregory Hornby
Published at: Genetic & Evol Computation Conf
02/02/06
Automated Antenna Design with Evolutionary Algorithms
Al Globus, Greg Hornby, Derek Linden, Jason Lohn, Kalmanje Krishnakumar
02/01/06
Evolutionary Design of a Phased Array Antenna Element
Al Globus, Derek Linden, Jason Lohn
Published at: IEEE AP-S International
02/01/06
ISHM Decision Analysis Tool: Operations Concept
Lilly Spirkovska
Published at: NASA Tech Memorandum
02/01/06
Towards A Compositional Spin
Corina Pasareanu, Dimitra Giannakopoulou
02/01/06
Automatic Certification of Kalman Filters for Reliable Code Generation
Ewen Denney, Bernd Fischer, Johann Schumann, Julian Richardson
Published at: IEEE Aerospace
02/01/06
Symbolic Execution with Abstract Subsumption Checking
Saswat Anand, Corina Pasareanu, Willem Visser
Published at: 13th Int. Spin Workshop on Model Checking
02/01/06
Flexible Rover Architecture for Science Instrumentation and Testing
Maria Bualat, Linda Kobayashi, Susan Lee, Eric Park
Published at: AIAA Space 2006
02/01/06
Designing Compact and Robust Rocket Engine Components for Sustainable Space Exploration
Man Mohan Rai
Published at: 11th AIAA MultiD9isc Analysis and Optimization
01/24/06
Towards Robust Designs via Multiple-Objective Optimization Methods
Man Mohan Rai
Published at: VKI Lecture
01/24/06
Single- and Multiple-Objective Optimiztion with Differential Evolution and Neural Networks
Man Mohan Rai
Published at: VKI Lecture
01/24/06
The NASA Program Management Tool: A New Vision in Business Intelligence
Peter Putz, David Maluf, David Bell, Yuri Gawdiak, Keith Swanson
Published at: IEEE Aerospace Conf
01/23/06
Designing Compact and Robust Rocket Engine Components for Sustainable Space Exploration
Man Mohan Rai
Published at: AIAA/ISSMO
01/17/06
Formal Approaches to Ensuring the Safety of space Software
Ewen Denney, Bernd Fischer
Published at: Brazilian Sym on Formal M
12/30/05
Cognitive Fatigue Data
Leonard Trejo
Published at: Raw Data
12/30/05
Verification of Autonomous Systems for Space Applications
Guillaume Brat, Ewen Denney, Dimitra Giannakopoulou, Ari Jonsson
Published at: IEEE Aerospace
12/30/05
A Robust Compositional Architecture for Autonomous Systems
Guillaume Brat, Ewen Denney, Kimberley Farrell, Dimitra Giannakopoulou, Ari Jonsson, Jeremy Frank, Mark Boddy, Todd Carpenter, Tara Estlin
Published at: IEEE Aerospace
12/30/05
Novel Methods for Predicting Photometric Redshifts from Broad Band Photometry using Virtual Sensors
Michael Way, Ashok Srivatava
Published at: Astrophysical Journal
12/28/05
Performance Estimation of a Neural Networks Based Controller
Johann Schumann, Yan Liu
Published at: Symposium on Neural Networks
12/28/05
Discovering Atypical Flights in Sequences of Discrete Flight Parameters
Suratna Budalakoti, Ashok Srivastava, Ram Akella
Published at: IEEE Aerospace Conf
12/27/05
Accurate Biomass Estimation via Bayesian Adaptive Sampling
Kevin Wheeler, Kevin Knuth, Joseph Castle, Nikolay Lvov
Published at: AGU
12/27/05
Gesture Based Control and EMG Decomposition
Kevin Wheeler, Mindy Chang, Kevin Knuth
Published at: IEEE Tran on Systems, Man & Cybernetics
12/27/05
Collaborative Decision Systems Project Summary of Technology Developments in Human Robotics Interaction
Liam Pedersen, Robert Brummett
Published at: SMC-IT
12/27/05
The Human-Robot Interaction Operating System
Terrence Fong, Clay Kunz, Laura Hiatt, Magda Bugajska
Published at: ACM Human-robot Interaction
12/27/05
Common Metrics for Human-Robot Interaction
Aaron Steinfeld, Terrence Fong, David Kaber, Michael Lewis, Jean Scholtz, Alan Schultz, Michael Goodrich
Published at: ACM Human-robot Interaction
12/27/05
EEG-Based Estimation of Mental Fatigue
Leonard Trejo, Rebekah Kochavi, Karla Kubitz, Leslie Montgomery, Roman Rosipal, Bryan Matthews
Published at: Psychophysiology (Blackwell Publishing)
12/27/05
Comparison of Event Detection Methods for Centralized Sensor Networks
Julien Sauvageon, Alice Agogino, Ali Farhang-Mehr, Irem Tumer
Published at: IEEE Sensors Application Symposium
12/27/05
Multimodal Platform Control for Robotic Planetary Exploration Missions
Charles Jorgensen, Bradley Betts
Published at: Space Mission Challenges for IT 2006 (SMC-IT)
12/27/05
Language, Space, Time: Anthropological Tools and Scientific Exploration on Mars
Roxana Wales
Published at: American Anthropological
12/15/05
Stochastic Over-Subscription Planning Using Hierarchies of MDPs
Nicolas Meuleau, Ronen Brafman, Emmanuel Benazera
Published at: ICAPS 06
12/15/05
Planning to Remember Innovation & Inheritance in the Design of a Moon/Mars Spacecraft
Charlotte Linde
Published at: American Anthropological
11/22/05
Anomaly Detection in Aircraft Flight Data: A Sequence Analysis Approach Anomaly Detection in Large Sets of High-Dimensional Symbol Sequences
Suratna Budalakoti, Ashok Srivastava, Ram Akella, Eugene Turkov
Published at: 2006 SIAM International
11/10/05
Photo-realistic Terrain Modeling and Visualization for Mars Exploration Rover Science Operations
Laurence Edwards, Judd Bowman, Clayton Kunz, David Lees, Michael Sims
Published at: IEEE
11/10/05
A Review of Diagnostic Techniques for ISHM Applications
Ann Patterson-Hine, Gordon Aaseng, Gautam Biswas, Sriram Narasimhan, Krishna pattipati
Published at: ISHEM Forum 2005
11/10/05
Software Certification and Software Certifcate Management Systems
Ewen Denney, Bernd Fischer
Published at: Software Certificate Mgmt
11/10/05
Planning to Explore: Using a Coordinated Multisource Infrastructure to Overcome Present and Future Space Flight Planning Challenges
Edward Balaban, Michael Orosz, Tatiana Kichkaylo, Andre Goforth, Adam Sweet, Robert Neches
Published at: AAAI 2006 Spring Symp
11/10/05
Modeling and Classifying Six-Dimensional Trajectories for Teleoperation under a Time Delay
Vytas SunSpiral, Kevin Wheeler, Rodney Martin, Mark Allan
Published at: AAAI Spring Symposium
11/10/05
Infusing Software Assurance Research Techniques into Use
Thomas Pressburger, Ben DiVito, Martin Feather, Michael Hinckey, Lawrence Markosian, Luis Trevino
Published at: IEEE Aerospace Conf
11/10/05
Software Architecture of Sensor Data Distribution in Planetary Exploration
Charles Lee, Richard Alena, John Ossenfort, Ed Walker, Thom Stone, Hugo Notaro
Published at: IEEE Aerospace Conf
11/10/05
Trying Not to Build the Same Old Spacecraft: Structural and Political Issues in Design
Charlotte Linde
Published at: Society for the Social Study
10/23/05
Review: Shouldering Risks: The Culture of Control in the Nuclear Power Industry
Charlotte Linde
Published at: Technology & Culture
10/23/05
Seeing the Invisible: Embedding Tests in Code That Cannot be Modified
Owen O'Malley, Masoud Mansouri-Samani, John Penix
Published at: AIAA Infotech @ Aerospace
10/08/05
Efficient Evaluation Functions for Evolving Coordination
Adrian Agogino, Kagan Tumer
Published at: IEEE Transactions Journal
10/08/05
Evolving Multi Rover Systems in Dynamic and Noisy Environments
Kagan Tumer, Adrian Agogino
Published at: Springer Book
10/08/05
Test Input Generation for Red-Black Trees Using Abstraction
Willem Visser, Corina Pasareanu, Radek Pelanek
Published at: ASE Conference
10/08/05
Expecting the Unexpected - Radiation Hardware Software
Peter Mehlitz, John Penix
Published at: AIAA Infotech @ Aerospace
09/30/05
Improving Situational Awareness for First Responders via Mobile Computing
Bradley J Betts, Robert Mah, Richard Papasin, Mundo, Rommel De, Dawn McIntosh, Chuck Jorgensen
Published at: EuroSys 2006 ACM
09/30/05
Aircraft Fault Detection and Classification Using Multi-Level Immune Learning Detection
Derek Wong, Scott Poll, Kalmanje Krishnakumar
Published at: AIAA Infotech @ Aerospace
09/30/05
Robotic and Human-Tended Collaborative Drilling Automation for Subsurface Exploration
Brian Glass, Howard Cannon, Carol Stoker, Kiel Davis
Published at: 56th IAC/IAF, AIAA
09/23/05
Performance Monitoring and Assessment of Neuro-Adaptive Controllers for Aerospace Applications Using a Bayesian Approach
Pramod Gupta, Kurt Guenther, John Hodgkinson, Stephen Jacklin, Michael Richard, Johann Schumann, Fola Soares
Published at: AIAA 2005
09/23/05
Approximation Algorithms and Heuristics for Classical Planning
Jeremy Frank, Ari Jonsson
Published at: Wiley & Sons book chapter
09/23/05
Analysis of Aircraft Control Performance Using a Fuzzy Rule Based Representation of the Cooper-Harper Aircraft Handling Quality Rating
Chris Tseng, Pramod Gupta, Johann Schumann
Published at: IEEE 2006
09/23/05
Inspection with Robotic Microscopic Imaging
Liam Pedersen, Matthew Deans, Clay Kunz, Randy Sargent, Alan Chen, Greg Mungas
Published at: AIAA Space 2005
09/23/05
APEX Reference Manual
Michael Freed
Published at: Reference Manual
09/23/05
Optimized Algorithms for Prediction within Robotic Tele-Operative Interfaces
Rodney Martin, Kevin R Wheeler, Vytas SunSpiral, Mark B Allan
Published at: Human Robot Interaction '06
09/20/05
Micro-Flying Robotics in Space Missions
Jorge Bardina, Rajkumar Thirumalainambi
Published at: SAE Aerotech World Aero
09/20/05
A Survey of Data-Driven Prognostics
Mark Schwabacher
Published at: AIAA Infotech @ Aerospace
09/20/05
Experience with Bayesian Image Based Surface Modeling
John Stutz
Published at: 25th Int'l WS on Bayesian
09/15/05
Learning from the Mars Rover Mission: Scientific Discovery, Learning & Memory
Charlotte Linde
Published at: Journal of Knowledge Mgmt
09/15/05
Inductive Learning Approaches for Improving Pilot Awareness of Aircraft Faults
Lilly Spirkovska, David Iverson, Scott Poll, Anna Pryor
Published at: AIAA Infotech
09/15/05
The Peer-to-Peer Human-Robot Interaction Project
Terrence Fong, Illah Nourbakhsh, Robert Ambrose, Reid Simmons, Alan Schultz, Jean Scholtz
Published at: Space 2005
09/12/05
Human Centered Computing for Mars Exploration
Jay Trimble
Published at: People Inspired Innovation
08/25/05
Machine Learning for Rocket Propulsion Health Monitoring
Mark Schwabacher
Published at: SAE World Aerospace Cong
08/11/05
Evolution, Re-evolution and Prototype of an X-Band Antenna for NASA's Space Technology 5 Mission
Jason Lohn, Gregory Hornby, Derek Linden
Published at: 6th Int'l Conf on Evol Sys
08/09/05
A Survey of Risk-based Design Methodologies, Tools, Practices, and Trends within NASA
Irem Tumer, Francesca Barrientos, Ali Farhang Mehr
Published at: Int'l Conf on Probabilistic
08/05/05
Certifiable Program Generation
Ewen Denney, Bernd Fischer
Published at: Generative Programming
08/03/05
Small Vocabulary Communication and Control Using Surface Electromyography in an Accoustically Noisy Environment
Bradley Betts, Charles Jorgensen
Published at: Hawaii Int'l Conf on Systems
08/03/05
A Sun Tracker for Planetary Analog Rovers
Matthew Deans, David Wettergreen, Dan Villa
Published at: iSairas 2005
08/03/05
Plan Execution Interchange Language (PLEXIL) for Executable Plans and Command Sequences
Vandi Verma, Ari Jonsonn, Corina Pasareanu, Reid Simmons, Kam Tso
08/03/05
Drilling Automation for Subsurface Exploration
Brian Glass, Howard Cannon, Edward Balaban, S Hanagud
Published at: 8th ISARIUS
07/19/05
Practical Proof Checking for Program Certification
Geoff Sutcliffe, Ewen Denney, Bernd Fischer
Published at: ESCAR
07/15/05
Hierarchical Proof Structures
Ewen Denney, John Power, Konstantinos Tourlas
Published at: Structures and Deductions
07/15/05
Experiments with Autonomous Software for Planetary Robots: A Simulation Success Story
Lorenzo Fluckiger, Christian Neukom, Greg Pisanich, Eric Buchanan, Michael Wagner, Laura Plice
Published at: 8th Int'l on AI RA
07/15/05
Risk-Based Decision-Making for Managing Resources during the Design of Complex Aerospace Systems
Ali Farhang-Mehr, Irem Tumer
Published at: ASME Journal of Mechanical
07/11/05
Temporal Constraint Reasoning with Preferences and Probabilities
Robert Morris, Paul Morris, Neil York-Smith, Lina Khatib
07/11/05
Improvements in Virtual Sensors: Using Spatial Information to estimate Remote Sensing Spectra
Nikunj Oza, Ashok Srivastava, Julienne Stroeve
Published at: IGARSS
07/01/05
Radiation Mitigation and Power Optimization Design Tools for Reconfigurable Hardware in Orbit
Matthew French, Paul Graham, Michael Wirthlin, Li Wang, Gregory Larchev
Published at: Earth-Sun System Tech Conf
07/01/05
Informed Source Separation: A Bayesian Tutorial
Kevin Knuth
Published at: European Sign Proc Conf
07/01/05
Coping with Trail-to-Trial Variability of Event Related Signals: A Bayesian Inference Approach
Mingzhou Ding, Kevin Knuth, Yonghong Chen, Steven Bressler, Charles Schroeder
Published at: European Sign Proc Conf
07/01/05
Semi-Structured Data Management in the Enterprise: A Nimble, High Throughput and Scalable Approach
David Maluf, David Bell, Naveen Ashish, Chris Knight, Peter Tran
Published at: Conf Mgmt System IDEAS 05
07/01/05
Discovering System Health Anomalies using Data Mining Techniques
Ashok Srivastava
07/01/05
Formal Safety Certification of Aerospace Software
Ewen Denney, Bernd Fischer
Published at: Infotech
07/01/05
Hiproofs: A hierarchical notion of proof tree
Ewen Denney, John Power, Konstantinos Tourlas
Published at: Mathematical foundations
07/01/05
Autobalancing and FDIR for a space-based centrifuge Prototype
Edward Wilson, Robert Mah
Published at: AIAA GN&C
07/01/05
Predictive Interfaces for Long-Distance Tele- Operations
Kevin Wheeler, Rodney Martin, Mark Allan, Thomas Willeke
Published at: Int'l Symposium on AI, Robot
06/29/05
Brain-Computer Interfaces for 1-D and 2-D Cursor Control: Designs Using Volitional Control of the EEG Spectrum or Steady-State Visual Evoked Potentials
Leonard Trejo, Bryan Matthews, Roman Rosipal
Published at: 3rd Int'l Meeting on BCI
06/29/05
Revealing Relationships among Relevant Climate Variables with Information Theory
Kevin Knuth, Anthony Gotera, Charles T Curry, Karen Huyser, Kevin Wheeler, William b Rossow
Published at: Earth-Sun System Tech Conf Global Energy (GEWEX 2005)
06/27/05
Expedition Memory
William Clancey
Published at: 2nd Mars Exp WS
06/27/05
The Mobile Agents 2005 Field Test at MDRS
William Clancey
Published at: Mars Society
06/27/05
An Agent-based Inerface to Terrestrial Ecological Forecasting (Abstract)
Keith Golden, Ramakrishna Nemani, Wanlin Pang, Petr Votava
Published at: iSAIRAS 8th
06/22/05
Tutorial: Temporal and Resource Reasoning for Planning, Scheduling and Execution
Nicola Muscettola, Luke Hunsberger, Ioannis Tsamardinos
Published at: Int'l Conf on Autonomous Ag
06/09/05
Planner-Based Control of Advanced Life Support Systems
Nicola Muscettola, David Kortenkamp, Chuck Fry, Scott Bell
Published at: 35th Int'l Conf on Env sys
06/09/05
Patent Pending
Robert Filman
Published at: IEEE Internet Computing
06/08/05
A Comparative Study of Probability Collectives Based Multi-Agent Systems and Genetic Algorithms
David Wolpert, Chien-Feng Huang, Stefan Bieniawski, Charlie Strauss
06/08/05
Predictive Game Theory
David Wolpert
06/08/05
Bounded Rationality and Statistical Physics
David Wolpert
06/08/05
Statistical Physics for Adaptive Distributed Control
David Wolpert
06/08/05
Coevolutionary Free Lunches
David Wolpert, William Macready
06/08/05
Distributed Constrained Optimization with Semicoordinate Transformation
David Wolpert, William Macready
06/08/05
A Constraint-Based Planner for Data Production
Wanlin Pang, Keith Golden
Published at: IJCAI-05 Workshop
06/08/05
Dynamic Domains in Data Production
Keith Golden, Wanlin Pang
Published at: IJCAI-05 Workshop
06/08/05
Preferences in Data Production Planning
Keith Golden, Ronen Brafman, Wanlin Pang
Published at: IJCAI-05 Workshop
06/03/05
Automatic In-Flight Repair of FPGA Cosmic Ray Damage
Sarah Thompson, Alan Mycroft, Guillaume Brat, Arnaud Venet
Published at: Disruptive Technologies
06/03/05
Inspection & Verification of Domain Models with Planworks & Aver
Tania Weiss, Jeremy Frank, Michael Iatauro, Conor McGann
Published at: iCAPS 2005
06/03/05
Inductive System Health Monitoring with Statistical Metrics
David Iverson
Published at: JANNAF
05/20/05
A Voice Enabled Procedure Browser for the International Space Station
Manny Rayner, Beth Ann Hockey, Nikos Chatzichrisafis, Kim Farrell, Jean-Michael Renders
Published at: Ass'n for Computational Ling
05/19/05
Communicating Intent for Planning & Scheduling Tasks
Valerie Shalin, Roxana Wales, Deborah Bass
Published at: HCI International Conf
05/19/05
Software Engineering Research/Developer Collaborations in 2004
Thomas Pressburger, Larry Markosian
Published at: URLS
05/19/05
Multi-Target Single Cycle Instrument Placement
Liam Pedersen, David Smith, Matthew Deans, Randy Sargent, Clay Kunz, David Lees, Srikanth Rajagopalan, Maria Bualat
Published at: Int'l Conf on Adv Robotics
05/19/05
Comparative Study of Several Multi-Objective Genetic Algorithms
Mehr, Ali Farhan
Published at: Genetic & Evol Comnputation
05/19/05
Intelligent Systems: Terrestrial Observation and Prediction Using Remote Sensing
Joseph Coughlan
Published at: iGARS 05
05/19/05
Spoken Language Processing in the Clarissa Procedure Browser
Manny Rayner, Beth Ann Hockey, Jean-Michel Renders, N Chatzichrisafis, Kim Farrell
Published at: Journal of Natural Language Engineering (CIP)
05/19/05
Simple Kernel Methods for Identification of Cross- Talk and Misrecognition
Jean-Michel Renders, Manny Rayner, Beth Ann Hockey
Published at: Interspeech 2005
05/19/05
Comparison of Grammar-Based and Statistical Language Models Trained on the same Data
Beth Ann Hockey, Manny Rayner
Published at: AAAI WS on Spoken Lang Und
05/19/05
Fault Discovery by using mined Data
Charles Lee
Published at: Int'l Conf on Parallel & Dist
05/13/05
Maintaining Situation Awareness with Autonomous Airborne Observation Platforms
Michael Freed, Will Fitzgerald
Published at: Working Together: R&D HS
05/12/05
Verification, Validation and Solution Quality in Computational Physics: CFD Methods Applied to ICE Sheet Physics
David E Thompson
Published at: NASA TM
05/05/05
Playing Games with Optimal Competitive Scheduling
Jeremy Frank, James Crawford, Lina Khatib, Ronen Brafman
Published at: Int'l Conf on AI
05/05/05
Planning with Continuous Resources in Stochastic Domains
Mausam Mausam, Emmanuel Benazera, Ronen Brafman, Nicolas Meuleau, Eric Hansen
Published at: 19th Int'l Joint Conf on AI
05/03/05
An AO* Algorithm for Planning with Continuous Resources
Emmanuel Benazera, Ronen Brafman, Nicolas Meuleau, Mausam Mausam, Eric Hansen
Published at: ICAPS 05 WS on Planning
05/03/05
Challenges in Verification and Validation of Autonomous Systems for Space Exploration
Guillaume Brat, Ari Jonsson
Published at: IJCCN '05
05/03/05
Workspaces in the Semantic Web
Shawn Wolfe, Richard Keller
Published at: AAAI '05
05/03/05
Measuring, Enabling, and Comparing Modularity Regularity, and Hierarchy in Evolutionary Design
Gregory Hornby
Published at: Genetic and Evol Computation
05/03/05
Sensor Data Distribution with Robustness & Reliability-Toward Distributed Component Model
Charles Lee, Rick Alena
Published at: Int'l Conf on Parallel & Dist
05/03/05
Survey of Command Execution Systems for NASA Spacecraft and Robots
Vandi Verma, Ari Jonsson, Reid Simmons, Tara Estlin, Richard Levinson
Published at: ICAPS
05/03/05
Alternatives to Re-Planning: Methods for Plan Re-evaluation at Runtime
Emmanuel Benazera
Published at: ICAPS
05/03/05
Concrete Model Checking with Abstract Matching and Refinement
Corina Pasareanu, Radek Pelanek, Willem Visser
Published at: 17th Int'l Conf on CAV
04/28/05
Airflow Hazard Visualization for Helicopter Pilots: Flight Simulation Study Results
Cecilia Aragon, Kurtis Long
Published at: AHS Forum 61
04/12/05
PlanWorks: A Debugging Environment for Constraint Based Planning Systems
Patrick Daley, Jeremy Frank, Michael Iatauro, Conor McGann, Will Taylor
Published at: 15th Int'l Conf on Automated Planning & Scheduling
04/05/05
Enterprise Information Integration: Successes, Challenges and Controversies
Alon Halevy, Naveen Ashish, Dina Bitton, Michael Carey, Denise Draper, Jeff Pollock, Arnon Rosenthal
Published at: ACM Sigmod
04/05/05
Mathematical Metaphors: Problem Reformulation and Analysis Strategies
David E Thompson
Published at: NASA TM
04/05/05
An Ensemble Approach to Building Mercer Kernels with Prior Information
Ashok Srivastava, Johann Schumann, Bernd Fischer
04/04/05
Abstraction and Assume-guarantee Reasoning for Automated Software Verification
Sagar Chaki, Edmund Clarke, Dimitra Giannakopoulou, Corina Pasareanu
Published at: RIACS Tech Report
04/04/05
Towards Failure-based decision-making during design: use-centered design meets design methods research
Francesca Barrientos, Elin R Pedersen, Irem Tumer
Published at: IEEE Int'l Conf on Systems
04/04/05
A Proposal for the Creation of a Diagnostic and Power Port Standard
Thomas Willeke
Published at: NRL
04/04/05
Online Bagging and Boosting
Nikunj Oza
Published at: IEEE Conf
04/04/05
Wrappers, Aspects, Quantification and Events
Robert Filman
Published at: Brown-Northeastern Aspects
04/04/05
Sunspot Pattern Classification Using PCA and Neural Networks
T Rajkumar, David Thompson, GL Slater
Published at: Space Weather Week Conf
03/30/05
Business Intelligence Modeling in Launch Operations
Jorge Bardina, Rajkumar Thirumalainambi, RD Davis
Published at: SPIE Defence and Sec
03/21/05
Water Music
Robert Filman
Published at: IEEE Internet Computing
03/21/05
Non-Intrusive Techniques of Inspections during the Pre-Launch Phase of Space Vehicle
Rajkumar Thirumalainambi, Jorge Bardina
Published at: SPIE Defence and Sec
03/21/05
Autonomy Software Architecture for LORAX (Life On ice Robotic Antarctic eXplorer)
Ari Jonsson, Conor McGann, Liam Pedersen, Michael Iatauro, Srikanth Rajagopalan
Published at: Int'l Symp on AI, Robotics
03/21/05
Measures and Models for Predicting Cognitive Fatigue
Leonard Trejo, Rebekah Kochavi, Karla Kubitz, Leslie Montgomey, Roman Rosipal, Bryan Matthews
Published at: Biomonitoring
03/18/05
Towards Development of Advanced Verification and Validation Tools for the Certification of Learning Systems in Aerospace Applications
Stephen Jacklin, Pramod Gupta, Johann Schumann, Michael Richard, Kurt Guenther, Fola Soares
Published at: AIAA Infotech
03/18/05
An Extension to the Kalman Filter for an Improved Detection of Unknown Behavior
Emmanuel Benazera, Sriram Narasimhan
Published at: American Control Conf
03/18/05
Further Geophysical Studies of the Haughton Impact Structure (POSTER)
Brian Glass, Samantha Domville, Pascal Lee
Published at: 36th LPSC
03/12/05
Mixed-Initiative Activity Planning for Mars Rovers
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
Published at: IJCAI
03/11/05
An Ecological Forecasting Agent
Keith Golden, Ramakrishna Nemani, Wanlin Pang, Petr Votava, Oren Etzioni
Published at: Michigan Tech talk
03/01/05
Towards G2G: Systems of Technology Database Systems
David Maluf, David Bell
Published at: IEEE Aerospace Conference
02/28/05
Lean Middleware
David Maluf, David Bell, Naveen Ashish
Published at: ACM SIGMOD
02/28/05
Mission Planning & Target Tracking for Autonomous Instrument Placement
Liam Pedersen, David Smith, Matthew Deans, Clay Kunz, David Lees, Srikanth Rajagopalan
Published at: IEEE Aerospace IEEE ICRA
02/28/05
Self Dissimilarity as a high dimensional Complexity Measure
DH Wolpert, William Macready
Published at: ICCS
02/28/05
Coordinating Multi-Rover Systems: Evaluation Functions for Dynamic & Noisy Environments
Kagan Tumer, Adrian Agogino
Published at: Genetic & Evolutionary Comp
02/28/05
Designing Agent Utilities for Coordinated, Scalable and Robust Multi-Agent Systems
Kagan Tumer
Published at: Book Chapter
02/28/05
Efficient Credit Assignment through Evaluation Function Decomposition
Adrian Agogino, Kagan Tumer, Risto Miikkulainen
Published at: Genetic & Evolutionary Comp
02/28/05
Quicker Q-Learning in Multi-Agent Systems
Adrian Agogino, Kagan Tumer
Published at: IJCAI
02/28/05
Multi-Agent Reward Analysis for Learning in Noisy Domains
Adrian Agogino, Kagan Tumer
Published at: Autonomous Agents
02/28/05
A Scalable and Robust Multi-Agent Approach to Distributed Optimization
Kagan Tumer
Published at: IJCAI
02/28/05
High and Dry: Trading Water Vapor, Fuel and Observing Time for Airborne Infrared Astronomy
Jeremy Frank, Elif Kurklu
Published at: Int'l Geoscience & Remote Sen
02/17/05
Brain-Computer Interface (on CD)
Leonard Trejo, Bryan Matthews
Published at: Website posting
02/17/05
A Program Certification Assistant Based on Fully Automated Theorem Provers
Ewen Denney, Bernd Fischer
Published at: User Interfaces (UITP 2005)
02/17/05
Crew-Centered Operations: What HAL 9000 Should Have Been
David J Korsmeyer, Daniel Clancy, James Crawford, Mark Drummond
02/17/05
A Transactional Perspective on the Practice-Based Science of Teaching and Learning
William J Clancey
Published at: The Practice Based Science of
02/17/05
Temporal Dynamic Controllability Revisited
Paul Morris, Nicola Muscettola
Published at: IJCAI 05
02/17/05
Performance Monitoring and Assessment of Neuro-Adaptive Controllers for Aerospace Applications Using a Bayesian Approach
Pramod Gupta
Published at: AIAA GNC
02/17/05
Autonomous Operations for the Crew Exploration Vehicle - Trade Study Design Considerations
James Crawford, Charles Weisbin
Published at: STAIF 05
02/17/05
Trusted Autonomy for Space Flight Systems
Michael Freed, Pete Bonasso, Mitch Ingham, David Kortenkamp, John Penix
Published at: First Space Exploration Conf
02/03/05
Automating Capcom Using Mobile Agents & Robotic Assistants
William Clancey
Published at: First Space Exploration Conf
02/01/05
Cloud Detection from Satellite Imagery: A Comparison of Expert-Generated and Automatically-Generated Decision Trees
Smadar Shiffman
Published at: SIAM Int'l Conf on Data Mining
01/31/05
Interaction Challenges in Human-Robot Space Exploration
Terrence Fong, Illah Nourbakhsh
Published at: ACM Interactions (Journal)
01/31/05
Aerial Vehicle Surveys of Other Planetary Atmospheres and Surfaces: Imaging/Remote- Sensing Technology Requirements
Larry Young, Greg Pisanich, Corey Ippolito, Rick Alena
Published at: SPIE Imaging Conference
01/14/05
The Ames MER Microscopic Imager Toolkit
Randy Sargent, Matthew Deans, Clayton Kunz, Michael Sims, Ken Herkenhoff
Published at: IEEE Aerospace Conf 2005
01/07/05
Applying Squeaky Wheel Optimization to Schedule Airborne Autonomy Observations Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations
Jeremy Frank, Elif Kurlku
Published at: ICAPS
12/30/04
Activity Planning for the Mars Exploration Rover
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
Published at: ICAPS
12/30/04
Combined Feature Based and Shape Based Visual Tracker for Robot Navigation
Matthew Deans, Clayton Kunz, Randy Sargent, Eric Park, Liam Pedersen
Published at: IEEE Aerospace Conf 2005
12/23/04
Improving Aviation Safety with Information Visualization: A Flight Simulation Study
Cecilia Aragon, Marti Hearst
Published at: CHI 2005
12/23/04
Improving Aviation Safety with Information Visualization: Airflow Hazard Display for Helicopter Pilots
Cecilia Aragon
Published at: UC Berkeley PHD Thesis
12/23/04
Runtime Verification (Slides)
Klaus Havelund
Published at: CISS Denmark
12/23/04
Post-Modern Software Development
Robert Filman
Published at: IEEE Internet Computing
12/17/04
FIDDLE: A Computer Code for Finite Difference Development of Linear Elasticity in Generalized Curvilinear Coordinates
Upender Kaul
Published at: NASA TM
12/17/04
Summary of Tactile User Interfaces Techniques and Systems
Lilly Spirkovska
12/17/04
Poetry in Programs: A Brief Examination of Software Aesthetics, including observations on the History of Programming Styles and Speculations on Post-Object Programming
Robert Filman
Published at: Conference (A Celebration)
12/17/04
Complexity Signatures for System Health Monitoring
Kagan Tumer, Adrian Agogino
Published at: IEEE Conference
12/01/04
Towards On-Line Services Based on a Holistic Analysis of Human Activities
William J Clancey
Published at: Towards the Learning Grid
11/30/04
Results from a New Separation Algorithm for Planetary Gear System Vibration Measurements
Marianne Mosher
Published at: ASME Power Conf
11/30/04
Finding Bounded Rational Equilibria Part II: Alternative Lagrangians and Uncountable Move Spaces
David H Wolpert
11/30/04
Finding Bounded Rational Equilibria Part I: Iterative Focusing
David H Wolpert
11/30/04
What Information Theory Says About Bounded Rational Best Response
David H Wolpert
11/30/04
Data-Based Predictive Combustion Control
Nilesh Kulkarni, Dawn McIntosh, Kalmanje Krishnakumar
Published at: AIAA Joint Propulsion
11/29/04
Semantic-Web Technology: Applications at NASA
Naveen Ashish
11/21/04
Two Trees- Migrating Fault Trees to Decision Trees for Real Time Fault Detection on International Space Station
Charles Lee, Richard Alena, Peter Robinson
Published at: 2005 IEEE Aerospace Conf
11/21/04
Discovering Recurring Anomalies in Text Reports Regarding Complex Space Systems
Ashok Srivastava, Brett Zane-Ulman
Published at: 2005 IEEE Aerospace Conf
11/21/04
Augmentation of an Intelligent Flight Control System for a Simulated C-17 Aircraft
Karen Gundy-Burlet, Kalmanje Krishnakumar, Greg Limes, Don Bryant
Published at: AIAA Journal of Aerospace
11/21/04
Self Dissimilarity as a High Dimensional Complexity Measure
David Wolpert, William Macready
Published at: Int'l Conf Complex Systems
11/21/04
Distributed Optimization
William Macready, David Wolpert
Published at: Int'l Conf Complex Systems
11/21/04
The Collaborative Information Portal and NASA's Mars Exploration Rover Mission
Ronald Mak, Joan Walton
Published at: IEEE Internet Computing
11/14/04
JEAGLE: A Java Runtime Verification Tool
Marcelo D'Amorim, Klaus Havelund
Published at: NA
11/14/04
Program Monitoring with LTL in EAGLE
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Published at: PADTAD '04
11/14/04
Using Block-local Atomicity to Detect Stale- Value Concurrency Errors
Cyrille Artho, Klaus Havelund, Armin Biere
Published at: Auto. Tech for Ver & Anal
11/14/04
Toward a Benchmark for Multi-Threaded Testing Tools
Yaniv Eytani, Klaus Havelund, Scott Stoller, Shmuel Ur
Published at: Journal
11/14/04
Precise and Scalable Program Analysis of NASA Flight Software
Guillaume Brat, Arnaud Venet
Published at: IEEE Aerospace
11/10/04
Working on Mars: Understanding how Scientists Engineers, and Rovers Interacted Across Space and Time during the Mars Exploration Rover (MER) Mission
Roxana Wales
Published at: The Market Research Event
11/10/04
Choosing Mars-Time: Analysis of the Mars Exploration Rover Experience
Deborah Bass, Roxana Wales, Valerie Shalin
Published at: 2005 IEEE Aerospace Conf
11/10/04
Adaptive Bio-Inspired Wireless Network Routing for Planetary Exploration
Richard Alena, Charles Lee
Published at: 2005 IEEE Aerospace Conf
11/10/04
An Ontology of Work, Naming and Action Identification for Planning on the Mars Exploration Rover Mission
Roxana Wales
Published at: Stanford University
11/10/04
Applications for Mission Operations using Multi-Agent Model-Based Instructional Systems with Virtual Environments
William Clancey
Published at: Training for Tomorrow
11/06/04
Toward Question-Asking Machines; The logic of Questions and the Inquiry Calculus
Kevin Knuth
Published at: AI and Statistics (AISTATS)
11/06/04
A Reliable Service-Oriented Architecture for NASA's Mars Exploration Rover Mission
Ronald Mak, Joan Walton, Leslie Keely, Dennis Heher, Louise Chan
Published at: IEEE
11/05/04
Multi-Agent Modeling and Simulation Approach for Design and Analysis of MER Mission Operations
Chin Seah, Maarten Sierhuis, William Clancey
Published at: Mod & Sim HCI
11/05/04
Technical Reviews: Torn Between Knowledge Sharing and Project Assessment
Peter Putz, David Bell
Published at: Management Learning
10/27/04
Cognitive Modeling of Social Behaviors
William Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
Published at: Cognitive and Multiagent Int
10/27/04
Metrics for More than Two Points at Once
David Wolpert
Published at: URL
10/27/04
Fleet Assignment Using Collective Intelligence
David Wolpert, Nicolas Antoine, Stefan Bienawski, Ilan Kroo
Published at: URL
10/27/04
Information Theory - The Bridge Connecting Bounded Rational Game Theory and Statistical Physics
David Wolpert
Published at: URL
10/27/04
Adaptive Metropolis Sampling with Product Distributions
David Wolpert, Chiu Fan Lee
Published at: URL
10/27/04
Product Distributions for Distributed Optimization
Stefan Bienawski, David Wolpert
Published at: URL
10/27/04
What Information Theory Says about Best response & binding contracts
David Wolpert
Published at: URL
10/27/04
Disttibuted Adaptive Control: Beyond Single- Instant Discreet Variables
David Wolpert, Stefan Bienawski
Published at: URL
10/27/04
Coevolutionary Free Lunches
David Wolpert, Bill Macready
Published at: URL
10/27/04
Product Distribution Theory for Control of Multi-Agent Systems
Chiu Fan Lee, David Wolpert
Published at: URL
10/27/04
Extensible Hardware Architecture for Mobile Robots
Eric Park, Linda Kobayashi, Susan Lee
Published at: IEEE Int'l Conf
10/22/04
Characterizing Oscillatory Bursts in Single- Trial EEG Data
Kevin Knuth, AS Shah, P Lakatos, CE Schroeder
Published at: Society for Neuroscience
10/21/04
Oscillatory Hierarchy Controlling Cortical Excitability and Stimulus Integration Budapest Hungary
P Lakatos, AS Shah, T MaGinnis, N O'Connell, A Mills, C Chen, Kevin Knuth, G Karmos, CE Schroeder
Published at: Society for Neuroscience
10/21/04
Learning from Failures: Archiving and Designing with Failure and Risk
Wie, Michael Va, Matt Bohm, Francesca Barrientos, Irem Tumer, Robert Stone
Published at: Int'l Conf on Eng Design
10/15/04
Identifying Designer Needs: Applying Customer Needs Analysis and Human-Computer Interaction Methods to a Design Repository
Matt Bohm, Francesca Barrientos, Irem Tumer, Robert Stone
Published at: Int'l Conf on Eng Design
10/15/04
Advanced Diagnostic System on Earth Observing One
Sandra Hayden, Adam Sweet, Scott Christa, Daniel Tran, Seth Shulman
Published at: AIAA Space
10/15/04
Planning Mars Memory: Learning from the MER Mission
Charlotte Linde
10/15/04
Peer-to-Peer Human-Robot Interaction for Space Exploration
Terrence Fong, Illah Nourbakhsh
Published at: AAAI 2004 Symposium
10/14/04
Internet Based Simulations of Debris Dispersion of Shuttle Launch
Rajkumar Thirumalainambi, Jorge Bardina
Published at: World Aviation Congress
10/14/04
Early Infusion of New Planning, Scheduling, and Execution Technologies into a Flight Mission
James Kurien, Mark Drummond, Tony Barrett, Sven Grenander
Published at: AIAA Space
10/14/04
On Space Exploration and Human Error: A Paper on Reliability and Safety
David Maluf, Yuri Gawdiak, David G Bell
Published at: HICSS-38
10/08/04
Evolvable Hardware for Space Applications
Jason Lohn, Al Globus, Greg Hornby, Greg Larchev, Bill Kraus
Published at: AIAA
10/08/04
Intelligent Systems: Shaping the Future of Aeronautics and Space Exploration
Kalmanje Krishnakumar, Jason Lohn, John Kaneshige
Published at: 4th Int'l Symposium
10/08/04
Knowledge Navigation for Virtual Vehicles
Julian Gomez
Published at: World Aviation Congress
09/29/04
Automated Evidence Gathering
Deepak Kulkarni, Yao Wang
09/28/04
NASA And the Semantic Web
Naveen Ashish
Published at: http://www.dagstuhl.de/
09/27/04
Modeling and Composing Scenario-Based Requirements with Aspects
Joao Araujo, Jon Whittle, Dae-Kyoo Kim
Published at: Conf on Reqt Engineering
09/24/04
Intelligent Information Fusion in the Aviation Domain: A Semantic-Web based Approach
Naveen Ashish, Andre Goforth
Published at: AIAA IS Tech Conf
09/24/04
Demonstrating Robotic Autonomy in NASA's Intelligent Systems Project (Abstract)
Robert Morris, Ben Smith, Tara Estlin, Liam Pedersen
Published at: 8th ESA WS on Adv Space
09/24/04
Integration of dynamic models in range Operations
Jorge Bardina, Rajkumar Thirumalainambi
Published at: WAC
09/24/04
Immunity-Based Aircraft Fault Detection System
Dipankar Dasgupta, Kalmanje Krishnakumar, Derrick Wong, Misty Berry
Published at: AIAA
09/24/04
Intelligent Control for the BEES flyer
Kalmanje Krishnakumar, Karen Gundy-Burlet, Mike Aftosmis, Marian Nemec, Greg Limes, Misty Berry, Michael Logan
Published at: AIAA
09/24/04
Exploration of Planetary Terrains with a Legged Robot as a Scout Adjunct to a Rover
Silvano Colombano, Frank Kirchner, Dirk Spenneberg, James Hanratty
Published at: AIAA Space 2004
09/23/04
Clarissa Spoken Dialogue System for Procedure Reading and Navigation Livingstone Model-Based Diagnosis of Earth- Observing One Infusion Experiment
James Hieronymus, John Dowding, Sandra Hayden, Adam Sweet, Scott Christa
Published at: AIAA Int Systems
09/20/04
A Prototype Flight-Deck Airflow Hazard Visualization System
Cecilia Aragon
Published at: SAE World Aviation Congress
09/07/04
Data Visualization of Invisible Airflow Hazards During Helicopter Takeoff and Landing Operations
Cecilia Aragon
Published at: Grace Hopper Conf
09/07/04
Mulitple Concurrent Recursive Least Squares Identification
Edward Wilson, David Sutter, Robert Mah
Published at: IASTED
09/03/04
Software Engineering Research/ Developer Collaborations
Thomas Pressburger, Vito, Ben d, Martin Feather, Michael Hinckey, Lawrence Markosian, Tim Menzies, Luis Trevino
Published at: OSMA SA
09/03/04
An Evolved Antenna for Deployment on NASA's Space Technology 5 Mission
Jason Lohn, Gregory S Hornby, Derek S Linden
Published at: Genetic Prog. Theory & Prac
09/03/04
Autonomous Evolution of Dynamic Gaits with Two Quadrupled Robots
Gregory S Hornby, Seichi Takamura, Takashi Yamamoto, Masahiro Fujita
Published at: IEEE Transactions on Robotics
09/03/04
Functional Scalability Through Generative Representations: the Evolution of Table Designs
Gregory S Hornby
Published at: Environment and Planning B
09/03/04
Properties of Artifact Representations for Evolutionary Design
Gregory S Hornby
Published at: 9th Int'l Conf on Sim and Syn
09/03/04
The Role of Ontologies in Schema-Based Program Synthesis
Tomas Bures, Ewen Denney, Bernd Fischer, Eugen Nistor
Published at: Ontologies as SWE
09/03/04
Injectors and Annotations
Robert Filman
Published at: Concrete Comm Abst
09/03/04
A CORBA Extension for Intelligent Software Environments
Robert Filman
Published at: Advances in Eng. SW
09/03/04
Agent Architecture for Aviation Data Integration System
Deepak Kulkarni, Yao Wang, Mei Windrem, Hemil Patel, Mei Wei
09/03/04
Investigation Organizer
Tina Panontin, Robert Carvalho, Rich Keller
Published at: 7th GAIN World Conference
09/03/04
Aspect Oriented Programming
Robert Filman
Published at: Comm of the ACM
09/03/04
Understanding AOP Through the Study of Interpreters
Robert Filman
Published at: WS on AOP
09/03/04
The D3 Middleware Architecture
Robert Filman
Published at: 2002 World Av Congress
09/03/04
Planning Mars Memory: Learning from the MER Mission
Charlotte Linde
Published at: 55th Annual Astronautical C
09/02/04
Integrating Webtop Components with Thin-Client Web Applications Using Documentation WDK Ticket
Jason Duley
Published at: Documentum WW Developers
08/26/04
MCRLS for on-line spacecraft mass- and thruster-property identification
Edward Wilson, David Sutter, Robert Mah
Published at: IASTED
08/25/04
Transitioning from Software Requirements Models to Design Models
Jonathan Whittle
Published at: http://cim.ivv.nasa.gov
08/24/04
Modeling Images of Natural 3D Surfaces: Overview and Potential Applications
Andre Jalobeanu, Frank Kuehnel, John Stutz
Published at: GMBV '04
08/24/04
A Bootstrap Approach to Martian Manufacturing
Gregory Dorais
Published at: 7th Int'l Mars Society
08/23/04
Measures and Models for Estimating and Predicting Cognitive Fatigue
Leonard Trejo, Rebekah Kochavi, Karla Kubitz, Leslie Montgomery, Roman Rosipal, Bryan Matthews
Published at: 44th Annual Psychophysio
08/19/04
On Bayesian Inductive Inference and Predictive Estimation
Peter Cheeseman, John Stutz, Vadim Smelyanskiy
Published at: MaxEnt 2004
08/17/04
Ensemble Data Mining Methods
Nikunj Oza
Published at: Encyclopedia of Data WH & M
08/17/04
Ontology Development and Evolution in the Accident Investigation Domain
Robert Carvalho, Daniel Berrios, James Williams
Published at: IEEE Aerospace Conf
08/17/04
Usability Evaluation of a Flight-Deck Airflow Hazard Visualization System
Cecilia Aragon
Published at: 23 Digital Avionics Systems
08/17/04
An Overview of Ecological Modeling and Machine Learning Research Within the US National and Space Administration
Joseph Coughlan
Published at: 4th European Conf
08/09/04
Extending Source Code Generators for Evidence-based Software Certification
Ewen Denney, Bernd Fischer
Published at: ISOLA '06
08/01/04
Intelligent Automation Approach for Improving Pilot Situational Awareness
Lilly Spirkovska
07/30/04
Negative Selection Algorithm for Aircraft Fault Detection
Dipankar Dasgupta, Kalmanje Krishnakumar, D Wong, Misty Berry
Published at: 3rd Ann Conf on Artificial Immune Systems
07/30/04
Adaptive DFT-based Fringe Tracking and Prediction at IOTA
Edward Wilson, Ettore Pedretti, Jesse Bregman, Robert Mah, Wesley Traub
Published at: SPIE
07/07/04
Adaptive DFT-based Fringe Tracking
Edward Wilson, Ettore Pedretti, Jesse Bregman, Robert Mah, Wesley Traub
Published at: EURASIP Journal
07/07/04
Middleware and Web Services for the Collaborative Information Portal of NASA's Mars Exploration Rover Mission
Elias Sinderson, Vish Magapu, Ronald Mak
Published at: Int'l Middleware Conf
07/07/04
A New Computational Framework for Atmospheric and Surface Remote Sensing
Dogan Timucin
Published at: ESTO
07/07/04
Web Browser Control Using EMG-Based Sub Vocal Speech Recognition
Chuck Jorgensen, Kim Binstead
Published at: Hawaii Int'l Conf on Sys Sci
06/30/04
An Ontology for Requesting Distant Robotic Action: a Case Study in Naming and Action
Roxana Wales, Valerie Shalin, Deborah Bass
Published at: Journal of the Ass for IS
06/25/04
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Arnaud Venet
Published at: SAS '04
06/22/04
Dynamic Programming for Structured Continuous Markov Decision Problems
Zhengzhu Feng, Richard Dearden, Nicolas Meuleau, Rich Washington
Published at: 20th Conf on Uncertainty AI
06/22/04
Design Tools for Reconfigurable Hardware in Orbit (RHinO)
Matthew French, Paul Graham, Michael Wirthlin, Gregory Larchev, Peter Bellows, Brian Schott
Published at: 2004 Earth Science Tech
06/22/04
Combining Particle Filters and Consistency-Based Approaches for Monitoring and Diagnosis of Stochastic Hybrid Systems
Sriram Narasimhan, Richard Dearden, Emmanuel Benazera
Published at: Diagnosis
06/22/04
Automating Traceability for Generated Software Artifacts
Julian Richardson, Jeffrey Green
Published at: IEEE ASE
06/22/04
Applications of ITS for Human-Robotic Exploration of Mars
William Clancey
Published at: Int'l Tutoring Systems
06/22/04
Exploiting Recurring Structure in a Semantic Network
Shawn Wolfe, Rich Keller
06/18/04
Verification and Validation Methodology of Real-Time Adaptive Neural Networks for Aerospace Applications
Pramod Gupta, K.A. Loparo, D (retired) Mackall, Johann Schumann, F.R. Soares
Published at: Int'l Conf on Comp Intelli
06/18/04
Parameter Space Exploration with Gaussian Process Trees
Robert B Gramacy, Herbert Lee, William Macready
Published at: Int'l Conf on Machine Learning
06/18/04
Brahms: A Multiagent Modeling Environment for Simulating Work Practice in Organizations
Maarten Sierhuis, William Clancey, Hoof, Ron va
Published at: Journal for Simulation Mod
06/18/04
Scaling up Decision Theoretic Planning to Planetary Rover Problems
Nicolas Meuleau, Richard Dearden, Rich Washington
Published at: AAAI-04 Workshop
06/18/04
Shortcomings with Tree-Structured Edge Encodings for Neural Networks
Gregory S Hornby
Published at: Genetic and Evolutionary
06/10/04
Kernel PLS Estimation of Single-Trial Event Related Potentials
Roman Rosipal, Leonard Trejo
06/09/04
Using Generative Representations to Evolve Robots
Gregory Hornby
Published at: Evolutionary Machine Design
06/04/04
Improving Evolvability through Generative Representations
Gregory Hornby
Published at: Genetic and Evol Computation
06/04/04
Generative Representations for Computer- Automated Design Systems
Gregory Hornby
Published at: Computational Architecture
06/04/04
An Agent-Based Interface to Terrestrial Ecological Forecasting
Keith Golden, Ramakrishna Nemani, Wanlin Pang, Petr Votava, Oren Etzioni
Published at: ESTC
06/04/04
Discovering Planetary Nebula Geometries: Explorations with a Hierarchy of Models
Karen Huyser, Kevin Knuth, Bernd Ficher, Johann Schumann, Dom Granquist-Fraser, Arsen Hajian
Published at: MaxEnt 2004
05/26/04
InvestigationOrganizer: The Development and Testing of a Web-Based Tool to Support Mishap Investigations
Robert Carvalho, James Williams, Ian Sturken, Richard Keller, Tina Panontin
Published at: Investigation and Reporting
05/26/04
Random Matrix Approach to Quantum Adiabatic Evolution Algorithms
Alexei Boulaov, Vadim Smelyanskiy
Published at: Physical Review A
05/26/04
Distribution Theory and Semi-Coordinate Transformations
Stephane Airiau, David Wolpert
05/18/04
Reinforcement Learning in Distributed Domains: Beyond Team Games
David Wolpert, Joseph Sill, Kagan Tumer
05/18/04
Structure Constraints in a Constraint-Based Planner
Wanlin Pang, Keith Golden
Published at: 10th Int'l Conf on CP
05/13/04
A Hybrid Constraint Representation and Reasoning Framework
Keith Golden, Wanlin Pang
Published at: 10th Int'l Conf on CP
05/13/04
Optimal Control Method of a Flow Recirculation System
Nhan Nguyen, Mark Ardema
Published at: AIAA Journal of GNC
05/13/04
Monitoring the Performance of a Neuro- Adaptive Controller
Johann Schumann, Pramod Gupta
Published at: 24th Int'l WS on Bayesian
05/13/04
Pilots Rate Augmented Generalized Predictive Control for Reconfiguration
Don Soloway, Pam Haley
Published at: 6th IASTED Int'l Conf
05/12/04
Beyond Mechanism Design
David Wolpert
05/10/04
Adaptive, Distributed Control of Constrained Multiagent Systems
Stefan Bieniawski, David Wolpert
05/10/04
Collective Intelligence, data routing & Braess' paradox
David Wolpert, Kagan Tumer
05/10/04
The Design of Collectives of Agents to Control non-Markosian Systems
John Lawson, David Wolpert
05/10/04
Collective Intelligence
David Wolpert
05/10/04
Product Distribution Theory for Control of Multi-Agent Systems
Chiu Fan Lee, David Wolpert
05/10/04
Theory of Collective Intelligence
David Wolpert
05/10/04
Designing Agent Collectives for Systems with Markosian Dynamics
David Wolpert, John Lawson
05/10/04
Distributed Control by Lagrangian Steepest Descent
David Wolpert, Stefan Bieniawski
05/10/04
A Survey of Collectives
Kagan Tumer, David Wolpert
05/10/04
Fleet Assignment Using Collective Intelligence
Nicolas Antoine, Stefan Bieniawski, Ilan M Kroo, David Wolpert
05/10/04
Providing Effective Access to Shared Resources: A COIN Approach
Stephane Airiau, Sandip Sen, David Wolpert
05/10/04
Synthesizing 3D Surfaces from Parameterized Strip Charts
Peter Robinson, Julian Gomez, Michael Morehouse, Yuri Gawdiak
05/10/04
Realtime Knowledge Management (RKM) - from an ISS Point of View
Peter Robinson, Bill McDermott, Rick Alena
05/10/04
Precise and Efficient Static Array Bound Checking for Large Embedded C Programs
Arnaud Venet, Guillaume Brat
Published at: PLDI '04
05/03/04
An Empirical Evaluation of Automated Theorem Provers in Software Certification
Ewen Denney, Bernd Fischer, Johann Schumann
Published at: ESFOR 2004
05/03/04
UIVerify - A Web-Based Tool for Verification and Automatic Generation of User-Interfaces
Smadar Shiffman, Asaf Degani, Michael Heymann
04/20/04
Compiling Planning into Scheduling: A Sketch
Tania Bedrax-Weiss, James M Crawford, David E Smith
Published at: 14th Int'l Conf on APS
04/20/04
Adaptive Multi-Agent Systems for Constrained Optimization
William Macready, Stefan Bieniawski, David Wolpert
04/20/04
Lattice Duality: The Origin of Probability and Entropy
Kevin Knuth
Published at: Neurocomputing
04/20/04
Transient Region Coverage in the Propulsion IVHM Technology Experiment
Edward Balaban, Adam Sweet, Anupa Bajwa, William Maul, Chris Fulton, Amy Chicatelli
04/20/04
Inferring Spectra from Interferograms: Application to the Multiplexing Fourier Transform Spectrometer
Kevin Knuth, Arsen R Hajian
Published at: Int'l Society for Bayesian Analysis
04/07/04
Inductive System Health Monitoring
David Iverson
Published at: ICAI 2004
04/06/04
Combining Model-Driven and Schema-based Program Synthesis
Ewen Denney, Jon Whittle
Published at: UMSS 2004
03/31/04
Using Fuzzy Clustering for Real-Time Space Flight Safety
Charles Lee, Richard Haskel, Darrin Hann, Rick Alena
03/31/04
Modelling Images of Natural 3D surfaces: Overview and Potential Applications
Andre Jalobeanu, Frank Kuehnel, John Stutz
Published at: GMVB 2004 Workshop
03/25/04
Synthesizing Safety Conditions for Code Certification Using Meta-Level Programming
Jutta Eusterbrock
Published at: RIACS Tech Report
03/25/04
Mechanisms for Antagonistic Regulation of AMPA and NMDA-D1 Receptor Complexes at Postsynaptic Sites
Gabriele Scheler, Johann Schumann
Published at: Recomb 2004 conference
03/25/04
Mixed-Initiative Constraint-Based Activity Planning for Mars Exploration Rovers
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
Published at: 4th Int'l WS on P&S Space
03/25/04
Building Hybrid Rover Models for NASA: Lessons Learned
Thomas Willeke, Richard Dearden
03/25/04
Virtual Sensors: Using Data Mining to Efficiently Estimate Spectra
Ashok Srivastava, Nikunj Oza, Julienne Stroeve
Published at: IEEE International Symposium
03/25/04
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax
Bernd Fischer, Eelco Visser
Published at: Book: Domain Specific Prog Generation
03/22/04
Putting Priors in Mixture Density Mercer Kernels
Ashok Srivastava, Johann Schumann, Bernd Fischer
03/22/04
GPC-Based Stable Reconfigurable Control
Don Soloway, Jianjun Shi, Atul Kelkar
03/12/04
Technical Reviews: Torn Between Knowledge Sharing and Project Assessment
Peter Putz, David Bell
Published at: 5th European Conf Org Know
03/10/04
Intelligent Controls & Diagnostics Sub-Project and Neuroelectric Machine Control Sub-Project
Joseph Totah
03/05/04
Intelligent Flight Control Task UPN 302-05
Kalmanje Krishnakumar
03/05/04
Intelligent Automation UPN 302-05
John Kaneshige
03/05/04
Neuroelectric Machine Control Task UPN 302-05
Kevin Wheeler
03/05/04
Integrated Computational Dynamics and Diagnostics Task UPN 302-05
Edward Huff
03/05/04
Information Technology Strategic Research (ITSR) Project
David Alfano
03/05/04
Intelligent Controls and Diagnostics for Propulsion Systems UPN 302-05
Donald Simon
03/05/04
Debris Dispersion Modeling using Java 3D
Raj Thirumalainambi, Jorge Bardina
Published at: ESM 2004 18th European
03/01/04
Air System Information Management
Robert Filman
03/01/04
Comparing Methods for UAV-Based Autonomous Surveillance
Michael Freed, Robert Harris, Michael Shafto
Published at: NCAI
03/01/04
Modelling and Simulation of Shuttle Launch and Range Operations
Jorge Bardina, Raj Thirumalainambi
Published at: ESM 2004
03/01/04
Single-Trial Characterization of Evolved Responses: Bayesian Estimation and Differentially Variable Compnent Analysis
Kevin H Knuth
Published at: EPIC XIV Meeting
02/27/04
Efficient Evaluation Functions for Multi-Rover Systems
Adrian Agogino, Kagan Tumer
Published at: Genetic & Ev'n Computing
02/12/04
Time-Extended Policies in Multi-Agent Reinforcement Learning
Kagan Tumer, Adrian Agogino
Published at: Int'l Conf on Autonomous AG
02/12/04
Unifying Temporal and Structural Credit Assignment Problems
Adrian Agogino, Kagan Tumer
Published at: Int'l Conf on Autonomous AG
02/12/04
Spectral Inference from a Mulitplexing Fourier Transform Spectrometer
Arsen Hajian, Kevin Knuth, Brian Pohl, J Thomas Armstrong, David Mozurkewich, Robert Hindsley, Christopher Tycner, Robert Olling
Published at: Astronomical Society
02/12/04
Knowledge Driven Image Mining with Mixture Density Mercer Kernels
Ashok Srivastava, Nikunj Oza
Published at: European Space Agency WS
02/12/04
Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software
Ewen Denney, Bernd Fischer, Johann Schumann
Published at: IJCAR 2004
02/12/04
A Generic Software Safety Document Generator
Ewen Denney, Ram Prasad Venkatesan
Published at: AMAST 2004
02/12/04
Team Formation in Partially Observable Multi-Agent System
Adrian Agogino, Kagan Tumer
Published at: Int' Jt Conf on Neural Net
02/12/04
Overcoming Comnmunication Restrictions in Collectives
Kagan Tumer, Adrian Agogino
Published at: Int' Jt Conf on Neural Net
02/12/04
Strategies for Global Optimization of Temporal Preferences
Paul Morris, Robert Morris, Lina Khatib, Sailesh Ramakrishnan
Published at: AAAI 04
02/11/04
Verification of Java Programs Using Symbolic and Invariant Generation
Corina Pasareanu, Willem Visser
Published at: 11th Int'l Spin Workshop
02/11/04
Assume Guarantee Verification of Source Code with Design-level Assumptions
Dimitra Giannakopulou, Corina Pasareanu, Jamie Cobleigh
Published at: 26th Int'l Conf on SW Eng
02/11/04
Identifying Model-Based Reconfiguration Goals Through Functional Deficiencies
Emmanuel Benazera, Louise Trave-Massuyes
Published at: 15th Int'l WS on Principles
02/11/04
A Comparison of Techniques for Scheduling Earth-Observing Satellites
Al Globus, James Crawford, Jason Lohn, Anna Pryor
Published at: Apps of AI Conf
02/11/04
Simulation-Based Verification of Autonomous Controllers via Livingstone Pathfinder
Tony Lindsey, Charles Pecheur
Published at: Tools Conference
02/06/04
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems
Pramod Gupta, Johann Schumann
Published at: Proc HASE 2004 IEEE
01/16/04
Rule Based Runtime Verification Adding Assurance to Automatically Generated Code
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen, Ewen Denney, Bernd Fischer, Johann Schumann
Published at: 5th Int'l Conf on Model Check High Assurance Sys Eng
01/16/04
Best of Breed
Jason Lohn
Published at: Wired Magazine
01/16/04
Realtime Absolute Orientation with Outlier Rejection for Visual Odometry and Mesh Merging
Esfandier Bandari, Norman Goldstein, Issa Nesnas, Max Bajracharya
01/16/04
The Social Practice of Technical Reviews
David G Bell, Peter Putz
Published at: Academy of Mgmt Conf
01/16/04
Filtering in Hybrid Dynamic Bayesian Networks
Morten N Anderson, Rasmus Anderson, Kevin Wheeler
Published at: Journal of Machine Learning
01/12/04
Filtering in Hybrid Dynamic Bayesian Networks (2)
Morten N Anderson, Rasmus Anderson, Kevin Wheeler
Published at: Int'l Conf on Acoustics, …
01/12/04
Mixture Density Mercer Kernels: A Method to Learn Kernels Directly from Data
Ashok Srivastava
01/12/04
Mobile Agents: A Distributed Voice - Commanded Sensory & Robotic System
William J Clancey
Published at: Earth & Space
01/12/04
Mobile Agents Integrated Field Test
William J Clancey
Published at: FLAIRS
01/12/04
Deriving Laws from Ordering Relations
Kevin Knuth
Published at: Bayesian Inference (Book)
01/07/04
Quantum Adiabatic Optimization and Combinatorial Landscapes
Vadim Smelyanskiy, Sergey Knysh, Robin Morris
Published at: RIACS Tech Report
01/07/04
Context-Aware Intelligent Assistant Approach to Improving Pilot's Situational Awareness
Lilly Spirkovska, Suresh K Lodha
01/07/04
Initial Efforts Toward Mission Representative Imaging Surveys From Aerial Explorers
Greg Pisanich, Larry A Young, Laura Plice, Benton Lau, Corey Ippolito, Pascal Lee
Published at: Int'l Society for Optical Eng
01/07/04
Self-Sustaining Robotic Ecologies and Space Architecture
Silvano Colombano
Published at: AIAA Design Tech Committee
01/07/04
The MER/CIP Portal for Ground Operations
Louise Chan, Sanjay Desai, Matthew D'Ortenzio, Robert E Filman, Dennis M Heher, Kim Hubbard, Sandra Johan, Leslie Keely, Vish Magapu, Ronald Mak, Quit Nguyen, Tarang K Patel, John Schreiner, Elias Sinderson, Joan D Walton
Published at: Ground Systems Arch
12/15/03
Static Analysis of C Programs
Arnaud Venet, Guillaume Brat
12/08/03
Motion Based System Identification and Fault Detection and Isolation Technologies for Thruster Controlled Spacecraft
Edward Wilson, Bradley Betts, Christopher Lages, Robert Mah, David Sutter, Dustin Berkovitz, Edmund Kong
Published at: Jannaf
12/08/03
Lessons Learned from Using a Livingstone Model to Diagnose a Main Propulsion System
Adam Sweet, Anupa Bajwa
Published at: Jannaf
11/24/03
Survey of Software Assurance Techniques for Highly Reliable Systems
Stacy Nelson
Published at: Contractor Report
11/14/03
Automated Testing Using Symbolic Execution and Temporal Monitoring
Cyrille Artho, Allen Goldberg, Klaus Havelund, Sarfraz Kurshid, Michael Lowry, Corina Pasareanu, Grigore Rosu, Willem Visser, Richard Washington
Published at: Theroetical Computer Science (Journal)
11/14/03
Execution-Based Model Checking of Interrupt-Based Systems
Doron Drusinsky, Klaus Havelund
Published at: Int'l Conf on Dependable Sys
11/14/03
EAGLE Monitors by Collecting Facts and Generating Obligations
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Published at: TACAS '04
11/14/03
Efficient Monitoring of Safety Properties
Klaus Havelund, Grigore Rosu
Published at: SF Tools for Tech Xfer (Journal)
11/14/03
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
Published at: Formal Methods in Systems Design (Journal)
11/14/03
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser
Published at: CMU Workshop on Model Checking
11/14/03
Automated Data Processing as an AI Planning Problem
Keith Golden, Wanlin Pang, Ramakrishna Nemani, Petr Votava
Published at: ICAP 2004
11/12/03
Design of Hybrid Mobile Communication Networks for Planetary Exploration
Richard Alena, John Ossenfort, Charles Lee, Edward Walker, Thom Stone
Published at: IEEE Aerospace Conference
11/12/03
Choosing Objectives in Over-Subscription Planning
David E Smith
Published at: ICAP 2004
11/12/03
Plan-Graph Based Heuristics for Conformant Probablistic Planning
Sailesh Ramakrishnan, Martha E. Pollack, David E. Smith
Published at: ICAP 2004
11/12/03
Actions, Observations, and Decision-Making Biologically Inspired Strategies for Autonomous Aerial Vehicles
Greg Pisanich, Larry Young, Corey Ippolito, Benton Lau, Laura Plice
Published at: AIAA
11/12/03
Mission Simulation Facility: Simulation Support for Autonomy Development
Lorenzo Flueckiger, Christian Neukom, Michael Wagner, Laura Plice, Greg Pisanich
Published at: AIAA
11/12/03
A Comparison of Techniques for Scheduling Fleets of Earth-Observing Satellites
Al Globus, James Crawford, Jason Lohn, Anna Pryor
Published at: ICAP 2004
11/12/03
Incremental Maximum Flows for Fast Envelope Computation
Nicola Muscettola
Published at: ICAP 2004
11/12/03
Scheduling in the Face of Uncertain Resource Consumption & Utility Resource-Bounded Scheduling Under Uncertainty
Jeremy Frank, Richard Dearden
Published at: 14th Int'l Conf on Auto P&S
11/03/03
Observations on SOFIA Observation Scheduling: Search and Inference in the Face of Discrete and Continuous Constraints
Jeremy Frank, Michael Gross, Elif Kurklu
Published at: 14th Int'l Conf on Auto P&S
11/03/03
Scoping Planning Agents with Shared Models
Tania Bedrax-Weiss, Jeremy Frank, Ari Jonsson, Conor McGann
Published at: 14th Int'l Conf on Auto P&S
11/03/03
An Analysis Methodology for the Gamma Ray Large Area Space Telescope
Robin Morris, J Cohen-Tanugi
Published at: Max Entropy & bayesian
10/17/03
From Research to Operations Integrating Components of an Advanced Diagnostic System with an Aspect-Oriented Framework
Daryl Fletcher, Richard Alena, Faisal Akkawi, Daniel Duncavage
Published at: IEEE Aerospace Conf
10/17/03
Modeling and Validating Interaction Aspects in UML
Jonathan Whittle
Published at: UML Conference
10/17/03
HealthWatch-2
Eric Barszcz, Marianne Mosher, Edward M Huff
Published at: American Helicopter Socient
10/09/03
Terrain Model Registration for Single Cycle Instrument Placement
Matthew Deans, Clay Kunz, Randy Sargent, Liam Pedersen
Published at: IEEE IROS 2003
10/09/03
First Workshop on Advancing the State of the Art in Run-Time Inspection
Robert Filman, Katharina Mehner, Michael Haupt
Published at: ECOOP 2003 Workshop
10/09/03
Communications Abstractions for Distributed Systems
Antonine Beugnard, Ludger Fiege, Robert Filman, Eric Jul, Salah Sadou
Published at: ECOOP 2003 Workshop
10/09/03
Applying JLINT to Space Exploration Software
Cyrille Artho, Klaus Havelund
Published at: VMCAI 2004
10/03/03
Product Distribution Lagrangians
David Wolpert
10/03/03
Analysis of In-Flight Vibration Measurements from Helicopter Transmissions
Marianne Mosher, Edward Huff, Eric Barszcz
Published at: 60th AHS
10/03/03
Rule-Based Runtime Verification
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Published at: VMCAI '04
10/03/03
Eagle Can Do Efficient LTL Monitoring
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Published at: Fossacs or Taccas
10/03/03
The Case for Durative Actions: A Commentary on PDDL2.1
David E Smith
Published at: Journal of AI Research
09/18/03
NETMARK: A Schema-less Extensions for Relational Databases for Managing Semi-Structured Data Dynamically
David Maluf, Peter Tran
Published at: ISMIS 2003 Conference
09/18/03
Robosphere: Self Sustaining Robotic Ecologies as Precursors to Human Planetary Exploration
Silvano Colombano
Published at: AIAA Space 2003
09/11/03
Automating Capcom: Pragmatic Operations and Technology Research for Human Exploration of Mars
William Clancey
Published at: Mars Expedition Planning
09/04/03
Traceability Through Automatic Program Generation
Julian Richardson, Jeffrey Green
Published at: 2nd Int'l WS on Traceability
09/04/03
Automated Environment Generation for Software Model Checking
Oksana Tkachuk, Matt Dwyer, Corina Pasreanu
Published at: ASE -03 Conference
09/04/03
Proof Rules for Automated Compositional Verification Through Learning
Howard Barringer, Dimitra Giannakopoulou, Corina Pasareanu
Published at: SAVCBS '03 Workshop
09/04/03
Program Analysis Using Abstract Interpretation
Guillaume Brat, Arnaud Venet
Published at: ASE Conference
09/04/03
NASA's MERBoard: An Interactive Collaborative Workspace Platform
Jay Trimble, Roxana Wales, Rich Gossweiller
Published at: Book chapter
08/22/03
Cooperative Exploration of Martian Terrains with the "Scorpion" Legged Robot as an Adjunct to a Rover
Silvano Colombano, Frank Kirchner, Dirk Spenneberg, Jared Starman, James Hanratty
Published at: Mars Soc Conference
08/22/03
Generative Representations for the Automated Design of Modular Physical Robots
Greogry S Hornby, Hod Lipson, Jordan B Pollack
Published at: IEEE Tranactions on Robotics
08/22/03
Optimal Limited Contingency Planning
Nicolas Meuleau, David Smith
08/22/03
Adding Concrete Syntax to a Prolog-Based Program Synthesis System
Bernd Fischer, Eelco Visser
Published at: LOPSTR
08/22/03
Developing an Autonomy Infusion Infrastructure for Robotic Exploration (Abstract Only)
Maria Bualat, Clayton Kunz, Issa Nesnas, Anne Wright
Published at: IEEE Aerospace Conf
08/22/03
Transitioning From Software Requirements Models to Design Models
Jon Whittle
08/08/03
Developing Visualization Techniques for Semantics-based Information Networks
Richard Keller, David R Hall
Published at: Workshop on Visualizing Info
08/05/03
Semantic Information Retrieval: Developing A Web-based User Interface
Daniel Berrios, Richard Keller
Published at: 2nd Int'l Semantic Web Conf
08/05/03
Constraint Maintenance with Preferences and Underlying Flexible Solution
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
08/05/03
System Modeling and Diagnostics for Liquefying Fuel Hybrid Rockets
Scott Poll, David Iverson, Jeremy Ou, Dwight Sanderfer, Ann Patterson-Hine
Published at: NASA TM 2003-212270
08/05/03
Instrumentation of Java Bytecode for Runtime Analysis
Allen Goldberg, Klaus Havelund
Published at: Formal Techniques
08/04/03
Integrated System Health Management for Re-usable In-space Transportation Systems
Anthony Gross, Brian Glass, Ann Patterson-Hine, Joan Pallix
08/04/03
Initial Efforts Towards Mission-Representative Imaging Surveys from Aerial Explorers
Greg Pisanich, Larry Young, Cory Ippolito, Benton Lau, Laura Plice, Ted Roush, Pascal Lee, Sarita Thakoor
07/17/03
An Extensible Information Grid for Risk Management
David Bell, David Maluf
Published at: SAE International WAC
07/17/03
Generative Representations for Evolving Families of Designs
Gregory Hornby
Published at: Genetic and Evo'n Computing
07/15/03
Compressing Aviation Data in XML Format
Hemil Patel, Derek Lau, Deepak Kulkarni
Published at: World Aviation Congress
07/15/03
Aviation Data Integration System
Deepak Kulkarni, Yao Wang, May Windrem, Hemil Patel, Richard Keller
Published at: World Aviation Congress
07/15/03
Evolvable Systems for Space Applications
Jason Lohn, James Crawford, Al Globus, Gregory Hornby, William Kraus, Greg Larchev, Anna Pryor, Ashok Srivastava
Published at: 2003 Space Mission Chall
07/15/03
Evolutionary Design of an X-Band Antenna for NASA's Space Technology 5 Mission
Jason Lohn, Derek Linden, Gregory Hornby, William Kraus, Adan Rodriguez-Arroyo, Stephen Seurfer
Published at: 2003 NASA/DOD Ev HW
07/15/03
Differentially Variable Component Analysis (dVCA): A New Tool for Understanding Single- Trial Brain Responses
Kevin Knuth, A.S. Shah, WA Truccolo, M Ding, SL Bressler, CE Schroeder
Published at: Society for NeuroSciences
07/15/03
Differentially Variable Component Analysis (dVCA): A Single-Trial Analysis Method for Sensory Responses and Ongoing Oscillations
A.S. Shah, Kevin Knuth, P Lakatos, CM Chen, CE Schroeder
Published at: Society for NeuroSciences
07/15/03
A Spatiotemporal Map of 40 Hz Oscillations Across Visual areas
T McGinnis, N O'Connell, A Mills, A.S. Shah, P Lakatos, Kevin Knuth, CM Chen, G. Karmos, CE Schroeder
Published at: Society for NeuroSciences
07/15/03
Deriving Laws from Odering Relations
Kevin Knuth
Published at: MaxENT 2003
07/15/03
Questions Revisited: A Close Examination of the Calculus of Inference and Inquiry
Kevin Knuth
Published at: MaxENT 2003
07/15/03
Lessons from Applying Differentially Variable Component Analysis (dVCA) to Electroencephalographic Activity
A.S. Shah, Kevin Knuth, P Lakatos, CE Schroeder
Published at: MaxENT 2003
07/15/03
Web-based Weather Expert System (WES) for Space Shuttle Launch
T Rajkumar, Jorge Bardina
Published at: IEEE SMC 2003
07/15/03
Density Estimation with Mercer Kernels
William G Macready
Published at: Neural Info Proc System
06/18/03
Neural Network Based Modeling and Analysis of LP Control Surface Allocation
Reza Langari, Kalmanje Krishnakumar, Karen Gundy-Burlet
Published at: AIAA GNC Conference
06/18/03
Control Reallocation Strategies for Damage Adaptation in Transport Class Aircraft
Karen Gundy-Burlet, Kalmanje Krishnakumar, Greg Limes, Don Bryant
Published at: AIAA
06/18/03
Team Formation and Communication Restrictions in Collectives
Adrian Agogino, Kagan Tumer
06/18/03
An Adaptive Critic Approach to Reference Model Adaptation
Kalmanje Krishnakumar, Greg Limes, Karen Gundy-Burlet, Don Bryant
Published at: AIAA GNC Conference
06/18/03
Neuro-Electric Machine Control
Kevin R Wheeler
Published at: BioE/Biotech 2003 Conf
06/18/03
Intelligent Approaches for UAVs
Kalmanje Krishnakumar
Published at: French Australian Adv WS
06/16/03
Providing Effective Access to Shared Resources: a COIN approach
Stephane Airiau, Sandip Sen, David Wolpert, Kagan Tumer
Published at: AAMAS '03
06/13/03
Automated Reasoning in NASA's Intelligent Systems Program
Robert Morris
Published at: Slide Presentation
06/05/03
The Digital Space Shuttle, 3D Graphics, and Knowledge Management
Julian Gomez, Paul Keller
Published at: ACM Siggraph 2003
06/02/03
A Software Framework to Enhance Training and Operations of Space Missions
Bradley Betts, Richard Papasin, Sharif Elcott, Dawn McIntosh, Mundo, Rommel De, Brian Niehaus, Robert Mah, Michael Guerrero, Edward Wilson
Published at: Space Mission Challenges
05/28/03
Simulation-Based Verification of Livingstone Applications
Tony Lindsey, Charles Pecheur
Published at: DSN 2003 Workshop
05/28/03
Modeling of Vibration Measurements for Gear Fault and Damage Detection on Aircraft
Marianne Mosher, Edward Huff, James Zakrajsek
Published at: JANNAF 3rd Mod. & Sim. .
05/28/03
Device Control Using Gestures Sensed from EMG
Kevin Wheeler
05/21/03
Maneuver Classification for Aircraft Fault Detection
Nikunj Oza, Irem Tumer, Kagan Tumer, Edward Huff
05/20/03
Principles for Integrating Mars Analog Research
William Clancey
Published at: Analog Sites & Facilities
05/14/03
Roles for Agent Assistants
William Clancey
Published at: IEEE Transactions on SMC
05/14/03
A Bayesian Approach to Sensor Characterization
Dogan Timucin
Published at: IEEE IGARSS
05/14/03
NASA's Secured Advanced Federated Environment
Ed Chow, Joseph Liu, Pat Chang, Conan Viernes, David Korsmeyer, Helen Stewart, Matt Chew-Spence, Andy Goforth, Barney Pell
05/14/03
Hybrid Concurrent Constraint Simulation Models of Several Systems (PSA, RWGS, Sorbtion, SWRS, Liquid Oxygen Tank)
Adam Sweet
05/14/03
How Do We Remain Us in a Time of Change: Culture and Knowledge Management at NASA
Charlotte Linde
Published at: Los Alamos National Lab
05/07/03
Holarchical Systems and Emotional Holons: Biologically Inspired System Designs for Control of Autonomous Aerial Vehicles
Corey Ippolito, Laura Plice, Greg Pisanich
05/07/03
Hiproofs
Ewen Denney, John Power, Konstantinos Tourlas
05/07/03
Incremental Contingency Planning
Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David Smith, Richard Washington
Published at: ICAPS
05/02/03
Scheduling Earth Observing Satellites with Evolutionary Algorithms
Al Globus, James Crawford, Jason Lohn, Anna Pryor
04/30/03
Intelligent Agents for Science Data Processing
Keith Golden
Published at: ISI Talk
04/30/03
A Domain Description Language for Data Processing
Keith Golden
Published at: ICAPS
04/30/03
MAPGEN Planner: Mixed-Initiative activity planning for the Mars Exploration Rover mission
Mitch Ai-Chang, John Bresina, Leonard Charest, Jennifer Hsu, Ari Jonsson, Bob Kanefsky, Pierre Maldague, Paul Morris, Kanna Rajan, Jeffrey Yglesias
Published at: ICAPS 2003
04/30/03
Interleaved Observation Execution and Rescheduling on Earth Observing Systems
Lina Khatib, Jeremy Frank, David Smith, Robert Morris, Jennifer Dungan
04/30/03
Constraint Reasoning over Strings
Keith Golden, Wanlin Pang
Published at: Constraint Programming
04/21/03
A Hybrid Constraint Representation and Reasoning Framework
Keith Golden, Wanlin Pang
Published at: Constraint Programming
04/21/03
Procedure Visualization to Augment Space Mission Training
Dawn McIntosh, Sharif Elcott, Bradley Betts, Robert Mah
Published at: 40th Space Congress
04/21/03
On the Critical Behaviour, Crossover Point and Complexity of the Exact Cover Problem
Robin D Morris, Vadim Smelyanskiy, Daniel Shumow
Published at: Constraint Programming
04/21/03
Aspects, Wrappers and Events
Robert E Filman
04/15/03
Applying Model-Based Reasoning to the FDIR of the Command & Data Handling Subsystem of the International Space Station
Peter Robinson, Mark Shirley, Daryl Fletcher, Rick Alena, Dan Duncavage, Charles Lee
Published at: Isairus '03
04/11/03
Design for Verification: Enabling Verification of High Dependability Software Intensive Systems
Peter Mehlitz, John Penix, Larry Markosian
Published at: Int'l Conf on SE 2003
04/11/03
Evolutionary Fault Recovery in a Virtex FPGA Using a Representation That Incorporates Routing
Jason Lohn, Greg Larchev, Ron DeMara
Published at: 2003 Reconfigurable Arch
04/11/03
Hosted Services for Advanced V&V Technologies: An Approach to Achieving Adoption Without the woes of Usage
Larry Markosian, Owen O'Malley, John Penix, William Brew
Published at: Int'l Conf on SE 2003
04/10/03
Technology Transfer Challenges for High- Assurance Software Engineering Tools
John Penix, Larry Markosian
Published at: Int'l Conf on SE 2003
04/10/03
Design for Verification: Using Design Patterns To Build Reliable Systems
Peter Mehlitz, John Penix
04/10/03
Propel: Tools and Methods for Practical Source Code Model Checking
Mansouri-Samani Masoud, Larry Markosian, Dale Martin, Peter Mehlitz, Owen O'Malley, Lance Moore, John Penix, Willem Visser
Published at: Int'l Conf on Dependable Sys and Networks
04/10/03
Correctness of Source-Level Safety Policies
Ewen Denney, Bernd Fischer
Published at: Formal Methods (Europe)
04/03/03
Terrain Model Registration for Single Cycle Instrument Placement
Matthew Deans, Clay Kunz, Randy Sargent, Liam Pedersen
Published at: Isairus
04/02/03
A Survey of Space Robotics
Liam Pedersen, David Kortenkamp, David Wettergreen, Ilah Nourbakhsh
Published at: Isairus
04/02/03
Integrated Demonstration of Instrument Place- ment, Robust Execution and Contingent Planning
Liam Pedersen, Maria Bualat, David Lees, David Smith, Rich Washington
Published at: Isairus
04/02/03
The Newell Test Should Commit to Diagnosing Dysfunctions
William Clancey
Published at: Behavioral & Brain Sciences
04/02/03
Detailed Vibration of Analysis of PinionGear With Time-Frequency Methods
Marianne Mosher, Anna Pryor, David G Lweicki
04/02/03
Assessing the Probability of Legal Execution of Plans with Temporal Uncertainty
Ioannis Tsamardinos, Martha Pollack, Sailesh Ramakrishnan
Published at: Int'l Conf on Automated P&S
04/02/03
Identifying Executable Plans
Tania Bedrax-Weiss, Jeremy Frank, Ari Jonsson, Conor McGann
Published at: Int'l Conf on Automated P&S
04/02/03
Formalizing Resources For Planning
Tania Bedrax-Weiss, Conor McGann, Sailesh Ramakrishan
Published at: Int'l Conf on Automated P&S
03/27/03
Adjustably Autonomous Multi-Agent Plan Execution with an Internal Spacecraft Free- Flying Robot Prototype
Gregory Dorais, Keith Nicewarner
Published at: 13th Int'l Conf on Auto. P&S
03/27/03
AEN Annual Report 2002
David Maluf
03/20/03
Data Management NASA-XDB-IPG-0.9 Netmark 1.0 XDB-IPG: An Extensible Database Architecture for an Information Grid of Heterogeneous and Distributed Information Resources
David Maluf
03/20/03
The Loyal Opposition Comments on PDDL
Jeremy Frank, Keith Golden, Ari Jonsson
03/20/03
A Graph Based Backtracking Algorithms for Solving General CSPs
Wanlin Pang, Scott Goodwin
Published at: 16th Canadian Conf on AI
03/19/03
An Extensible "Schema-Less" Database Framework for Managing High-Throughput Semi-Structured Documents
David Maluf, Peter Tran
Published at: IASTED Conf
03/14/03
Intelligent Virtual Station
Richard Papasin, Bradley J. Betts, Mundo, Rommel De, Michael Guerrero, Robert Mah, Dawn McIntosh, Edward Wilson
03/13/03
Source Update Capture in Information Agents
Naveen Ashish, Deepak Kulkarni, Yao Wang
03/13/03
Evaluation of Human vs Teleoperated Robotic Performance in Field Geology Tasks at a Mars Analog Site
Brian Glass, Geoffrey Briggs
Published at: iSAIRIS 03
03/06/03
Agent Interaction with Human Systems in Complex Environments
William J Clancey
03/06/03
Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System
William J Clancey, Maarten Sierhuis, Charis Kaskiris, Hoof, Ronnie Va
03/06/03
Brahms Mobile Agents: Architecture & Field Tests
William J Clancey, Maarten Sierhuis, Charis Kaskiris, Hoof, Ronnie Va
03/06/03
Mining Distance Based Outliers in Near Linear Time with Randomization and a Simple Pruning Rule
Stephen D Bay, Mark Schwabacher
Published at: ACM Int'l Conf on KD and DM
02/26/03
Tactical Maneuvering Using Immunized Sequence Selection
John Kaneshige, Kalmange Krishnakumar, Felix Shung
Published at: AIAA Unmanned Unlimited
02/25/03
Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tool
Klaus Havelund, Scott Stoller, Shmuel Ur
Published at: PadTad '03 Parallel & Dist
02/25/03
Targeted Help for Spoken Dialogue Systems: Intelligent Feedback Improves Naïve Users' Performance
Beth Ann Hockey, Oliver Lemon, Ellen Campana, Laura Hiatt, Gregory Aist, James Hieronymus, Alexander Gruenstein, John Dowding
02/25/03
Kernel PLS-SVC for Linear and Nonlinear Discrimination
Roman Rosipal, Leonard Trejo, Bryan Matthews
02/25/03
Knowledge Management: A Skeptics Guide
Charlotte Linde
02/24/03
Intelligent Launch and Range Operations Virtual Test Bed
Jorge Bardina, Rajkumar T
Published at: Aerosense 2003
02/24/03
Automating the processing of Earth Observation Data
Keith Golden, Wanlin Pang, Ramakrishna Nemani, Petr Votava
Published at: I-SAIRAS
02/24/03
LiveInventor - An Interactive Development Environment for Robot Autonomy
Charles Neveu, Mark Shirley
02/24/03
Bayesian Research at the NASA Ames Research Center, Computational Sciences Division
Robin D Morris
Published at: Bulletin of the Int'l Society for Bayesian Analysis
02/13/03
The Effect of AOP on Software Engineering, with Particular Attention to OIF and Event Quantifica'n
Robert Filman, Klaus Havelund
02/13/03
Multimodal Neuroelectric Interface Development: A Survey of Research at NASA Ames Research Center
Leonard Trejo, Kevin Wheeler, Charles Jorgensen, Roman Rosipal, Sam Clanton, Bryan Matthews, Andrew Hibbs, Robert Matthews, Michael Krupka
02/13/03
An Autonomous Control System for an Intra- Vehicular Spacecraft Mobile Monitor Prototype
Gregory Dorais, Salvatore Desiano, Yuri Gawdiak, Keith Nicewarner
Published at: 7th Int'l Symposium on AI
02/13/03
Foundations of the Bandera Abstraction Tools
John Hatcliff, Matthew Dwyer, Corina Pasareanu
Published at: Essence of Computation, Complexity, Analysis, Transformation
02/13/03
An Exploration of Discontinuous Time Synchronous Averaging Using Helicopter Flight Vibration
Edward Huff, Marianne Mosher, Eric Barszcz
Published at: American Helicopter Society
02/13/03
Modeling and Simulation for Mission Operations Work System Design
Maarten Sierhuis, William Clancey, Chin Seah, Jay Trimble, Michael Sims
Published at: Journal of Mmgt Info Sys
02/10/03
Training Data Requirement for a Neural Network to Predict Aerodynamic Coefficients
Rajkumar T, Jorge Bardina
Published at: AeroSense 2003 SPIE 17th
02/10/03
Neural Dynamics Underlying Event-Related Potentials
Ankoor S. Shah, Steven L. Bressler, Kevin Knuth, Mingzhou Ding, Ashesh Mehta, Istvan Ulbert, Charles E. Schroeder
02/10/03
Intelligent Machines in the 21st Century: Automating the Processes of Inference and Inquiry
Kevin Knuth
Published at: Philosophical Transactions
02/10/03
Lessons Learned from Developing A Streaming Data Framework for Scientific Analysis
Kevin Wheeler, Mark Allan, Charles Curry
Published at: SIAM International
02/10/03
Subauditory Speech Recognition based on EMG/EPG Signals
Chuck Jorgensen, Diana Lee, Shane Agabon
Published at: Int'l Joint Conf on Neural NW
01/30/03
A Genetic Representation for Evolutionary Fault Recovery in Virtex FPGAs
Jason Lohn, Greg Larchev, Ronald DeMara
Published at: 5th International Evolvable
01/29/03
Characterization of Model-Based Reasoning Strategies for use in IVHM Architectures
Scott Poll, David Iverson, Ann Patterson-Hine
Published at: SPIE Aerosense
01/29/03
Tractable Pareto Optimization of Temporal Preferences
Robert Morris, Paul Morris, Lina Khatib, Brent Venable
Published at: IJCAI 2003
01/29/03
Real-Time Rover Executive Based on Model-Based Reactive
Mary Bernardine Dias, Solange Lemai, Nicola Muscettola
Published at: ICAR 2003
01/29/03
Near Linear Time Detection of Distance Based Outliers
Stephen Bay, Mark Schwabacher
Published at: Data Mining for …
01/29/03
Differentially Variable Component Anlysis (dVCA): Identifying Multiple Evoked Components Using Trial-to-Trial Variability
Kevin Knuth, A.S. Shah, Wilson Truccolo, Mingzhou Ding, Steven Bressler, Charles Schroeder
Published at: Neuron Journal
01/22/03
Formal Verification for a Next-Generation Space Shuttle
Stacy Nelson, Charles Pecheur
01/21/03
Artificial Immune System Approaches for Aerospace Applications
Kalmanje Krishnakumar
01/21/03
Generalized Symbolic Execution for Model Checking and Testing
Sarfraz Khursid, Corina Pasareanu, Willem Visser
01/21/03
Human Centered Design and Development for NASA's MERBoard
Jay Trimble
01/16/03
Boosting with Averaged Weight Vectors
Nikunj Oza
01/03/03
Program Instrumentation and Trace Analysis
Klaus Havelund, Allen Goldberg, Robert Filman, Grigore Rosu
01/03/03
High-Level Data Races
Cyrille Artho, Klaus Havelund, Armin Biere
01/03/03
Netmark-Docushare Integration Brainstorming
David Bell, David Maluf
01/03/03
Locally-Based Kernel PLS Smoothing to Non- Parametric Regression Curve Fitting
Roman Rosipal, Leonard Trejo, Kevin Wheeler
12/23/02
The Livingstone Model of a Main Propulsion System
Anupa Bajwa, Adam Sweet
12/16/02
Learning Assumptions for Compositional Verification
Jamison Cobleigh, Dimitra Giannakopoulou, Corina Pasareanu
12/16/02
Understanding Vibration Spectra of Planetary Gear Systems for Fault Detection
Marianne Mosher
12/16/02
Kernel Partial Least Squares for Nonlinear Regression and Discrimination
Roman Rosipal
12/02/02
Experiments with Test Case Generation and Runtime Analysis
Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael Lowry, Corina Pasareanu, Grigore Rosu, Willem Visser
12/02/02
Darwin, J2EE, and Mars (proposal)
Ronald Mak
12/02/02
The Mars Exploration Rover/ Collaborative Information Portal
Joan Walton, Robert Filman, John Schreiner
11/19/02
A Closed Mars Analog Simulation
William J Clancey
11/19/02
The Social Life of a Data Base
Charlotte Linde, Roxana Wales
11/19/02
An Overview of the Runtime Verification Tool Java PathExplorer
Klaus Havelund, Grigore Rosu
Published at: Formal Methods Journal
11/19/02
An Overview of the Runtime Verification Tool -> Reducing False Positives in Runtime Analysis of Deadlocks
Saddek Bensalem, Klaus Havelund
Published at: TACAS '03 Conference
11/19/02
Realizing Aspects by Transforming for Events
Robert Filman, Klaus Havelund
Published at: ASE '02 Conference
11/19/02
Program Model Checking as a new Trend
Klaus Havelund, Willem Visser
Published at: SW Tools for Tech Xsfer Jl
11/19/02
A Rewriting-based Approach to Trace Analysis
Klaus Havelund, Grigore Rosu
Published at: ASE Journal
11/19/02
NASA Position Paper for the CSCW 2002 Workshop on Public, Community, and Situated Displays: Merboard
Jay Trimble, Roxana Wales, Rich Gossweiler
10/31/02
Estimating the Single-Trial Characteristics of Event-Related Responses: Evaluation of the mcERP Algorithm
Kevin Knuth, AS Shah, W.A. Truccolo, M. Ding, SL Bressler, CE Schroeder
10/31/02
Single-Trial Analysis of V1 Responses Suggest Two Transmission States
AS Shah, Kevin Knuth, W.A. Truccolo, AD Mehta, T McGinnis, N O'Connell, M. Ding, SL Bressler, CE Schroeder
10/31/02
Hybrid Verification of an Interface for an Automatic Landing
Meeko Oishi, Ian Mitchell, Alexandra Bayen, Claire Tomlin, Asaf Degani
10/30/02
A Scalable, Out-of-Band Diagnostics Architecture for International Space Station Systems Support
Daryl P Fletcher, Rick Alena
10/21/02
A Data Management System for International Space Station Simulation Tools
Bradley J Betts, Mundo, Rommel De, Sharif Elcott, Dawn McIntosh, Brian Niehaus, Richard Papasin, Robert Mah
10/21/02
Prediction of Aerodynamic Coefficients Using Genetic Algorithm Optimized Neural Network for Sparse Data
Raj Thiramalainambi, Jorge Bardina
10/21/02
Multimodal Neuroelectric Interface Development: A Survey of Research at NASA Ames Research Center
Leonard Trejo, Kevin Wheeler, Charles Jorgensen, Roman Rosipal, Sam Clanton, Bryan Matthews, Andrew Hibbs, Robert Matthews, Michael Krupka
10/21/02
Biologically Inspired 'Behavioral' Strategies for Planning and Execution of Missions Using General Classes of Aerial Explorers
Laura Plice, Greg Pisanich, Benton Lau, Larry Young
Published at: IEEE 2003 Aerospace Conf
10/15/02
The Personal Satellite Assistant: An Internal Spacecraft Autonomous Mobile Monitor
Greg Dorais, Yuri Gawdiak
10/10/02
Airport Simulations Using Distributed Computational Resources
William J McDermott, David Maluf, Yuri Gawdiak, Peter Tran
10/07/02
An Extensible "Schema-Less" Database Framework for Managing High-Throughput Semi-structured Documents
David Maluf, Peter Tran, Tracy La
10/07/02
Instrument Deployment for Mars Rover ** Includes video as well
Liam Pedersen, Maria Bualat, Clay Kunz, Susan Lee, Randy Sargent, Rich Washington, Anne Wright
10/07/02
Scheduling Earth Observing Fleets Using Evolutionary Algorithms: Problem Description and Approach
Al Globus, James Crawford, Jason Lohn, Robert Morris
10/07/02
Science Target Assessment for Mars Rover Instrument Deployment
Liam Pedersen
10/01/02
Analysis of Salinity Intrusion in the San Francisco Bay-Delta Using a GA-optimized Neural Net, and Application of the Model to Prediction in the Elkhorn Slough Habitat
David Thompson, Rajkumar T
09/10/02
PRACA Enhancement Pilot Study Report
David J Korsmeyer, John Schreiner
08/19/02
Discovering Communicable Scientific Knowledge from Earth Science Data
Mark Schwabacher, Pat Langley, Christopher Potter, Steven Klooster, Alicia Torregrosa
08/19/02
A Facility and Architecture for Autonomy Research
Greg Pisanich
08/09/02
Fielding an Autonomous UAV: Development Results, and Lessons Learned
Greg Pisanich, Stephen Morris
08/09/02
Bandwidth Enabled Flight Operations: Examining the Possibilities
Greg Pisanich, Fritz Renema
08/09/02
Optimization of a Neural Network Model Using a Genetic Algorithm: Predicting Salinity Intrusion in the San Francisco Bay Estuary
Rajkumar T, David Thompson
08/09/02
On-line, gyro-based, mass-property identification for thruster-controlled spacecraft using recursive least squares
Edward Wilson, Christopher Lages, Robert Mah
08/05/02
CIP Training Manual
John Schreiner
07/24/02
Merboard User's Guide
Jay Trimble, Ted Shab, Alonsa Vera, Rich Gossweiler
07/24/02
Classification of Aircraft Maneuvers for Fault Detection
Nikunj Oza, Irem Tumer, Kagan Tumer, Edward Huff
07/23/02
Towards Failure-Free Design: Reducing Dimensionality in Function Failure similarity Analysis for Large Databases
Irem Tumer, Robert Stone, Rory Roberts
07/23/02
Boosting with Averaged Weight Vectors
Nikunj Oza
07/09/02
Computing the Envelope for Stepwise-Constant Resource Allocations
Nicola Muscettola
07/09/02
DPADL: An Action Language for Data Processing Domains
Keith Golden
Published at: NASA Planning and Scheduling
07/03/02
Verification and Validation of Neural Networks for Aerospace systems
Dale Mackall, Stacy Nelson, Johann Schumann
07/03/02
A Bayesian Approach to Estimating Coupling between Neural Components: Evaluation of the Multiple Component Event-Related Potential (MCERP) Algorithm
AS Shah, Kevin Knuth, WA Truccolo, M Ding, SL Bressler, CE Schroeder
Published at: Maximum Entropy & Bayesian Methods
06/25/02
Contingency Planning for Planetary Rovers
Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David Smith, Rich Washington
06/25/02
Finding feasible abstract counter-examples
Corina Pasareanu, Matthew Dwyer, Willem Visser
06/25/02
What is a Question?
Kevin Knuth
Published at: Maximum Entropy & Bayesian Methods
06/25/02
Hierarchies of Models: Toward Understanding Planetary Nebulae
Kevin Knuth, Arsen Hajian
Published at: Maximum Entropy & Bayesian Methods
06/25/02
Audio-Visual Situational Awareness for General Aviation Pilots
Lilly Spirkovska, Suresh Lodha
06/25/02
Estimating Single-Trial Responses in EEG
AS Shah, Kevin Knuth, WA Truccolo, AD Mehta, KG Fu, TA Johnston, M Ding, SL Bressler, CE Schroeder
05/28/02
Multiple Component Event-Related Potential (mcERP) Estimation
Kevin Knuth, Sam Clanton, AS Shah, WA Truccolo, SL Bressler, Leonard Trejo, CE Schroeder
05/23/02
Two pathes from the same place: Task driven and human-centered evolution of a group information surface
Daniel Russell, Jay Trimble, Roxana Wales
05/23/02
Time-Extended Payoffs for Collectives of Autonomous Agents
Kagan Tumer, Adrian Agogino
05/23/02
Robust Combining of Disparate Classifiers Through Order Statistics
Kagan Tumer, Joydeep Ghosh
05/23/02
Laser-Camera Vision Sensing for Spacecraft Mobile Robot Navigation
David Maluf, Ahmad Khalil, Gregory Dorais, Yuri Gawdiak
05/23/02
Synthesizing Certified Code
Mike Whalen, Johann Schumann, Bernd Fischer
05/23/02
Autobayes/CC-Combining Program Synthesis with Automatic Code Certification -System Description-
Mike Whalen, Johann Schumann, Bernd Fischer
05/23/02
A Survey of Knowledge Management Research & Development at NASA Ames Research Center
Richard M Keller
05/23/02
A Clustering-Based Approach for Failure Mode Identification
Srikesh Arunajadai, Robert Stone, Irem Tumer
04/30/02
Evolutionary Optimization of a Quadrifilar Helical Antenna
Jason Lohn, William Kraus, Derek Linden
04/25/02
Agent Based Modeling of Collaboration and Work Practices Onboard the International Space Station
Alessandro Acquisti, Maarten Sierhuis, William J Clancey, Jeff Bradshaw
04/18/02
IDEA: Planning at the Core of Autonomous Reactive Agents
Nicola Muscettola, Gregory Dorais, Chuck Fry, Richard Levinson, Chris Plaunt
04/15/02
Intelligent Systems for Aerosapce Engineering - An Overview
Kalmanje Krishnakumar
04/15/02
Mixed-Initiative Planning in Mapgen: Capabilities and Shortcomings
John Bresina, Ari Jonsson, Paul Morris, Kanna Rajan
Published at: iCAPS 2005
04/04/02
Model Based Verification of Diagnostics Systems
Stephen A Brown, Charles Pecheur
04/01/02
New Boundary Constraints for Elliptic Systems Used in Grid Generation Problems
Upender Kaul
04/01/02
Challenging Aerospace Problems for Intelligent Systems
Kalmanje Krishnakumar
04/01/02
Survey of NASA V&V Porcesses/Methods
Stacy Nelson, Charles Pecheur
03/26/02
New V&V Tools for Diagnostic Modelling Environment (DME)
Stacy Nelson, Charles Pecheur
03/26/02
V&V of Advanced Systems at NASA
Stacy Nelson, Charles Pecheur
03/26/02
Software Construction and Analysis Tools for Future Space Missions
Michael Lowry
03/20/02
Synthesizing Monitors for Safety Properties
Klaus Havelund, Grigore Rosu
03/18/02
Source-Code Instrumentation and Quantification over Events
Robert Filman, Klaus Havelund
Published at: AOSD 2002
03/18/02
Locally based kernel PLS de-noising with application to event-related potentials
Roman Rosipal, Leonard Trejo, Kevin Wheeler, Peter Tino
03/18/02
A New Simulation Framework for Autonomy in Robotic Missions
Lorenzo Flueckiger, Christian Neukom
Published at: 2002 IEEE/RST
03/18/02
Numbering Partitioning via Quantum Adiabatic Computation
Vadim Smelyanskiy, Udo Toussaint
02/28/02
Optimization of a Model to Predict Salinity Intrusion in San Francisco Bay Estuary Using a Genetic Algorithim
Raj Thirumalainambi, David Thompson
02/25/02
Modeling the Perceptual Component of Conceptual Learning
William J Clancey
02/07/02
Comparing a Coevolutionary Genetic Algorithm for Multiobjective Optimization
Jason Lohn, William Kraus, Gary Haith
02/07/02
Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI
John Bresina, Richard Dearden, Nicolas Meuleau, David Smith, Rich Washington
02/07/02
Elliptic Grid Generation of Spiral Bevel Pinion Gear Typical of OH-58 Helicopter Transmission
Upender Kaul, Edward Huff
01/24/02
Designing Agent Collectives for Systems With Markovian Dynamics
David Wolpert, John Lawson
Published at: Autonomous Agents 2002
12/12/01
On Abstractions and Simplifications in the Design of Human-Automation Interfaces
Michael Heymann, Asaf Degani, Michael Shafto, George Meyer
12/12/01
Combining Static Analysis and Model Checking for Software Analysis
Guillaume Brat, Willem Visser
Published at: Automated SW Engineering
12/12/01
Computing the Envelope for Stepwise Constant Resource Allocations
Nicola Muscettola
12/12/01
High Resolution Surface Geometry and Albedo by Combining Laser Altimetry and Visible Images
Robin Morris, Udo Toussount, Peter Cheeseman
12/12/01
Audio-Visual Situational Awareness for General Aviation Pilots
Lilly Spirkovska, Suresh Lodha
Published at: VisSym '02
12/12/01
Universal Quantification in a Constraint-Based Planner
Keith Golden, Jeremy Frank
Published at: 6th Int'l conf on AIPS
12/12/01
A Constraint-Based Planner with Attributes
Jeremy Frank, Ari Jonsson
Published at: Journal of Constraints
12/12/01
An Overview of Intelligent Systems for Control and Health Management
Joan Pallix, Gregory Dorais, John Penix
Published at: Joint Army Navy NASA AF
12/12/01
Intelligent Control Approaches for Aircraft Applications
Karen Gundy-Burlet, Kalmanje Krishnakumar, Don Soloway, John Kaneshige
Published at: Jannaf Interagency Prop.
12/12/01
Input Decimated Ensembles
Kagan Tumer, Nikunj Oza
12/12/01
Learning Sequences of Actions in Collectives of Autonomous Agents
Kagan Tumer, Adrian Agogino, David Wolpert
Published at: Autonomous Agents 2002
12/12/01
The Logic of Reachability
David Smith, Ari Jonsson
Published at: 6th Int'l conf on AIPS
12/12/01
Aspect-Oriented Programming is Quantification and Implicit Invocation
Robert Filman, Daniel Friedman
12/12/01
Automatic Overset Grid Generation with Heuristic Feedback Control
Peter I. Robinson
11/20/01
Certifying Domain Specific Policies
Michael Lowry, Thomas Pressburger, Grigore Rosu
Published at: ASE Conference
10/16/01
Specification and Error Pattern Based Program Monitoring
Klaus Havelund, Scott Johnson, Grigore Rosu
Published at: ESA Workshop
10/09/01
Multiagent Modeling and Simulation in Human-Robot Mission Operations Work System Design
Maarten Sierhuis, William Clancey, Michael Sims
09/27/01
Gyro-Based Maximum-Likelihood Thruster Fault Detection and Identification
Edward Wilson, Christopher Lages, Robert Mah
09/27/01
Evaluation of Standard Gear Metrics in Helicopter Flight Operation
Marianne Mosher, Anna Pryor, Edward Huff
09/18/01
Evolutionary Optimization of Yagi-Uda Antennas
Jason Lohn, William Kraus, Derek Linden, Silvano Colombano
09/18/01
A Framework for Distributed Rovert Congrol and Three Sample Applications
Steve McGuire
09/18/01
State Estimation for K9
Rugang Xu
09/18/01
Principal Components Analysis of Triaxial Vibration Data from Helicopter Transmissions
Irem Tumer, Edward Huff
09/18/01
On Maximum Entropy, Maximum Likelihood and Bayesian Inductive Inference
Peter Cheeseman, John Stutz, Vadim Smelyanskiy
08/07/01
K9 On-Board Rover Architecture
John Bresina, Maria Bualat, Michael Fair, Rich Washington, Anne Wright
07/26/01
Airport Remote Tower Sensor Systems
Richard Papasin, Yuri Gawdiak, David Maluf, Christopher Leidich, Peter B Tran
07/20/01
Mars Rovers Past, Present, and Future
Maria G Bualat
07/20/01
Secure Large-Scale Airport Simulations Using Distributed Computational Resources
William McDermott, David Maluf, Yuri Gawdiak, Peter Tran
07/20/01
Automata-Based Verification of Temporal Properties on Running Programs
Dimitra Giannakopoulou, Klaus Havelund
07/20/01
Analysis of Maneuvering Effects on Transmission Vibrations in an AH-1 Cobra Helicopter
Edward Huff, Eric Barszcz, Irem Tumer, Mark Dzwonczyk, James McNames
Published at: Change title
07/20/01
On the Effects of Production and Maintenance Variations on Rotating Machinery Performance
Irem Tumer, Edward Huff
Published at: Change title
07/20/01
Monitoring Programs Using Rewriting
Klaus Havelund, Grigore Rosu
07/20/01
RIACS Workshop on the Verification and Validation of Autonomous And Adaptive Systems
Charles Pecheur, Willem Visser, Reid Simmons
07/05/01
Field Science Ethnography
William Clancey
07/05/01
D3: A Collaborative Infrastructure for Aerospace Design
Joan Walton, Robert Filman, Chris Knight, David Korsmeyer, Diana Lee
07/05/01
Synthesis of UML designs from Requirements in an interactive process.
Johann Schumann, Jonathan Whittle
07/05/01
[] or Success is not enough: Current Technology and Future Directions in Proof Presentation
Johann Schumann, Peter Robinson
07/05/01
Java Pathexplorer A Runtime Verification Tool
Klaus Havelund, Grigore Rosu
07/05/01
Monitoring Java Programs with JAVA Pathexplorer
Klaus Havelund, Grigore Rosu
07/05/01
A Metadata Action Language
Keith Golden
06/05/01
VIPER: Virtual Intelligent Planetary Exploration Rover
Larry Edwards, Lorenzo Fluekiger, Laurent Nguyen, Rich Washington
06/05/01
Robust Order Statistics Based Ensembles for Distributed Data Mining
Kagan Tumer, Joydeep Ghosh
06/05/01
The 3D Recognition, Generation, Fusion, Update and Refinement (GR4) Concept
David Maluf
06/05/01
(Almost) Featureless Stereo - Calibration and Dense 3D Reconstruction Using Whole Image Operations
Vadim Smelyanskiy, R D Morris, Peter Cheeseman, David Maluf
06/05/01
What is Aspect-Oriented Programming, Revisited
Robert E Filman
05/07/01
Planning and Scheduling for Fleets of Earth Observing Satellites
Jeremy Frank, Ari Jonsson, Robert Morris, David Smith
05/07/01
The AutoBayes Program Synthesis System: System Description
Bernd Fischer, Thomas Pressburger, Grigore Rosu, Johann Schumann
Published at: "Calculemus"
04/27/01
Assessment of the NASA Space Shuttle Program's Problem Reporting and Corrective Action System
David Korsmeyer, John Schreiner
04/23/01
Mapping Temporal Planning Constraints into Timed Automata
Lina Khatib, Nicola Muscettola, Klaus Havelund
04/23/01
Component Verification and Certification in NASA Missions
Dimitra Giannakopoulou, John Penix
Published at: Int'l Conf. SW Engineering
04/23/01
Empirical Requirements Analysis Using the Flashline Mars Arctic Research Station
William Clancey
04/09/01
Multiagent Work Practice Simulation: Progress and Challenges
William Clancey
04/09/01
Multimodal NeuroElectric Interface Development
Len Trejo, Kevin Wheeler, Chuck Jorgensen
03/20/01
Model Checking Autonomy Models for a Martian Propellant Production Plant
Peter Engrand
03/14/01
Developing Distributed Collaboration Systems at NASA: A Report from the Field
Irma Fernandez, Helen Stewart, Chris Knight
03/05/01
Discovering Communicable Scientific Knowledge from Spatio-Temporal Data
Mark Schwabacher, Pat Langley
03/05/01
Matching Images to Models - Camera Calibration for 3D Surface Reconstruction
Robin Morris, Vadim Smelyanskiy, Peter Cheeseman
02/21/01
Learning Preferences on Temporal Constraints: A Preliminary Report
F Rossi, A Sperduit, Lina Khatib, Paul Morris, Robert Morris
02/21/01
Intelligent Aerodynamic/Propulsion Flight Control for Flight Safety: A Nonlinear Adaptive Approach
Moshe Idan, Matthew Johnson, Anthony Calise, John Kaneshige
02/13/01
Synthesizing Dynamic Programming Algorithms From Linear Temporal Logic Formulae
Grigore Rosu, Klaus Havelund
02/07/01
Circular Coinduction
Grigore Rosu, Joseph Gogueu
02/07/01
Institution Morphisms
Joseph Gogueu, Grigore Rosu
02/07/01
Analytical Method to Evaluate Failure Potential during High-Risk Component Develop
Irem Tumer, Robert Stone
02/06/01
An Overview of NASA's Intelligent Systems Prog
Daniel E Cooke
01/22/01
Temporal Constraint Reasoning with Preferences
Lina Khatib, Paul Morris, Robert Morris, Francesca Rossi
Published at: IJCAI-01
01/19/01
Dynamic Control of Plans with Temporal Uncertainty
Paul Morris, Nicola Muscettola, Thierry Vidal
Published at: IJCAI-01
01/19/01
Communication System Architecture for Planetary Exploration
Richard Alena, Bruce Gilbaugh, Brian Glass, Stephen Braham
01/19/01
Testing Linear Temporal Logic Formulae on Finite Execcution Traces
Klaus Havelund, Grigore Rosu
01/19/01
Using Triaxial Accerlerometer Data for Health Monitoring in an OH58 Helicopter
Irem Tumer, Edward Huff
01/19/01
Can Distributed Volunteers Accomplish Massive Data Analysis Tasks
Bob Kanefsky, Virginia Gulick, Nadine Barlow
01/11/01
Integrated Neural Flight and Propulsion Control System
John Kaneshige, Karen Gundy-Burlet
01/11/01
K9 Operations in May '00 Dual-Rover Field Experiment
John Bresina, Maria Bualat, Larry Edwards, Rich Washington, Anne Wright
12/06/00
Neuroelectric Virtual Devices
Kevin Wheeler, Chuck Jorgensen
Published at: Slides
11/21/00
Redirecting by Injector
Robert E Filman, Diana Lee
11/14/00
Predicate Abstraction for Object-Oriented Programs
Seung Joon Park, Willem Visser, Phil Oh
11/14/00
A Framework for Analog Studies of Mars Surface Operations
William Clancey
11/14/00
AWE:Aviation Weather data Visualization Env.
Lilly Spirkovska, Suresh Lodha
11/14/00
Integrated Airplane Health Management System
Jorge Bardina, Bill McDermott, GJ Follen, TM Blaser, WR Pavlik, D Zhang, X Liu
Published at: JANNAF 2st Modeling & Sim CPIA Publication 702
10/30/00
General Temporal Knowledge for Planning and Data Mining
Robert Morris, Lina Khatib
Published at: TIME 01 Symposium
10/30/00
AI's Philosophical Underpinnings
Silvano Colombano
10/30/00
A Software Architecture for Intelligent SE
Robert Filman
10/18/00
Robustness via Run-time Adaptation of Contingent Plans
John L Bresina, Richard Washington
10/18/00
NASA IVHM Technology Experiment for X37
Mark Schwabacher
10/04/00
ScienceDesk Project Overview Materials
Richard M Keller
10/04/00
A Model-Based Health Monitoring and Diagnostic System for the UH-60 Helicopter
Ann Patterson-Hine, William Hindson, Dwight Sanderfer, Somnath Deb, Chuck Domagala
09/27/00
The Application of Time-Frequency Methods to HUMS
Anna Pryor, Marianne Mosher
09/27/00
NASA Smart Probe: Breast Cancer Application
Robert Mah
09/21/00
Aspect-Oriented Programming is Quantifications and Obliviousness
Robert Filman, Daniel P Friedman
09/14/00
Any Two Learning Algorithms are (almost) Exactly Identical
David Wolpert
09/14/00
Holographic Optical Data Storage
Dogan Timucin, John D Downie
09/14/00
Model-based testability assessment and directed troubleshooting of shuttle wiring systems <ABSTRACT>
Somnath Deb, Chuck Domagala, Venkatesh Shrestha, Kevin Cavanaugh, Ann Patterson-Hine, Dwight Sanderfer, Jim Cockrell
09/14/00
Remote Diagnosis of the International Space Station Utilizing Telemetry Data <Abstract>
Somnath Deb, Sudipto Ghoshal, Venkat Malpati, Chuck Domagala, Ann Patterson-Hine, Rick Alena
09/14/00
An Experimental Comparison of Transmission Vibration Responses From OH58C and AH1 Helicoptors
Edward Huff, Irem Tumer
08/28/00
Pilot-Autopilot Interaction: A Formal Perspective
Asaf Degani, Michael Heymann
08/01/00
Generating Statechart Designs from Scenarios
Jonathan Whittle, Johann Schumann
07/27/00
Improved Results for Route Planning in Stochastic Transportation Networks
Justin Boyan, Michael Mitzenmacher
07/27/00
Automated Synthesis of Agent Designs in UML
Johann Schumann, Jonathan Whittle
07/27/00
Generating Data Analysis Programs from Statistical Models - Position Paper
Bernd Fischer, Johann Schumann, Thomas Pressburger
07/18/00
Automatic Debugging Support for UML Designs
Johann Schumann
07/18/00
Designing Human-Centered Autonomous Agents
Gregory Dorais, David Kortenkamp
07/18/00
DEOS Kernel: Environment Modeling Using LTL Assumptions
Corina Pasareanu
07/18/00
The Future of the Internet in Science
Jon Guice, Robert Duffy
07/05/00
Formal Analysis of the Remote Agent Before and After Flight
Klaus Havelund, Michael Lowry, Seung-Joon Park, Charles Pecheur, John Penix, William Visser, Jon L. White
07/05/00
Using Runtime Analysis to Guide Model Checking of Java Programs
Klaus Havelund
07/05/00
Roughness Perception of Haptically Displayed Fractal Surfaces
Michael Costa, Mark Cutkosky
07/05/00
Verification of Plan Models Using UPPAAL
Lina Khatib, Nicola Muscettola, Klaus Havelund
07/05/00
AWE: Aviation Weather Data Visualization Environment
Lilly Spirkovska, Suresh Lodha
06/15/00
Conceptual Coordination Bridges Information Processing and Neuropsychology
William J Clancey
06/09/00
On the Computational Capabilities of Physical Systems, Part I
David Wolpert
06/01/00
On Reformulating Planning As Dynamic Constraint Satisfaction
Jeremy Frank, Ari Jonsson, Paul Morris
06/01/00
AWE: Aviation Weather Data Visualization
Liljuana Spirkovska, Suresh K. Lodha
05/15/00
Human-Centered Design for the Personal Satellite Assistant
Jeffrey M Bradshaw, Maarten Sierhuis, Yuri Gawdiak, Hans Thomas, Mark Greaves, William J Clancey
05/15/00
Applying Aspect-Oriented Programming to Intelligent Synthesis
Robert E Filman
05/15/00
Applying Multi-agent Simulation to Planetary Surface Operations
Maarten Sierhuis, Michael H Sims, William J Clancey, Pascal Lee
05/15/00
ISOWAN: A NASA Science and Engineering Information and Services Framework
David J Korsmeyer, Edward T Chow, Michael P Conroy
05/15/00
Modeling and Simulating Human Behavior
Maarten Sierhuis, William J Clancey, Hoof, Ron va, Hoog, Robert d
05/15/00
From Livingstone to SMV
Charles Pecheur, Reid Simmons
05/15/00
Verification of Time Partitioning in the DEOS Scheduler Kernel
John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
05/15/00
Expected Utility Distributions for Flexible, Contingent Execution
John Bresina, Richard Washington
04/12/00
Evaluating Manufacturing & Assembly Errors in Rotating Machinery to Enhance Component Performance
Irem Tumer, Edward Huff
04/05/00
Managing Distributed Systems with Smart Subscriptions
Robert E Filman, Diana D Lee
03/20/00
Verification and Validation of Autonomy Software at NASA
Charles Pecheur
03/14/00
Towards Evolving Electronic Circuits for Autonomous Space Applications
Jason Lohn, Gary Haith, Silvano Colombano, Dimitris Stassinopoulos
02/09/00
A Parallel Genetic Algorithm for Automated Electronic Circuit Design
Jason Lohn, Silvano Colombano, Gary Haith, Dimitris Stassinopoulos
02/09/00
Back to the Future: Consistency-based Trajectory Tracking
James Kurien, Pandu Nayak
01/28/00
Executing Temporal Networks with Uncertainty
Paul Morris, Nicola Muscettola
01/25/00
Bridging the Gap Between Planning and Scheduling
David E Smith, Jeremy Frank, Ari Jonsson
01/25/00
SOFIA's Choice: Automating the Scheduling of Airborne Observatory
Jeremy Frank
01/03/00
Towards Automated Synthesis of Data Mining Programs
Wray Buntine, Bernd Fischer, Thomas Pressburger
12/27/99
Acting on Information: Representing Actions that Manipulate Information
Keith Golden
12/17/99
Generic Neural Flight Control and Autopilot System
John Kaneshige, John Bull, Joseph Totah
12/15/99
Planning in Interplanetary Space: Theory and Practice
Ari Jonsson, Paul Morris, Nicola Muscettola, Kanna Rajan, Ben Smith
12/09/99
State Identification for Planetary Rovers: Learning and Recognition
Richard Washington, Olivier Aycard
12/09/99
Bayesian Super-Resolved Surface Reconstruction from Multiple Images
Vadim Smelyanskiy, Peter Cheeseman, David Maluf, Robin Morris
12/01/99
Classifier Ensembles: Select Real-World Applications
Nikunj Oza, Kagan Tumer
11/29/99
Adaptivity in Agent Based Routing for Data Networks
David Wolpert, Sergey Kirshner, Chris Merz, Kagan Tumer
11/26/99
Automated Theorem Proving in High Quality Software Design
Johann Schumann
Published at: Intellechnica & Computational Logic, Kluwer
10/29/99
Marooned on Mars: Mind-Spinning Books for Software Engineers
William Clancey
10/25/99
Human Exploration Ethnography
William Clancey
10/25/99
A Framework for Dynamic Constraint Reasoning using Procedural Constraint
Ari Jonsson, Jeremy Frank
09/20/99
Bioelectric Flight Control of a 757 Class High Fidelity Aircraft Simulation
Chuck Jorgensen, Kevin Wheeler, Slawomir Stepniewski
Published at: WAC 2000
09/20/99
The Evolution of the DARWIN System
Joan D Walton, Robert E Filman, David J Korsmeyer
Published at: ACM Symposium
09/20/99
Experimental Analysis of Steady-State Maneuvering Effects on Transmission Virbration Patterns Recorded in an AH-1 Cobra Helicopter
Edward Huff, Mark Dzwonczyk
Published at: AHS Annual Forum
09/20/99
Experimental Analysis of Mast Bending and Lifting Forces on Vibration Patterns Before and After Pinion Reinstallation in an OH-58 Transmission Test Rig
Edward Huff, Eric Barszcz, Irem Tumer, David Lewicki, Harry Decker
09/20/99
Java Pathfinder User Guide
Klaus Havelund
09/20/99
Java Pathfinder A Translator from Java to Promela
Klaus Havelund
09/20/99
Managing Distributed Systems Through Smart Publishers and Subscribers
Robert E Filman, Diana D Lee
09/01/99
Integration of Deductive Retrieval into Deductive Synthesis
Bernd Fischer, Jon Whittle
Published at: ASE '99
08/11/99
Advanced Modelling and Verification Techniques Applied to a Cluster File System
Charles Pecheur
Published at: ASE '99
08/09/99
Adjustable Autonomy for Human-Centered Autonomous Systems
Gregory A Dorais, R. Peter Bonasso, David Kortenkamp, Barney Pell, Debra Schreckenghost
08/09/99
A Distributed Multi-Agent System for Collaborative Information Mgmt and Learning
James R Chen, Shawn R Wolfe, Stephen D Wragg
07/01/99
Combining Automated Theorem Provers w/ Symbolic Algebraic Systems - Positions Paper
Johann Schumann
07/01/99
Cooperation and Coordination Between Reinforcement Learning Agents in Continuous State Partially Observable Markov Decision Pro
Hamid Berenji, David Vengerov
06/23/99
A Circuit Representation Technique for Automated Circuit Design
Jason D Lohn, Silvano P Colombano
Published at: IEEE Transactions on Evolut Computation
06/22/99
A Comparison of Dynamic Fitness Schedules for Evolutionary Design of Amplifiers
Jason D Lohn, Gary L Haith, Silvano P Colombano, Dimitris Stassinopoulos
06/22/99
Visualizing Practical Knowledge: The Haughton-Mars Project
William Clancey
Published at: "Envisioning Knowledge" Burda Publishers, Munich
06/22/99
Experiments on Evolving SW Models of Analog Circuits
Jason D Lohn
06/22/99
Adding Active Objects to SPIN
Willem Visser, Klaus Havelund, John Penix
Published at: SPIN 99 Workshop
06/10/99
Microphone Array Phased Proc System (MAPPS): Phased Array System for Acoustic Measurements in a Wind Tunnel
Marianne Mosher, Michael E Watts, Michael Barnes, Jorge Bardina
Published at: World Aviation Congress and Exposition
06/10/99
Transformation Systems at NASA Ames
Wray Buntine, Bernd Fischer, Klaus Havelund, Michael Lowry, Thomas Pressburger, Steve Roach, Peter Robinson, Baalen, Jeff Va
Published at: Software Transformation Systems '99
05/10/99
Managing Personal and Group Collections of Information
Shawn R Wolfe, Stephen D Wragg, James R Chen
05/10/99
Remote Agent Demonstration
Greg Dorais, James Kurien, Kanna Rajan
04/24/99
Autonomous Rovers for Mars Exploration
Corin Anderson, John Bresina, Keith Golden, David E Smith, Trey Smith, Richard Washington
Published at: IEEE Aerospace Conference
04/24/99
Formal Verification of a Power Controller using the Real-Time Model Checker UPPAAL
Klaus Havelund, Kim Larsen, Arne Skou
04/13/99
Mechanical Verification of a Garbage Collector
Klaus Havelund
04/13/99
Practical Application of Model Checking in SW Verification '-> Applying Model Checking in Java Verification
Klaus Havelund, Jens Skakkebaek
04/13/99
Model Checking Java Programs Using Java Pathfinder
Klaus Havelund, Thomas Pressburger
04/13/99
Increased Flexibility and Robustness of Mars Rovers
John Bresina, Keith Golden, D.E. Smith, Rich Washington
Published at: AI, Robotics & Autonomy in Space
04/13/99
Steady-State Characterization of Bacteriorhodopsin-D85N Photocycle
Dogan Timucin, John Downie
03/17/99
Haptic Surface Exploration
Michael Costa, Allison Okamura, Michael Turner, Christopher Richard, Mark Cutkosky
03/17/99
Decimated Input Ensembles for Improved Generalization
Kagan Tumer, N.C. Oza
03/17/99
Next Generation Remote Agent Planner
Ari Jonsson, Paul Morris, Nicola Muscettola, Kanna Rajan
03/17/99
Applying NASA Technology to Education A Case Study using Amphion
Jane Friedman, Santos Lazzeri, Thomas Pressburger
Published at: SITE '99
03/05/99
Co-Evolution for Task Simplification
Gary Haith, Silvano Colombano, Jason Lohn, Dimitris Stassinopolous
03/05/99
On-Line Fringe Tracking and Prediction of IOTA
Edward Wilson
01/27/99
Temporal Planning with Mutual Exclusion Reasoning
David E Smith, Daniel S Weld
Published at: International Joint Conf. on AI
01/22/99
Managing Temporal Uncertainty through Waypoint Controllability
Paul Morris, Nicola Muscettola
01/22/99
Cyclic Scheduling
Denise Draper, Ari Jonsson, David P Clements, David Joslin
Published at: International Joint Conf. on AI
01/15/99
An Integrated Vehicle Modeling Environment
Joseph Totah, David Kinney, John Kaneshige, Shane Agabon
Published at: AIAA Atmosphere Flight Mechanics Conf
01/06/99
A Bayesian Approach to Super Resolution 3D Surface Reconstruction from Multiple Images
Robin Morris, Peter Cheeseman, Vadim Smelyanskiy, David Maluf, David Wolf
Published at: IEEE Signal Processing WS
12/30/98
Collective Intelligence for Control of Distributed Dynamical Systems
David Wolpert, Kevin Wheeler, Kagan Tumer
Published at: Europhysics Letters
12/30/98
Effectiveness of an Expert System for Astronaut Assistance on a Sleep Experiment
Dennis Heher, Gianluca Callini, Susanne Essig, Laurence Young
12/08/98
Run-Time Satellite Tele-communications Call Handling as Dynamic Constraint Satisfaction
Chris Plaunt, Ari Jonsson, Jeremy Frank
11/23/98
Graduating to Postdoc: Information-sharing in support of organizational structures and needs
Richard M Keller, Paul Lucas, Michael Compton, Helen Stewart, Vinod Baya, Alto, Martha De
11/02/98
A Survey of Aircraft Engine Health Monitoring Systems
Irem Tumer, Anupa Bajwa
10/14/98
Lecture Series for researchers: Learning about how aircraft engines work and fail
Irem Tumer, Anupa Bajwa
10/14/98
REBOUND: A Framework for Automated Component Adaptation
John Penix
Published at: Workshop on Software Reuse
10/08/98
Multilayer Volume Holographic Optical Memory
Vladimir Markov, James Miller, James Trolinger, Mark Norrie, John Downie, Dogan Timucin
Published at: Journal of Optics Letters
10/05/98
Autonomous Rovers for Human Exploration of Mars
John Bresina, Greg Dorais, Chris Plaunt, Rich Washington
Published at: Mars Society Founding Convention
08/13/98
Fast Transformation of Temporal Plans for Efficient Execution
Ioannis Tsamardinos, Nicola Muscettola, Paul Morris
Published at: AAAI
06/05/98
Automated Analog Circuit Synthesis using a Linear Representation
Jason Lohn, Silvano Colombano
Published at: International Conference on Evolvable Systems
05/21/98
Leap Before You Look: Information Gathering in the Puccini planner
Keith Golden
Published at: AIPS
05/21/98
Conformant GraphPlan
David E Smith, Daniel S Weld
05/15/98
Collaborative Information Agents on the World Wide Web
James R Chen, Nathalie Mathé
Published at: 3rd ACM Conference on Digital Libraries
05/11/98
Auxilliary Variables for Markov Random Fields with Higher Order Interactions
Robin D Morris
Published at: Journal: Statistics & Computing
05/11/98
Using Decision Procedures to Build Domain-Specific Deductive Synthesis Systems
Baalen, Jeffrey Va, Steven Roach
Published at: 8th Int'l WS on Logic-based Pm Syn & Trans
05/11/98
The DARWIN Interface to Aeronautics Data
Joan D Walton, David J Korsmeyer
Published at: 1998 Int'l Conf on Human-Centered Interactions in Aeronautics HCI-Aero '98
05/11/98
A Comparison of Different HCI Styles in a KBSE System
Santos G Lazzeri
Published at: Prolamat 98
05/05/98

Search Publications

Date range

Start
End

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 Home

+Ames Home

Intelligent Systems Division
First Gov logo
NASA Logo - nasa.gov