-
Analysis of Sample Acquisition Dynamics Using Discrete Element Method
- Published at: Conference: 2020 IEEE Aero Conference; Big Sky, MT
- Date: 03/06/20
- Authors:
Damiana Catanoso,
Thomas Stucky,
Sofia Cassel,
Arno Rogg
Publications for All Years (736 out of 736)
-
Avoiding Overfitting in Automated Program Repair using Formal Methods
- Published at: Journal Article: Software Engineering; IEEE Computer Society
- Date: 02/28/20
- Authors:
Corina Pasareanu,
Amirfarhad Nilizadeh,
Xuan-Bach Le,
Gary Leavens,
David Cok
-
TESS Data Release Notes: Sector 9 DRN 11
- Published at: NASA/TM-2019-220225
- Date: 02/21/20
- Authors:
Michael Fausnaugh,
Christopher Burke,
Douglas Caldwell,
Jon Jenkins,
Jeffrey C. Smith,
Joseph Twicken,
Roland Vanderspek,
John Doty,
Eric Ting,
Joel Villesenor
-
TESS Data Release Notes: Sector 18 DR 25, Update 1
- Published at: NASA/TM-2019-220477
- Date: 02/14/20
- Authors:
Michael Fausnaugh,
Christopher Burke,
Douglas Caldwell,
Jon Jenkins,
Jeffrey C. Smith,
Joseph Twicken,
Roland Vanderspek,
John Doty,
Eric Ting,
Joel Villesenor
-
Generic Safety Argument Patterns for Learning-enabled Components
- Published at: Conference Paper; SafeAI-2020; New York, NY
- Date: 02/07/20
- Authors:
Ganeshmadhav Pai,
Colin Smith,
Ewen Denney
-
Acoustic Optimization for Anti-Phase Asymmetric Rotor
- Published at: Conference Paper; 2020 AIAA SciTech; Orlando, Florida
- Date: 01/09/20
- Authors:
Nhan Nguyen,
Nicholas Cramer,
Juntao Xiong
-
Jig Twist Optimization of Mach 0.745 Transonic Truss-Braced Wing Aircraft and High-Fidelity CFD Validation
- Published at: Conference Paper; 2020 AIAA SciTech; Orlando, Florida
- Date: 01/06/20
- Authors:
Nhan Nguyen,
Juntao Xiong,
Jason Fugate
-
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
-
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