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