Search Results

Matching Records: 7,704
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
Benchmarking Model Variants in Development of a Hardware-in-the-Loop Simulation System
Document ID: 20160004952
NTRS Full-Text: Click to View  [PDF Size: 1.5 MB]
Author: Aretskin-Hariton, Eliot D.; Zinnecker, Alicia M.; Kratz, Jonathan L.; Culley, Dennis E.; Thomas, George L.
Abstract: Distributed engine control architecture presents a significant increase in complexity over hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: GRC-E-DAA-TN29895, NASA/TM-2016-219089, AIAA Paper 2016-1425
Date Acquired: Apr 14, 2016
Generalized Fluid System Simulation Program, Version 6.0
Document ID: 20160005401
NTRS Full-Text: Click to View  [PDF Size: 19.6 MB]
Author: Majumdar, A. K.; LeClair, A. C.; Moore, R.; Schallhorn, P. A.
Abstract: The Generalized Fluid System Simulation Program (GFSSP) is a general purpose computer program for hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TP-2016-218218, M-1407
Date Acquired: Apr 27, 2016
Wind-US Users Guide Version 3.0
Document ID: 20160004951
NTRS Full-Text: Click to View  [PDF Size: 3.1 MB]
Author: Yoder, Dennis A.
Abstract: Wind-US is a computational platform which may be used to numerically solve various sets of equations hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: GRC-E-DAA-TN29780, NASA/TM-2016-219078, E-19207
Date Acquired: Apr 14, 2016
Requirements for Large Eddy Simulation Computations of Variable-Speed Power Turbine Flows
Document ID: 20160004678
NTRS Full-Text: Click to View  [PDF Size: 288 KB]
Author: Ameri, Ali A.
Abstract: Variable-speed power turbines (VSPTs) operate at low Reynolds numbers and with a wide range of hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/CR-2016-218962, GRC-E-DAA-TN29070, E-19198
Date Acquired: Apr 11, 2016
Overview of Stirling Technology Research at NASA Glenn Research Center
Document ID: 20160004350
NTRS Full-Text: Click to View  [PDF Size: 2.4 MB]
Author: Wilson, Scott D.; Schifer, Nicholas A.; Williams, Zachary D.; Metscher, Jonathan F.
Abstract: Stirling Radioisotope Power Systems (RPSs) are under development to provide power on future space hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: GRC-E-DAA-TN25970, NASA/TM-2016-218909, E-19165, AIAA Paper 2015-3509
Date Acquired: Apr 06, 2016
Pharmaceuticals Exposed to the Space Environment: Problems and Prospects
Document ID: 20160003684
NTRS Full-Text: Click to View  [PDF Size: 427 KB]
Author: Jaworske, Donald A.; Myers, Jerry G.
Abstract: The NASA Human Research Program (HRP) Health Countermeasures Element maintains ongoing efforts to hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-218949, E-19193, GRC-E-DAA-TN28851
Date Acquired: Mar 25, 2016
A Dual-Plane PIV Study of Turbulent Heat Transfer Flows
Document ID: 20160003685
NTRS Full-Text: Click to View  [PDF Size: 5.7 MB]
Author: Wernet, Mark P.; Wroblewski, Adam C.; Locke, Randy J.
Abstract: Thin film cooling is a widely used technique in turbomachinery and rocket propulsion applications, hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219074, E-19203, GRC-E-DAA-TN30053
Date Acquired: Mar 25, 2016
Advanced Face Gear Surface Durability Evaluations
Document ID: 20160003580
NTRS Full-Text: Click to View  [PDF Size: 7.9 MB]
Author: Lewicki, David G.; Heath, Gregory F.
Abstract: The surface durability life of helical face gears and isotropic super-finished (ISF) face gears was hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-218943, E-19188, GRC-E-DAA-TN23108
Date Acquired: Mar 22, 2016
Please select one of the following export formats to download the top 300 records from the search results to your computer:






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

Additional Keywords allows you to refine your results by specifying keywords within selected fields. Available fields are displayed in the drop-down menu. [Note that results are ranked by relevancy when searching the Title, Abstract, Subject Terms, Full-Text, and All fields.]

  • Use quotes to search for exact phrases (e.g., "space shuttle") or use the Advanced Search and select "Exact Phrase" from the first drop-down menu.
  • Use an asterisk ( * ) as a wild card to expand term searching (e.g., comput* searches for computation, computational, computer, computers, computerization, etc.).
  • Retain hyphens in words that commonly use them (e.g., x-ray).
  • Search for author in several ways (e.g., "Armstrong, Neil" or "Armstrong, N.").
  • Find multiple authors in one search by using last names only (e.g., Armstrong Aldrin).

Collection, Author, Availability Type, Document Type, NASA Center, Subject Category, and Subject Terms allow progressive refinement by browsing and selecting content features

  • Click red triangles to browse and select available values.
  • Click the [X] next to any value to exclude that item from your search.
Search History

Search History contains a list of recent searches that were run during the current search session.

  • To maintain the search history, the browser's "Cookies" setting must be enabled.
  • The search history will maintain up to 50 searches for 4 hours during the same browser session.
  • Click on any search link to view or modify the search.
  • Click on [X] next to any search link to delete it from the search history.
  • Click on the Clear link at the top of the list to delete all searches from the search history.
  • Click on the search history section header to expand/collapse it.
 
NASA Logo, External Link

NASA Official: Gerald Steeman

Sponsored By: NASA Scientific and Technical Information Program

Site Curator: STI Support Services

Last Modified: April 29, 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