We develop a general stochastic model of directed search on the job. Directed search allows us to focus on a Block Recursive Equilibrium (BRE) where agents’ value functions, policy functions and market tightness do not depend on the distribution of workers over wages and unemployment. We formally prove existence of a BRE under various specifications of workers’ preferences and contractual envir...

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...

In presenting specifications and specification properties to a theorem prover, there is a tension between convenience for the user and convenience for the theorem prover. A choice of specification formulation that is most natural to a user may not be the ideal formulation for reasoning about that specification in a theorem prover. However, when the theorem prover is being integrated into a syst...

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...