Abstract. Understanding the effect of different progress conditions on the computability of distributed systems is an important and exciting research direction. For a system with n...
We study two-player timed games where the objectives of the two players are not opposite. We focus on the standard notion of Nash equilibrium and propose a series of transformation...
With today's technology, many applications rely on the existence of small devices that can exchange information and form communication networks. In a significant portion of su...
SimRank has been considered as one of the promising link-based ranking algorithms to evaluate similarities of web documents in many modern search engines. In this paper, we investi...
In this work, we present the systematic incorporation of Kinesthetic Learning Activities (activities with movements and sensations), into the Computer Science 1 course. We detail ...