Skip to main content

Research Repository

Advanced Search

All Outputs (64)

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.

Academic referencing of Internet-based resources (1995)
Journal Article
Fletcher, G., & Greenhill, A. (1995). Academic referencing of Internet-based resources. Aslib Proceedings, 47(11/12), 245-252. https://doi.org/10.1108/eb051402

Despite the rapid growth of the Internet during 1994 and 1995 no adequate or consistent method of referencing material from this source has been developed. Failure to address this issue will result in Internet resources not being awarded full recogni... Read More about Academic referencing of Internet-based resources.

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.

Stroke rehabilitation; What is the point? (1995)
Journal Article
Tyson, S. (1995). Stroke rehabilitation; What is the point?. Physiotherapy, 81(8), 430-432. https://doi.org/10.1016/S0031-9406%2805%2966717-X

Rehabilitation has been defined as the restoration of optimal physical, psychological, and emotional ability. The ineffectiveness of stroke rehabilitation in the light of these terms is highlighted, and the experience of people with stroke after disc... Read More about Stroke rehabilitation; What is the point?.

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.

The legislative reform of union government 1979–94 (1995)
Journal Article
Martin, R., Smith, P., Fosh, P., Morris, H., & Undy, R. (1995). The legislative reform of union government 1979–94. Industrial Relations Journal, 26(2), 146-155. https://doi.org/10.1111/j.1468-2338.1995.tb00733.x

This article outlines Conservative legislation on union government, documenting extensive regulation in place by 1994. It looks at the major objectives of government policy, including the twin themes of encouraging individualism and reducing union po... Read More about The legislative reform of union government 1979–94.

Out with the old, in with the new? Training for new management issues in the year 2000 (1995)
Presentation / Conference
Burke, M. (1995, May). Out with the old, in with the new? Training for new management issues in the year 2000. Presented at First British-Nordic Conference on Library and Information Studies, The Royal School of Librarianship, Copenhagen, Denmark

The management profession is subject to change, evolution and development. Old techniques and practices are
continuously being replaced with new ideas and tomorrow's manager needs to be aware of these changes in order to be
effective.
Management i... Read More about Out with the old, in with the new? Training for new management issues in the year 2000.

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.