In recent years there has been a steady increase in the amount of literature on perceptions of male victim of sexual assault. Much of this research focuses around the concept of victim blame. This paper reviews the research on perceptions of male victims of sexual assault, with particular reference to victim blame for male rape. The paper considers the conceptual differences in types of blame i...

We study integration of static and dynamic typing in the presence of delimited-control operators. In a program where typed and untyped parts coexist, the run-time system has to monitor the flow of values between these parts and abort program execution if invalid values are passed. However, control operators, which enable us to implement useful control effects, make such monitoring tricky; in fa...

There are now, or soon will be, seven billion people on our planet, and around one billion of them are affected by hunger and malnourishment. Many more live in poverty and have to spend more than half of their income on food. It is therefore alarming when the prices for globally traded food commodities, such as wheat and rice, are increasing in real terms, as this development may push many more...

We present a process algebra based approach to formalize the interactions of computing devices such as the representation of policies and the resolution of conflicts. As an example we specify how promises may be used in coming to an agreement regarding a simple though practical transportation problem.

A grid-like environment may be constructed from ad hoc processing devices, including portable battery-powered devices. Battery lifetime is a current limitation here. In this paper we propose policies for minimizing power consumption using voluntary collaboration between the autonomously controlled nodes. We exploit the quadratic relationship between processor clock-speed and power consumption t...

We present a complete promise problem for SZK, the class of languages possessing statistical zero-knowledge proofs (against an honest verifier). The problem is to decide whether two efficiently samplable distributions are either statisticallyclose or far apart. This characterizes SZK with no reference to interaction or zero-knowledge. From this theorem and its proof, we are able to establish se...