Proof - PDFSEARCH.IO - Document Search Engine

Proof
Results: 11440

#	Item
21	COSC 544 Probabilistic Proof SystemsThe Sum-Check Protocol Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-18 12:17:52 Mathematics Computational complexity theory Algebra IP Polynomials Interactive proof system NP Cryptography Splitting circle method
22	INDEX THEORY AND GROUPOIDS CLAIRE DEBORD AND JEAN-MARIE LESCURE Abstract. These lecture notes are mainly devoted to a proof using groupoids and KK-theory of Atiyah and Singer’s index theorem on compact smooth manifolds Add to Reading List Source URL: math.univ-bpclermont.fr Language: English - Date: 2018-03-05 11:11:23 Algebra Mathematics Abstract algebra Homotopy theory Category theory Algebraic structures Differential geometry Algebraic topology Groupoid Lie algebroid Group action Equivalence relation
23	The XY Oracle Network: The Proof-of-Origin Based Cryptographic Location Network Arie Trouw ∗, Markus Levin †, Scott Scheper ‡ Add to Reading List Source URL: icorating.com Language: English - Date: 2018-03-19 09:28:54 Cryptocurrencies Blockchains Concurrent computing Alternative currencies Economy Distributed computing Cross-platform software Ethereum Smart contract Counterparty Lisk Heuristic
24	Ethereum Proof of Stake: Casper FFG 2017 Chronicles 1. Casper Overview Add to Reading List Source URL: edcon.io - Date: 2018-10-16 07:02:08
25	1Acgi proof #) Add to Reading List Source URL: www.dekalbmedical.org Language: English - Date: 2018-09-19 10:35:11 Druid Hills Georgia Health V-12 Navy College Training Program Emory Healthcare Emory University Emory Wesley Woods Winship Cancer Institute Patient advocacy
26	DDoSCoin: Cryptocurrency with a Malicious Proof-of-Work Eric Wustrow University of Colorado Boulder Benjamin VanderSloot University of Michigan Add to Reading List Source URL: benvds.com Language: English - Date: 2018-09-18 11:06:16 Cryptocurrencies Cryptography Bitcoin Computing Alternative currencies Economy Blockchains Transport Layer Security Mining pool Proof-of-stake Cryptographic nonce Peercoin
27	Brand Brochure (5-panel)PROOF Add to Reading List Source URL: acceleratorcentre.com Language: English - Date: 2017-12-01 16:15:38 Economy Business Business incubators Entrepreneurship Private equity Startup company Waterloo Ontario University of Waterloo
28	COSC 544 Probabilistic Proof SystemsAn Optimal Interactive Proof for Matrix Multiplication Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-18 12:17:46 Mathematics Algebra Exponentials Matrix theory IP Summation Exponentiation
29	RJ 09:0 Counterpoint A UNITY proof with pure nondeterminism Rajeev Joshi Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03
30	A Proofs Proof 1 (of Theorem 1) By writing the definition of the entropy, we have: " Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2015-11-01 13:02:41 Mathematics Combinatorial optimization Graph theory Applied mathematics Routing algorithms Heuristic Mathematical optimization Matching Network theory Game artificial intelligence Pathfinding