Skip to main content

Research Repository

Advanced Search

The validation of formal specifications of requirements (1996)
Conference Proceeding
McCluskey, T., Porteous, J., Bryant, C., & West, M. (1996). The validation of formal specifications of requirements. . https://doi.org/10.14236/ewic/FA1996.14

We review the approaches put forward to validate formal specifications of requirements, drawing a parallel with research into the validation of knowledge bases. Using an industrial-scale case study we describe a partially implemented, integrated envi... Read More about The validation of formal specifications of requirements.

Case control study of stroke and quality of hypertension control in Northwest of England (1996)
Presentation / Conference
Du, X., Cruickshank, J., Saraee, M., McNamee, R., Hannaford, O., Sourbutts, J., …Theodoulidis, B. (1996, August). Case control study of stroke and quality of hypertension control in Northwest of England. Presented at The XIV International Scientific Meeting of the International Epidemiological Association, Nagoya, Japan

Towards an expert system for enantioseparations: induction of rules using machine learning (1996)
Journal Article
Bryant, C., Adam, A., Taylor, D., & Rowe, R. (1996). Towards an expert system for enantioseparations: induction of rules using machine learning. Chemometrics and Intelligent Laboratory Systems, 34(1), 21-40. https://doi.org/10.1016/0169-7439%2896%2900016-0

A commercially available machine induction tool was used in an attempt to automate the acquisition of the knowledge needed for an expert system for enantioseparations by High Performance Liquid Chromatography using Pirkle-type chiral stationary phase... Read More about Towards an expert system for enantioseparations: induction of rules using machine learning.

Nondiffracting beams: travelling, standing, rotating and spiral waves (1996)
Journal Article
Chávez-Cerda, S., Mcdonald, G., & New, G. (1996). Nondiffracting beams: travelling, standing, rotating and spiral waves. Optics Communications, 123(1-3), 225-233. https://doi.org/10.1016/0030-4018%2895%2900538-2

A reformulation of nondiffracting beams, based on more general (travelling wave) solutions of the nonparaxial wave equation, is presented. Zero order nondiffracting beams are found to be radial standing waves arising from counterpropagating zero orde... Read More about Nondiffracting beams: travelling, standing, rotating and spiral waves.

Towards automatic modelling of requirements (1996)
Journal Article
Meziane, F., & Vadera, S. (1996). Towards automatic modelling of requirements. Malaysian journal of computer science, 9(2), 1-13

The first phases of the FORSEN system that helps the analyst to use an informal specification as the basis of producing a formal specification and concerns the modelisation of the requirements into entity relationship models (ERM) is described. The m... Read More about Towards automatic modelling of requirements.

Subjective perception of seat dip attenuation (1996)
Journal Article
Davies, W., Cox, T., & Lam, Y. (1996). Subjective perception of seat dip attenuation. Acta acustica united with Acustica, 82(5), 784-792

An investigation has been conducted into the subjective perception of the seat dip effect (a low-frequency attenuation affecting sound travelling at grazing incidence over seating). In a realistic simulation of a concert hall sound field, the thresho... Read More about Subjective perception of seat dip attenuation.