|
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
|
|
AW952
|
Natural Language Processing of Legal Texts
|
A range of text analytic approaches can be applied... |
Adam Wyner
|
|
AW7071
|
Neuro-symbolic Law: Large Language Models and Rules-based Reasoning
|
There is significant current interest in hybrid ap... |
Adam Wyner
|
|
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
|
|
XGC4728
|
Optimization
|
Linear programming, Genetic algorithm, multi-objec... |
xiaochun Cheng
|
|
XGC4727
|
Pattern recognition
|
Machine learning, classification, clustering, pred... |
xiaochun Cheng
|
|
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
|
|
AGS65
|
Verified Applications for Prescribing Medication in Healthcare
|
This project is based on a sequence of articles wr... |
Anton Setzer
|
|
AGS64
|
Verifying User Interfaces using SPARK Ada
|
The programming language SPARK Ada (https://en.wik... |
Anton Setzer
|
|
AW7371
|
WebAssembly and Prolog for Reasoning-based Interaction
|
In this project, the student develops web applicat... |
Adam Wyner
|
|
AGS7382
|
Zero Knowledge Proofs in Cryptocurrencies
|
In blockchain systems, all data is public. Althoug... |
Anton Setzer
|