-
1
Countdown games, and simulation on (succinct) one-counter nets
Published 2023-02-01Get full text
Article -
2
A Parity Game Tale of Two Counters
Published 2019-09-01“…We present a parameterized parity game called the Two Counters game, which provides an exponential lower bound for a wide range of attractor-based parity game solving algorithms. …”
Get full text
Article -
3
Playing with Repetitions in Data Words Using Energy Games
Published 2020-07-01“…Our results raise this connection to the level of games, augmenting further the associations between logics on data words and counter systems.…”
Get full text
Article -
4
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
Published 2018-11-01Get full text
Article -
5
-
6
Closure games: the politics of clubs in international society
Published 2014“…This thesis presents four main conclusions about the operation of closure: (i) the logics of different closure games are defined by overarching normative institutions of international society; (ii) despite a collectivist closure rule, closure in international society is predominantly individualistic; (iii) actors seeking entry tend to employ deferential entry strategies that reproduce a stratified <em>status quo</em> order; and (iv) incorporation promotes stratification along both functional and cultural lines. …”
Thesis -
7
Game characterization of probabilistic bisimilarity, and applications to pushdown automata
Published 2018Journal article -
8
Feasts of Indifference: Racialization, Affect, and Necropolitics in 1X War Games
“…Graphically and narratively simple war games such as the critically acclaimed, counter-narrative September 12th (2003) and the heavily criticized and deleted Muslim Massacre (2008)—titles that I refer to as 1X war games—trade in the overall logic of necropolitics. …”
Get full text
Article -
9
New Conditions for the Development of the “Great Game” in the Arctic and Priorities of the Current Concept Foreign Policy of Russia
Published 2024-01-01“…These parties directly or indirectly cover the coast and waters of three Russian seas — the Black, Baltic and Barents — and logically fit into the global confrontation between maritime and continental civilizations, known as the geopolitical epic “The Great Game”. …”
Get full text
Article -
10
The politics of implementing e-government for development: the ecology of games shaping property tax administration in Bangalore city, India
Published 2015“…</p> <p>Much has been written about e-government within a growing stream of literature on ICT for development, generating countervailing perspectives where optimistic, technocratic approaches are countered by far more sceptical standpoints on technological innovation. …”
Thesis -
11
6.111 Introductory Digital Systems Laboratory, Spring 2004
Published 2004“…Lectures and labs on digital logic, flipflops, PALs, counters, timing, synchronization, finite-state machines, and microprogrammed systems prepare students for the design and implementation of a final project of their choice: games, music, digital filters, graphics, etc. …”
Get full text
-
12
Modelling «Horizontal» Interaction of Economic Agents with the Help of a Collection of Games Моделирование «горизонтального» взаимодействия экономических агентов с помощью набора и...
Published 2013-09-01“…It is planned to conduct further development of studies in the direction of solutions of models that have the production type at the moment, finding conditions of the Nash equilibrium and analysing logic of evolution of interaction of counter-agents.…”
Get full text
Article -
13
Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems
Published 2012-09-01“…To this end, we develop new techniques for the discretisation of continuous state spaces based on a special class of strategies in model-checking games and present a reduction to a class of counter parity games.…”
Get full text
Article -
14
-
15
-
16
Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
Published 2023-03-01Get full text
Article -
17
-
18
Weak cost automata over infinite trees
Published 2012“…Moreover, a decision procedure is given to determine whether or not functions definable using weak or quasi-weak cost automata are equivalent up to the boundedness relation, which also proves the decidability of the weak cost monadic logic over infinite trees.</p><p>The semantics of these cost automata over infinite trees are defined in terms of cost-parity games which are two-player infinite games where one player seeks to minimize the counter values and satisfy the parity condition, and the other player seeks to maximize the counter values or sabotage the parity condition. …”
Thesis -
19
Recreational Athletes’ Use of Performance-Enhancing Substances: Results from the First European Randomized Response Technique Survey
Published 2023-01-01“…To overcome social desirability bias, we applied indirect questioning by using the Randomized Response Technique and asked for the use of over-the-counter medicine and doping for the year 2019. Results The prevalence of the use of over-the-counter medications for performance enhancement was estimated at 10.4%. …”
Get full text
Article -
20
Competitive mega-regionalism : the trilateral geo-economic power play by the United States of America, China and the European Union
Published 2019“…The move by the US, the counter-move by China and the counter-countermove by the EU eventually gave rise to the wave of mega-regionalism as we have observed in recent times. …”
Get full text
Get full text
Thesis-Doctor of Philosophy