Determinacy - PDFSEARCH.IO - Document Search Engine

Determinacy
Results: 200

#	Item
51	AN EXPONENTIAL LOWER BOUND FOR THE LATEST DETERMINISTIC STRATEGY ITERATION ALGORITHMS OLIVER FRIEDMANN UNIVERSITY OF MUNICH e-mail address: A BSTRACT. This paper presents a new exponential lowe Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:20 Formal languages Theory of computation Logic Game theory Determinacy Parity game
52	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi? , Jörg Olschewski?? , and Wolfgang Thomas Lehrstuhl Informatik 7, RWTH Aachen University, Germany {chaturvedi,olschewski,thomas}@automata.rwth-aache Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:51 Formal languages Computer science Theory of computation Ω-automaton Omega language Büchi automaton Symbol Determinacy Regular language Automata theory Mathematics Theoretical computer science
53	Research internship proposal (M2) Location : LSV (http://www.lsv.ens-cachan.fr) L2S (http://www.lss.supelec.fr) Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-12-15 06:53:26 Graph theory Economics Game theory Determinacy Conceptual model Bouyer Decidability Graph Logic Cryptographic protocols Mathematics Formal sciences
54	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas DLT 2011, Milano July 19, 2011 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:56:44 Theoretical computer science Omega language Theory of computation Determinacy Infinite loop Constructible universe Ordinal number Formal languages Computer programming Mathematics
55	Monte Carlo Sampling for Regret Minimization in Extensive Games Kevin Waugh School of Computer Science Carnegie Mellon University Pittsburgh PA Add to Reading List Source URL: mlanctot.info Language: English - Date: 2014-03-22 10:55:56 Structure Independence Mathematics Logic Probability theory Determinacy Extensive-form game
56	Distributed Games and Strategies Glynn Winskel The notion of deterministic/nondeterministic strategy is potentially as fundamental as the notion of function/relation. A broad enough notion of strategy must be planted fir Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-03-17 07:19:58 Logic in computer science Computer science Applied mathematics Denotational semantics Petri net Determinacy Strategy Models of computation Theoretical computer science Concurrency
57	Efficient MIMO Detection by Successive Projection Karen Su and Ian J. Wassell Laboratory for Communication Engineering Cambridge University Engineering Department Trumpington Street, Cambridge, CB2 1PZ Email: {ks349, ijw Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-06-29 06:52:51 Determinacy Combinatorics Symbol Permutation
58	Surreal Numbers and Games February 10, 2009 Introduction Last week we began looking at doing arithmetic with impartial games using Add to Reading List Source URL: web.mit.edu Language: English - Date: 2011-02-01 22:31:11 Surreal number On Numbers and Games Sprague–Grundy theorem Determinacy Star Chess endgame Game theory Fuzzy game 1/2 − 1/4 + 1/8 − 1/16 + · · · Combinatorial game theory Mathematics Hackenbush
59	Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:32 Computer science Applied mathematics Concurrency Denotational semantics Concurrent computing Actor model Game semantics Determinacy Petri net Theoretical computer science Logic in computer science Models of computation
60	Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-03-07 07:46:37 Pruning Determinacy Mathematics Applied mathematics FO Finite model theory Sheaf