Lecturer - PDFSEARCH.IO - Document Search Engine

Lecturer
Results: 3679

#	Item
11	TESTIMONY OF Kathryn Haun Rodriguez Former Assistant U.S. Attorney, U.S. Department of Justice, Lecturer in Law on Cybercrime and Digital Currency, Stanford University Current Member of the Board of Directors, Coinbase Add to Reading List Source URL: financialservices.house.gov Language: English - Date: 2017-06-08 09:25:33 Cryptocurrencies Economy Alternative currencies Money Finance Bitcoin Decentralization Digital currencies Virtual currency Mt. Gox Money laundering Blockchain
12	COSC 544 Probabilistic Proof SystemsLFKN’s Interactive Proof for #SAT Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-18 12:17:56 Computational complexity theory Complexity classes Boolean algebra IP True quantified Boolean formula Interactive proof system PSPACE NP Boolean satisfiability problem FO Linear temporal logic ArthurMerlin protocol
13	COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 1) Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-10 11:45:28 Circuit complexity Complexity classes Theory of computation Theoretical computer science Computer science NC Circuit Computer IP NP Multiplication algorithm Matrix multiplication algorithm
14	COSC 544 Probabilistic Proof SystemsThe GKR Protocol and Its Efficient Implementation Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-06 11:09:52 Computational complexity theory Mathematics Complexity classes IP Circuit complexity True quantified Boolean formula NP SchwartzZippel lemma NC
15	COSC 544 Probabilistic Proof SystemsA State of the Art MIP For Circuit Satisfiability Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-16 18:20:55 Mathematics Complexity classes Randomized algorithms IP Probabilistically checkable proof NP NEXPTIME Soundness Variable Interactive proof system Proof of knowledge
16	COSC 544 Probabilistic Proof SystemsA PCP of Quasilinear Size for Arithmetic Circuit-SAT Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-11-22 13:48:36 Mathematics Algebra Polynomials Probabilistically checkable proof Computer algebra IP Complex number MAX-3SAT
17	COSC 544 Probabilistic Proof SystemsThe Power of Randomness: Fingerprinting and Freivalds’ Algorithm Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-14 15:31:47 Computational complexity theory Randomized algorithms Analysis of algorithms With high probability PP IP RP P Freivalds' algorithm
18	Probability Theory II Summer term 2018 Lecturer: Prof. Dr. Enno Mammen Assistant: Marilena M¨ uller Add to Reading List Source URL: nps.math.uni-heidelberg.de Language: English - Date: 2018-06-04 06:34:29
19	Subject name Subject code Department Faculty Subject supervisor/Lecturer Add to Reading List Source URL: studyinenglish.urk.edu.pl Language: English - Date: 2016-06-09 05:27:26
20	LECTURER: (here the name of the professor who gives the lecture) Title of the lecture Scientific Secretaries: (here the 2 names of the secretaries) Add to Reading List Source URL: www.ccsem.infn.it - Date: 2017-06-16 04:01:56