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

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

Presentation for IAC 2019
Roberto Carlino
Published at: Conference: IAC 2019; Washington, DC
Date: 10/25/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

Investigation of Transonic Truss-Braced Wing Aircraft Transonic Wing-Strut Interference Effects using FUN3D
Juntao Xiong, Jason Fugate, Nhan Nguyen
Published at: Conference: AIAA Aviation Conference, Dallas, TX
Date: 06/18/19

Models of Terminal Arrival Efficiency Rate
Deepak Kulkarni
Published at: NASA/TM-2019-220199
Date: 06/03/19

Ask-the-Expert: Minimizing Human Review for Big Data Analytics through Active Learning
Nikunj Oza, Kamalika Das, Bryan Matthews
Published at: NASA/TM-2019-
Date: 06/01/19

Building a Knowledge Graph for the Air Traffic Management Community
Richard Keller
Published at: Conference: 2019 WWW Workshop on Knowledge Graph Technology and Applications; San Francisco, CA
Date: 05/13/19

The Next Frontier of AI will be in Space
Roberto Carlino
Published at: Conference: Open Data Science Conference (ODSC); Boston, MA
Date: 05/03/19