Search results for "NASA"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Bernd Finkbeiner, Gideon Geier, Noemi Passing	Specification Decomposition for Reactive Synthesis.	NFM	2021	DBLP DOI BibTeX RDF
15	Brett Decker, Benjamin Winters, Eric Mercer	Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench.	NFM	2021	DBLP DOI BibTeX RDF
15	Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela	Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model.	NFM	2021	DBLP DOI BibTeX RDF
15	Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado	Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm.	NFM	2021	DBLP DOI BibTeX RDF
15	Zhong Liu, Chung-Lin Shie, Angela Li, David J. Meyer	NASA Global Satellite and Model Data Products and Services for Tropical Meteorology and Climatology.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
15	Weile Wang, Shuang Li, Hirofumi Hashimoto, Hideaki Takenaka, Atsushi Higuchi, Satya Kalluri, Ramakrishna R. Nemani	An Introduction to the Geostationary-NASA Earth Exchange (GeoNEX) Products: 1. Top-of-Atmosphere Reflectance and Brightness Temperature.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
15	Michael Hatfield, Catherine Cahill, Peter W. Webley, Jessica Garron, Rebecca Beltran	Integration of Unmanned Aircraft Systems into the National Airspace System-Efforts by the University of Alaska to Support the FAA/NASA UAS Traffic Management Program.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
15	Walter N. Meier, J. Scott Stewart	Assessment of the Stability of Passive Microwave Brightness Temperatures for NASA Team Sea Ice Concentration Retrievals.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
15	Simone Lolli, Gemine Vivone, Jasper R. Lewis, Michaël Sicard, Ellsworth J. Welton, James R. Campbell 0002, Adolfo Comerón, Leo Pio D'Adderio, Ali Tokay, Aldo Giunta, Gelsomina Pappalardo	Overview of the New Version 3 NASA Micro-Pulse Lidar Network (MPLNET) Automatic Precipitation Detection Algorithm.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
15	Peter J. Minnett, Katherine Kilpatrick, Guillermo P. Podestá, Robert H. Evans, Malgorzata D. Szczodrak, Miguel Angel Izaguirre, Elizabeth J. Williams, Susan Walsh, R. Michael Reynolds, Sean W. Bailey, Edward M. Armstrong, Jorge Vazquez-Cuervo	Skin Sea-Surface Temperature from VIIRS on Suomi-NPP - NASA Continuity Retrievals.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
15	Kerry Meyer, Steven Platnick, Robert E. Holz, Steven Dutcher, Greg Quinn, Fred Nagle	Derivation of Shortwave Radiometric Adjustments for SNPP and NOAA-20 VIIRS for the NASA MODIS-VIIRS Continuity Cloud Products.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
15	Deniz Marti, David A. Broniatowski	Does gist drive NASA experts' design decisions?	Syst. Eng.	2020	DBLP DOI BibTeX RDF
15	Maryam Pourshamsi, Mariano García, Marco Lavalle, Heiko Balzter	Corrections to "A Machine-Learning Approach to PolInSAR and LiDAR Data Fusion for Improved Tropical Forest Canopy Height Estimation Using NASA AfriSAR Campaign Data".	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2020	DBLP DOI BibTeX RDF
15	Alan S. Li, Ved Chirayath, Michal Segal-Rozenhaimer, Juan Torres-Perez, Jarrett van den Bergh	NASA NeMO-Net's Convolutional Neural Network: Mapping Marine Habitats with Spectrally Heterogeneous Remote Sensing Imagery.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2020	DBLP DOI BibTeX RDF
15	Angel Fabian Campoya Morales, Juan Luis Hernández Arellano, Elvia Luz González Muñoz, Aidé Aracely Maldonado-Macías	Development of the NASA-TLX Multi Equation Tool to Assess Workload.	Int. J. Comb. Optim. Probl. Informatics	2020	DBLP BibTeX RDF
15	Siddha Ganju, Anirudh Koul, Alexander Lavin, Josh Veitch-Michaelis, Meher Kasam, James Parr	Learnings from Frontier Development Lab and SpaceML - AI Accelerators for NASA and ESA.	CoRR	2020	DBLP BibTeX RDF
15	Anirudh Koul, Siddha Ganju, Meher Kasam, James Parr	Space ML: Distributed Open-source Research with Citizen Scientists for the Advancement of Space Technology for NASA.	CoRR	2020	DBLP BibTeX RDF
15	Vinoth Pandian Sermuga Pandian, Sarah Suleri	NASA-TLX Web App: An Online Tool to Analyse Subjective Workload.	CoRR	2020	DBLP BibTeX RDF
15	Michael J. Kurtz, Roman Chyla	Second Order Operators in the NASA Astrophysics Data System.	CoRR	2020	DBLP BibTeX RDF
15	Franco Pavese	Graphic method for retrieval of quantitative data from computer-mapped qualitative information, with a NASA video as an example.	Earth Sci. Informatics	2020	DBLP DOI BibTeX RDF
15	Zhining Tao, Stephan R. Kawa, Jossy P. Jacob, David Y. Liu, George J. Collatz, James S. Wang, Lesley E. Ott, Mian Chin	Application of NASA-Unified WRF model to carbon dioxide simulation- model development and evaluation.	Environ. Model. Softw.	2020	DBLP DOI BibTeX RDF
15	Maozhen Wang, Murphy Wonsick, Xianchao Long, Taskn Padr	In-situ Terrain Classification and Estimation for NASA's Humanoid Robot Valkyrie.	AIM	2020	DBLP DOI BibTeX RDF
15	Mohamed Eltahan, Karim I. Moharm	Atmospheric Aerosol Prediction over Egypt with LSTM-RNN using NASA's MERRA-2.	NILES	2020	DBLP DOI BibTeX RDF
15	Ricardo Lent, David E. Brooks, Gilbert Clark	Validating the Cognitive Network Controller on NASA's SCaN Testbed.	ICC	2020	DBLP DOI BibTeX RDF
15	Michael S. Seablom, Florence W. Tan, Jacqueline LeMoigne-Stewart	Dynamic Data-Driven Application Systems for NASA's Science Mission Directorate.	DDDAS	2020	DBLP DOI BibTeX RDF
15	David J. Geisler	Modem Module Development for NASA's Orion Spacecraft: Achieving FSO Communications over Lunar Distances.	OFC	2020	DBLP BibTeX RDF
15	Irvin Steve Cardenas, Caitlyn Lenhoff, Michelle Park, Tina Yuqiao Xu, Xiangxu Lin, Pradeep Kumar Paladugula, Jong-Hoon Kim	AARON: Assistive Augmented Reality Operations and Navigation System for NASA's Exploration Extravehicular Mobility Unit (xEMU).	IHCI (2)	2020	DBLP DOI BibTeX RDF
15	David Sacharny, Thomas C. Henderson, Michael Cline, Benjamin Russon, EJay Guo	FAA-NASA vs. Lane-Based Strategic Deconfliction.	MFI	2020	DBLP DOI BibTeX RDF
15	Ritchie Lee, Susmit Jha, Anastasia Mavridou (eds.)	NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings	NFM	2020	DBLP DOI BibTeX RDF
15	Boyang Deng, John P. Lewis, Timothy Jeruzalski, Gerard Pons-Moll, Geoffrey E. Hinton, Mohammad Norouzi 0002, Andrea Tagliasacchi	NASA Neural Articulated Shape Approximation.	ECCV (7)	2020	DBLP DOI BibTeX RDF
15	Alyssa K. Whitcraft, Inbal Becker-Reshef, Christopher O. Justice	NASA Harvest(ing) Earth Observations for Informed Agricultural Decisions.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Kaylin M. Bugbee, Rahul Ramachandran, Manil Maskey, Aimee Barciauskas, Aaron Kaulfus, Dai Hai Ton That, Katrina Virts, Kel N. Markert, Christopher Lynnes	Advancing Open Science Through Innovative Data System Solutions: The Joint ESA-NASA Multi-Mission Algorithm and Analysis Platform (MAAP)'s Data Ecosystem.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Priyanka Srivastava, Matthew W. Bennett, Gasia Bedrosian, Robert Rosenberg, Benjamin Solish, Ralph R. Basilio	Establishing Launch Readiness of NASA ISS Instrument OCO-3.	IGARSS	2020	DBLP DOI BibTeX RDF
15	David R. Thompson 0001, David S. Schimel, Benjamin Poulter 0001, Ian Brosnan, Simon J. Hook, Robert O. Green, Nancy F. Glenn, Liane S. Guild, Christopher Henn, Kerry Cawse-Nicholson, Raymond F. Kokaly, Christine M. Lee, Jeffrey Luvall, Charles E. Miller, Jamie Nastal, Ryan Pavlick, Benjamin Phillips, Fabian Schneider, Stephanie Schollaert Uz, Shawn P. Serbin, Natasha Stavros 0001, Philip A. Townsend, Woody Turner, Kevin R. Turpie, Weile Wang	NASA's Surface Biology and Geology Concept Study: Status and Next Steps.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Rafael F. Rincon, Batuhan Osmanoglu, Paul Racette, Martin Perrine, Ludovic Brucker, Stephen E. Seufert, Chase Kielbasa, Adam Warren	Performance of Swesarr's Multi-Frequency Dual-Polarimetry Synthetic Aperture Radar During Nasa'S Snowex Airborne Campaign.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Marco Lavalle, Unmesh Khati, Gustavo H. X. Shiroma, Bruce Chapman	Assessment of Polsar and Insar Time-Series from the 2019 NASA AM-PM Campaign for Above-Ground Biomass Estimation.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Robert Vincent Leslie, William J. Blackwell, Andrew Cunningham, Michael DiLiberto, James Eshbaugh, Idahosa A. Osaretin	Pre-Launch Calibration of the Nasa Tropics Constellation Mission.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Ramakrishna R. Nemani, Weile Wang, Hirofumi Hashimoto, Andrew R. Michaelis, Thomas Vandal, Alexei I. Lyapustin, Jia Zhang 0001, Tsengdar J. Lee, Satya Kalluri, Hideaki Takenaka, Atsushi Higuchi, Kazuhito Ichii, Shuang Li, Jong-Min Yeom	GeoNEX: A Geostationary Earth Observatory at NASA Earth Exchange: Earth Monitoring from Operational Geostationary Satellite Systems.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Dipankar Mandal, Narayana Rao Bhogapurapu, Vineet Kumar 0004, Subhadip Dey, Debanshu Ratha, Avik Bhattacharya, Juan M. Lopez-Sanchez, Heather McNairn, Y. S. Rao 0001	Vegetation Monitoring Using a New Dual-Pol Radar Vegetation Index: A Preliminary Study with Simulated NASA-ISRO SAR (NISAR) L-Band Data.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Joao Teixeira, Jeffrey Piepmeier, Amin Nehrir	NASA Incubation Study on Planetary Boundary Layer.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Geoffrey T. Stano, Leigh Sinclair, Essence Raphael, Sherry Harrison, Michael Peterson, Steven Goodman 0002	Supporting Lightning Safety and Decision Support at the NASA Global Hydrology Resource Center Distributed Active Archive Center.	IGARSS	2020	DBLP DOI BibTeX RDF
15	William J. Blackwell	The Nasa Tropics Mission as a Pathfinder for Future Operational Earth Observing Systems.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Christopher William Smith, Santosh K. Panda, Uma S. Bhatt, Franz J. Meyer, Robert W. Haan	Improved Vegetation and Wildfire Fuel Type Mapping Using NASA AVIRIS-NG Hyperspectral Data, Interior AK.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Ved Chirayath, Alan S. Li, Juan Torres-Perez, Michal Segal-Rozenhaimer, Jarrett van den Bergh	NASA NeMO-Net - A Neural Multimodal Observation & Training Network for Marine Ecosystem Mapping at Diverse Spatiotemporal Scales.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Linda Bailey Hayden, Steffi Walthall, Garry Harris, Wanda Hathaway, Jeffrey A. Wood, Jessica Hathaway	Continuing Education Units (CEUS) for NASA's Global Learning and Observations to Benefit the Environment (GLOBE) World Wide Program.	IGARSS	2020	DBLP DOI BibTeX RDF
15	David Wiese, Carmen Boening, Victor Zlotnicki, Scott B. Luthcke, Bryant D. Loomis, Matthew Rodell, Jeanne Sauber, David Bearden, Jonathan Chrone, Scott D. Horner, Frank Webb, Bernard Bienstock, Lucia Tsaoussi	The NASA Mass Change Designated Observable Study: Overview, Progress, and Future Plans.	IGARSS	2020	DBLP DOI BibTeX RDF
15	Racha Dabliz, Angus Ritchie, Jonathan Penm, Rosemary Burke, Simon K. Poon	Measuring workload with a modified NASA-TLX following Electronic Medication Management System implementation in hospital.	AMIA	2020	DBLP BibTeX RDF
15	Ralph Bottesch, Max W. Haslbeck, Alban Reynaud, René Thiemann	Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL.	NFM	2020	DBLP DOI BibTeX RDF
15	Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez 0001	Model Checking Timed Hyperproperties in Discrete-Time Systems.	NFM	2020	DBLP DOI BibTeX RDF
15	Liyi Li 0002, Elsa L. Gunter	Per-Location Simulation.	NFM	2020	DBLP DOI BibTeX RDF
15	Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám	A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.	NFM	2020	DBLP DOI BibTeX RDF
15	Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo	Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.	NFM	2020	DBLP DOI BibTeX RDF
15	Lukas Westhofen 0001, Philipp Berger 0002, Joost-Pieter Katoen	Benchmarking Software Model Checkers on Automotive Code.	NFM	2020	DBLP DOI BibTeX RDF
15	Jan Taljaard, Jaco Geldenhuys, Willem Visser	Constraint Caching Revisited.	NFM	2020	DBLP DOI BibTeX RDF
15	Vassil Todorov, Safouan Taha, Frédéric Boulanger	Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking.	NFM	2020	DBLP DOI BibTeX RDF
15	Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon	On the Usefulness of Clause Strengthening in Parallel SAT Solving.	NFM	2020	DBLP DOI BibTeX RDF
15	Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside	PaRoT: A Practical Framework for Robust Deep Neural Network Training.	NFM	2020	DBLP DOI BibTeX RDF
15	Benoît Barbot, Nicolas Basset, Thao Dang 0001, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi 0001	Falsification of Cyber-Physical Systems with Constrained Signal Spaces.	NFM	2020	DBLP DOI BibTeX RDF
15	Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim	Parameter Synthesis and Robustness Analysis of Rule-Based Models.	NFM	2020	DBLP DOI BibTeX RDF
15	Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns	Sampling Distributed Schedulers for Resilient Space Communication.	NFM	2020	DBLP DOI BibTeX RDF
15	Rafael C. Cardoso 0001, Marie Farrell, Matt Luckcuck, Angelo Ferrando 0001, Michael Fisher 0001	Heterogeneous Verification of an Autonomous Curiosity Rover.	NFM	2020	DBLP DOI BibTeX RDF
15	Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam	Run-Time Assurance for Learning-Enabled Systems.	NFM	2020	DBLP DOI BibTeX RDF
15	Bernhard K. Aichernig, Andrea Pferscher, Martin Tappler	From Passive to Active: Learning Timed Automata Efficiently.	NFM	2020	DBLP DOI BibTeX RDF
15	Leonore Winterer, Ralf Wimmer 0001, Nils Jansen 0001, Bernd Becker 0001	Strengthening Deterministic Policies for POMDPs.	NFM	2020	DBLP DOI BibTeX RDF
15	Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz	Simplifying Neural Networks Using Formal Verification.	NFM	2020	DBLP DOI BibTeX RDF
15	Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman	Formal Verification of Parallel Prefix Sum.	NFM	2020	DBLP DOI BibTeX RDF
15	Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto	Automated Requirements-Based Testing of Black-Box Reactive Systems.	NFM	2020	DBLP DOI BibTeX RDF
15	Si Liu 0003, Atul Sandur, José Meseguer 0001, Peter Csaba Ölveczky, Qi Wang 0017	Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs.	NFM	2020	DBLP DOI BibTeX RDF
15	Dung T. Phan, Radu Grosu, Nils Jansen 0001, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller	Neural Simplex Architecture.	NFM	2020	DBLP DOI BibTeX RDF
15	Jannik Hüls, Henner Niehaus, Anne Remke	hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions.	NFM	2020	DBLP DOI BibTeX RDF
15	P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, Meenakshi D'Souza	Verifying Band Convergence for Sampled Control Systems.	NFM	2020	DBLP DOI BibTeX RDF
15	Xiaoxin An, Amer Tahat, Binoy Ravindran	A Validation Methodology for OCaml-to-PVS Translation.	NFM	2020	DBLP DOI BibTeX RDF
15	Walter Maldonado Júnior, Taynara Tuany Borges Valeriano, Glauco de Souza Rolim	EVAPO: A smartphone application to estimate potential evapotranspiration using cloud gridded meteorological data from NASA-POWER system.	Comput. Electron. Agric.	2019	DBLP DOI BibTeX RDF
15	Molly E. Brown, Vanessa M. Escobar	NASA's Early Adopter Program Links Satellite Data to Decision Making.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
15	Md. Shahinoor Rahman, Liping Di, Eugene Yu, Li Lin 0002, Chen Zhang 0014, Junmei Tang	Rapid Flood Progress Monitoring in Cropland with NASA SMAP.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
15	Ethan D. Kyzivat, Laurence C. Smith, Lincoln Pitcher, Jessica V. Fayne, Sarah W. Cooley, Matthew G. Cooper, Simon N. Topp, Theodore Langhorst, Merritt E. Harlan, Christopher Horvat, Colin J. Gleason, Tamlin M. Pavelsky	A High-Resolution Airborne Color-Infrared Camera Water Mask for the NASA ABoVE Campaign.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
15	Shihyan Lee, Gerhard Meister, Bryan A. Franz	MODIS Aqua Reflective Solar Band Calibration for NASA's R2018 Ocean Color Products.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
15	Li Lin 0002, Liping Di, Junmei Tang, Eugene Yu, Chen Zhang 0014, Md. Shahinoor Rahman, Ranjay Shrestha, Lingjun Kang	Improvement and Validation of NASA/MODIS NRT Global Flood Mapping.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
15	Ian Paynter, Crystal Schaaf, Jennifer L. Bowen, Linda Deegan, Francesco Peri, Bruce D. Cook	Characterizing a New England Saltmarsh with NASA G-LiHT Airborne Lidar.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
15	Qiuxia Xie, Massimo Menenti, Li Jia 0001	Improving the AMSR-E/NASA Soil Moisture Data Product Using In-Situ Measurements from the Tibetan Plateau.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
15	Tatiana Alekseeva, Vasiliy Tikhonov, Sergei Frolov, Irina Repina, Mikhael Raev, Julia Sokolova, Evgeniy Sharkov, Ekaterina Afanasieva, Sergei Serovetnikov	Comparison of Arctic Sea Ice Concentrations from the NASA Team, ASI, and VASIA2 Algorithms with Summer and Winter Ship Data.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
15	Joseph H. Clerkin, Bryan L. Mesmer	Representation of knowledge for a NASA stakeholder value model.	Syst. Eng.	2019	DBLP DOI BibTeX RDF
15	Michael Zemba, James Nessel, Carlo Riva 0001, Lorenzo Luini, George Goussetis	NASA's alphasat propagation terminals: Milan, Italy, and Edinburgh, Scotland.	Int. J. Satell. Commun. Netw.	2019	DBLP DOI BibTeX RDF
15	Steven Jens Jorgensen, Michael William Lanighan, Sylvain S. Bertrand, Andrew Watson, Joseph S. Altemus, R. Scott Askew, Lyndon B. Bridgwater, Beau Domingue, Charlie Kendrick, Jason Lee, Mark Paterson, Jairo Sanchez, Patrick Beeson, Seth Gee, Stephen Hart, Ana Huaman Quispe, Robert J. Griffin, Inho Lee, Stephen McCrory, Luis Sentis, Jerry E. Pratt, Joshua S. Mehling	Deploying the NASA Valkyrie Humanoid for IED Response: An Initial Approach and Evaluation Summary.	CoRR	2019	DBLP BibTeX RDF
15	Timothy Jeruzalski, Boyang Deng, Mohammad Norouzi 0002, John P. Lewis, Geoffrey E. Hinton, Andrea Tagliasacchi	NASA: Neural Articulated Shape Approximation.	CoRR	2019	DBLP BibTeX RDF
15	Richard Galvez, David F. Fouhey, Meng Jin, Alexandre Szenicer, Andrés Muñoz-Jaramillo, Mark C. M. Cheung, Paul J. Wright, Monica G. Bobra, Yang Liu, James Mason, Rajat Thomas	A Machine Learning Dataset Prepared From the NASA Solar Dynamics Observatory Mission.	CoRR	2019	DBLP BibTeX RDF
15	Sergi Blanco-Cuaresma, Alberto Accomazzi, Michael J. Kurtz, Edwin A. Henneken, Carolyn S. Grant, Donna M. Thompson, Roman Chyla, Stephen McDonald, Golnaz Shapurian, Timothy W. Hostetler, Matthew R. Templeton, Kelly E. Lockhart, Kris Bukovi, Nathan Rapport	Fundamentals of effective cloud management for the new NASA Astrophysics Data System.	CoRR	2019	DBLP BibTeX RDF
15	Jeanne Behnke, Andrew Mitchell, Hampapuram K. Ramapriyan	NASA's Earth Observing Data and Information System - Near-Term Challenges.	Data Sci. J.	2019	DBLP DOI BibTeX RDF
15	Spencer McDonald, Ibrahim Nourein Mohammed, John D. Bolten, Sarva T. Pulla, Chinaporn Meechaiya, Amanda M. Markert, E. James Nelson, Raghavan Srinivasan 0001, Venkat Lakshmi	Web-based decision support system tools: The Soil and Water Assessment Tool Online visualization and analyses (SWATOnline) and NASA earth observation data downloading and reformatting tool (NASAaccess).	Environ. Model. Softw.	2019	DBLP DOI BibTeX RDF
15	ShuXiang Song	NASA.		2019	DOI RDF
15	Scott L. Sellars, Joulien Tatar, Phu Nguyen, Eric Shearer, Soroosh Sorooshian, F. Martin Ralph, John Graham, Dmitry Mishin, Kyle Marcus, Ilkay Altintas, Thomas A. DeFanti, Larry Smarr, Camille Crittenden, Frank Würthwein	The Evolution of Bits and Bottlenecks in a Scientific Workflow Trying to Keep Up with Technology: Accelerating 4D Image Segmentation Applied to NASA Data.	eScience	2019	DBLP DOI BibTeX RDF
15	Audun Vennesland, Richard M. Keller, Christoph G. Schuetz, Eduard Gringinger, Bernd Neumayr	Matching Ontologies for Air Traffic Management: a Comparison and Reference Alignment of the AIRM and NASA ATM Ontologies.	OM@ISWC	2019	DBLP BibTeX RDF
15	Yiyuan Zheng, Yuwen Jie	Study of NASA-TLX and Eye Blink Rates Both in Flight Simulator and Flight Test.	HCI (6)	2019	DBLP DOI BibTeX RDF
15	Patrick Zschech, Jonas Bernien, Kai Heinrich	Towards a Taxonomic Benchmarking Framework for Predictive Maintenance: The Case of NASA's Turbofan Degradation.	ICIS	2019	DBLP BibTeX RDF
15	Steven Jens Jorgensen, Michael William Lanighan, Sylvain S. Bertrand, Andrew Watson, Joseph S. Altemus, R. Scott Askew, Lyndon Bridgwater, Beau Domingue, Charlie Kendrick, Jason Lee, Mark Paterson, Jairo Sanchez, Patrick Beeson, Seth Gee, Stephen Hart, Ana Huaman Quispe, Robert J. Griffin, Inho Lee, Stephen McCrory, Luis Sentis, Jerry E. Pratt, Joshua S. Mehling	Deploying the NASA Valkyrie Humanoid for IED Response: An Initial Approach and Evaluation Summary.	Humanoids	2019	DBLP DOI BibTeX RDF
15		NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2019, Colchester, UK, July 22-24, 2019	AHS	2019	DBLP BibTeX RDF
15	Emily Pachunka, John R. Windle, Ryan M. Schuetzler, Ann L. Fruhling	Natural-Setting PHR Usability Evaluation using the NASA TLX to Measure Cognitive Load of Patients.	HICSS	2019	DBLP BibTeX RDF
15	Kel Elkins, Greg Shirah	How NASA Uses Render Time Procedurals for Scientific Data Visualization.	SIGGRAPH Asia Technical Briefs	2019	DBLP DOI BibTeX RDF
15	Roberto Moreno-Díaz Jr., Roberto Moreno-Díaz, Arminda Moreno-Díaz, A. Moreno-Martel	The Origin, Evolution and Applications of Visual Bio-cybernetics Concepts Included in the Original MIT-NASA Reports for Designing a Mars Rover (1965-1985).	EUROCAST (1)	2019	DBLP DOI BibTeX RDF
15	Eleanor C. Stokes, Miguel O. Roman, Zhuosen Wang, Ranjay M. Shrethsa, Tian Yao, Ginny Kalb	Urban Applications of Nasa's Black Marble Product Suite.	JURSE	2019	DBLP DOI BibTeX RDF