Search Results

Matching Records: 7,957
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
NASA Systems Engineering Handbook
Document ID: 20170001761
NTRS Full-Text: Click to View  [PDF Size: 3.9 MB]
Author: Hirshorn, Steven R.; Voss, Linda D.; Bromley, Linda K.
Abstract: The update of this handbook continues the methodology of the previous revision: a top-down hide
Publication Year: 2017
Document Type: Technical Report
Report/Patent Number: NASA/SP-2016-6105 Rev 2, HQ-E-DAA-TN38707
Date Acquired: Feb 23, 2017
Application of Machine Learning to Rotorcraft Health Monitoring
Document ID: 20170001402
NTRS Full-Text: Click to View  [PDF Size: 723 KB]
Author: Cody, Tyler; Dempsey, Paula J.
Abstract: Machine learning is a powerful tool for data exploration and model building with large data sets. hide
Publication Year: 2017
Document Type: Technical Report
Report/Patent Number: NASA/TM-2017-219408, E-19307, GRC-E-DAA-TN35995
Date Acquired: Feb 09, 2017
SBIR Advanced Technologies in Aviation and Air Transportation System 2016
Document ID: 20170000398
NTRS Full-Text: Click to View  [PDF Size: 3.1 MB]
Author: Nguyen, Hung D.; Steele, Gynelle C.; Kaszeta, Richard W.; Gold, Calman; Corke, Thomas C.; McGowan, Ryan; Matlis, Eric; Eichenlaub, Jesse; Davis, Joshua T.; Shah, Parthiv N.
Abstract: This report is intended to provide a broad knowledge of various topics associated with NASA's hide
Publication Year: 2017
Document Type: Technical Report
Report/Patent Number: NASA/TP-2017-219413, E-19278, GRC-E-DAA-TN35149
Date Acquired: Jan 17, 2017
Rationales for the Lightning Launch Commit Criteria
Document ID: 20170001583
NTRS Full-Text: Click to View  [PDF Size: 6.6 MB]
Author: Willett, John C. (Editor); Merceret, Francis J. (Editor); Krider, E. Philip; O'Brien, T. Paul; Dye, James E.; Walterscheid, Richard L.; Stolzenburg, Maribeth; Cummins, Kenneth; Christian, Hugh J.; Madura, John T.
Abstract: Since natural and triggered lightning are demonstrated hazards to launch vehicles, payloads, and hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TP-2016-219439, KSC-E-DAA-TN38051
Date Acquired: Feb 16, 2017
Modeling Relationships Between Flight Crew Demographics and Perceptions of Interval Management
Document ID: 20170000680
NTRS Full-Text: Click to View  [PDF Size: 935 KB]
Author: Remy, Benjamin; Wilson, Sara R.
Abstract: The Interval Management Alternative Clearances (IMAC) human-in-the-loop simulation experiment was hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219357, NF1676L-25796, L-20764
Date Acquired: Jan 25, 2017
UAS Integration in the NAS Project: Flight Test 3 Data Analysis of JADEM-Autoresolver Detect and Avoid System
Document ID: 20170000656
NTRS Full-Text: Click to View  [PDF Size: 9.0 MB]
Author: Gong, Chester; Wu, Minghong G.; Santiago, Confesor
Abstract: The Unmanned Aircraft Systems Integration in the National Airspace System project, or UAS hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219441, ARC-E-DAA-TN37767
Date Acquired: Jan 25, 2017
Big Data Analytics and Machine Intelligence Capability Development at NASA Langley Research Center: Strategy, Roadmap, and Progress
Document ID: 20170000676
NTRS Full-Text: Click to View  [PDF Size: 9.4 MB]
Author: Ambur, Manjula Y.; Yagle, Jeremy J.; Reith, William; McLarney, Edward
Abstract: In 2014, a team of researchers, engineers and information technology specialists at NASA Langley hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219361, L-20775, NF1676L-26218
Date Acquired: Jan 25, 2017
A Benefit Analysis of Infusing Wireless into Aircraft and Fleet Operations - Report to Seedling Project Efficient Reconfigurable Cockpit Design and Fleet Operations Using Software Intensive, Network Enabled, Wireless Architecture (ECON)
Document ID: 20170000683
NTRS Full-Text: Click to View  [PDF Size: 355 KB]
Author: Alexandrov, Natalia; Holmes, Bruce J.; Hahn, Andrew S.
Abstract: We report on an examination of potential benefits of infusing wireless technologies into various hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219360, NF1676L-25540, L-20758
Date Acquired: Jan 25, 2017
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: February 25, 2017

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