All Outputs (46138)

Trustworthy Airspaces of the Future: Hopes and concerns of experts regarding Uncrewed Traffic Management systems
Presentation / Conference Contribution
R. Cameron, H., McBride, N., Ochang, P., & C. Stahl, B. (2024, September). Trustworthy Airspaces of the Future: Hopes and concerns of experts regarding Uncrewed Traffic Management systems. Presented at Trustworthy Autonomous Systems International Symposium '24, Austin, Texas, USA

Uncrewed aerial systems (UAS) such as drones are an increasingly mundane part of our skies, and are expected as an industry to undergo exponential growth in the coming decade. In order to monitor and manage the airspace, Uncrewed Traffic Management (... Read More about Trustworthy Airspaces of the Future: Hopes and concerns of experts regarding Uncrewed Traffic Management systems.

Reimagining the Design of Mobile Robotic Telepresence: Reflections from a Hybrid Design Workshop
Presentation / Conference Contribution
Reyes-Cruz, G., Martinez Avila, J., Schneiders, E., & Boudouraki, A. (2024, September). Reimagining the Design of Mobile Robotic Telepresence: Reflections from a Hybrid Design Workshop. Presented at TAS '24: Second International Symposium on Trustworthy Autonomous Systems, Austin, Texas, USA

Mobile robotic telepresence systems have been around for more than a decade, promising to improve on traditional video conferencing by enabling remote movement, and more recently, providing autonomous features for navigation, yet their use in the rea... Read More about Reimagining the Design of Mobile Robotic Telepresence: Reflections from a Hybrid Design Workshop.

Technology for Environmental Policy: Exploring Perceptions, Values, and Trust in a Citizen Carbon Budget App
Presentation / Conference Contribution
Dowthwaite, L., Reyes-Cruz, G., Lu, Y., Lisinska, J., Craigon, P., Piskopani, A.-M., Shafipour, E., Stein, S., & Fischer, J. (2024, September). Technology for Environmental Policy: Exploring Perceptions, Values, and Trust in a Citizen Carbon Budget App. Presented at TAS '24: Second International Symposium on Trustworthy Autonomous Systems, Austin, Texas, USA

Personal Carbon Allowances (PCAs) are a policy idea for reducing individual carbon emissions, originally proposed in the UK in the 1990s, but promptly discarded due to concerns about low public acceptability and technological limitations. Decades lat... Read More about Technology for Environmental Policy: Exploring Perceptions, Values, and Trust in a Citizen Carbon Budget App.

Design and Evaluation of a Tool to assist Small-Medium Organisations (SMOs) to implement Automated Decision-Making (ADM).
Presentation / Conference Contribution
Baguley, K., Fischer, J., & Hyde, R. (2024, September). Design and Evaluation of a Tool to assist Small-Medium Organisations (SMOs) to implement Automated Decision-Making (ADM). Presented at Second International Symposium on Trustworthy Autonomous Systems, Austin, Texas

We present a new prototype tool intended to enable SMOs without specialist expertise in the area to implement Automated Decision-Making (ADM) with confidence. We report on the design and (briefly) evaluation of the tool, demonstrating the potential u... Read More about Design and Evaluation of a Tool to assist Small-Medium Organisations (SMOs) to implement Automated Decision-Making (ADM)..

Designing Prosocial More-Than-Human Rhetoric within Experiential Futures
Presentation / Conference Contribution
Coulton, P., Stead, M., Pilling, M., Crabtree, A., Chamberlain, A., & Sailaja, N. (2024, October). Designing Prosocial More-Than-Human Rhetoric within Experiential Futures. Presented at Mindtrek 2024, Tampere, Finland

While prosocial behaviour is often described as behaviour intended to help and benefit others, it is primarily considered through an anthropocentric lens in that the others in question are principally humans. In this research, we consider designed sy... Read More about Designing Prosocial More-Than-Human Rhetoric within Experiential Futures.

A Tool for Generating and Labelling Domain Randomised Synthetic Images for Object Recognition in Manufacturing
Presentation / Conference Contribution
Martínez-Arellano, G., & Buck, M. G. (2024, October). A Tool for Generating and Labelling Domain Randomised Synthetic Images for Object Recognition in Manufacturing. Paper presented at ESAIM 2024 – 2nd European Symposium on Artificial Intelligence in Manufacturing, Athens. Greece

Reconfigurable manufacturing systems are becoming the only viable option to respond to changing product volumes and product specification , which are currently major challenges for the manufacturing industry. Part of this adaptation requires vision s... Read More about A Tool for Generating and Labelling Domain Randomised Synthetic Images for Object Recognition in Manufacturing.

Analysis of conducted EMI for dual active bridge DC-DC converter in an electric traction application
Presentation / Conference Contribution
Adhena, H. H., Watson, A. J., Greedy, S., Moonen, N., & Leferink, F. (2024, June). Analysis of conducted EMI for dual active bridge DC-DC converter in an electric traction application. Presented at 13th International Conference on Power Electronics, Machines and Drives (PEMD 2024), Nottingham, UK

Dual active bridge (DAB) converters are commonly used in power conversion applications with switching devices that operate at high frequencies and high switching speeds. There can be current ringing (oscillation) both in the collector of the switchin... Read More about Analysis of conducted EMI for dual active bridge DC-DC converter in an electric traction application.

Matrix converter based compensator for unbalance mitigation in traction system
Presentation / Conference Contribution
Kurati, J. S., Mir, T. N., Wheeler, P. W., & Rivera, M. (2024, June). Matrix converter based compensator for unbalance mitigation in traction system. Presented at 13th International Conference on Power Electronics, Machines and Drives (PEMD 2024), Nottingham. UK

Modern AC Electric trains are designed as single-phase loads and are operated on the three-phase utility grid which causes load asymmetry and leads to unbalanced current flow in the three-phase grid. Several traction unbalance compensators have been... Read More about Matrix converter based compensator for unbalance mitigation in traction system.

Numerical Study on Thermal Storage-Discharge Process of Envelopes in Building Heating Systems With Different Terminals
Presentation / Conference Contribution
Xu, B., Zhang, H., Dou, Y., Zheng, X., & Yan, Y. (2024, August). Numerical Study on Thermal Storage-Discharge Process of Envelopes in Building Heating Systems With Different Terminals. Presented at ASME 2024 7th International Conference on Micro/Nanoscale Heat and Mass Transfer, Nottingham, UK

Building clusters and district heating systems have large thermal inertia, which can serve as thermal storage units and regard as important flexible resource. In this study, an integrated spatial discrete model for simulating the thermal performance... Read More about Numerical Study on Thermal Storage-Discharge Process of Envelopes in Building Heating Systems With Different Terminals.

A New Model for Capillary Imbibition With Asymmetric Wettability Walls
Presentation / Conference Contribution
Zhu, C., Yan, Y., & Alston, M. (2024, August). A New Model for Capillary Imbibition With Asymmetric Wettability Walls. Presented at ASME 2024 7th International Conference on Micro/Nanoscale Heat and Mass Transfer, Nottingham, UK

The imbibition dynamics is controlled by energy dissipation mechanisms and influenced by asymmetric wettability in a nanochannel. This work proposes a new theoretical model for capillary imbibition while the imbibition dynamics are described by a com... Read More about A New Model for Capillary Imbibition With Asymmetric Wettability Walls.

An Interdependence Frame for (Semi) Autonomous Robots: The Case of Mobile Robotic Telepresence
Presentation / Conference Contribution
Boudouraki, A., & Reyes-Cruz, G. (2024, September). An Interdependence Frame for (Semi) Autonomous Robots: The Case of Mobile Robotic Telepresence. Presented at TAS '24: Second International Symposium on Trustworthy Autonomous Systems, Austin, Texas, USA

Technological advancements often promise to alleviate our reliance on one another through automating assistance. One such example is Mobile Robotic telePresence (MRP), which gives users the ability to move independently, whilst having a video call, b... Read More about An Interdependence Frame for (Semi) Autonomous Robots: The Case of Mobile Robotic Telepresence.

Comonadic semantics for guarded fragments
Presentation / Conference Contribution
Abramsky, S., & Marsden, D. (2021, June). Comonadic semantics for guarded fragments. Presented at 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Rome, Italy

In previous work ([1], [2], [3]), it has been shown how a range of model comparison games which play a central role in finite model theory, including Ehrenfeucht-Fraïssé, pebbling, and bisimulation games, can be captured in terms of resource-indexed... Read More about Comonadic semantics for guarded fragments.

Synthetic cerebral blood vessel generator for training anatomically plausible deep learning models
Presentation / Conference Contribution
Kenyon, G., Lau, S., Perperidis, A., CHAPPELL, M., & Jenkinson, M. (2024, July). Synthetic cerebral blood vessel generator for training anatomically plausible deep learning models. Presented at MIUA - Medical Image Understanding and Analysis - 2024, Manchester

Blood vessel networks, with their complex geometrical and topological characteristics, play a significant role in diagnosing and understanding various cerebrovascular diseases. Deep learning (DL) segmentation methods can aid in analysing these struct... Read More about Synthetic cerebral blood vessel generator for training anatomically plausible deep learning models.

All-Inorganic Electrical Insulation Systems for High-Power Density Electrical Machines
Presentation / Conference Contribution
Kudrynskyi, Z., Connor, P. H., Cooper, T. P., Wadge, M. D., Kerfoot, J., Zheng, X., Felfel, R., Korolkov, V., Kubal, M., Gerada, C., & Grant, D. M. (2024, June). All-Inorganic Electrical Insulation Systems for High-Power Density Electrical Machines. Presented at 2024 IEEE 5th International Conference on Dielectrics (ICD), Toulouse, France

This paper introduces the concept of ‘All-Inorganic Electrical Insulation (EI) System’ to enable the next generation of high-power-density electrical machines (EMs) that can operate at extreme conditions, namely high voltages (V) up to 1 kV DC and hi... Read More about All-Inorganic Electrical Insulation Systems for High-Power Density Electrical Machines.

Designing Outside of the Classroom: Branding Design for Thai Traditional Pottery
Presentation / Conference Contribution
Tiwasing, W., Ames, B., & Tiwasing, P. (2022, January). Designing Outside of the Classroom: Branding Design for Thai Traditional Pottery. Presented at The IAFOR International Conference on Education, Honolulu, Hawaii (online)

This research aims to develop branding for pottery products in Maha Sarakham, Thailand and to generate the collaboration between the local community and university. Ban Mo village, which is the community dedicated to pottery making, is used as the ca... Read More about Designing Outside of the Classroom: Branding Design for Thai Traditional Pottery.

Evaluating approximate and rigorous scattering models in virtual coherence scanning interferometry for improved surface topography measurement
Presentation / Conference Contribution
Hooshmand, H., Isa, M. A., Nikolaev, N., Piano, S., & Leach, R. (2024, August). Evaluating approximate and rigorous scattering models in virtual coherence scanning interferometry for improved surface topography measurement. Presented at Optical Manufacturing and Testing 2024, San Diego, USA

In optical metrology, the growing demand for accurate measurement technologies is driven by the increasing applications of three-dimensional (3D) microscopy and imaging. The advancement of these technologies relies on the modelling of the measurement... Read More about Evaluating approximate and rigorous scattering models in virtual coherence scanning interferometry for improved surface topography measurement.

Learning about Data, Algorithms, and Algorithmic Justice on TikTok in Personally Meaningful Ways
Presentation / Conference Contribution
Morales-Navarro, L., Kafai, Y. B., Nguyen, H., DesPortes, K., Vacca, R., Matuk, C., Silander, M., Amato, A., Woods, P., Castro, F., Shaw, M., Akgun, S., Greenhow, C., & Garcia, A. (2024, June). Learning about Data, Algorithms, and Algorithmic Justice on TikTok in Personally Meaningful Ways. Presented at ISLS Annual Meeting 2024, Buffalo, NY

TikTok, a popular short video sharing application, emerged as the dominant social media platform for young people, with a pronounced influence on how young women and people of color interact online. The application has become a global space for youth... Read More about Learning about Data, Algorithms, and Algorithmic Justice on TikTok in Personally Meaningful Ways.

Design Strategies for Scalable and Modular Aerospace Electrical Machines
Presentation / Conference Contribution
Darmani, M. A., Murataliyev, M., Gerada, D., & Gerada, C. (2024, September). Design Strategies for Scalable and Modular Aerospace Electrical Machines. Presented at 2024 International Conference on Electrical Machines (ICEM), Torino, Italy

In his study, innovative design approaches for scalable and modular inverter-fed electrical machines, tailored for aerospace applications, are explored with the primary goal of achieving unparalleled power density within powertrain systems. Three dis... Read More about Design Strategies for Scalable and Modular Aerospace Electrical Machines.

Electrostatic Nonlinear Trimming of Ring-Based MEMS Coriolis Vibrating Gyroscopes
Presentation / Conference Contribution
Arifin, D. J., & Mcwilliam, S. (2022, July). Electrostatic Nonlinear Trimming of Ring-Based MEMS Coriolis Vibrating Gyroscopes. Presented at 10th European Nonlinear Dynamics Conference (ENOC 2022), Lyon, France

The effects of electrostatic nonlinearity on rate measuring performance of a capacitive MEMS Coriolis Vibrating Gyroscope (CVG) with an imperfect sensing element are investigated. The electrostatic nonlinearity is a result of large amplitude vibratio... Read More about Electrostatic Nonlinear Trimming of Ring-Based MEMS Coriolis Vibrating Gyroscopes.

Parameterised Resource-Bounded ATL
Presentation / Conference Contribution
Alechina, N., Demri, S., & Logan, B. (2020, February). Parameterised Resource-Bounded ATL. Presented at Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), New York, NY, USA

It is often advantageous to be able to extract resource requirements in resource logics of strategic ability, rather than to verify whether a fixed resource requirement is sufficient for achieving a goal. We study Parameterised Resource-Bounded Alter... Read More about Parameterised Resource-Bounded ATL.