John - PDFSEARCH.IO - Document Search Engine

John
Results: 121231

#	Item
51	SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces ´ Erika Abrah´ am1 , John Abbott10 , Bernd Becker2 , Anna M. Bigatti3 , Martin Brain9 , Alessandro Cimatti4 , James H. Davenport5 , Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:11:06 Theoretical computer science Logic in computer science Computational complexity theory Formal methods Mathematics Electronic design automation NP-complete problems Constraint programming Satisfiability modulo theories Boolean satisfiability problem Solver Model checking
52	CHAOS: Composable Highly Accurate OS-‐based Power Models John D. Davis, Suzanne Rivoire, Moises Goldszmidt, Ehsan Ardestani () Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:35 Crowdsourcing Google Search PageRank Reputation management Search engine optimization CHAOS Chaos theory Machine to machine Computer architecture Information science Information retrieval
53	CRYSTALS – Kyber: a CCA-secure module-lattice-based KEM Joppe Bos∗ , Léo Ducas† , Eike Kiltz‡ , Tancrède Lepoint§ , Vadim Lyubashevsky¶ , John M. Schanckk , Peter Schwabe∗∗ , Gregor Seiler†† , Damien Add to Reading List Source URL: cryptojedi.org Language: English - Date: 2018-07-25 08:38:21 Cryptography Post-quantum cryptography Ciphertext indistinguishability Ring learning with errors Chosen-plaintext attack Learning with errors Advantage Lattice-based cryptography Chosen-ciphertext attack Digital signature Ideal lattice cryptography Semantic security
54	CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez April 12, 2017 The Board will h Add to Reading List Source URL: clark.ohioboe.com - Date: 2017-04-21 08:14:02
55	sampledoc Documentation Release 1.0 John Hunter, Fernando Perez, Michael Droettboom Apr 06, 2017 Add to Reading List Source URL: matplotlib.org Language: English - Date: 2018-09-21 16:35:12 Software Computing System software Text editors Sphinx Git Emacs IPython Look and feel Cd Iproute2
56	Arachne Update Core Policies and Memcached Integration Henry Qin, Qian Li, Jacqueline Speiser, Peter Kraft John Ousterhout Introduction Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-06-18 15:29:44 Parallel computing Concurrent computing Thread Computer architecture Computing Computer engineering Digital signal processors Microprocessors
57	Keys Under Doormats: mandating insecurity by requiring government access to all data and communications Harold Abelson, Ross Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Add to Reading List Source URL: www.schneier.com Language: English - Date: 2015-12-10 18:36:20 Cryptography Cyberwarfare Computer security Clipper chip Key escrow Crypto Wars Strong cryptography National Security Agency Escrow Computer network Encryption Secure communication
58	CPSC: Quantum Computation John Watrous, University of Calgary Lecture 1: Overview of quantum information January 10, 2006 Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2017-09-07 13:00:10 Quantum mechanics Physics Theoretical computer science Quantum information science Quantum computing Quantum states Quantum algorithms Qubit Quantum superposition Hadamard transform Quantum entanglement Matrix
59	ADVANCE INFORMATION JADOOWALLAHS, JUGGLERS AND JINNS A Magical History of India John Zubrzycki Add to Reading List Source URL: panmacmillan.co.in Language: English - Date: 2018-06-06 01:31:20 Human behavior Entertainment Magic illusion) Indian magicians Magic in India P. C. Sorcar Juggling Magic
60	October 9, 2018 Senator John Thune, Chairman Senator Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation Russell Senate Office Building, Room 253 Washington, DC 20002 Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-10-09 19:06:46 Law Privacy Data security Terms of service Data protection Digital rights Human rights Internet privacy Electronic Privacy Information Center Information privacy Consumer privacy General Data Protection Regulation

UPDATE