Program synthesis research aims at maximally automating the passage from specifications to programs (see the survey by Biermann, 1992). We define possible formalisms for the starting points (specifications: see Section 1.1) and results (programs: see Section 1.2) of synthesis, and state existing approaches and related work, before pinning down the objectives (Section 1.3) of this paper. Some fa...

A great number of factors affect the uncomfortable of seats. Apart from external appearance, the most important is the comfort for users in designing an un-adjustable seat. A system or suggested principles which assist designers in designing the comfort of the seats to testees will benefit waist of users, and hence prevent them from potential discomfort and injuries. This study attempts to deve...

The paper describes an auditory experiment aimed at testing whether the intrinsic loudness of a stimulus with a given voice quality influences the way in which it signals affect. Synthesised voice quality stimuli in which intrinsic loudness was systematically manipulated were presented to listeners to test the effect of this manipulation on the affective colouring of the stimuli. The results sh...