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

Publications for All Years (716 out of 716)

Acoustic Optimization for Anti-Phase Asymmetric Rotor
Nhan Nguyen, Nicholas Cramer, Juntao Xiong
Published at: Conference Paper; 2020 AIAA SciTech; Orlando, Florida
Date: 01/09/20
Jig Twist Optimization of Mach 0.745 Transonic Truss-Braced Wing Aircraft and High-Fidelity CFD Validation
Nhan Nguyen, Juntao Xiong, Jason Fugate
Published at: Conference Paper; 2020 AIAA SciTech; Orlando, Florida
Date: 01/06/20
Improving Trust in Deep Neural Networks with Nearest Neighbors
Adrian Agogino, Dimitra Giannakopoulou, Ritchie Lee, Justin Clarke
Published at: Conference Paper; Scitech 2020; Orlando, FL
Date: 12/31/19
Ames Early Career Network Lighting talk series with JPL and JAXA
Roberto Carlino
Published at: Oral or Visual Presentation; Ames Early Career Network Lighting talk series with JPL; NASA Ames
Date: 12/06/19
Formalizing and Analyzing Requirements with FRET
Anastasia Mavridou
Published at: Oral or Visual Presentation; Guest lecture at CMU; Moffet Field, CA
Date: 11/26/19
Property Inference for Deep Neural Networks
Divya Gopinath, Hayes Converse, Corina Pasareanu, Ankur Taly
Published at: Conference: 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019); San Diego, CA
Date: 11/12/19
Integrated System for Autonomous and Adaptive Caretaking (ISAAC) - Gateway T&V September Demo
Oleg Alexandrov, Mark Allan, Julia Badger, Charles Claunch, Matt Deans, Lorenzo Flueckiger, Patrick Knauth, Khaled Al-sharif, Trey Smith, Terrence Thurk
Published at: Oral or Visual Presentation: SPHERES/Astrobee Working Group; NASA SPHERES/Astrobee Facility; Moffett Field, CA
Date: 11/06/19
ISSA Conops
Kyle Ellis, Paul Krois, Misty Davies, John Koelling
Published at: Other: ISSA ConOps Development
Date: 10/31/19
Static Analysis using Abstract Interpretation
Maxime Arthaud
Published at: Oral or Visual Presentation; Guest Lecture at CMU; Moffett Field, California
Date: 10/28/19
Matching Ontologies for Air Traffic Management: A Comparison and Reference Alignment of the AIRM and NASA ATM Ontologies
Audun Vennesland, Richard Keller, Christoph Schuetz, Eduard Gringinger, Bernd Neumayr
Published at: Conference: The Fourteenth International Workshop on Ontology Matching; Auckland, NZ
Date: 10/26/19
Presentation for IAC 2019
Roberto Carlino
Published at: Conference: IAC 2019; Washington, DC
Date: 10/25/19
A Comparative Study of Two Complex Ontologies in Air Traffic Management
Eduard Gringinger, Richard Keller, Audun Vennesland, Christoph Schuetz, Bernd Neumayr
Published at: Conference: 38th Digital Avionics Systems Conference 2019; San Diego, CA
Date: 09/12/19
Structural Consequence Analysis:Towards the Quantification of Component Consequential Importance in System Architecture Design
Hannah Walsh, Mohammad Hejase, Daniel Hulse, Guillaume Brat, Irem Tumer
Published at: Conference; International Design Engineering Technical Conferences & Computers and Information in Engineering Conference; Anaheim, CA.
Date: 08/20/19
Data Validation: Difference Imaging and Centroid Analysis
Joseph Twicken
Published at: NASA/TP-2019-220320
Date: 08/16/19
First Year Threshold Crossing Events in the TESS SPOC Transit Search
Joseph Twicken, Jon Jenkins, Douglas Caldwell, Robert L Morris, Mark Rose
Published at: Conference Poster: TESS Science Conference #1; Cambridge, MA
Date: 07/29/19

Filter by year

2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008

Publications Search


2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

First Gov logo
NASA Logo -