We study a class of parity games equipped with counters that evolve according to arbitrary non-negative affine functions. These games capture several cost models for dynamic systems from the literature. We present an elementary algorithm for computing the exact value of a counter parity game, which both generalizes previous results and improves their complexity. To this end, we introduce a clas...

The question of whether quantum real-time one-counter automata (rtQ1CAs) can outperform their probabilistic counterparts has been open for more than a decade. We provide an affirmative answer to this question, by demonstrating a non-context-free language that can be recognized with perfect soundness by a rtQ1CA. This is the first demonstration of the superiority of a quantum model to the corres...

The objective of this research is to construct parallel models that simulate the behavior of artificial neural networks. The type of network that is simulated in this project is the counter – propagation network and the parallel platform used to simulate that network is the message passing interface (MPI). In the next sections the counter – propagation algorithm is presented in its serial as we...

In this paper we study the reachability problem for parametric flat counter automata, in relation with the satisfiability problem of three fragments of integer arithmetic. The equivalence between non-parametric flat counter automata and Presburger arithmetic has been established previously by Comon and Jurski [5]. We simplify their proof by introducing finite state automata defined over alphabe...

In late 2004, the British government decided to allow a lipid-lowering agent to be sold as an over-the-counter medication. In contrast, the U.S. Food and Drug Administration recently decided not to do so. The United States and other countries will soon face similar decisions for other statins. Although statins have infrequent side effects and have been shown to be effective in moderate-risk pri...

This article explores how today’s post-modern, interdependent European system of order interacts with a competing system led by a modern, realist Russian Federation. Russia’s great power identity is based on a long-standing statist tradition of foreign policy thinking combined with a legacy of conviction in the uniqueness of Eurasian civilization. Key to meeting the Russian challenge is systemi...

We examine visibly counter languages, which are languages recognized by visibly counter automata (a.k.a. input driven counter automata). We are able to effectively characterize the visibly counter languages in AC0, and show that they are contained in FO[+].

As video games increasingly become an important frame of reference and as they are more and more taken seriously in education and research, there is a growing need for a methodological tool for video game analysis. In this paper, rhetorical theory in general and pentadic analysis in particular are introduced as a useful approach to stimulate a critical approach of video games. A case study is p...