A5101528477- Chronic Obstructive Pulmonary Disease (COPD) Research
- Formal Methods in Verification
- Software Reliability and Analysis Research
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Respiratory Support and Mechanisms
- Safety Systems Engineering in Autonomy
- Respiratory and Cough-Related Research
- Cloud Data Security Solutions
- Transportation Systems and Safety
- Asthma and respiratory diseases
- Software-Defined Networks and 5G
- Reliability and Maintenance Optimization
- Information and Cyber Security
- Software Testing and Debugging Techniques
- Inflammation biomarkers and pathways
- Health Promotion and Cardiovascular Prevention
- Advanced Software Engineering Methodologies
- IoT and Edge/Fog Computing
- IL-33, ST2, and ILC Pathways
- Interstitial Lung Diseases and Idiopathic Pulmonary Fibrosis
- Scientific Computing and Data Management
- Nursing Diagnosis and Documentation
- Advanced Malware Detection Techniques
- Cancer, Stress, Anesthesia, and Immune Response
University of Southampton
2011-2024
University Hospital Southampton NHS Foundation Trust
2015-2023
Southampton General Hospital
2023
5G technologies will change the business landscape for mobile network operation. The use of virtualization through SDN, NFV and Cloud computing offer significant savings CAPEX OPEX, but they also allow new stakeholders to rent infrastructure capacity operate networks, including specialized networks supporting so-called vertical applications serving specific sectors. In resulting diverse stakeholder communities, old trust assumptions between operators no longer apply. There is a pressing need...
We present an approach for ensuring safety properties of autonomous systems. Our contribution is a system architecture where policing function validating at runtime separated from the system's intelligent planning function. The developed formally by correct-by-construction method. separation concerns enables possibility replacing and adapting without changing validation approach. validate our on example multi-UAV managing route generation. prototype validator has been integrated evaluated...
<h3>Background</h3> Virtual wards enable remote monitoring of patients with respiratory symptoms through digital technology. We assessed whether children and young people (CYP) admitted to hospitals paediatric virtual had lower readmissions compared CYP at without wards. <h3>Methods</h3> Data from the 2022–23 asthma secondary care National Respiratory Audit Programme (NRAP) were used NRAP is a continuous national audit in across England Wales. Submitted hospital level data on emergency...
<h3></h3> Establishing how best to target resources remains a challenge within COPD as this is heterogeneous patient group with complex needs often poorly reflected by routinely collected clinical measurements such FEV<sub>1</sub>. Jones <i>et al</i>. created The DOSE score (dyspnoea (MRC score), obstruction (FEV<sub>1</sub> percentage predicted), smoking status and exacerbation number in year) (Table 1) validated, clinically useful measure of risk stratification which utilises data already...
<h3>Background</h3> Acute exacerbations of chronic obstructive pulmonary disease (AECOPD) are characterised by an acute worsening symptoms beyond the normal day-to-day variability. Pneumonic episodes, confirmed new chest X-ray (CXR) infiltrates, common in patients with COPD but difficult to distinguish primary care from non-pneumonic exacerbations. It is uncertain whether AECOPD and pneumonic episodes distinct clinical events terms aetiology and/or response oral therapy. We performed a...
In a previous paper we introduced internal models for coalgebraic modal logics and showed how they characterise expressivity bismulation. Here extend this work by enriching over preordered sets, in so doing derive characterisation that subsumes both bisimulation simulation.
<h3>Introduction</h3> Acute exacerbations of COPD have a major impact on patients’ health related quality life (HRQoL), and the utilisation care resources. Current guidelines recommend oral corticosteroids and/or antibiotics for treatment acute based symptoms. With increasing bacterial resistance to rising costs treatment, further research into diagnostic tools aid management in its stable exacerbating states is required. Sputum colour (SC) an accessible marker underlying bronchial...
<h3>Introduction</h3> COPD continues to cause a substantial symptom, mortality and financial burden in the UK. Current treatment strategies are predominantly reactive as insufficient evidence exists successfully target clinical resource into pre-emptive ‘early interventions’. The DOSE (dyspnoea, obstruction, smoking status exacerbation) score has been validated risk predictor for mortality, hospitalisation poorer health status. However, only small proportion of patients with poor outcomes...
<h3></h3> COPD is a disease of global importance and its primary cause airway inflammation as consequence cigarette smoking well described. However, there remains lack ofeffective therapies for this important condition. Animal models are limited in their predictive utility therefore creation complex, human modelis an step testing new therapeutic interventions. We established tissue model oxidative inflammatory responses to relevant triggers—cigarette smoke LPS determined the impact...