All Outputs (2)

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.

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.