Search Results

Matching Records: 7,498
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
Mitigation of Crack Damage in Metallic Materials
Document ID: 20140006911
NTRS Full-Text: Click to View  [PDF Size: 1.5 MB]
Author: Leser, Patrick E.; Newman, John A.; Smith, Stephen W.; Leser, William P.; Wincheski, Russell A.; Wallace, Terryl A.; Glaessgen, Edward H.; Piascik, Robert S.
Abstract: A system designed to mitigate or heal crack damage in metallic materials has been developed where hide
Publication Year: 2014
Document Type: Technical Report
Report/Patent Number: NASA/TM-2014-218272, L-20418, NF1676L-18936
Date Acquired: Jun 28, 2014
NASA Standing Review Board Handbook. REV A
Document ID: 20140008530
NTRS Full-Text: Click to View  [PDF Size: 1.7 MB]
Author: Amer, Tahani R.; Ortiz, James N.; Calloway, Michelle A.; Greathouse, Richard M.; Polen, Charles A.; Baker, Ronald L.; Borchardt, Heidemarie E.; Chromik, Christopher C.; Moran, Erin; Paraska, Michael W.; Moore, Deborah A.; Chung, Simon
Abstract: No abstract available
Publication Year: 2014
Document Type: Technical Report
Report/Patent Number: NASA/SP-2014-3706/REVA
Date Acquired: Jun 30, 2014
Atmospheric Mining in the Outer Solar System: Resource Capturing, Storage, and Utilization
Document ID: 20140006386
NTRS Full-Text: Click to View  [PDF Size: 1.7 MB]
Author: Palaszewski, Bryan
Abstract: Atmospheric mining in the outer solar system has been investigated as a means of fuel production for hide
Publication Year: 2014
Document Type: Technical Report
Report/Patent Number: NASA/TM-2014-217892, AIAA Paper 2012-3742, E-18703
Date Acquired: Jun 03, 2014
Coupling Damage-Sensing Particles to the Digitial Twin Concept
Document ID: 20140006408
NTRS Full-Text: Click to View  [PDF Size: 942 KB]
Author: Hochhalter, Jacob; Leser, William P.; Newman, John A.; Gupta, Vipul K.; Yamakov, Vesselin; Cornell, Stephen R.; Willard, Scott A.; Heber, Gerd
Abstract: The research presented herein is a first step toward integrating two emerging structural health hide
Publication Year: 2014
Document Type: Technical Report
Report/Patent Number: NASA/TM-2014-218257, L-20401, NF1676L-18764
Date Acquired: Jun 03, 2014
Aeroelastic Tailoring of Transport Aircraft Wings: State-of-the-Art and Potential Enabling Technologies
Document ID: 20140006404
NTRS Full-Text: Click to View  [PDF Size: 425 KB]
Author: Jutte, Christine; Stanford, Bret K.
Abstract: This paper provides a brief overview of the state-of-the-art for aeroelastic tailoring of subsonic hide
Publication Year: 2014
Document Type: Technical Report
Report/Patent Number: NASA/TM-2014-218252, L-20395, NF1676L-18677
Date Acquired: Jun 03, 2014
Additive Manufacturing Modeling and Simulation A Literature Review for Electron Beam Free Form Fabrication
Document ID: 20140005339
NTRS Full-Text: Click to View  [PDF Size: 341 KB]
Author: Seufzer, William J.
Abstract: Additive manufacturing is coming into industrial use and has several desirable attributes. Control hide
Publication Year: 2014
Document Type: Technical Report
Report/Patent Number: NASA/TM-2014-218245, L-20391, NF1676L-18606
Date Acquired: May 12, 2014
Formal Methods Case Studies for DO-333
Document ID: 20140004055
NTRS Full-Text: Click to View  [PDF Size: 2.6 MB]
Author: Cofer, Darren; Miller, Steven P.
Abstract: RTCA DO-333, Formal Methods Supplement to DO-178C and DO-278A provides guidance for software hide
Publication Year: 2014
Document Type: Technical Report
Report/Patent Number: NASA/CR-2014-218244, NF1676L-18435
Date Acquired: May 02, 2014
A Comparison of Metallic, Composite and Nanocomposite Optimal Transonic Transport Wings
Document ID: 20140004056
NTRS Full-Text: Click to View  [PDF Size: 5.2 MB]
Author: Kennedy, Graeme J.; Kenway, Gaetan K. W.; Martins, Joaquim R. R.
Abstract: Current and future composite material technologies have the potential to greatly improve the hide
Publication Year: 2014
Document Type: Technical Report
Report/Patent Number: NASA/CR-2014-218185, NF1676L-18512
Date Acquired: May 02, 2014
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: December 21, 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