Search Results

Matching Records: 7,483
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
Far-Field Acoustic Power Level and Performance Analyses of F31/A31 Open Rotor Model at Simulated Scaled Takeoff, Nominal Takeoff, and Approach Conditions: Technical Report I
Document ID: 20150008245
NTRS Full-Text: Click to View  [PDF Size: 8.2 MB]
Author: Sree, Dave
Abstract: Far-field acoustic power level and performance analyses of open rotor model F31/A31 have been hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/CR-2015-218716, E-19053, GRC-E-DAA-TN20011
Date Acquired: May 19, 2015
NASA Glenn Research Center Support of the Advanced Stirling Radioisotope Generator Project
Document ID: 20150008244
NTRS Full-Text: Click to View  [PDF Size: 2.9 MB]
Author: Wilson, Scott D.; Wong, Wayne A.
Abstract: A high-efficiency radioisotope power system was being developed for long-duration NASA space science hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM-2015-218462, AIAA Paper 2014-3859, GRC-E-DAA-TN17295, E-19020
Date Acquired: May 19, 2015
Replacement of Hydrochlorofluorocarbon (HCFC) -225 Solvent for Cleaning and Verification Sampling of NASA Propulsion Oxygen Systems Hardware, Ground Support Equipment, and Associated Test Systems
Document ID: 20150006941
NTRS Full-Text: Click to View  [PDF Size: 21.9 MB]
Author: Burns, H. D.; Mitchell, M. A.; McMillian, J. H.; Farner, B. R.; Harper, S. A.; Peralta, S. F.; Lowrey, N. M.; Ross, H. R.; Juarez, A.
Abstract: Since the 1990's, NASA's rocket propulsion test facilities at Marshall Space Flight Center (MSFC) hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TP-2015-218207, M-1396
Date Acquired: May 06, 2015
Certification Considerations for Adaptive Systems
Document ID: 20150005863
NTRS Full-Text: Click to View  [PDF Size: 566 KB]
Author: Bhattacharyya, Siddhartha; Cofer, Darren; Musliner, David J.; Mueller, Joseph; Engstrom, Eric
Abstract: Advanced capabilities planned for the next generation of aircraft, including those that will operate hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA-CR-2015-218702, NF1676L-20971
Date Acquired: Apr 21, 2015
Advanced Launch Technology Life Cycle Analysis Using the Architectural Comparison Tool (ACT)
Document ID: 20150004148
NTRS Full-Text: Click to View  [PDF Size: 3.5 MB]
Author: McCleskey, Carey M.
Abstract: Life cycle technology impact comparisons for nanolauncher technology concepts were performed using hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM-2015-218487, KSC-E-DAA-TN20729
Date Acquired: Apr 06, 2015
Computational Fluid Dynamics Modeling of a Supersonic Nozzle and Integration into a Variable Cycle Engine Model
Document ID: 20150004420
NTRS Full-Text: Click to View  [PDF Size: 556 KB]
Author: Connolly, Joseph W.; Friedlander, David; Kopasakis, George
Abstract: This paper covers the development of an integrated nonlinear dynamic simulation for a variable cycle hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM-2015-218479, E-19031, GRC-E-DAA-TN17284
Date Acquired: Apr 06, 2015
Internal Structural Design of the Common Research Model Wing Box for Aeroelastic Tailoring
Document ID: 20150003788
NTRS Full-Text: Click to View  [PDF Size: 1.5 MB]
Author: Jutte, Christine V.; Stanford, Bret K.; Wieseman, Carol D.
Abstract: This work explores the use of alternative internal structural designs within a full-scale wing box hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM-2015-218697, L-20534, NF1676L-20818
Date Acquired: Apr 01, 2015
Safety Case Patterns: Theory and Applications
Document ID: 20150004086
NTRS Full-Text: Click to View  [PDF Size: 1.8 MB]
Author: Denney, Ewen W.; Pai, Ganesh J.
Abstract: We develop the foundations for a theory of patterns of safety case argument structures, clarifying hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM-2015-218492, ARC-E-DAA-TN21418
Date Acquired: Apr 06, 2015
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: May 23, 2015

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