Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
The minimization of the wireless cost of tracking mobile users is a crucial issue in wireless networks. Some of the previous strategies addressing this issue leave an open gap, by ...
MacKenzie and Soukoreff have previously introduced a Fitts' Law?based performance model of expert two?thumb text entry on mini?QWERTY keyboards [4]. In this work we validate ...
Edward Clarkson, Kent Lyons, James Clawson, Thad S...
We study a population of individuals playing the prisoner’s dilemma game. Individual strategies are invariable but the network of relationships between players is allowed to chan...
We propose a novel variant of the (1 + 1)-CMA-ES that updates the distribution of mutation vectors based on both successful and unsuccessful trial steps. The computational costs o...