Comprehension of spacecraft telemetry using hierarchical specifications of behavior? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA

First Page		Document Content
Date: 2014-10-22 16:12:25 E1 Hepatitis C virus		Comprehension of spacecraft telemetry using hierarchical specifications of behavior? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 364,68 KB Share Document on Facebook

	Hypothetical Outcome Plots Help Untrained Observers Judge Trends in Ambiguous Data Alex Kale, Francis Nguyen, Matthew Kay, and Jessica Hullman Fig. 1. We present two experiments (E1 and E2) evaluating four different unce DocID: 1xV1s - View Document
	CA P I TOL E X T ENSION - E 2 ( U N D ERGRO U N D) STAIRS TO LEVEL E1 DocID: 1xUVI - View Document
	Improved Reduction from the Bounded Distance Decoding Problem to the Unique Shortest Vector Problem in Lattices Shi Bai1 , Damien Stehl´e1 and Weiqiang Wen1 1 DocID: 1xUq5 - View Document
	PDF Document DocID: 1wN6E - View Document
	PDF Document DocID: 1wjbL - View Document