In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda calculus with explicit substitution. All three calculi enable explicit control of resources due to the presence of weakening and contraction operators. Along this journey, we propose intersection type assignment systems for all thre...

An understanding of the policy and resource availability constraints under which others operate is important for effectively developing and resourcing plans in a multi-agent context. Such constraints (or norms) are not necessarily public knowledge, even within a team of collaborating agents. What is required are mechanisms to enable agents to keep track of who might have and be willing to provi...

The adoption by Medicare in 1983 of prospective payment using diagnosis-related groups (DRGs) has stimulated research to develop case-mix grouping schemes that more accurately predict resource consumption by patients. In this article, the authors explore a new method designed to improve case-mix classification for newborns through the use of birth weight in combination with DRGs to adjust the u...

This paper describes the use of foveated imaging and virtual saccades to identify visual objects using both colour and edge features. Vision processing is a resource hungry operation at the best of times. When the demands require robust, real-time performance with a limited embedded processor, the challenge is significant. Our domain of application is the RoboCup Standard Platform League soccer...

Grid workflow can be defined as an organization of Grid Services into a well-defined flow of operations, and can be thought of as the composition of Grid Services over time on heterogeneous and distributed resources in a well-defined order to accomplish a specific goal. To the time-constrained workflow Scheduling in Grids, we present a scheduling algorithm in terms of the finite-state continuou...

The ASKNet project uses a combination of NLP tools and spreading activation to transform natural language text into semantic knowledge networks. Network fragments are generated from input sentences using a parser and semantic analyser, then these fragments are combined using spreading activation based algorithms. The ultimate goal of the project is to create a semantic resource on a scale that ...

Broadcasting systems have to deal with channel variability in order to offer the best spectral efficiency to the receivers. However, the transmission parameters that maximise the spectral efficiency generally leads to a large link unavailability. In this paper, we study analytically the tradeoff between spectral efficiency and coverage for various channel resource allocation strategies when bro...

In anticipation of the successful eradication of wild polio virus, alternative vaccination strategies for public-sector markets of low-resource countries are extremely important, but are still under development. Following polio eradication, inactivated polio vaccine (IPV) would be the only polio vaccine available, and would be needed for early childhood immunization for several years, as mainte...

BACKGROUND The use fixed-dose combination (FDC) is a critical tool in improving HAART. Studies on the effectiveness of combined lamivudine, stavudine and nevirapine (3TC/d4T/NVP) are scarce. OBJECTIVE To analyse 6861 patients in a large observational cohort from 21 Médecins Sans Frontieres (MSF) HIV/AIDS programmes taking 3TC/d4T/NVP, with subcohort analyses of patients at 12 and 18 months of...