Scheduling surgeries in a hospital

Problem description The surgical centre is one of the most valuable departments in a hospital, as it involves staff with different roles, several types of equipment and resources (e.g., specialised material and drugs). The cost to maintain required staff and resources is very high, and it is hence essential to schedule surgeries efficiently to avoid […]

Continue reading

VMAT Treatment Plan Deliverability

Objective Volumetric Modulated Arc Therapy (VMAT) is a recent radiation therapy technique that delivers the calculated required radiation dose continuously as the treatment machine rotates. The advantage of this technique is that it more accurately shapes the radiation dose to the tumour and hence minimises the dose given to the organs surrounding the tumour avoiding damage […]

Continue reading

Automated Plan Checking

Objective For a given radiotherapy treatment plan type (e.g. prostate, breast, head & neck, etc), explore the use of an ‘unsupervised’ AI training process to determine the properties of a correct treatment plan. Once trained, the system can determine whether a new treatment plan, which it has not previously seen, looks correct and, perhaps give […]

Continue reading

Reasoning with Cancer Automata

Cancer Hybrid Automata (CHA) have been introduced in [1] to formally model the progression of cancers through discrete phenotypes. This project investigates the theoretical foundations of this model in detail, including how the approach can be used to model cancer progression, and how compositionality can be defined when different models are used to capture different […]

Continue reading

Medications at what cost?

Timed Automata (TA), first introduced by Alur and Dill [1], is now a standard modeling formalism for describing the behaviour of real-time systems. Several mature automated model checking tools exist (e.g. Kronos, Uppaal) and have been applied to the quantitative analysis of numerous industrial case-studies. Priced Timed Automata (PricedTA) [2] extend timed automata with further […]

Continue reading

Improving the prediction of cancer outcomes

Genes control how our cells work by making proteins that have specific functions and act as messengers for the cell. Each gene must have the correct instructions for making its protein. This protein will then be able perform the correct function for the cell. All cancers begin when one or more genes in a cell […]

Continue reading

Mapping Clinical Texts to Formal Representations

Clinical texts are often written in free narrative text, ungrammatical, concise phrases with limited context, and heavily exploit acronyms and abbreviations. These factors introduce ambiguity and hide information that can be useful or even critical. This project explores the process of automatically mapping  clinical texts into formal representations. As a case study, we use examples […]

Continue reading

Medication Checker

In the UK, the National Institute for Health and Care Excellence (NICE) publishes guidelines for the treatment of many diseases including common chronic conditions (diabetes, cancer, cardiovascular diseases, chronic respiratory diseases, etc), as well as guidelines for health protection and lifestyle recommendations. One of the problems for patients with multimorbidity (two or more chronic conditions) […]

Continue reading

Automatic interaction analysis of computer-interpretable clinical guidelines

In healthcare management and practice, as in other domains, clinical and medical procedures are streamlined by adopting standardised guidelines. In particular, treatments for common chronic conditions have been subject to various clinical trials, and the outcomes documented in clinical pathways or guidelines (CGs) specifying accepted treatment steps, possible alternatives, and recommendations to follow. In Scotland, […]

Continue reading

Using Constraint Solvers for Model Composition

As modern systems become more complex, design approaches model different aspects of a system separately to gain a better understanding of individual component structure and behaviour. It is widely recognised that modelling the complete behaviour of a component is difficult, and instead we model several possible scenarios of execution separately. Scenarios give a partial behaviour […]

Continue reading