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

Publications for All Years (533 out of 533)

Aeroelastic Modeling fo Elastically Shaped Aircraft Concept via Wing Shaping Control fro Drag Reduction
Nhan Nguyen, James Umes
Published at: Conference: AIAA Atmospheric Flight Mechanics; Minneapolis, MN
Date: 08/13/12
Using Game Theoretic Models to Predict Pilot Behavior in NextGen Merging and Landing Scenario
Yildiray Yildiz, Ritchie Lee, Guillaume Brat
Published at: Conference: AIAA Modeling and Simulation Technologies Conference; Minneapolis MN
Date: 08/12/12
Data Artifacts for Airworthiness of the Swift UAS
Ewen Denney, Ganeshmadhav Pai
Published at: Oral or Visual Presentation: NAS Annual Meeting 2012; NASA Ames Research Center, Moffett Field, CA
Date: 08/01/12
Safety Data and Risk Analysis Methods
Ewen Denney, Ganeshmadhav Pai
Published at: Oral or Visual Presentation: NAS Annual Meeting 2012; NASA Ames Research Center, Moffett Field, CA
Date: 08/01/12
Planning as an Iterative Process
David Smith
Published at: Conference: Twenty-Sixth Conference on Artificial Intelligence (AAAI-12)
Date: 07/24/12
Automated Testcase Generation for Numerical Support Functions in Embedded Systems
Johann Schumann, Stefan-Alexander Schnieder
Published at: Conference: International Symposium on Software Testing and Analysis; Minneapolis, MN
Date: 07/16/12
Aircraft Anomaly Detection using Performance Models Trained on Fleet Data
Dimitry Gorinevsky, Bryan Matthews, Rodney Martin
Published at: Conference: Conference on Intelligent Data Understanding 2012; Boulder CO
Date: 07/11/12
Assume-Guarantee Abstraction Refinement for Probabilistic Systems
Corina Pasareanu, Anvesh Komuravelli, Edmund Clarke
Published at: Conference: Computer Aided Verification (CAV) 2012; Berkeley, CA
Date: 07/07/12
The Gauge Domain: Scalable Analysis of Linear Inequality Invariants
Arnaud Venet
Published at: Conference: Computer Aided Verification (CAV) 2012; Berkeley, CA
Date: 07/07/12
Evolving Distributed Resource Sharing for CubeSat Constellations
Adrian Agogino, Chris Holmes Parker, Kagan Tumer
Published at: Conference: Genetic and Evolutionary Algorithms Conference; Philadelphia, PA
Date: 07/07/12
Evolving Large Scale UAV Communication System
Adrian Agogino, Chris Holmes Parker, Kagan Tumer
Published at: Conference: Genetic and Evolutionary Algorithms Conference; Philadelphia, PA
Date: 07/07/12
Physics Based Electrolytic Capacitor Degaradation Models for Prognostic Studies under Thermal Overstress
Chetan Kulkarni, Jose Celaya-Galvan, Kai Goebel, Gautam Biswas
Published at: Conference: First European Conference of the Prognostics and Health Society; Dresden, Germany
Date: 07/03/12
Designing Data-Driven Battery Prognostic Approaches for Variable Loading Profiles: Some Lessons Learnt
Abhinav Saxena, Jose Celaya-Galvan, Indranil Roychoudhury, Kai Goebel, Sankalita Saha
Published at: Conference: First European Conference of the Prognostics and Health Society; Dresden, Germany
Date: 07/03/12
Learning Probabilistic Systems from Tree Samples
Corina Pasareanu, Anvesh Komuravelli, Edmund Clarke
Published at: Conference: Logic in Computer Science (LICS 2012); Dubrovnik, Croatia
Date: 06/25/12
Using Markov Models of Fault Growth Physics and Environmental Stresses to Optimize Control Actions
Brian Bole, Kai Goebel, George Vachtsevanos
Published at: Conference: AIAA Infotech@Aerospace 2012; Garden Grove, CA
Date: 06/21/12


Filter by year

2014 2013 2012 2011 2010 2009 2008

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

+NASA Home

+Ames Home

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