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

This paper presents an integrated approach for scheduling in distributed computing with strategies as sets of job supporting schedules generated by a critical works method. The strategies are implemented using a combination of job-flow and application-level techniques of scheduling within virtual organizations of Grid. Applications are regarded as compound jobs with a complex structure containi...

Visual tracking requires sophisticated algorithms working in real-time, and often spacelimited, settings. While the input streams may be regular in structure, the algorithms are not, and must often deal with probabilistic metrics. To ensure progress in algorithm design without incurring excessive development costs, we propose a high-level programming approach married with predictable and compos...

This paper presents an approach to automated mark up of affective information in texts. The approach considers in parallel two possible representations of emotions: as emotional categories and emotional dimensions. For each representation, a corpus of example texts previously annotated by human evaluators is mined for an initial assignment of emotional features to words. This results in a List ...

The resources of logistics are different at anytime and anywhere, so how to integrate these resources has become the key issue of logistics scheduling. In view of the advantages of the Internet, especially the advantages of the mobile Internet, the dynamic allocation of resources has become the key issue of logistics allocation. Based on the characteristics of logistics allocation by Markov ran...

BACKGROUND The addition of a long-acting beta-agonist (LABA) to an inhaled corticosteroid (ICS) for patients with moderate or severe persistent asthma improves outcomes such as pulmonary function, reduces exacerbations requiring oral steroids, and reduces use of rescue beta-agonists. OBJECTIVE To assess the key resource utilization outcomes of adding salmeterol, a LABA, to fluticasone, an ICS...

Over the past three decades there has been a wealth of operational research into effectively and efficiently combating human immunodeficiency virus (HIV). These interventions have had varying results. Condoms, for example, have been shown to decrease the probability of transmission per sexual act (PTSA) by 95%, but they tend to be used inconsistently. Male circumcision has been shown to reduce ...

In the grid context, the scheduling can be grouped into two categories: offline scheduling and online scheduling. In the offline scheduling scenario, the sequence of jobs is known in advance, scheduling is based on information about all jobs in the sequence. While, in the online scheduling scenario a job is known only after all predecessors have been scheduled, and a job is scheduled only accor...

Spoken term detection is a well-known information retrieval task that seeks to extract contentful information from audio by locating occurrences of known query words of interest. This paper describes a zero-resource approach to such task based on pattern matching of spoken term queries at the acoustic level. The template matching module comprises the cascade of a segmental variant of dynamic ti...

The scale-up of antiretroviral treatment (ART) in resource-poor countries has been impressive, both in its scope and in its impact. In 2003, 400,000 people in resource-limited settings were receiving antiretroviral drugs (ARVs); by 2006, this number had increased to 2 million people [1]. Treatment of common infections occurring with HIV is also increasing, as most HIV-infected persons live in a...