Nathan - PDFSEARCH.IO - Document Search Engine

Nathan
Results: 4147

#	Item
151	Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of Add to Reading List Source URL: web.cecs.pdx.edu - Date: 2014-01-24 04:02:53
152	Engineering a Static Verification Tool for GPU Kernels Ethel Bardsley1 , Adam Betts1 , Nathan Chong1 , Peter Collingbourne2 , Pantazis Deligiannis1 , Alastair F. Donaldson1 , Jeroen Ketema1 , Daniel Liew1 , Shaz Qadeer3 Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2015-07-01 17:41:47
153	Going Dark: Social Factors in Collective Action Against Platform Operators in the Reddit Blackout J. Nathan Matias Microsoft Research 1 Memorial Drive #1 Cambridge, MA 02142 Add to Reading List Source URL: natematias.com - Date: 2016-03-19 12:18:35
154	Rose Curriculum Vitae - 1 NATHAN S. ROSE Department of Psychology University of Notre Dame 118 Haggar Hall Add to Reading List Source URL: media.wix.com - Date: 2016-10-26 10:15:38
155	Foster, Nathan Lanesford, Papers, Add to Reading List Source URL: www.americanantiquarian.org - Date: 2015-07-22 10:25:46
156	Control-Flow Integrity: Precision, Security, and Performance Nathan Burow∗ , Scott Carr∗ , Stefan Brunthaler† , Mathias Payer∗ , Joseph Nash† , Per Larsen† , Michael Franz† arXiv:1602.04056v1 [cs.CR] 12 Feb Add to Reading List Source URL: arxiv.org - Date: 2016-02-14 20:56:28
157	Workers of the Less Developed World Unite? A Multilevel Analysis of Unionization in Less Developed Countries Nathan D. Martin David Brady Add to Reading List Source URL: www.wzb.eu - Date: 2012-09-20 08:24:23
158	“Beards, Sandals, and Other Signs of Rugged Individualism”: Masculine Culture within the Computing Professions Author(s): Nathan Ensmenger Source: Osiris, Vol. 30, No. 1, Scientific Masculinities (2015), ppPu Add to Reading List Source URL: homes.soic.indiana.edu - Date: 2015-11-10 19:55:36
159	Iterating and Indexing Design Space Permutations  Nathan Sturtevant  University of Denver Add to Reading List Source URL: www.mathforgameprogrammers.com - Date: 2016-04-13 12:32:05
160	Candidate for RENT STABILIZATION BOARD COMMISSIONER I, NATHAN R. WOLLMAN, hereby declare that I am a candidate for an elective office in the City of Berkeley, and make the following statement: 1. That my name is Nathan Add to Reading List Source URL: www.cityofberkeley.info - Date: 2016-09-20 12:04:51

UPDATE