Outputs (39)

Intelligent voting strategies for dependable real-time control systems (1995)
Presentation / Conference Contribution

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.

Abandoned villages in the landscape of Cyprus (1995)
Thesis

This study aims to enhance the unspoiled vernacular architecture of the Abandoned Villages in the Landscape of Cyprus. It is concerned with the evaluation of their architectural and landscape significance and the establishment of a revival and rehabi... Read More about Abandoned villages in the landscape of Cyprus.

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

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.