This paper describes the results from a 12-month study of two prototype low energy dwellings built for Glasgow Housing Association (GHA). The houses are intended for mainstream and social tenure within Glasgow and contain a range of energy reducing features including one house with a thermally heavy clay block wall and one house using a conventional timber frame and both houses have sunspaces, ...

User preferences for automated assistance often vary widely, depending on the situation, and quality or presentation of help. Developing effective models to learn individual preferences online requires domain models that associate observations of user behavior with their utility functions, which in turn can be constructed using utility elicitation techniques. However, most elicitation methods a...

Many properties of a system may not be obvious just by a quick inspection of the corresponding Event-B model. Users typically rely on animation, scenario analysis, and inspection of state transition graphs for discovering certain behavior of the system. We propose a methodology for generating a hierarchical representation of the system for visualising Event-B models. Our representation is succi...

ion P ro po tio n of s ub je ct s No guidance Using CREWS-L'Ecritoire Figure 5 : distribution of subjects having identified collections of complementary system functions having given rates of quality 7 Evaluation of hypothesis H8 To evaluate hypothesis H8, the subjects were requested to identify several system functions hidden within a scenario they were provided with. Three system functions we...

In this paper, the annual and economic performance of an integrated solar combined cycle (ISCC) with indirect energy storage tanks is investigated. The study includes four scenarios, in which the combined cycle performance was studied exclusively in the first scenario. In the second scenario, the integrated solar combined cycle (ISCC) was examined, and the use of supplementary firing instead of...