Search Results

Matching Records: 7,399
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
Flight Crew Workload, Acceptability, and Performance When Using Data Comm in a High-Density Terminal Area Simulation
Document ID: 20130014055
NTRS Full-Text: Click to View  [PDF Size: 8.6 MB]
Author: Norman, R. Michael; Baxley, Brian T.; Adams, Cathy A.; Ellis, Kyle K. E.; Latorella, Kara A.; Comstock, James R., Jr.
Abstract: This document describes a collaborative FAA/NASA experiment using 22 commercial airline pilots to hide
Publication Year: 2013
Document Type: Technical Report
Report/Patent Number: NASA/TP-2013-218007, L-19907, NF1676L-11176
Date Acquired: Jul 25, 2013
Acoustic Performance of a Real-Time Three-Dimensional Sound-Reproduction System
Document ID: 20130013985
NTRS Full-Text: Click to View  [PDF Size: 1.2 MB]
Author: Faller, Kenneth J., II; Rizzi, Stephen A.; Aumann, Aric R.
Abstract: The Exterior Effects Room (EER) is a 39-seat auditorium at the NASA Langley Research Center and was hide
Publication Year: 2013
Document Type: Technical Report
Report/Patent Number: NASA/TM-2013-218004, NF1676L-16731
Date Acquired: Jul 19, 2013
Compendium of Directors Colloquia 1999-2012
Document ID: 20130014324
NTRS Full-Text: Click to View  [PDF Size: 17.3 MB]
Author: Langhoff, Stephanie
Abstract: The Director s colloquium series was established primarily to provide a mechanism to bring high hide
Publication Year: 2013
Document Type: Conference Proceedings
Report/Patent Number: NASA/CP-2013-216529, ARC-E-DAA-TN8515
Date Acquired: Aug 12, 2013
Time-Filtered Navier-Stokes Approach and Emulation of Turbulence-Chemistry Interaction
Document ID: 20130014000
NTRS Full-Text: Click to View  [PDF Size: 1.8 MB]
Author: Liu, Nan-Suey; Wey, Thomas; Shih, Tsan-Hsing
Abstract: This paper describes the time-filtered Navier-Stokes approach capable of capturing unsteady flow hide
Publication Year: 2013
Document Type: Conference Paper
Report/Patent Number: NASA/TM-2013-217873, E-18670, AIAA Paper 2013-0707
Date Acquired: Jul 22, 2013
Validation of a CFD Methodology for Variable Speed Power Turbine Relevant Conditions
Document ID: 20130013998
NTRS Full-Text: Click to View  [PDF Size: 918 KB]
Author: Ameri, Ali A.; Giel, Paul W.; McVetta, Ashlie B.
Abstract: Analysis tools are needed to investigate aerodynamic performance of Variable-Speed Power Turbines hide
Publication Year: 2013
Document Type: Conference Paper
Report/Patent Number: NASA/TM-2013-217860, E-18653, GT2013-95030
Date Acquired: Jul 22, 2013
An Approximate Solution and Master Curves for Buckling of Symmetrically Laminated Composite Cylinders
Document ID: 20130013688
NTRS Full-Text: Click to View  [PDF Size: 2.0 MB]
Author: Nemeth, Michael P.
Abstract: Nondimensional linear-bifurcation buckling equations for balanced, symmetrically laminated cylinders hide
Publication Year: 2013
Document Type: Technical Report
Report/Patent Number: NASA/TM-2013-217999, L-20250, NF1676L-16500
Date Acquired: Jun 19, 2013
Simplified Aircraft-Based Paired Approach: Concept Definition and Initial Analysis
Document ID: 20130013692
NTRS Full-Text: Click to View  [PDF Size: 3.3 MB]
Author: Johnson, Sally C.; Lohr, Gary W.; McKissick, Burnell T.; Abbott, Terence S.; Geurreiro, Nelson M.; Volk, Paul
Abstract: Simplified Aircraft-based Parallel Approach (SAPA) is an advanced concept proposed by the Federal hide
Publication Year: 2013
Document Type: Technical Report
Report/Patent Number: NASA/TP-2013-217994, L-19901, NF1676L-10952
Date Acquired: Jun 19, 2013
Combining Through-Thickness Reinforcement and Self-Healing for Improved Damage Tolerance and Durability of Composites
Document ID: 20130013399
NTRS Full-Text: Click to View  [PDF Size: 3.1 MB]
Author: O'Brien, T. Kevin; Czabaj, Michael W.; Hinkley, Jeffrey A.; Tsampas, Spiros; Greenhalgh, Emile S.; McCombe, Gregory; Bond, Ian P.; Trask, Richard
Abstract: A study was undertaken to develop a prototype method for adding through-thickness hollow glass tubes hide
Publication Year: 2013
Document Type: Technical Report
Report/Patent Number: NASA/TM-2013-217988, L-20252, NF1676L-16561
Date Acquired: May 10, 2013
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: NASA Center for AeroSpace Information (CASI)
Last Modified: April 16, 2014

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