Search Results

Matching Records: 7,729
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
An Investigation of Proposed Techniques for Quantifying Confidence in Assurance Arguments
Document ID: 20160006526
NTRS Full-Text: Click to View  [PDF Size: 1.4 MB]
Author: Graydon, Patrick J.; Holloway, C. Michael
Abstract: The use of safety cases in certification raises the question of assurance argument sufficiency and hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219195, L-20670, NF1676L-23680
Date Acquired: May 24, 2016
A Simple Engineering Analysis of Solar Particle Event High Energy Tails and Their Impact on Vehicle Design
Document ID: 20160006409
NTRS Full-Text: Click to View  [PDF Size: 2.9 MB]
Author: Singleterry, Robert C., Jr.; Walker, Steven A.; Clowdsley, Martha S.
Abstract: The mathematical models for Solar Particle Event (SPE) high energy tails are constructed with hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219183, L-20679, NF1676L-23809
Date Acquired: May 20, 2016
Statistical Emulator for Expensive Classification Simulators
Document ID: 20160006302
NTRS Full-Text: Click to View  [PDF Size: 19.9 MB]
Author: Ross, Jerret; Samareh, Jamshid A.
Abstract: Expensive simulators prevent any kind of meaningful analysis to be performed on the phenomena they hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219174, L-20675, NF1676L-23725
Date Acquired: May 18, 2016
The Behavior of a Stitched Composite Large-Scale Multi-Bay Pressure Box
Document ID: 20160006307
NTRS Full-Text: Click to View  [PDF Size: 90.2 MB]
Author: Jegley, Dawn C.; Rouse, Marshall; Przekop, Adam; Lovejoy, Andrew E.
Abstract: NASA has created the Environmentally Responsible Aviation (ERA) Project to develop technologies to hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-218972, L-20630, NF1676L-22992
Date Acquired: May 17, 2016
Unmanned Aircraft Systems Human-in-the-Loop Controller and Pilot Acceptability Study: Collision Avoidance, Self-Separation, and Alerting Times (CASSAT)
Document ID: 20160006303
NTRS Full-Text: Click to View  [PDF Size: 1.4 MB]
Author: Comstock, James R., Jr.; Ghatas, Rania W.; Vincent, Michael J.; Consiglio, Maria C.; Munoz, Cesar; Chamberlain, James P.; Volk, Paul; Arthur, Keith E.
Abstract: The Federal Aviation Administration (FAA) has been mandated by the Congressional funding bill of hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA-TM-2016-219181, L-20673, L-20671, NF1676L-23684
Date Acquired: May 17, 2016
Survey of Quantitative Research Metrics to Assess Pilot Performance in Upset Recovery
Document ID: 20160006310
NTRS Full-Text: Click to View  [PDF Size: 293 KB]
Author: Le Vie, Lisa R.
Abstract: Accidents attributable to in-flight loss of control are the primary cause for fatal commercial jet hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219191, L-20572, NF1676L-21763
Date Acquired: May 17, 2016
Frontier In-Situ Resource Utilization for Enabling Sustained Human Presence on Mars
Document ID: 20160005963
NTRS Full-Text: Click to View  [PDF Size: 1.9 MB]
Author: Moses, Robert W.; Bushnell, Dennis M.
Abstract: The currently known resources on Mars are massive, including extensive quantities of water and hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219182, L-20531, NF1676L-20756
Date Acquired: May 12, 2016
Theoretical Aeroacoustics: Compiled Mathematical Derivations of Fereidoun 'Feri' Farassat
Document ID: 20160005899
NTRS Full-Text: Click to View  [PDF Size: 242.10 MB]
Author: Miller, Steven A. E.
Abstract: Dr. Fereidoun 'Feri' Farassat was a theoretical aero-acoustician at the National Aeronautics and hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219179, NF1676L-23594, L-20663
Date Acquired: May 11, 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: May 28, 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