Search Results

Matching Records: 7,421
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
A Validated Task Analysis of the Single Pilot Operations Concept
Document ID: 20150001421
NTRS Full-Text: Click to View  [PDF Size: 6.5 MB]
Author: Wolter, Cynthia A.; Gore, Brian F.
Abstract: The current day flight deck operational environment consists of a two-person Captain/First Officer hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM-2015-218480, ARC-E-DAA-TN19738
Date Acquired: Mar 03, 2015
Spin Forming Aluminum Crew Module (CM) Metallic Aft Pressure Vessel Bulkhead (APVBH) - Phase II
Document ID: 20150001262
NTRS Full-Text: Click to View  [PDF Size: 23.8 MB]
Author: Hoffman, Eric K.; Domack, Marcia S.; Torres, Pablo D.; McGill, Preston B.; Tayon, Wesley A.; Bennett, Jay E.; Murphy, Joseph T.
Abstract: The principal focus of this project was to assist the Multi-Purpose Crew Vehicle (MPCV) program in hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TP-2015-218674, NESC-RP-13-00884, L-20517, NF1676L-20636
Date Acquired: Feb 23, 2015
An Integrated Architecture for Aircraft Engine Performance Monitoring and Fault Diagnostics: Engine Test Results
Document ID: 20150000899
NTRS Full-Text: Click to View  [PDF Size: 641 KB]
Author: Rinehart, Aidan W.; Simon, Donald L.
Abstract: This paper presents a model-based architecture for performance trend monitoring and gas path fault hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM-2015-218448, AIAA Paper 2014-3924, E-19012, GRC-E-DAA-TN17165
Date Acquired: Feb 13, 2015
Wing Shape Sensing from Measured Strain
Document ID: 20150000839
NTRS Full-Text: Click to View  [PDF Size: 3.5 MB]
Author: Pak, Chan-Gi
Abstract: A new two-step theory is investigated for predicting the deflection and slope of an entire structure hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM-2015-218358, DFRC-E-DAA-TN16068
Date Acquired: Feb 09, 2015
Flight Deck Interval Management Display. [Elements, Information and Annunciations Database User Guide
Document ID: 20150000603
NTRS Full-Text: Click to View  [PDF Size: 3.1 MB]
Author: Lancaster, Jeff; Dillard, Michael; Alves, Erin; Olofinboba, Olu
Abstract: The User Guide details the Access Database provided with the Flight Deck Interval Management (FIM) hide
Publication Year: 2014
Document Type: Technical Report
Report/Patent Number: NASA/CR-2014-218665, NF1676L-20391
Date Acquired: Feb 17, 2015
Consensus-Based Formation Control of a Class of Multi-Agent Systems
Document ID: 20150000602
NTRS Full-Text: Click to View  [PDF Size: 316 KB]
Author: Joshi, Suresh; Gonzalez, Oscar R.
Abstract: This paper presents a consensus-based formation control scheme for autonomous multi-agent systems hide
Publication Year: 2014
Document Type: Technical Report
Report/Patent Number: NASA/TM-2014-218663, L-20503, NF1676L-20503
Date Acquired: Feb 17, 2015
Effects of Low Earth Orbit on Docking Seal Materials
Document ID: 20150000900
NTRS Full-Text: Click to View  [PDF Size: 358 KB]
Author: Imka, Emily C.; Asmar, Olivia C.; deGroh, Henry C., III; Banks, Bruce A.
Abstract: Spacecraft docking seals are typically made of silicone elastomers. When such seals are exposed to hide
Publication Year: 2014
Document Type: Technical Report
Report/Patent Number: NASA/TM-2014-218435, E-19002, GRC-E-DAA-TN18861
Date Acquired: Feb 11, 2015
Detailed Post-Soft Impact Progressive Damage Assessment for Hybrid Structure Jet Engines
Document ID: 20150000885
NTRS Full-Text: Click to View  [PDF Size: 2.2 MB]
Author: Siddens, Aaron; Bayandor, Javid; Celestina, Mark L.
Abstract: Currently, certification of engine designs for resistance to bird strike is reliant on physical hide
Publication Year: 2014
Document Type: Technical Report
Report/Patent Number: NASA/TM-2014-218397, E-18974, GRC-E-DAA-TN17219
Date Acquired: Feb 10, 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: March 06, 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