Kū - PDFSEARCH.IO - Document Search Engine

Kū
Results: 16002

#	Item
1	Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:17:29 Mathematics Mathematical analysis Mathematical logic Boolean algebra Experiment Measure theory Sigma-algebra Symbol Lie algebras Moschovakis coding lemma Generalised Whitehead product
2	Poster: Browser’s ”search form” issues and countermeasures Yuji Suga Internet Initiative Japan Inc., Iidabashi Grand Bloom, Fujimi, Chiyoda-ku, , Japan Abstract—From 2014, we are con Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-15 11:54:40 Cryptography Transport Layer Security Secure communication E-commerce Cryptographic protocols Internet security HTTPS POODLE Cipher suite RC4 Public key certificate Certificate authority
3	SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le Add to Reading List Source URL: sheharbano.com Language: English - Date: 2017-02-16 07:58:33 Compagnies Rpublicaines de Scurit National Police
4	Curriculum Vitae Jean-Baptiste Teyssier Department of Mathematics. KU Leuven. Celestijnenlaan 200B, Leuven. Belgium E-mail: Page professionnelle: http://jbteyssier.com Add to Reading List Source URL: jbteyssier.com Language: French - Date: 2018-01-24 05:16:22
5	September 11, 2018 SBI Holdings, Inc. (TOKYO: 8473) Notice Regarding an Investment in Sovcombank with the Russia-China Investment Fund SBI Holdings, Inc. (Head office: Minato-ku, Tokyo; Representative Director, President Add to Reading List Source URL: www.sbigroup.co.jp Language: English - Date: 2018-09-10 21:00:10 Finance Economy Money Russian Direct Investment Fund State Bank of India SBI Group Sovereign wealth fund Vladimir Putin
6	arXiv:1804.06188v2 [cs.LG] 4 JulVC-Dimension Based Generalization Bounds for Relational Learning Ondˇrej Kuˇzelka∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-07-04 21:40:26 Mathematical logic Model theory Mathematics First-order logic Predicate logic Constructible universe VC dimension Relational model Metalogic Congruence lattice problem
7	MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives Tom´ aˇs Br´ azdil1, Krishnendu Chatterjee2 , Vojtˇech Forejt3 , and Anton´ın Kuˇcera1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-02-02 16:39:01 Markov processes Probability theory Probability Dynamic programming Markov decision process Stochastic control Reinforcement learning Memorylessness
8	Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:09:39 Symbol Linear temporal logic Constructible universe Markov chain Probabilistic logic Logic Mathematics Epistemology
9	Continuous-Time Stochastic Games with Time-Bounded ReachabilityI Tom´ aˇs Br´ azdil, Vojtˇech Forejt1 , Jan Krˇc´al, Jan Kˇret´ınsk´ y2,∗, Anton´ın Kuˇcera Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-12-20 07:29:02 Mathematics Mathematical analysis Abstract algebra Geometric group theory Measure theory Group theory Boolean algebra Experiment Sigma-algebra Determinacy Kazhdan's property Building
10	Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 11:02:39