Skip to main content

Research Repository

Advanced Search

All Outputs (39717)

Coverage-driven verification — An approach to verify code for robots that directly interact with humans (2015)
Presentation / Conference Contribution

© Springer International Publishing Switzerland 2015. Collaborative robots could transform several industries, such as manufacturing and healthcare, but they present a significant challenge to verification. The complex nature of their working environ... Read More about Coverage-driven verification — An approach to verify code for robots that directly interact with humans.

Grass-root preparedness against potential flood risk among residential and commercial property holders (2015)
Journal Article

© Emerald Group Publishing Limited. Purpose – This study aims to investigate the level of preparedness among property owners who had experienced flood damage to their properties in two cities in England following the summer floods of 2007. Flooding c... Read More about Grass-root preparedness against potential flood risk among residential and commercial property holders.

Family Rituals 2.0 (2015)
Report

The notion of family is broad (and changing) and encompasses a variety of different social structures beyond the classic conception of the nuclear family yet it is a cornerstone of our social worlds. Even as many in ‘Western’ society follow the trend... Read More about Family Rituals 2.0.

The prevention of sexual abuse and violence in the UK (2015)
Journal Article

Blog post for Sexual Abuse: A Journal of Research and Treatment blog. The authors review developments in the prevention of sexual abuse and violence in the UK over the last four decades and introduce the newly-formed NOTA Prevention Committee.