Outputs (20)

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.

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.

Facilities management quality systems: An important improvement area (1995)
Journal Article
Barrett, P. (1995). Facilities management quality systems: An important improvement area. Building Research and Information, 23(3), 167-174. https://doi.org/10.1080/09613219508727451

The case study presented illustrates the personnel aspects of facilities management as an interactive function. Aspects of tqm are valuable, but an emphasis on learning organizations - based on learning individuals - has emerged as probably the most... Read More about Facilities management quality systems: An important improvement area.

Facilities management quality systems: An important improvement area (1995)
Journal Article
Barrett, P. (1995). Facilities management quality systems: An important improvement area. Building Research and Information, 23(3), 167-174. https://doi.org/10.1080/09613219508727451

The case study presented illustrates the personnel aspects of facilities management as an interactive function. Aspects of tqm are valuable, but an emphasis on learning organizations - based on learning individuals - has emerged as probably the most... Read More about Facilities management quality systems: An important improvement area.

Ultrabroad-bandwidth multifrequency Raman soliton pulse trains (1995)
Journal Article
McDonald, G. (1995). Ultrabroad-bandwidth multifrequency Raman soliton pulse trains. Optics Letters, 20(8), 822-824. https://doi.org/10.1364/OL.20.000822

I have discovered that in the coherent regime of ultrabroad-bandwidth Raman generation, a large number of long-lived soliton pulse trains are spontaneously generated. This novel solution of the dispersionless and highly transient regime, involving mo... Read More about Ultrabroad-bandwidth multifrequency Raman soliton pulse trains.

Structure and dynamics of central European amphibian populations: A comparison between Triturus dobrogicus (Amphibia, Urodela) and Pelobates fuscus (Amphibia, Anura) (1995)
Journal Article
Jehle, R., Hodl, W., & Thonke, A. (1995). Structure and dynamics of central European amphibian populations: A comparison between Triturus dobrogicus (Amphibia, Urodela) and Pelobates fuscus (Amphibia, Anura). Australian journal of ecology, 20, 362-366

During a long-term study of the amphibian fauna on an artificial island near Vienna (Austria), one isolated site was completely encircled with a permanent drift fence and pitfall traps. Eleven amphibian species occurred at the study site. For the Com... Read More about Structure and dynamics of central European amphibian populations: A comparison between Triturus dobrogicus (Amphibia, Urodela) and Pelobates fuscus (Amphibia, Anura).