Cambridge - PDFSEARCH.IO - Document Search Engine

Cambridge
Results: 17105

#	Item
21	c Cambridge University Press 2011 JFP 21 (4 & 5): 467–496, 2011. 467 doi:S0956796811000153 First published online 29 June 2011 Add to Reading List Source URL: thev.net Language: English - Date: 2012-04-02 13:21:01 Mathematics Algebra Lambda calculus Category Function Monad Arrow Morphism Sheaf Combinatory logic Functor Commutative property
22	Cambridge University Press2 - The Decline of the Death Penalty and the Discovery of Innocence Frank R. Baumgartner, Suzanna L. De Boef and Amber E. Boydstun Frontmatter More information Add to Reading List Source URL: assets.cambridge.org Language: English - Date: 2007-12-07 05:06:07 Crime Capital punishment in the United States Crime in the United States United States law Law Capital punishment Criminal law Innocence Project National Coalition to Abolish the Death Penalty Baumgartner
23	Stweeler: A Framework for Twitter Bot Analysis Zafar Gilani, Liang Wang, Jon Crowcroft University of Cambridge {szuhg2, lw525, jac22} Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:38:21 Bots Software Computing Digital media Twitter bot Twitter Internet bot Social media Video game bot Spambot Botnet CongressEdits
24	Cambridge University PressThe Evolution and Extinction of the Dinosaurs, Second Edition David E. Fastovsky and David B. Weishampel Excerpt More information Add to Reading List Source URL: assets.cambridge.org Language: English - Date: 2006-11-25 11:38:07 Tyrannosaurus Late Cretaceous Environment of the United States Dinosaur Fossil Specimens of Tyrannosaurus Origin of birds Mesozoic David B. Weishampel Taphonomy Outline of dinosaurs
25	Succinct Malleable NIZKs and an Application to Compact Shuffles Melissa Chase (MSR Redmond) Markulf Kohlweiss (MSR Cambridge) Anna Lysyanskaya (Brown University) Sarah Meiklejohn (UC San Diego) Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptography Mathematical proofs Cryptographic protocols
26	AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA About me Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Mathematics Theoretical computer science Formal methods Model theory Conflict-driven clause learning Solver Alloy Metamodeling Meta-Object Facility Embedding First-order logic Mathematical logic
27	IEEE Cybersecurity Development C onference Cambridge MA, September 30 - October 2, 2018 IEEE Cybersecurity Development (SecDev) is a venue for presenting ideas, research, and Add to Reading List Source URL: secdev.ieee.org Language: English - Date: 2018-07-23 16:50:39 Piscataway New Jersey Institute of Electrical and Electronics Engineers Programming Language Design and Implementation
28	Collapsing Towers of Interpreters NADA AMIN, University of Cambridge, UK TIARK ROMPF, Purdue University, USA Given a tower of interpreters, i.e., a sequence of multiple interpreters interpreting one another as input prog Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2017-11-23 15:55:32 Software engineering Computing Declarative programming Functional programming Lambda calculus Data types Models of computation Exponentials Eval Interpreter Scheme Exponential function
29	Steps Towards Verified Implementations of HOL Light Magnus O. Myreen1 , Scott Owens2 , and Ramana Kumar1 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: cakeml.org Language: English - Date: 2013-05-10 10:01:51 Software engineering Computer programming Computing Proof assistants Logic in computer science Functional languages Automated theorem proving Theoretical computer science HOL Logic for Computable Functions Automated reasoning ML
30	Cambridge University Press3 - Secure Multiparty Computation and Secret Sharing Ronald Cramer, Ivan Bjerre Damgård and Jesper Buus Nielsen Table of Contents More information Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2016-04-21 06:42:55 Cryptography Public-key cryptography Secret sharing Secure multi-party computation Cryptographic protocol Ivan Damgrd

UPDATE