Using ERMIA for the Evaluation of a Theorem Prover Interface (2004)
Presentation / Conference Contribution
Jackson, M., Benyon, D., & Lowe, H. Using ERMIA for the Evaluation of a Theorem Prover Interface

ERMIA (Entity-Relationship Modelling of Information Artefacts) provides an extension to entity-relationship
modelling techniques to provide a structural representation of the interaction between people and “information
artefacts”. Such a representa... Read More about Using ERMIA for the Evaluation of a Theorem Prover Interface.

Improved prediction of defibrillation success for out-of-hospital VF cardiac arrest using wavelet transform methods (2004)
Journal Article
Watson, J. N., Uchaipichata, N., Addison, P., Clegg, G. R., Robertson, C. E., Eftestol, T., & Steen, P. A. (2004). Improved prediction of defibrillation success for out-of-hospital VF cardiac arrest using wavelet transform methods. Resuscitation, 63(3), 269-275. https://doi.org/10.1016/j.resuscitation.2004.06.012

We report an improved method for the estimation of shock outcome prediction based on novel wavelet transform-based time-frequency methods. Wavelet-based peak frequency, energy, mean frequency, spectral flatness and a new entropy measure were studied... Read More about Improved prediction of defibrillation success for out-of-hospital VF cardiac arrest using wavelet transform methods.

Evaluating train protection systems (2004)
Journal Article
Riddington, G., Beck, M., & Cowie, J. (2004). Evaluating train protection systems. Journal of the Operational Research Society, 55(6), 606-613. https://doi.org/10.1057/palgrave.jors.2601724

This paper arose from the work carried out for the Cullen/Uff Joint Inquiry into Train Protection Systems. It is concerned with the problem of evaluating the benefits of safety enhancements in order to avoid rare, but catastrophic accidents, and the... Read More about Evaluating train protection systems.