A model of time-consistent procrastination is developed to assess the extent to which the observed behavior is compatible with rational behavior. When a finite work requirement must be completed by a deadline, the remaining time for leisure is an exhaustible resource. With a positive rate of time preference, the optimal allocation of this resource results in more hours spent working (and fewer ...

This paper describes the use of the Levels of Conceptual Interoperability Model (LCIM) as a framework for conceptual modeling and its descriptive and prescriptive uses. LCIM is applied to show its potential and shortcomings in the current simulation interoperability approaches, in particular the High Level Architecture (HLA) and Base Object Models (BOM). It emphasizes the need to apply rigorous...

This paper is concerned with the recent wave of Hong Kong immigrants into Van couver. The stage is set for this discussion by first explaining some background behind Canadian imm igration policy and then discussing the history of Chinese immigrants in Vancouver. From these discu ssions we are informed that Canadian immigration policy was historically ethnocentric and only began to change in the...

In this paper we present our ongoing work on “Organic Computing”. We present an illustrative case study from program automation that uses OC-paradigms to be failure tolerant and to produce effectively. We present a way to build and verify a formal model of a self-adaptive system. We also give further ideas for formal modeling and our ideas of safety analysis of such systems. Another topic is ho...

Welfare programs are often implemented in-kind to promote outcomes that might not be realized under cash transfers. I use a randomized controlled trial of the Mexican government’s Food Assistance Program (‘PAL’) to test whether this form of paternalism is necessary, comparing precisely measured consumption and health outcomes under both inkind food and cash transfers. Importantly, I …nd that ho...