Search Results

Matching Records: 7,879
1 2 3 4 5 6 7 8 9 10 Next >>
Sort Results By:
Selected   › View Selected  /  › Clear Selected
Proceedings of the First NASA Formal Methods Symposium
Document ID: 20100024454
NTRS Full-Text: Click to View  [PDF Size: 3.3 MB]
Author: Denney, Ewen (Editor); Giannakopoulou, Dimitra (Editor); Pasareanu, Corina S. (Editor)
Abstract: Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; hide
Publication Year: 2009
Document Type: Conference Proceedings
Report/Patent Number: NASA/CP-2009-215407, ARC-E-DAA-TN774
Date Acquired: Jul 13, 2010
Proceedings of the Second NASA Formal Methods Symposium
Document ID: 20100018529
NTRS Full-Text: Click to View  [PDF Size: 5.4 MB]
Author: Munoz, Cesar (Editor)
Abstract: This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by hide
Publication Year: 2010
Document Type: Conference Proceedings
Report/Patent Number: NASA/CP-2010-216215, L-19844, NF1676L-10398
Date Acquired: May 19, 2010
Materials Characterization of Electron Beam Melted Ti-6Al-4V
Document ID: 20160011332
NTRS Full-Text: Click to View  [PDF Size: 21.7 MB]
Author: Draper, Susan L.; Lerch, Bradley A.; Telesman, Jack; Martin, Richard E.; Locci, Ivan E.; Garg, Anita; Ring, Andrew J.
Abstract: An in-depth material characterization of Electron Beam Melted (EBM) Ti-6Al-4V material has been hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219136, E-19261, GRC-E-DAA-TN33083
Date Acquired: Sep 21, 2016
Fischer-Tropsch Cobalt Catalyst Activation and Handling Through Wax Enclosure Methods
Document ID: 20160011188
NTRS Full-Text: Click to View  [PDF Size: 1.5 MB]
Author: Klettlinger, Jennifer L. S.; Yen, Chia H.; Nakley, Leah M.; Surgenor, Angela D.
Abstract: Fischer-Tropsch (F-T) synthesis is considered a gas to liquid process which converts syn-gas, a hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219099, E-19228, GRC-E-DAA-TN5037
Date Acquired: Sep 13, 2016
Information Foraging and Change Detection for Automated Science Exploration
Document ID: 20160011185
NTRS Full-Text: Click to View  [PDF Size: 1.7 MB]
Author: Furlong, P. Michael; Dille, Michael
Abstract: This paper presents a new algorithm for autonomous on-line exploration in unknown environments. The hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: ARC-E-DAA-TN34779, NASA/TM-2016-219377
Date Acquired: Sep 13, 2016
Dynamic Systems Analysis for Turbine Based Aero Propulsion Systems
Document ID: 20160011110
NTRS Full-Text: Click to View  [PDF Size: 478 KB]
Author: Csank, Jeffrey T.
Abstract: The aircraft engine design process seeks to optimize the overall system-level performance, weight, hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219133, E-19258, GRC-E-DAA-TN31154
Date Acquired: Sep 08, 2016
Free-Piston Stirling Power Conversion Unit for Fission Power System, Phase II Final Report
Document ID: 20160010605
NTRS Full-Text: Click to View  [PDF Size: 3.9 MB]
Author: Wood, J. Gary; Stanley, John
Abstract: In Phase II, the manufacture and testing of two 6-kW(sub e)Stirling engines was completed. The hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/CR-2016-219088, GRC-E-DAA-TN29210, E-19217
Date Acquired: Aug 29, 2016
FUN3D Manual: 13.0
Document ID: 20160010563
NTRS Full-Text: Click to View  [PDF Size: 1.5 MB]
Author: Biedron, Robert T.; Carlson, Jan-Renee; Derlaga, Joseph M.; Gnoffo, Peter A.; Hammond, Dana P.; Jones, William T.; Kleb, Bill; Lee-Rausch, Elizabeth M.; Nielsen, Eric J.; Park, Michael A.; Rumsey, Christopher L.; Thomas, James L.; Wood, William A.
Abstract: This manual describes the installation and execution of FUN3D version 13.0, including optional hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219330, NF1676L-24988, L-20735
Date Acquired: Aug 24, 2016
Performance Evaluation of Speech Recognition Systems as a Next-Generation Pilot-Vehicle Interface Technology
Document ID: 20160010565
NTRS Full-Text: Click to View  [PDF Size: 2.0 MB]
Author: Arthur, Jarvis J., III; Shelton, Kevin J.; Prinzel, Lawrence J., III; Bailey, Randall E.
Abstract: During the flight trials known as Gulfstream-V Synthetic Vision Systems Integrated Technology hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219329, L-20682, NF1676L-23848
Date Acquired: Aug 24, 2016
Multiscale Static Analysis of Notched and Unnotched Laminates Using the Generalized Method of Cells
Document ID: 20160010559
NTRS Full-Text: Click to View  [PDF Size: 8.8 MB]
Author: Naghipour Ghezeljeh, Paria; Arnold, Steven M.; Pineda, Evan J.; Stier, Bertram; Hansen, Lucas; Bednarcyk, Brett A.; Waas, Anthony M.
Abstract: The generalized method of cells (GMC) is demonstrated to be a viable micromechanics tool for hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: E-19211, GRC-E-DAA-TN28252, NASA/TM-2016-219084
Date Acquired: Aug 24, 2016
1 2 3 4 5 6 7 8 9 10 Next >>
Facebook icon, External Link to NASA STI page on Facebook Twitter icon, External Link to NASA STI on Twitter YouTube icon, External Link to NASA STI Channel on YouTube RSS icon, External Link to New NASA STI RSS Feed
Refine By
Search History
 
NASA Logo, External Link

NASA Official: Gerald Steeman

Sponsored By: NASA Scientific and Technical Information Program

Site Curator: STI Support Services

Last Modified: October 01, 2016

Privacy Policy & Important Notices Disclaimers, Copyright, Terms of Use Freedom of Information Act USA.gov NASA.gov NASA OCIO Free Adobe PDF Reader Free MS Word Viewer