Ventilation effectiveness measures based on heat removal: Part 1. Definitions

The effectiveness of ventilation flows is considered from the perspective of buoyancy (or heat) removal from a space. This perspective is distinct from the standard in which the effectiveness is based on the concentrations of a neutrally buoyant contaminant/passive tracer. Three new measures of effectiveness are proposed based on the ability of a flow to flush buoyancy from a ventilated space. These measures provide estimates of instantaneous and time-averaged effectiveness for the entire space, and local effectiveness at any height of interest. From a generalisation of the latter, a vertical profile of effectiveness is defined. These measures enable quantitative comparisons to be made between different flows and they are applicable when there is a difference in density (as is typical due to temperature differences) between the interior environment and the replacement air. Applications, therefore, include natural ventilation, hybrid ventilation and a range of forced ventilation flows. Finally, we demonstrate how the ventilation effectiveness of a room may be assessed from simple traces of temperature versus time. © 2006 Elsevier Ltd. All rights reserved.

Type Inference For Recursive Definitions

We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant's notion of rank. To motivate our work, we present several examples showing how our systems can be used to type programs encountered in practice. We show that type inference in the rank-k system is decidable for k ≤ 2 and undecidable for k ≥ 3. (Similar results based on different techniques are known to hold for System F, without recursive types and object types.) Our undecidability result is obtained by a reduction from a particular adaptation (which we call "regular") of the semi-unification problem and whose undecidability is, interestingly, obtained by methods totally different from those used in the case of standard (or finite) semi-unification.

National identification and anti-immigrant prejudice: Individual and contextual effects of national definitions

In this study, we examined the relationship between national identification and anti-immigrant prejudice in a multilevel analysis of ISSP survey data from 37,030 individuals in 31 countries. We argue that this relationship depends on how national groups are defined by their members. Across the 31 national samples, the correlation between national identification and prejudice ranged from weakly negative (-.06) to moderately positive (.37). The relationship was significantly stronger in countries where people on average endorsed a definition of national belonging based on language, and weaker where people on average defined the nation in terms of citizenship. These effects occurred at a national rather than individual level, supporting an explanation in terms of the construction of nationality that prevails in a given context. Endorsement of the ancestry-based criteria for nationality was positively associated with prejudice, but only at the individual level.

When does national identification lead to the rejection of immigrants? Cross-sectional and longitudinal evidence for the role of essentialist in-group definitions

Two studies were carried out in England to investigate the role of essentialist national group definitions in determining the effect of national identification on prejudice towards immigrants, and asylum seekers in particular. It was expected that the relationship between national identification and prejudice would depend on the degree to which participants endorse an essentialist (`ethnic') definition of their nationality. Consistent with this, Study 1 (N=154) found that national identification is associated with negativity towards asylum seekers only among individuals who endorse an essentialist conception of the group, and shows no significant association with prejudice among those who reject such a conception. Study 2 (N=219) used a longitudinal design conducted over 6 weeks, allowing cross-lagged analysis of causality between essentialism, identification, and behavioural intentions towards asylum seekers. A causal effect of essentialism on willingness to support a group acting against asylum seekers was observed, with no significant causal effect in the reverse direction. The reverse causal direction was observed in the case of support for a group seeking to support asylum seekers, with intended behaviours determining essentialism. The results are discussed in terms of the importance of group definitions in the study of in-group affiliations and prejudice.

Molecular diagnostic cytopathology: definitions, scope and clinical utility

Molecular diagnosis is the application of molecular biology techniques and knowledge of the molecular mechanisms of disease to diagnosis, prognostication and treatment of diseases. Although it is not widely used in routine molecular cytological practice, some examples are presented here of the application of molecular techniques to the routine cytopathological diagnosis of solid tumours and lymphoreticular malignancies. The term 'molecular diagnostic cytopathology' is proposed to define the application of molecular diagnosis to cytopathology, and the challenges of the introduction of molecular diagnosis into routine diagnostic histopathology and cytopathology are discussed. Finally, the importance of a combined morphological, immunophenotypic and molecular approach to maintain the diagnostic pathologist at the heart of the clinical decision-making process is emphasized.

River definitions in Roman technical literature

Definitions of rivers and their use by Roman land surveyors and lawyers.