Collaboration requires coordination, and we coordinate by anticipating our teammates’ future actions and adapting to their plan. In some cases, our teammates’ actions early on can give us a clear idea of what the remainder of their plan is, i.e. what action sequence we should expect. In others, they might leave us less confident, or even lead us to the wrong conclusion. Our goal is for robot ac...

In order to make virtual modeling as easy as real clay manipulation, we describe a realtime virtual clay model, specially designed for direct hand manipulation. We build on a previous layered model for clay, extending it to handle local properties such as colour or fluidity, to deal with an arbitrary number of tools, and to capture twist effects due to rotating tools. The resulting clay model i...

Following the recent successes of bounded model-checking, we reconsider the problem of constructing models of discrete-time Duration Calculus formulae. While this problem is known to be non-elementary when arbitrary length models are considered [Han94], it turns out to be only NP-complete when constrained to bounded length. As a corollary we obtain that model construction is in NP for the formu...

A central behavioral assumption of economic theory is that income is fungible. Yet, building on the pioneering work by Thaler (1999) recent work by behavioural economists highlights that people code income in different mental accounts, creating a direct link between spending behaviour and income sources, thereby violating the fungibility assumption. This paper examines whether the marginal prop...

We show the existence of relativized worlds relative to which there exist innnite polynomial-time computable sets without innnite polynomial-time computable sparse subsets or even non-deterministically polynomial-time computable sparse subsets. This result is tight since every innnite P set has an innnite sparse coNP subset.

With availability of enough visualization techniques it can be very confusing to know what and when should be appropriate technique to use in order to convey maximum possible understanding. The basic purpose of visual representation is to efficiently interpret what is insight, as easy as possible. Different available visualization techniques are use for different situation which convey differen...

EulerView is a novel resource management tool, enabling the representation of non-hierarchical categorisation structures within which to place resources. Since the initial incarnation for use in file-system management, it has been integrated with other systems, such as Flickr to produce Eulr, which assists in user manipulation of photo tags. Another system currently under development is Eulicio...

Islam is the world’s fastest growing religion and at its present rate of expansion it will soon be the predominant religion of mankind. This is not a new or unexpected statistic, however it is something that is slowly making people re-examine their understanding of a religion of which many remain ignorant. Some are taking positive step, and by educating themselves they are discovering the truth...

Educational games can greatly benefit from integrating support for learning analytics. Game authoring tools that make this integration as easy as possible are therefore an important step towards improving adoption of educational games. We describe the process of integrating full support for game learning analytics into uAdventure, a serious game authoring tool. We argue that such integrations g...