Skip to main content

Research Repository

Advanced Search

All Outputs (27)

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.

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.

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.

Dependability modelling in a prototype Development Framework (1995)
Conference Proceeding
Bass, J., Metge, S., Browne, A., Croll, P., & Fleming, P. (1995). Dependability modelling in a prototype Development Framework. . https://doi.org/10.1109/FTCS.1995.466990

The Development Framework provides a highly automatic translation from a specification to an implementation. The specification is in a popular, graphical control engineering notation typically representing a system with stringent reliability requirem... Read More about Dependability modelling in a prototype Development Framework.

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.

Integrating design and construction to improve constructability through an effective usage of IT (1995)
Thesis
Underwood, J. Integrating design and construction to improve constructability through an effective usage of IT. (Thesis). University of Salford

It is now widely recognised that bridging the gap between design and construction is essential for improving product quality, cost, lead time, and materials waste. The design of buildings has been separated from its production since at least the m... Read More about Integrating design and construction to improve constructability through an effective usage of IT.

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.

Discovering knowledge hidden in a chemical database using a commercially available data mining tool (1995)
Presentation / Conference
Bryant, C., Adam, A., Taylor, D., Conroy, G., & Rowe, R. (1995, February). Discovering knowledge hidden in a chemical database using a commercially available data mining tool. Presented at IEE Colloquium on Knowledge Discovery in Databases, London, UK

Describes DataMariner, a commercially available tool that is designed to facilitate the discovery of knowledge hidden in databases. The potential of the tool for scientific applications is illustrated via a case study. This is both the first applicat... Read More about Discovering knowledge hidden in a chemical database using a commercially available data mining tool.

Knowledge discovery in temporal databases (1995)
Presentation / Conference
Saraee, M., & Theodoulidis, B. (1995, February). Knowledge discovery in temporal databases. Presented at IEE Colloquium on Knowledge Discovery in Databases, London, UK

Knowledge discovery in databases is the process of applying statistical, machine learning and other techniques to conventional database systems. Our survey in knowledge discovery systems has indicated that up to date there is no knowledge discovery s... Read More about Knowledge discovery in temporal databases.

Growth and characterisation of Cu(In,Ga)Se2 thin films for solar cell applications (1995)
Thesis
Ahmad, E. Growth and characterisation of Cu(In,Ga)Se2 thin films for solar cell applications. (Thesis). University of Salford, UK

The development of low cost, efficient photovoltaic devices is a major technological challenge which demands suitable materials and fabrication processes. Thin film polycrystalline heterojunction solar cells appear to be most appropriate with respec... Read More about Growth and characterisation of Cu(In,Ga)Se2 thin films for solar cell applications.

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).

The NEC and the culture of the industry: some early findings regarding possible sources of resistance to change (1995)
Journal Article
Rooke, J., & Seymour, D. (1995). The NEC and the culture of the industry: some early findings regarding possible sources of resistance to change. Engineering, Construction and Architectural Management, 2(4), 287-305. https://doi.org/10.1108/eb021016

This paper describes some current research into the impact of the New Engineering Contract (NEC) on the culture of the industry. The intention is to explain the purpose of this research, describe the methodology used and report on some early findings... Read More about The NEC and the culture of the industry: some early findings regarding possible sources of resistance to change.

TheMD shell and its use to develop Dust-Expert(TM) (1995)
Journal Article
Vadera, S., & Nechab, S. (1995). TheMD shell and its use to develop Dust-Expert(TM). Expert Systems, 12(3), 231-237. https://doi.org/10.1111/j.1468-0394.1995.tb00112.x

In this paper we describe TheMD (The Methods Designer) shell and its use in the development of an expert system, known as Dust-Expert, for the relief of dust explosions. We begin by providing the motivation for the development of TheMD Shell by evalu... Read More about TheMD shell and its use to develop Dust-Expert(TM).