Search Results

Matching Records: 7,850
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
Dynamic Characterization of Galfenol (Fe81.6Ga18.4)
Document ID: 20160007563
NTRS Full-Text: Click to View  [PDF Size: 15.5 MB]
Author: Scheidler, Justin J.; Asnani, Vivake M.; Dapino, Marcelo J.
Abstract: Galfenol has the potential to transform the smart materials industry by allowing for the development hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TP-2016-218754, E-19082, GRC-E-DAA-TN22679
Date Acquired: Jun 16, 2016
Wind Information Uplink to Aircraft Performing Interval Management Operations
Document ID: 20160007418
NTRS Full-Text: Click to View  [PDF Size: 528 KB]
Author: Ahmad, Nashat N.; Barmore, Bryan E.; Swieringa, Kurt A.
Abstract: Interval Management (IM) is an ADS-B-enabled suite of applications that use ground and flight deck hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219203, NF1676L-23874, L-20684
Date Acquired: Jun 13, 2016
Application of Strategic Planning Process with Fleet Level Analysis Methods
Document ID: 20160007419
NTRS Full-Text: Click to View  [PDF Size: 5.5 MB]
Author: Bernardo, Jose; Mavris, Dimitri N.; Pfaender, Holger; Jimenez, Hernando; Garcia, Elena; Feron, Eric
Abstract: The goal of this work is to quantify and characterize the potential system-wide reduction of fuel hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NF1676L-23801, NASA/CR-2016-219200
Date Acquired: Jun 13, 2016
Temperature Dependence of Electrical Resistance of Woven Melt-Infiltrated SiCf/SiC Ceramic Matrix Composites
Document ID: 20160007350
NTRS Full-Text: Click to View  [PDF Size: 1.7 MB]
Author: Appleby, Matthew P.; Morscher, Gregory N.; Zhu, Dongming
Abstract: Recent studies have successfully shown the use of electrical resistance (ER)measurements to monitor hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219095, E-19224, GRC-E-DAA-TN30642
Date Acquired: Jun 09, 2016
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
Development of Detonation Modeling Capabilities for Rocket Test Facilities: Hydrogen-Oxygen-Nitrogen Mixtures
Document ID: 20160006890
NTRS Full-Text: Click to View  [PDF Size: 5.4 MB]
Author: Allgood, Daniel C.
Abstract: The objective of the presented work was to develop validated computational fluid dynamics (CFD) hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TP-2016-219220, SSTI-8076-0003
Date Acquired: Jun 01, 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
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: June 25, 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