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

Publications for All Years (712 out of 712)

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
The Role of Safety Architectures in Aviation Safety Cases
Ewen Denney, Ganeshmadhav Pai, Iain Whiteside
Published at: Journal Article; Reliability Engineering and System Safety; Elsevier
Date: 06/21/19


Filter by year

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

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

First Gov logo
NASA Logo - nasa.gov