Wettbewerbskommission WEKO Commission de la concurrence COMCO Commissione della concorrenza COMCO Competition Commission COMCO Translation of the Decision of the Competition Commission from 25. January 2010

Source URL: www.weko.admin.ch

• Economy
• Money
• Finance
• Credit cards
• Anti-competitive behaviour
• Interchange fee
• Visa Inc.
• Mastercard
• Delivery Multimedia Integration Framework
• Price fixing
• Cartel

Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´

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

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Symbol
• Differential topology
• Lifting theory
• Jet bundle

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Source URL: scungao.github.io

• Computational complexity theory
• Theoretical computer science
• Mathematical logic
• NP-complete problems
• Electronic design automation
• Formal methods
• Logic in computer science
• Predicate logic
• Boolean satisfiability problem
• Quantifier
• Limit of a function
• Exponential time hypothesis

To appear in Alan S. Gerber and Eric M. Patashnik, eds., Promoting the General Welfare: New Perspectives on Government Performance, , Brookings Institution Press, NovChapter 7 Decision Markets for Policy A

Source URL: mason.gmu.edu

• Economy
• Capitalism
• Market
• Financial markets
• Economic liberalism
• Prediction market
• Social information processing
• Speculation
• Election stock market
• Stock market
• Futures contract
• Price discovery

Dissertation Abstract: Exploiting Symmetries in Sequential Decision Making under Uncertainty Ankit Anand Indian Institute of Technology, Delhi New Delhi,India

Source URL: icaps16.icaps-conference.org

• Statistical randomness
• Metaphysics
• Free software
• Game artificial intelligence
• Dynamic programming
• Markov processes
• Stochastic control
• Rondebosch
• University of Cape Town
• Monte Carlo tree search
• Abstraction
• Markov decision process

Beschluss des Aufsichtsrats Decision of the Supervisory Board Décision du conseil de surveillance

Source URL: documents.epo.org

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B

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

• Mathematics
• Formal languages
• Finite automata
• Model checking
• Mathematical logic
• Omega language
• Theory of computation
• Muller automaton
• Sigma-algebra
• Tree
• Structure
• Measure

Beschluss des Aufsichtsrats Decision of the Supervisory Board Décision du conseil de surveillance

Source URL: documents.epo.org

Subject: Request to Attend Black Hat USA Conference 2017 Dear [decision maker name], I’m writing to request your approval for me to attend the Black Hat USA Information Security Conference to be held July 22-27, 2017 i

Source URL: www.blackhat.com

• Prevention
• Crime prevention
• Cryptography
• Information governance
• National security
• Security engineering
• Security
• Computer security
• Black Hat Briefings
• Information security

Decision Procedures for Flat Array Properties F. Alberti1,3 , S. Ghilardi2 , N. Sharygina1 1 University 2 3

Source URL: smt2014.it.uu.se

• Array programming
• Array data type
• Array
• Computing
• Computer programming
• Software engineering