Evaluation of ventilation performance in public spaces.

Smoking restrictions in the workplace and increased health consciousness at home have seen a sizable reduction in the number of spaces where smoking is permissible. The aim of this study was to investigate the effects of ventilation in public houses, one of the few remaining public spaces where smoking is still socially acceptable. Little is known about the situation with shared occupancies, where relatively large areas are intended to accommodate both smokers and non-smokers. This study clearly identifies potential problems with a simplistic design approach to ventilation and its effectiveness in the context of shared occupancy spaces. A computational fluid dynamics code has been used to model airflows with the aim of identifying inefficiencies in existing ventilation systems.

Evaluation of binary decision diagrams for redundancy, shadowing, generalisation and correlation in an Information sharing model.

This paper defines a structured methodology which is based on the foundational work of Al-Shaer et al. in [1] and that of Hamed and Al-Shaer in [2]. It defines a methodology for the declaration of policy field elements, through to the syntax, ontology and functional verification stages. In their works of [1] and [2] the authors concentrated on developing formal definitions of possible anomalies between rules in a network firewall rule set. Their work is considered as the foundation for further works on anomaly detection, including those of Fitzgerald et al. [3], Chen et al. [4], Hu et al. [5], among others. This paper extends this work by applying the methods to information sharing policies, and outlines the evaluation related to these.