Cormac - PDFSEARCH.IO - Document Search Engine

Cormac
Results: 158

#	Item
71	Space-Efficient Gradual Typing David Herman Northeastern University Aaron Tomb, Cormac Flanagan University of California, Santa Cruz Add to Reading List Source URL: www.ccs.neu.edu - Date: 2007-10-16 08:19:04
72	Living Standards and Plague in London, 1560–1665. Neil Cummins, Morgan Kelly, and Cormac Ó Gráda∗ Abstract We use records of 870,000 burials and 610,000 baptisms to reconstruct the spatial and temporal patterns of Add to Reading List Source URL: neilcummins.com Language: English - Date: 2013-08-13 10:40:02 Bills of Mortality Biostatistics Health in the United Kingdom Local government in the United Kingdom Parish register Plague Whitechapel District Shoreditch Bermondsey Local government in England Pandemics Health
73	Detecting Inconsistencies via Universal Reachability Analysis Aaron Tomb Cormac Flanagan Galois, Inc., USA Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Quantification Program logic Formal methods Predicate transformer semantics Entailment Assertion C Existential quantification FO Logic Software engineering Theoretical computer science
74	Who’s who in biotech K S Jayaraman, Sabine Louët, Kendall Powell, John Ransom, Cormac Sheridan, Brian Vastag & Emily Waltz Nature Biotechnology’s readers select some of biotech’s most remarkable and influential pe Add to Reading List Source URL: www.systemsbiology.org Language: English - Date: 2006-11-07 18:11:15 Arthur D. Levinson Pharmaceutical industry in India Ingo Potrykus Evotec Genentech Invitrogen Kiran Mazumdar-Shaw Genmab EuropaBio Pharmaceutical industry Technology Biology
75	PART ONE: THE IDIOT SUN If you died I would want to die too. – Cormac McCarthy SUMMER Add to Reading List Source URL: www.spdbooks.org Language: English - Date: 2014-10-20 17:42:47 The Hague Geography of the Netherlands Geography of Europe
76	PDF Document Add to Reading List Source URL: www.fire.uni-freiburg.de Language: English - Date: 2005-03-01 08:04:38 Fire Wildland fire suppression Forestry Ecological succession Occupational safety and health Fire ecology Earth jurisprudence Wild Law Cormac Cullinan Wildfires Systems ecology Firefighting
77	Faceted Execution of Policy-Agnostic Programs Thomas H. Austin Jean Yang Cormac Flanagan Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-05-21 08:08:48 Structure Universal algebra String Linguistics Mathematics Formal languages Model theory
78	So Long, And No Thanks for the Externalities: The Rational Rejection of Security Advice by Users Cormac Herley Microsoft Research One Microsoft Way Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-12-18 17:40:50 Spamming Phishing Social engineering Cryptography Password PayPal Internet privacy Malware SiteKey Security Espionage Computing
79	Wild Law: Is there any evidence of earth jurisprudence in existing law and practice? an international research project Add to Reading List Source URL: earthlawyers.org Language: English - Date: 2014-02-26 17:41:14 Law Earth jurisprudence Wild law Jurisprudence Cormac Cullinan Environmental governance Gaia philosophy Environmentalism Thomas Berry Philosophy of law Environment Environmental law
80	Telepathwords: Preventing Weak Passwords by Reading Users’ Minds Saranga Komanduri, Richard Shay, and Lorrie Faith Cranor, Carnegie Mellon University; Cormac Herley and Stuart Schechter, Microsoft Research https://www. Add to Reading List Source URL: www.usenix.org Language: English - Date: 2015-05-09 05:51:53 Cyberwarfare Crypt Cryptography OTPW Password strength Security Computer security Password

UPDATE