Proof - PDFSEARCH.IO - Document Search Engine

Proof
Results: 11440

#	Item
771	LNCSA Universally Composable Mix-Net Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:39:36 Cryptography Public-key cryptography Computational complexity theory Proof of knowledge Zero-knowledge proof IP Raspberry Pi
772	Pre-‐Proof Version, please cite the publication in Cartographica 2014. GOING VIRAL: THE LOOK OF ONLINE PERSUASIVE MAPS (PRE-PROOF) Forthcoming in Cartographica 2014. Add to Reading List Source URL: ian.muehlenhaus.com Language: English Academia Cartography Computing Infographics Cartographic propaganda Visualization Map Mashup Rhetoric CartoDB
773	An Eﬃcient Parallel Repetition Theorem Johan H˚ astad1 , Rafael Pass2, Douglas Wikstr¨ om3 , and Krzysztof Pietrzak4 1 KTH, Stockholm, supported by ERC grant Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:53:38 Computational complexity theory Cryptography Theory of computation Probabilistic complexity theory IP Zero-knowledge proof Soundness PP Entropy NP Randomized algorithm Interactive proof system
774	Designing the Future-Proof Library: Here’s How We Do It Iowa Library Association/Association of College & Research Libraries April 17, 2009 Presented by Steven J. Bell Contact Information Add to Reading List Source URL: stevenbell.info Language: English - Date: 2009-04-10 10:24:10 Design Humancomputer interaction User interfaces Creativity Design thinking Industrial design IPod User experience Academia Structure
775	Microsoft Word - Scheme Guidance - Assistance for Proof of Concept and Scoping Studies – Scheme Guidance.docx Add to Reading List Source URL: www.scottishforestrytrust.org.uk Language: English - Date: 2014-05-16 08:19:25
776	OTHER W HISKEY A MER IC A N W HISK EY KEY: LABEL \| TYPE \| PROOF \| AGE 1.5OZ Elijah Craig Small Batch \| Bourbon \| 94° \| 12 yo Add to Reading List Source URL: www.highwest.com Language: English - Date: 2016-06-15 17:29:59 Bourbon whiskey Food and drink Drinking culture Distillation Bulleit Bourbon Whisky Boulevardier Whiskey sour Elijah Craig Manhattan
777	SelectNet_Manual_v2_April_2012.pdf Add to Reading List Source URL: www.pinnacol.com Language: English - Date: 2012-11-30 16:14:36 Neurochemistry Nervous system Probabilistic complexity theory General anesthetics Piperidines Biochemistry Probabilistically checkable proof Phencyclidine
778	3 Characteristics of Tornadoes and Hurricanes This chapter provides basic information about tornadoes and hurricanes and how they affect the built environment. This information will help the reader better understand how Add to Reading List Source URL: www.rhinovault.com Language: English - Date: 2008-03-19 21:00:26 Meteorology Wind Tornado Tropical cyclone SaffirSimpson scale Fujita scale Hurricane-proof building Hurricane preparedness
779	Rabbit-Proof Fence Group A Rabbit Proof Fence (original film title) Your task: Use your phrase to guess what kind of story will be told in the film. Add to Reading List Source URL: meta.narr.de Language: English - Date: 2016-07-07 03:16:20 Fences States and territories of Australia Cinema of Australia Australia Mid West Pilbara Rabbit-proof fence Stolen Generations Rabbit
780	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor

UPDATE