Search Results

Matching Records: 7,864
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
Advanced Stirling Convertor (ASC) Technology Maturation
Document ID: 20160010442
NTRS Full-Text: Click to View  [PDF Size: 610 KB]
Author: Wong, Wayne A.; Wilson, Scott; Collins, Josh; Wilson, Kyle
Abstract: The Advanced Stirling Convertor (ASC) development effort was initiated by NASA Glenn Research Center hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-218908, AIAA Paper 2015-3806, E-19164, GRC-E-DAA-TN25967
Date Acquired: Aug 19, 2016
Emergency Locator Transmitter System Performance During Three Full-Scale General Aviation Crash Tests
Document ID: 20160009372
NTRS Full-Text: Click to View  [PDF Size: 2.2 MB]
Author: Littell, Justin D.; Stimson, Chad M.
Abstract: Full-scale crash tests were conducted on three Cessna 172 aircraft at NASA Langley Research Center's hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219217, L-20702, NF1676L-24332
Date Acquired: Jul 26, 2016
Extending the Operational Envelope of a Turbofan Engine Simulation into the Sub-Idle Region
Document ID: 20160009115
NTRS Full-Text: Click to View  [PDF Size: 873 KB]
Author: Chapman, Jeffryes W.; Hamley, Andrew J.; Guo, Ten-Huei; Litt, Jonathan S.
Abstract: In many non-linear gas turbine simulations, operation in the sub-idle region can lead to model hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219110, AIAA-2016-1043, E-19233, GRC-E-DAA-TN31401
Date Acquired: Jul 20, 2016
Viscoplastic Characterization of Ti-6-4: Experiments
Document ID: 20160008952
NTRS Full-Text: Click to View  [PDF Size: 5.1 MB]
Author: Lerch, Bradley A.; Arnold, Steven M.
Abstract: As part of a continued effort to improve the understanding of material time-dependent response, a hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-218864, E-19135, GRC-E-DAA-TN24949
Date Acquired: Jul 14, 2016
Air Traffic Management Technology Demonstration-1 Concept of Operations (ATD-1 ConOps), Version 3.0
Document ID: 20160010100
NTRS Full-Text: Click to View  [PDF Size: 1.8 MB]
Author: Baxley, Brian T.; Johnson, William C.; Scardina, John; Shay, Richard F.
Abstract: This document describes the goals, benefits, technologies, and procedures of the Concept of hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219213, L-20719, NF1676L-24621
Date Acquired: Aug 10, 2016
Remote Imaging of Exploration Flight Test-1 (EFT-1) Entry Heating Risk Reduction
Document ID: 20160009045
NTRS Full-Text: Click to View  [PDF Size: 4.2 MB]
Author: Schuster, David M.; Horvath, Thomas J.; Schwartz, Richard J.
Abstract: A Measure of Performance (MOP) identified with an Exploration Flight Test-1 (EFT-1) Multi- Purpose hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219214, NESC-RP-12-00795, L-20727, NF1676L-24878
Date Acquired: Jul 18, 2016
Contact and Bending Durability Calculation for Spiral-Bevel Gears
Document ID: 20160008393
NTRS Full-Text: Click to View  [PDF Size: 13.4 MB]
Author: Vijayakar, Sandeep
Abstract: The objective of this project is to extend the capabilities of the gear contact analysis solver hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/CR-2016-219112, E-19235, GRC-E-DAA-TN31732
Date Acquired: Jul 08, 2016
Dynamic Characterization of Galfenol (Fe81.6Ga18.4)
Document ID: 20160007563
NTRS Full-Text: Click to View  [PDF Size: 15.5 MB]
Author: Scheidler, Justin J.; Asnani, Vivake M.; Dapino, Marcelo J.
Abstract: Galfenol has the potential to transform the smart materials industry by allowing for the development hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TP-2016-218754, E-19082, GRC-E-DAA-TN22679
Date Acquired: Jun 16, 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: August 23, 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