Decision - PDFSEARCH.IO - Document Search Engine

Decision
Results: 65562

#	Item
41	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 Add to Reading List Source URL: www.weko.admin.ch Language: English Economy Money Finance Credit cards Anti-competitive behaviour Interchange fee Visa Inc. Mastercard Delivery Multimedia Integration Framework Price fixing Cartel
42	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´ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:33:37 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Symbol Differential topology Lifting theory Jet bundle
43	Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 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
44	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 Add to Reading List Source URL: mason.gmu.edu Language: English - Date: 2014-01-16 15:23:17 Economy Capitalism Market Financial markets Economic liberalism Prediction market Social information processing Speculation Election stock market Stock market Futures contract Price discovery
45	Dissertation Abstract: Exploiting Symmetries in Sequential Decision Making under Uncertainty Ankit Anand Indian Institute of Technology, Delhi New Delhi,India Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:17 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
46	Beschluss des Aufsichtsrats Decision of the Supervisory Board Décision du conseil de surveillance Add to Reading List Source URL: documents.epo.org Language: French - Date: 2017-02-15 04:04:41
47	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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:40:50 Mathematics Formal languages Finite automata Model checking Mathematical logic Omega language Theory of computation Muller automaton Sigma-algebra Tree Structure Measure
48	Beschluss des Aufsichtsrats Decision of the Supervisory Board Décision du conseil de surveillance Add to Reading List Source URL: documents.epo.org Language: French - Date: 2016-11-17 09:22:02
49	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 Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2018-05-11 13:28:17 Prevention Crime prevention Cryptography Information governance National security Security engineering Security Computer security Black Hat Briefings Information security
50	Decision Procedures for Flat Array Properties F. Alberti1,3 , S. Ghilardi2 , N. Sharygina1 1 University 2 3 Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-17 11:28:50 Array programming Array data type Array Computing Computer programming Software engineering