SLS Highlights September October 2013

First Page		Document Content
Date: 2014-04-08 14:19:08 Human spaceflight Apollo program Huntsville–Decatur Combined Statistical Area Lockheed Martin Marshall Space Flight Center Michoud Assembly Facility DIRECT M-1 Space exploration Spaceflight Space technology NASA facilities		SLS Highlights September October 2013 Add to Reading List Source URL: www.nasa.gov Download Document from Source Website File Size: 2,63 MB Share Document on Facebook

	1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A. DocID: 1xW0d - View Document
	2017 Annual Report The Annual Report must be filed with the Secretary of State’s Office no later than 5:00 p.m. on Wednesday, January 31, 2018, for the period beginning January 1, 2017 and ending December 31, 2017 by t DocID: 1xVOD - View Document
	66 IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOL. 46, NO. 1, FEBRUARY 2016 The GRASP Taxonomy of Human Grasp Types Thomas Feix, Javier Romero, Heinz-Bodo Schmiedmayer, Aaron M. Dollar, and Danica Kragic DocID: 1xVH5 - View Document
	SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le DocID: 1xVu7 - View Document
	From Lone Dwarfs to Giant Superclusters: Rethinking Operating System Abstractions for the Cloud Nikos Vasilakis, Ben Karel, Jonathan M. Smith The University of Pennsylvania 1 DocID: 1xVrO - View Document