Outputs (37)

Intelligent voting strategies for dependable real-time control systems (1995)
Conference Proceeding
R. CROLL, P., M. BASS, J., & J. FLEMING, P. (1995). Intelligent voting strategies for dependable real-time control systems. . https://doi.org/10.1016/b978-0-08-042374-6.50011-0

An intelligent and dependable voting mechanism for use in real-time control applications is presented. Strategies proposed by current safety standards advocate N-version software to minimise the effects from undetected software design faults (bugs).... Read More about Intelligent voting strategies for dependable real-time control systems.

Dependable, intelligent voting for real-time control software (1995)
Journal Article
Croll, P., Sharkey, A., Bass, J., Sharkey, N., & Fleming, P. (1995). Dependable, intelligent voting for real-time control software. Engineering Applications of Artificial Intelligence, 8(6), 615-623. https://doi.org/10.1016/0952-1976%2895%2900044-5

An intelligent and dependable voting mechanism for use in real-time control applications is presented. Strategies proposed by current safety standards advocate N-version software to minimize the effects of undetected software design faults (bugs). Th... Read More about Dependable, intelligent voting for real-time control software.

Knowledge discovery in temporal databases: the initial step (1995)
Presentation / Conference
Saraee, M., & Theodoulidis, B. (1995, December). Knowledge discovery in temporal databases: the initial step. Presented at KDOOD/TDOOD 1995, Singapore

The culture of the industry and the culture of research (1995)
Journal Article
Rooke, J., & Seymour, D. (1995). The culture of the industry and the culture of research. Construction Management and Economics, 13(6), 511-523. https://doi.org/10.1080/01446199500000059

Culture is increasingly cited as being in need of change if the UK construction industry is to improve its efficiency and productivity. The paper argues that the concept of culture is amenable to radically different treatments and that the research c... Read More about The culture of the industry and the culture of research.

The culture of the industry and the culture of research (1995)
Journal Article
Rooke, J., & Seymour, D. (1995). The culture of the industry and the culture of research. Construction Management and Economics, 13(6), 511-523. https://doi.org/10.1080/01446199500000059

Culture is increasingly cited as being in need of change if the UK construction industry is to improve its efficiency and productivity. The paper argues that the concept of culture is amenable to radically different treatments and that the research c... Read More about The culture of the industry and the culture of research.

Stereotypies in the stabled horse: Causes, treatments and prevention (1995)
Journal Article
Winskill, L., Waran, N., Channing, C., & Young, R. (1995). Stereotypies in the stabled horse: Causes, treatments and prevention. Current Science, 65(4), 310-316

Review of heuristics for generalisation (1995)
Journal Article
Vadera, S. (1995). Review of heuristics for generalisation. Software engineering journal, 10(4), 118-123

Proof by induction plays a central role in showing that recursive programs satisfy their specification. Sometimes a key step is to generalise a lemma so that its inductive proof is easier. Existing heuristics for generalisation for induction are... Read More about Review of heuristics for generalisation.

Review of heuristics for generalisation (1995)
Journal Article
Vadera, S. (1995). Review of heuristics for generalisation. Software engineering journal, 10(4), 118-123

Proof by induction plays a central role in showing that recursive programs satisfy their specification. Sometimes a key step is to generalise a lemma so that its inductive proof is easier. Existing heuristics for generalisation for induction are... Read More about Review of heuristics for generalisation.

The prediction of industrial noise and its transmission through metal cladding systems (1995)
Thesis
Windle, R. The prediction of industrial noise and its transmission through metal cladding systems. (Thesis). University of Salford

Environmental noise is an issue of increasing concern which has resulted in much legislation over recent years. A large proportion of noise complaints arise from industrial and commercial premises. This thesis therefore aims to take a significant s... Read More about The prediction of industrial noise and its transmission through metal cladding systems.

Assessment of applications for the house renovations grants system : an IT support framework (1995)
Thesis
Loforte T.Ribeiro, F. Assessment of applications for the house renovations grants system : an IT support framework. (Thesis). University of Salford

This thesis describes the development of a knowledge-based framework for supporting human experts from the Department of Environmental and Consumer Services of the Salford City Council in assessing applications for the current house renovation gran... Read More about Assessment of applications for the house renovations grants system : an IT support framework.