Proof

Results: 11440



#Item
21Mathematics / Computational complexity theory / Algebra / IP / Polynomials / Interactive proof system / NP / Cryptography / Splitting circle method

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
22Algebra / Mathematics / Abstract algebra / Homotopy theory / Category theory / Algebraic structures / Differential geometry / Algebraic topology / Groupoid / Lie algebroid / Group action / Equivalence relation

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
23Cryptocurrencies / Blockchains / Concurrent computing / Alternative currencies / Economy / Distributed computing / Cross-platform software / Ethereum / Smart contract / Counterparty / Lisk / Heuristic

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
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
    25Druid Hills /  Georgia / Health / V-12 Navy College Training Program / Emory Healthcare / Emory University / Emory / Wesley Woods / Winship Cancer Institute / Patient advocacy

    1Acgi proof #)

    Add to Reading List

    Source URL: www.dekalbmedical.org

    Language: English - Date: 2018-09-19 10:35:11
    26Cryptocurrencies / Cryptography / Bitcoin / Computing / Alternative currencies / Economy / Blockchains / Transport Layer Security / Mining pool / Proof-of-stake / Cryptographic nonce / Peercoin

    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
    27Economy / Business / Business incubators / Entrepreneurship / Private equity / Startup company / Waterloo /  Ontario / University of Waterloo

    Brand Brochure (5-panel)PROOF

    Add to Reading List

    Source URL: acceleratorcentre.com

    Language: English - Date: 2017-12-01 16:15:38
    28Mathematics / Algebra / Exponentials / Matrix theory / IP / Summation / Exponentiation

    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
    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
      30Mathematics / Combinatorial optimization / Graph theory / Applied mathematics / Routing algorithms / Heuristic / Mathematical optimization / Matching / Network theory / Game artificial intelligence / Pathfinding

      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
      UPDATE