|
JFM6593
|
‘Through their eyes’: Sexual Assault Frontline Practitioner Virtual Reality (VR) Training.
|
The project aims to engage with diverse stakeholde... |
Fernando Maestre Avila
|
|
HGE4230
|
An AI Tool for Explainable AI
|
Swansea University has introduced ExMed, a powerfu... |
Hassan Eshkiki
|
|
FC7019
|
Analysing Cardiomyocyte Dynamic Network with Machine Learning
|
This project introduces a novel approach to mappin... |
Fabio Caraffini
|
|
MT6339
|
Analysing the Java Code of SwissPost
|
Switzerland uses electronic voting [1] to record t... |
Mukesh Tiwari
|
|
JFM6592
|
Assets-based e-Support for Armed Forces Veterans
|
Most mHealth apps for Armed Forces Veterans (AFV)... |
Fernando Maestre Avila
|
|
BM7048
|
Determining (abnormal) patterns in blood sample and Genetic datasets
|
We are looking for highly motivated research stude... |
Benjamin Mora
|
|
HGE5415
|
Enhancing Cell Segmentation in human cellular Using Weak Learning Techniques
|
This project aims to develop and apply weak learni... |
Hassan Eshkiki
|
|
RMB7052
|
Exploring Cardio-respiratory data obtained from Physical Exercise in patients with type 1 diabetes
|
Project Summary
Low cardiorespiratory fitness (CR... |
Richard Bracken
|
|
MT6330
|
Formally Verified Bulletproof in Coq, Lean, or Dafny
|
Bulletproof [1, 2] is a zero-knowledge proof that... |
Mukesh Tiwari
|
|
MT6329
|
Formally Verified Elliptic Curve Cryptography Curve25519 in Dafny, Coq, or Lean
|
Curve25519 is a very popular elliptic curve for pu... |
Mukesh Tiwari
|
|
MT6327
|
Formally Verified Instant-runoff Voting in Coq, Lean, or Dafny
|
Instant-runoff voting (IRV) is used around the wor... |
Mukesh Tiwari
|
|
MT6461
|
Formally verified Pasta curves (Pallas and Vesta) in Coq, Lean, or Dafny
|
Pasta curve is extensively used in Zk-SNARK, speci... |
Mukesh Tiwari
|
|
MT6328
|
Formally Verified Single Transferable Vote in Coq, Lean, or Dafny
|
Single Transferable Voting (STV) [1, 3] is used ar... |
Mukesh Tiwari
|
|
DNC4060
|
Intelligent Harvesting: Deploying AI-Driven Robotic Systems for Advanced Product Recognition and Manipulation in Agriculture
|
This project focuses on revolutionizing the agricu... |
Daniele Cafolla
|
|
MJR7034
|
Investigating the effect of multiple agents on combined decisions
|
This project will explore how the process of combi... |
Matt Roach
|
|
MJR7033
|
Investigating Trust and Reliance Dynamics in AI-Human Collaborative Decision-Making Systems
|
This project aims to explore the factors influenci... |
Matt Roach
|
|
MT5454
|
Mix-network for voting
|
Mix-networks are widely used in electronic voting... |
Mukesh Tiwari
|
|
7053
|
Modeling Neurovascular Coupling in the Human Brain
|
This project aims to develop a computational model... |
Alberto Coccarelli
|
|
7027
|
Multi-Objective Optimisation of aerofoils using DNN driven CFD and evolutionary algorithms
|
This project will involve developing a suite of in... |
Ben Evans
|
|
WGD7059
|
Optimisation and Neural Network Training on GPUs
|
In recent years, computational optimisation and ma... |
Wulf Dettmer
|
|
WGD7058
|
Optimisation of Dynamic Fluid-Structure Interaction Systems
|
Dynamic fluid-structure interaction is fundamental... |
Wulf Dettmer
|
|
7023
|
Prediction of Temporal Patterns in Keyword Searches — Phenotyping Human Behaviour from Search Engine Usage with Recurrent Neural Networks
|
Web users worldwide rely on search engines daily,... |
Frederic Boy
|
|
HGE7047
|
Serious Game Design
|
Serious games are designed for purposes beyond mer... |
Hassan Eshkiki
|
|
JFM5507
|
Technology-mediated Disclosure
|
This project will consist of deveoping and deployi... |
Fernando Maestre Avila
|
|
7029
|
Tracking and predicting storms using AI and Remote sensing
|
Extreme storms are a major cause of many catastrop... |
Yunqing Xuan
|