St Bartholomew's Hospital, in the City of London, has for many years run a Coronary Ambulance service, called by the public via the 999 system. During a 9-month period only 55% of 214 cardiac emergencies arriving at St Bartholomew's Hospital came with Coronary Ambulance support, although the service was available if called. In cases where the Coronary Ambulance was summoned, the call-out was in...

For enterprise-wide and cross-enterprise workflow (WF) applications, the load of the WF servers and the amount of communication in the subnets may become a bottleneck. This paper shows how a distributed WF control can be realized in a way that the load of the components at run time is minimized. For that purpose, the control of a WF instance may migrate from one WF server to another. The WF ser...

This paper describes two preliminary experiments concerned with the construction of a robot head. The initial design and research is aimed at producing a system with two cameras and two microphones on a system capable of operating with the same degrees of freedom and reflex times as its biological counterpart. Whilst the primary goal of the project is develop an anthropomorphic system with the ...

THEWORK OF DIVERSITY IN LIBRARIES BEGINS at the crossroad where superiority, inaction, and denial become intolerable. Yet in working toward true diversity, we work without the familiar construct of a mainstream. We respond to, or ignore, repetitive critique of being too exclusive or not inclusive enough. We decide whether it is appropriate to quantify the existence of a people or to trust what ...

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, ...

Embedded control systems are today created using tools that give insufficient support for rapid prototyping and code reuse. New tools for implementation of embedded controllers are necessary. This paper presents a software framework for implementation of embedded control systems. The PAL language is presented. PAL is designed to support implementation of control algorithms in particular. A run-...

Embedded control systems are today created using tools that give insufficient support for rapid prototyping and code reuse. New tools for implementation of embedded controllers are necessary. This paper presents a software framework for implementation of embedded control systems. The PAL language is presented. PAL is designed to support implementation of control algorithms in particular. A run-...

Traditional control-flow analysis (CFA) for higher-order languages is too expensive to be used as an every-day analysis in an otherwise fast compiler that is often called upon to compile large programs. It is even more expensive when flow sensitivity is added to handle optimizations like type recovery. In particular, the fastest known algorithms for 0CFA, the least expensive of the popular kCFA...

2263. To get high performance on a distributed-memory multicomputer at present and for the foreseeable future, some explicit control is needed. This paper describes work aimed at harnessing the power of the functional notation in exercising such control. We have developed a declarative annotation scheme which allows explicit control over process placement and communications. The language, calle...