Proof game - PDFSEARCH.IO - Document Search Engine

Proof game
Results: 48

#	Item
1	Semantic Security Invariance under Variant Computational Assumptions Eftychios Theodorakis? and John C. Mitchell?? Abstract. A game-based cryptographic proof is a relation that establishes equivalence between probabilist Add to Reading List Source URL: eftychis.org Language: English - Date: 2018-02-16 15:03:09 Cryptography Computational hardness assumptions Decisional DiffieHellman assumption Computational DiffieHellman assumption Decision Linear assumption DiffieHellman problem Learning with errors Weight Provable security IP XDH assumption Ideal lattice cryptography
2	If Mathematical Proof is a Game, What are the States and Moves? David McAllester 1 Add to Reading List Source URL: cl-informatik.uibk.ac.at - Date: 2018-03-31 16:27:01
3	Microsoft Word - Genesereth-Proof.docx Add to Reading List Source URL: ggp.stanford.edu Language: English - Date: 2013-09-12 02:44:30 Game theory Game artificial intelligence Gaming Decision theory Combinatorial game theory General game playing Mathematics Artificial intelligence Game Description Language GGP Reykjavk University Game tree
4	The Garden-Hose Game and Application to Position-Based Quantum Cryptography Harry Buhrman, Serge Fehr, Christian Schaffner, Florian Speelman 12 September 2011 Add to Reading List Source URL: www.qcrypt2011.ethz.ch Language: English - Date: 2011-09-18 10:01:18 Cryptography Quantum cryptography Quantum information science IP QIP Zero-knowledge proof
5	The purpose of this note is to further generalize the smoothness framework by Roughgarden [7], in order to provide a unified proof for many existing price-of-anarchy results. 1 Bounds on the Price of Anarchy A strategic Add to Reading List Source URL: florian-schoppmann.net Language: English - Date: 2016-03-04 03:20:15 Game theory Congestion game Mathematics Nash equilibrium Price of anarchy Mathematical analysis
6	Characterizing False-name-proof Allocation Rules in Combinatorial Auctions Taiki Todo, Atsushi Iwasaki, Makoto Yokoo, and Yuko Sakurai ∗ Add to Reading List Source URL: agent.inf.kyushu-u.ac.jp Language: English - Date: 2016-07-21 01:26:20 Game theory Mechanism design Auctions Auction theory Social choice theory VickreyClarkeGroves auction Combinatory logic Auction Strategyproofness Monotonicity Mode Norm
7	Take One or Two December 2, 2015 Consider the following game. The board consists of n tokens. At each turn, a player must take either 1 or 2 tokens off the board (which are discarded). The player who takes the last token Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:56 Combinatorial game theory Mathematical induction Token coin Mathematical proof Mathematical games Hot game SpragueGrundy theorem
8	Strategy-proof assignment of multiple resources Add to Reading List Source URL: erlanson.weebly.com Language: English - Date: 2016-05-25 05:22:11 Game theory Mechanism design Fair division Social choice theory Pareto efficiency Monotonicity Resource allocation
9	SPECIAL ISSUE IN HONOR OF DAVID GALE Add to Reading List Source URL: gametheorysociety.org Language: English - Date: 2011-10-28 08:32:02 Fellows of the Econometric Society Game theory Guggenheim Fellows Mathematical economics Mathematical economists David Gale Lloyd Shapley Stable marriage problem Matching theory Nash equilibrium Mathematical proof Alvin E. Roth
10	PROOFS OF APPENDIX A Proof of PROPOSITION A1 (pure strategy Bayesian-Nash equilibria in the PUparticipation game without allied voters): The proof is a straightforward probabilistic extension of Palfrey and Rosenthal (19 Add to Reading List Source URL: www1.feb.uva.nl Language: English - Date: 2007-10-30 09:26:57