First Page | Document Content | |
---|---|---|
Date: 2014-10-22 16:12:25E1 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, USAAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 364,68 KBShare 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 unceDocID: 1xV1s - View Document | |
CA P I TOL E X T ENSION - E 2 ( U N D ERGRO U N D) STAIRS TO LEVEL E1DocID: 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 1DocID: 1xUq5 - View Document | |
PDF DocumentDocID: 1wN6E - View Document | |
PDF DocumentDocID: 1wjbL - View Document |