The paper discusses the improvement of the thermal insulation of existing houses to reduce their energy consumption, with particular emphasis on solid walled buildings, and gives details of some of the methods available for insulating such buildings. The techniques used to improve the insulation...

The generation algorithm for rectangular dissections given by Mitchell et al (1976) is shown not to be exhaustive, and a formal procedure is presented for the exhaustive generation of the class of 'nonaligned' rectangular dissections.

This paper describes a much simplified procedure for determining the rigidity of a one-story apartment building braced by any set of cross braces in its walls and ceiling panels. In particular it shows how the mechanical properties of such partially or completely braced buildings are determined...

The field of artificial intelligence is reviewed. The work of George Stiny and myself on sign and criticism is discussed briefly in terms of a paradigm of artificial intelligence research.

This paper, the first of a sequence, defines built forms as quasi-mathematical models and uses graph-theoretic representation in order to express how buildings are connected and packed over an area of land. Buildings are represented by points called built forms; external walls and partitions...

This paper presents a catalogue of general rectangular dissections of weight p = 7. The catalogue was produced by use of the facilities of the University of Cambridge Computer Laboratory (Bloch, 1978; 1979). Summary numerical results have already been given in Bloch and Krishnamurti (1978). A...

The classification of mechanisms is reviewed and their kinematic structure and graph representation discussed. Mechanism creation based on the separation of structure from function is illustrated for shaft couplings and other devices. The use and significance of this procedure in mechanical...