University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
1	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
2	ICN and IoT Andrés Arcia-Moret N4D Lab, Computer Laboratory University of Cambridge Agenda Add to Reading List Source URL: wireless.ictp.it Language: English - Date: 2016-03-15 12:21:51
3	On the role of contextual information for privacy attacks and classification Daniel Cvrˇcek University of Cambridge Computer Laboratory William Gates Building 15 JJ Thomson Avenue Add to Reading List Source URL: www.war-room.co.uk Language: English - Date: 2016-10-22 14:12:30
4	Reducing Dimensions of Tensors in Type-Driven Distributional Semantics Tamara Polajnar Luana Fˇagˇarˇas¸an Stephen Clark Computer Laboratory University of Cambridge Cambridge, UK Add to Reading List Source URL: emnlp2014.org Language: English - Date: 2014-10-16 05:20:56
5	A 2-Round Anonymous Veto Protocol Feng Hao and Piotr Zieli´ nski Computer Laboratory, University of Cambridge, UK {feng.hao,piotr.zielinski}@cl.cam.ac.uk Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2010-04-10 14:54:54
6	Melange: Creating a “Functional” Internet Anil Madhavapeddy†‡ , Alex Ho†♥ , Tim Deegan†‡ , David Scott‡ and Ripduman Sohan† † Computer Laboratory, University of Cambridge Add to Reading List Source URL: dave.recoil.org Language: English - Date: 2017-11-27 06:42:22
7	The Gamma: Programing tools for transparent data journalism Tomas Petricek Computer Laboratory, University of Cambridge Cambridge, United Kingdom Add to Reading List Source URL: thegamma.net Language: English - Date: 2017-12-14 08:00:18
8	How Much is Location Privacy Worth? George Danezis, Stephen Lewis and Ross Anderson University of Cambridge, Computer Laboratory, 15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom {George Danezis,Stephen.Lewis,Ross Add to Reading List Source URL: infosecon.net Language: English - Date: 2006-03-16 20:15:32
9	Introduction to Multithreading and Multiprocessing in the FreeBSD SMPng Network Stack Robert N. M. Watson Computer Laboratory University of Cambridge Add to Reading List Source URL: www.watson.org Language: English - Date: 2006-05-30 07:16:37
10	The tech-legal aspects of machine learning: Considerations for moving forward Jatinder Singh Computer Laboratory University of Cambridge, UK Add to Reading List Source URL: www.mlandthelaw.org Language: English - Date: 2017-01-31 08:44:49