Determinacy

Results: 200



#Item
51Formal languages / Theory of computation / Logic / Game theory / Determinacy / Parity game

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
52Formal languages / Computer science / Theory of computation / Ω-automaton / Omega language / Büchi automaton / Symbol / Determinacy / Regular language / Automata theory / Mathematics / Theoretical computer science

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
53Graph theory / Economics / Game theory / Determinacy / Conceptual model / Bouyer / Decidability / Graph / Logic / Cryptographic protocols / Mathematics / Formal sciences

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
54Theoretical computer science / Omega language / Theory of computation / Determinacy / Infinite loop / Constructible universe / Ordinal number / Formal languages / Computer programming / Mathematics

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
55Structure / Independence / Mathematics / Logic / Probability theory / Determinacy / Extensive-form game

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
56Logic in computer science / Computer science / Applied mathematics / Denotational semantics / Petri net / Determinacy / Strategy / Models of computation / Theoretical computer science / Concurrency

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
57Determinacy / Combinatorics / Symbol / Permutation

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
58Surreal 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

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
59Computer 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

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
60Pruning / Determinacy / Mathematics / Applied mathematics / FO / Finite model theory / Sheaf

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
UPDATE