A Practical Implementation of a MultiDevice Split Application for Protecting Online Poker Gabriel Kaptchuk and Aviel Rubin Johns Hopkins University [gkaptchuk, rubin]@cs.jhu.edu

Source URL: www.cs.jhu.edu

• Poker
• Gambling
• Gaming
• Computer poker player
• Game artificial intelligence
• Cereus Poker Network
• Cheating in poker
• Online poker
• World Series of Poker
• PokerStars
• Texas hold 'em
• Pot

System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Mathematics
• Proof theory
• Logic in computer science
• Formal methods
• Automated reasoning
• Proof assistant
• Proof complexity
• Reasoning system
• Isabelle

Giving State to the Stateless: Augmenting Trustworthy Computation with Ledgers Gabriel Kaptchuk Johns Hopkins University

Source URL: eprint.iacr.org

• Cryptocurrencies
• Cryptography
• Computing
• Blockchains
• Economy
• Decentralization
• Alternative currencies
• Cryptographic protocols
• Secure multi-party computation
• Bitcoin
• Digital signature
• Ledger

Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Temporal logic
• Mathematics
• Computation tree logic
• Logic in computer science
• Determinacy
• Distribution
• Linear temporal logic
• Universal representation

PDF Document

Source URL: gabriel-zucman.eu

PDF Document

Source URL: gabriel-zucman.eu

Tschechischer Pavillon • Czech Pavilion • Český pavilon AN DEN GRENZEN VON UNENDLICHKEIT UND ZUKUNFT Entmaterialisierte Statuen und materialisierte Gemälde Lucie Pangrácová & Michal Gabriel Kuratoren

Source URL: www.nordart.de

Vaccination : between public health policy and individual options Gabriel Turinici, in collaboration with Laetitia Laguzet CEREMADE, Universit´ e Paris Dauphine Institut Universitaire de France

Source URL: www.iuf2015.univ-montp2.fr

clpAPI – Quick Start Gabriel Gelius-Dietrich April 18, Introduction The package clpAPI provides a low level interface to the C API of COIN-OR Clp1

Source URL: cran.r-project.org