Skip to main content

Research Repository

Advanced Search


Welcome to Repository@Nottingham

The Repository@Nottingham is intended to be an Open Access showcase for the published research output of the university. Whenever possible, refereed documents accepted for publication, or finished artistic compositions presented in public, will be made available here in full digital format, and hyperlinks to standard published versions will be provided. See our Policies for further information.



Latest Additions

Assessment of the Accuracy of Terrestrial Laser Scanners in Detecting Local Surface Anomaly (2024)
Journal Article
Algadhi, A., Psimoulis, P., Grizi, A., & Neves, L. (2024). Assessment of the Accuracy of Terrestrial Laser Scanners in Detecting Local Surface Anomaly. Remote Sensing, 16(24), Article 4647. https://doi.org/10.3390/rs16244647

The surface anomaly is a common defect for structures that resist lateral stresses, such as retaining walls. The accurate detection of an anomaly using contactless techniques, such as the Terrestrial Laser Scanner (TLS), is significant for the reliab... Read More about Assessment of the Accuracy of Terrestrial Laser Scanners in Detecting Local Surface Anomaly.

Development and internal-external cross-validation of a patient-reported definition for acute calcium pyrophosphate crystal arthritis. (2024)
Journal Article
Cipolletta, E., Rozza, D., Andres, M., Ottaviani, S., Pascart, T., Calvo-Aranda, E., Chiarvetto Peralta, M. V., Muto, P., Calabuig, I., Gómez-Sabater, S., Caño, R., Léger, B., Pacaud, A., Moscioni, E., Bruno, C., Caira, V., Gómez-González, C., Rosa, J. E., Nakafero, G., Filippucci, E., & Abhishek, A. (in press). Development and internal-external cross-validation of a patient-reported definition for acute calcium pyrophosphate crystal arthritis. Rheumatology,

Tenecteplase versus alteplase for acute stroke within 4·5 h of onset (ATTEST-2): a randomised, parallel group, open-label trial (2024)
Journal Article
Muir, K. W., Ford, G. A., Ford, I., Wardlaw, J. M., McConnachie, A., Greenlaw, N., Mair, G., Sprigg, N., Price, C. I., MacLeod, M. J., Dima, S., Venter, M., Zhang, L., O'Brien, E., Sanyal, R., Reid, J., Sztriha, L. K., Haider, S., Whiteley, W. N., Kennedy, J., …Douglass, C. (2024). Tenecteplase versus alteplase for acute stroke within 4·5 h of onset (ATTEST-2): a randomised, parallel group, open-label trial. Lancet Neurology, 23(11), 1087-1096. https://doi.org/10.1016/S1474-4422%2824%2900377-6

Background: Tenecteplase has potential benefits over alteplase, the standard agent for intravenous thrombolysis in acute ischaemic stroke, because it is administered as a single bolus and might have superior efficacy. The ATTEST-2 trial investigated... Read More about Tenecteplase versus alteplase for acute stroke within 4·5 h of onset (ATTEST-2): a randomised, parallel group, open-label trial.

An example of goal-directed, calculational proof (2024)
Journal Article
Backhouse, R. C., Guttmann, W., & Winter, M. (2024). An example of goal-directed, calculational proof. Journal of Functional Programming, 34, Article e13. https://doi.org/10.1017/s095679682400011x

An equivalence relation can be constructed from a given (homogeneous, binary) relation in two steps: first, construct the smallest reflexive and transitive relation containing the given relation (the “star” of the relation) and, second, construct the... Read More about An example of goal-directed, calculational proof.