Search Results

Matching Records: 7,540
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 Concept Studies for Supersonic Commercial Transports Entering Service in the 2018-2020 Period Phase 2
Document ID: 20150015837
NTRS Full-Text: Click to View  [PDF Size: 57.8 MB]
Author: Morgenstern, John; Buonanno, Michael; Yao, Jixian; Murugappan, Mugam; Paliath, Umesh; Cheung, Lawrence; Malcevic, Ivan; Ramakrishnan, Kishore; Pastouchenko, Nikolai; Wood, Trevor; Martens, Steve; Viars, Phil; Tersmette, Trevor; Lee, Jason; Simmons, Ron; Plybon, David; Alonso, Juan; Palacios, Francisco; Lukaczyk, Trent; Carrier, Gerald
Abstract: Lockheed Martin Aeronautics Company (LM), working in conjunction with General Electric Global hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/CR-2015-218719, PMF-01766, E-19050, GRC-E-DAA-TN20996
Date Acquired: Aug 13, 2015
Space Shuttle Rudder Speed Brake Actuator-A Case Study Probabilistic Fatigue Life and Reliability Analysis
Document ID: 20150015486
NTRS Full-Text: Click to View  [PDF Size: 753 KB]
Author: Oswald, Fred B.; Savage, Michael; Zaretsky, Erwin V.
Abstract: The U.S. Space Shuttle fleet was originally intended to have a life of 100 flights for each vehicle, hide
Publication Year: 2015
Document Type: Conference Paper
Report/Patent Number: NASA/TM-2015-218846, E-18705-1, GRC-E-DAA-TN18743
Date Acquired: Aug 10, 2015
Shape Memory Alloy Rock Splitters (SMARS) - A Non-Explosive Method for Fracturing Planetary Rocklike Materials and Minerals
Document ID: 20150014967
NTRS Full-Text: Click to View  [PDF Size: 7.1 MB]
Author: Benafan, Othmane; Noebe, Ronald D.; Halsmer, Timothy J.
Abstract: A static rock splitter device based on high-force, high-temperature shape memory alloys (HTSMAs) was hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM-2015-218832, E-19101, GRC-E-DAA-TN23558
Date Acquired: Aug 04, 2015
Architecture, Voltage, and Components for a Turboelectric Distributed Propulsion Electric Grid (AVC-TeDP)
Document ID: 20150014583
NTRS Full-Text: Click to View  [PDF Size: 4.3 MB]
Author: Gemin, Paul; Kupiszewski, Tom; Radun, Arthur; Pan, Yan; Lai, Rixin; Zhang, Di; Wang, Ruxi; Wu, Xinhui; Jiang, Yan; Galioto, Steve; Haran, Kiruba; Premerlani, William; Bray, Jim; Caiafa, Antonio
Abstract: The purpose of this effort was to advance the selection, characterization, and modeling of a hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/CR-2015-218713, E-19051, GRC-E-DAA-TN19588
Date Acquired: Aug 03, 2015
Phase 1 Final Report: Titan Submarine
Document ID: 20150014581
NTRS Full-Text: Click to View  [PDF Size: 16.9 MB]
Author: Oleson, Steven R.; Lorenz, Ralph D.; Paul, Michael V.
Abstract: The conceptual design of a submarine for Saturn's moon Titan was a funded NASA Innovative Advanced hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: GRC-E-DAA-TN21555, NASA/TM-2015-218831, E-19097
Date Acquired: Jul 31, 2015
Kodiak: An Implementation Framework for Branch and Bound Algorithms
Document ID: 20150014346
NTRS Full-Text: Click to View  [PDF Size: 535 KB]
Author: Smith, Andrew P.; Munoz, Cesar A.; Narkawicz, Anthony J.; Markevicius, Mantas
Abstract: Recursive branch and bound algorithms are often used to refine and isolate solutions to several hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM-2015-218776, L-20559, NF1676L-21365
Date Acquired: Jul 29, 2015
Multi-Level Experimental and Analytical Evaluation of Two Composite Energy Absorbers
Document ID: 20150014349
NTRS Full-Text: Click to View  [PDF Size: 4.8 MB]
Author: Jackson, Karen E.; Littell, Justin D.; Fasanella, Edwin L.; Annett, Martin S.; Seal, Michael D., II
Abstract: Two composite energy absorbers were developed and evaluated at NASA Langley Research Center through hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM-2015-218772, L-20579, NF1676L-21899
Date Acquired: Jul 29, 2015
Architecture, Voltage, and Components for a Turboelectric Distributed Propulsion Electric Grid
Document ID: 20150014237
NTRS Full-Text: Click to View  [PDF Size: 12.1 MB]
Author: Armstrong, Michael J.; Blackwelder, Mark; Bollman, Andrew; Ross, Christine; Campbell, Angela; Jones, Catherine; Norman, Patrick
Abstract: The development of a wholly superconducting turboelectric distributed propulsion system presents hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/CR-2015-218440, EDNS04000038188/002, E-19034, GRC-E-DAA-TN19637
Date Acquired: Jul 28, 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: September 01, 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