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

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

Dynamic Controllability with Single and Multiple Indirect Observations
Paul Morris, Arthur Bit-Monnot
Published at: Conference: IntEx Workshop at ICAPS 2019 Conference; Berkeley, CA
Date: 07/12/19

MRAC with Time-varying Reference Model from Convex Combination
Kelley Hashemi, Nhan Nguyen
Published at: Conference: American Control Conference; Philadelphia, PA
Date: 07/10/19

ARMS: A Developing Metadata Standard for Describing Astrobiology Research Products (presentation slides)
Richard Keller, David Blake, Thomas Bristow, George Cooper, Christopher Dateo, David Des Marais, Angela Detweiler, Linda Jahnke, Michael Kubo, Valverde Lafuente, Mary Parenteau, Leslie Bebout, Nathan Stone
Published at: Oral or Visual Presentation: AbSciCon 2019; Bellevue, WA
Date: 06/27/19