Skip to main content

Research Repository

Advanced Search

All Outputs (3412)

A GIS based approach for predicting pavement deterioration on the UK road network (2023)
Presentation / Conference Contribution
Corker, J., Remenyte-Prescott, R., Eskandari Torbaghan, M., & Ninic, J. (2023). A GIS based approach for predicting pavement deterioration on the UK road network.

The U.K. Road network is a complex and dynamic system, managed by a federated network of organizations, often with stringent constraints on resourcing. Remediating deterioration of the network is both costly and politically sensitive; resilience, sus... Read More about A GIS based approach for predicting pavement deterioration on the UK road network.

A general approach for evaluating SHM system reliability with sensor failures (2023)
Presentation / Conference Contribution
Wu, W., Cantero-Chinchilla, S., Remenyte-Prescot, R., Prescott, D., Saleh, A., Chiachio Ruano, M., & Chronopoulos, D. (2023). A general approach for evaluating SHM system reliability with sensor failures.

Structural health monitoring (SHM) systems involve implementing damage identification strategies to determine health states of structures. However, it is important to pay close attention to the degradation of the SHM itself, especially the effect of... Read More about A general approach for evaluating SHM system reliability with sensor failures.

CO-CREATION OF A VIRTUAL INTERACTIVE TEACHING PACKAGE FOR AUDITORS OF HEALTHCARE PLACEMENTS – TOWARDS ASSURANCE OF QUALITY OF HEALTH CARE TRAINEESHIPS (2023)
Presentation / Conference Contribution
Konstantinidis, S., Tilley, Z., Ko, S., Henderson, J., Cunningham, S., Hodge, P., …Hall, C. (2023). CO-CREATION OF A VIRTUAL INTERACTIVE TEACHING PACKAGE FOR AUDITORS OF HEALTHCARE PLACEMENTS – TOWARDS ASSURANCE OF QUALITY OF HEALTH CARE TRAINEESHIPS. In EDULEARN23 Proceedings (3189-3195). https://doi.org/10.21125/edulearn.2023.0886

To provide medical and allied health professionals students with the best clinical learning environments, quality processes must be in place, and these require innovation to assure audit material resources that are fit for purpose, can work well with... Read More about CO-CREATION OF A VIRTUAL INTERACTIVE TEACHING PACKAGE FOR AUDITORS OF HEALTHCARE PLACEMENTS – TOWARDS ASSURANCE OF QUALITY OF HEALTH CARE TRAINEESHIPS.

Fibre Optic Sensor Systems without Using Spectral Analysis (2023)
Presentation / Conference Contribution
Benson, T., Palmowski, J., Kubicka, N., Gołek, F., Benson, L., Phang, S., & Bereś-Pawlik, E. (2023). Fibre Optic Sensor Systems without Using Spectral Analysis. . https://doi.org/10.1109/icton59386.2023.10207355

The paper describes our investigations of some Fibre Bragg Grating (FBG) systems for measuring basic environmental parameters where a simple measurement of transmitted or reflected power provides an alternative to specialist interrogators. The work t... Read More about Fibre Optic Sensor Systems without Using Spectral Analysis.

Combinatory logic and lambda calculus are equal, algebraically (2023)
Presentation / Conference Contribution
Altenkirch, T., Kaposi, A., Šinkarovs, A., & Végh, T. (2023). Combinatory logic and lambda calculus are equal, algebraically. LIPIcs, Article 24

It is well-known that extensional lambda calculus is equivalent to extensional combinatory logic. In this paper we describe a formalisation of this fact in Cubical Agda. The distinguishing features of our formalisation are the following: (i) Both lan... Read More about Combinatory logic and lambda calculus are equal, algebraically.

High-accuracy robotic metrology for precise industrial manipulation tasks (2023)
Presentation / Conference Contribution
Isa, M. A., Khanesar, M. A., Leach, R. K., Branson, D., & Piano, S. (2023). High-accuracy robotic metrology for precise industrial manipulation tasks. . https://doi.org/10.1117/12.2673088

The majority of industrial production processes can be divided into a series of object manipulation and handling tasks that can be adapted for robots. Through significant advances in compliant grasping, sensing and actuation technologies, robots are... Read More about High-accuracy robotic metrology for precise industrial manipulation tasks.

Analysing the impact of local factors on the life cycle of metallic bridge girders (2023)
Presentation / Conference Contribution
Calvert, G., Hamer, M., Neves, L., & Andrews, J. (2023). Analysing the impact of local factors on the life cycle of metallic bridge girders. In F. Biondini, & D. M. Frangopol (Eds.), Life-Cycle of Structures and Infrastructure Systems: PROCEEDINGS OF THE EIGHTH INTERNATIONAL SYMPOSIUM ON LIFE-CYCLE CIVIL ENGINEERING (IALCCE 2023), 2-6 JULY, 2023, POLITECNICO DI MILANO, MILAN, ITALY

A fundamental component of a life cycle analysis of a bridge is the modelling of asset condition post-construction. To enhance the accuracy of bridge deterioration models, several studies have calibrated models based on cohorts that incorporate struc... Read More about Analysing the impact of local factors on the life cycle of metallic bridge girders.

Crafting Interactive Experiences with Non-programmers (2023)
Presentation / Conference Contribution
Greenhalgh, C. (2023). Crafting Interactive Experiences with Non-programmers. In EICS '23 Companion: Companion Proceedings of the 2023 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (1-4). https://doi.org/10.1145/3596454.3597174

The Mixed Reality Lab has a long history of creating public interactive experiences in collaboration with creative practitioners. Looking across four such experiences, this keynote explores the role of code (i.e., bespoke software) in making them pos... Read More about Crafting Interactive Experiences with Non-programmers.

Decision-making framework for implementing blockchain in building operations and maintenance (O&M) (2023)
Presentation / Conference Contribution
Kifokeris, D., Tezel, A., & Moon, S. (2023). Decision-making framework for implementing blockchain in building operations and maintenance (O&M).

Blockchain is a distributed ledger technology that verifies and records transactions simultaneously across a computer network, offering data dependability, traceability, and immutability. It has gained attention in the Architecture, Engineering, Cons... Read More about Decision-making framework for implementing blockchain in building operations and maintenance (O&M).

It's Snazzy, but is it Useful? Practitioner's Views on Meaningful Use Cases for Healthcare XR (2023)
Presentation / Conference Contribution
Antoniou, P., Reppou, S., Konstantinidis, S. T., Stathakarou, N., Economou, D., Jonathon, R., & Bamidis, P. (2023). It's Snazzy, but is it Useful? Practitioner's Views on Meaningful Use Cases for Healthcare XR. In Practitioner Proceedings of the 9th International Conference of the Immersive Learning Research Network (iLRN 2023). https://doi.org/10.56198/itig2ulbj

The global virtual reality (VR) market size, valued at 21.83 billion USD in 2021, is expected to expand with an annual growth rate of 15.0% from 2022 to 2030. Virtual Reality, although massively known for immersive gaming and entert... Read More about It's Snazzy, but is it Useful? Practitioner's Views on Meaningful Use Cases for Healthcare XR.

Windage Torque Reduction in Low-Pressure Turbine Cavities - Part 1: Concept Design and Numerical Investigations (2023)
Presentation / Conference Contribution
Li, Z., Christodoulou, L., Jefferson-Loveday, R., Ambrose, S., Jackson, R., Lock, G. D., …Scobie, J. A. (2023). Windage Torque Reduction in Low-Pressure Turbine Cavities - Part 1: Concept Design and Numerical Investigations. In ASME Turbo Expo 2023: Turbomachinery Technical Conference and Exposition. https://doi.org/10.1115/gt2023-103532

The windage torque on rotational walls has negative effect on the performance of the low pressure turbine. In this paper, three novel flow control concepts (FCCs) were proposed to reduce the windage torque within a turbine stator well, with upstream... Read More about Windage Torque Reduction in Low-Pressure Turbine Cavities - Part 1: Concept Design and Numerical Investigations.

Set-Theoretic and Type-Theoretic Ordinals Coincide (2023)
Presentation / Conference Contribution
KRAUS, N., de Jong, T., Nordvall Forsberg, F., & Xu, C. (2023, June). Set-Theoretic and Type-Theoretic Ordinals Coincide. Paper presented at Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Boston, USA

In constructive set theory, an ordinal is a hereditarily transitive set. In homotopy type theory (HoTT), an ordinal is a type with a transitive, wellfounded, and extensional binary relation. We show that the two definitions are equivalent if we use (... Read More about Set-Theoretic and Type-Theoretic Ordinals Coincide.

Visual Management Implementation Strategy: An Analysis of Digital Whiteboards (2023)
Presentation / Conference Contribution
Pedó, B., Tezel, A., Koskela, L., Tzortzopoulos, P., Formoso, C. T., Vrabie, E., & Robinson, S. (2023). Visual Management Implementation Strategy: An Analysis of Digital Whiteboards. In Proceedings of the 31st Annual Conference of the International Group for Lean Construction (IGLC31) (608-619). https://doi.org/10.24928/2023/0264

Visual Management (VM) is a communication strategy in which a visual workplace for closerange communication is created by using easy-to-understand sensory devices. It is adopted to increase process transparency and self-management capacity. VM discu... Read More about Visual Management Implementation Strategy: An Analysis of Digital Whiteboards.

Windage Torque Reduction in Low-Pressure Turbine Cavities Part 2: Experimental and Numerical Results (2023)
Presentation / Conference Contribution
Jackson, R., Lock, G. D., Sangan, C. M., Scobie, J. A., Li, Z., Christodoulou, L., …Ambrose, S. (2023). Windage Torque Reduction in Low-Pressure Turbine Cavities Part 2: Experimental and Numerical Results. In ASME Turbo Expo 2023: Turbomachinery Technical Conference and Exposition (11). https://doi.org/10.1115/gt2023-102311

Minimizing the losses within a low-pressure turbine (LPT) system is critical for the design of next-generation ultra-high bypass ratio aero-engines. The stator-well cavity windage torque can be a significant source of loss within the system, influenc... Read More about Windage Torque Reduction in Low-Pressure Turbine Cavities Part 2: Experimental and Numerical Results.

A categorical account of composition methods in logic (2023)
Presentation / Conference Contribution
Marsden, D., Shah, N., & Jakl, T. (2023). A categorical account of composition methods in logic. In 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). https://doi.org/10.1109/LICS56636.2023.10175751

We present a categorical theory of the composition methods in finite model theory – a key technique enabling modular reasoning about complex structures by building them out of simpler components. The crucial results required by the composition method... Read More about A categorical account of composition methods in logic.

An Adaptive and Multifunctional DC-DC Converter for Onshore Ship Charging (2023)
Presentation / Conference Contribution
Qazi, S., Venugopal, P., Rietveld, G., Watson, A. J., Wheeler, P., & Soeiro, T. B. (2023). An Adaptive and Multifunctional DC-DC Converter for Onshore Ship Charging. . https://doi.org/10.1109/itec55900.2023.10187075

Maritime electrification is a critical upgrade to enable sustainable and environmentally friendly shipping. Therefore, in recent years, there has been a significant interest in the development of battery-based boats and ferries. A key element for the... Read More about An Adaptive and Multifunctional DC-DC Converter for Onshore Ship Charging.

How ‘global’ are sociology journals in the Web of Science database? Exploring journal aims, editorial board networks and authorship (2023)
Presentation / Conference Contribution
Brown, E., Vega Castillo, M. A., Lee, G., & Hordosy, R. (2023, June). How ‘global’ are sociology journals in the Web of Science database? Exploring journal aims, editorial board networks and authorship. Presented at Department of Sociology Seminar, Durham, UK

A knowledge hierarchy has long been present within the academic community dominated by producers, publishers and journals from western countries (Heilbron, 2014), whilst inequalities in who gets to edit and author have prompted calls for more inclusi... Read More about How ‘global’ are sociology journals in the Web of Science database? Exploring journal aims, editorial board networks and authorship.

Explainable AI for the Arts: XAIxArts (2023)
Presentation / Conference Contribution
Bryan-Kinns, N., Ford, C., Chamberlain, A., Benford, S. D., Kennedy, H., Li, Z., …Rezwana, J. (2023). Explainable AI for the Arts: XAIxArts. In C&C '23: Proceedings of the 15th Conference on Creativity and Cognition. https://doi.org/10.1145/3591196.3593517

This first workshop on explainable AI for the Arts (XAIxArts) brings together a community of researchers and creative practitioners in Human-Computer Interaction (HCI), Interaction Design, AI, explainable AI (XAI), and Digital Arts to explore the rol... Read More about Explainable AI for the Arts: XAIxArts.