Search Results

Matching Records: 7,476
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
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
An Investigation of Interval Management Displays
Document ID: 20150003783
NTRS Full-Text: Click to View  [PDF Size: 2.10 MB]
Author: Swieringa, Kurt A.; Wilson, Sara R.; Shay, Rick
Abstract: NASA's first Air Traffic Management (ATM) Technology Demonstration (ATD-1) was created to transition hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM-2015-218682, L-20477, NF1676L-19866
Date Acquired: Mar 31, 2015
FUN3D Manual: 12.6
Document ID: 20150003790
NTRS Full-Text: Click to View  [PDF Size: 1.4 MB]
Author: Biedron, Robert T.; Derlaga, Joseph M.; Gnoffo, Peter A.; Hammond, Dana P.; Jones, William T.; Kleb, William L.; Lee-Rausch, Elizabeth M.; Nielsen, Eric J.; Park, Michael A.; Rumsey, Christopher L.; Thomas, James L.; Wood, William A.
Abstract: This manual describes the installation and execution of FUN3D version 12.6, including optional hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TM2015-218690, L-20538, NF1676L-20842
Date Acquired: Mar 31, 2015
A Study of Neutron Leakage in Finite Objects
Document ID: 20150002822
NTRS Full-Text: Click to View  [PDF Size: 1.0 MB]
Author: Wilson, John W.; Slaba, Tony C.; Badavi, Francis F.; Reddell, Brandon D.; Bahadori, Amir A.
Abstract: A computationally efficient 3DHZETRN code capable of simulating High charge (Z) and Energy (HZE) and hide
Publication Year: 2015
Document Type: Technical Report
Report/Patent Number: NASA/TP-2015-218692, NF1676L-20828, L-20537
Date Acquired: Mar 18, 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: April 25, 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