Imperial College London

An Inverse Design Workflow for Solvent Mixtures Based on Hansen Solubility Parameters

Abstract We present SolvPred, an open-source Python framework for inverse design of solvent mixtures based on Hansen solubility parameters (HSPs). SolvPred allows users to control the composition of solvent mixtures while setting essential experimental constraints. As a case stud...

Spike antibody Fc is associated with protection from SARS-CoV-2 challenge in macaques

A definitive correlate of protection (CoP) for SARS-CoV-2 has yet to be formally established. We previously reported that neutralising antibodies (NAbs) are the strongest candidate CoP for clinical protection against COVID-19 and that spike binding antibody is the strongest candi...

Factors associated with loneliness and social capital in a large volunteer sample of adults in England

Abstract Background Loneliness is a pressing public health concern with wide-ranging impacts on mental, physical and social wellbeing. Building on the Measuring Loneliness in England (INTERACT) Study which represents one of the largest volunteer-based studies of loneliness and so...

Toward the Use of Real‐World Data for Regulatory and HTA Decision‐Making: Experiences and Recommendations from Six EU ‐Funded Projects

Real-world data are increasingly important for regulatory and health technology assessment decision-making, yet their effective use across Europe remains limited by technical, methodological, regulatory, and societal challenges. Drawing on the experiences of six Horizon Europe pr...

A multimodal manual therapy, exercise, and psychological intervention for painful diabetic neuropathy: the NeuOst feasibility randomised controlled trial.

Introduction: People with painful diabetic neuropathy lack effective and tolerable treatments. Physical and psychological interventions may help but require further study and combination to maximise effects. Objectives: This single-site, 3-arm, parallel, randomised feasibility tr...

Interactions of land use and climate change disproportionately impact Lepidoptera of the five major insect orders

Abstract Land use and climate change are two major environmental pressures that interact to impact insect biodiversity. The wide ecological diversity, including life histories, among insects suggests that some groups will be more sensitive to these pressures than others, and it i...

Consensus-based clinical and research recommendations for use of glucagon-like peptide-1 receptor agonists in the context of eating disorders: a modified Delphi study.

Glucagon-like peptide-1 receptor agonists (GLP-1RAs), initially developed for type 2 diabetes management and later expanded to obesity treatment, have shown preliminary efficacy in reducing binge eating episodes. However, the appetite-suppressing and weight-loss effects of GLP-1R...

Synthesis of nanostructured ZnS and composition tuneable ZnmIn2S3+m photoanodes by sequential electrodeposition and vapour sulphurisation

Immobilised metal sulphide photoelectrodes with controlled morphology and composition are attractive for photoelectrochemical applications, but their reproducible synthesis remains challenging. In this work, metal sulphide photoelectrodes were prepared on FTO using sequential ele...

Examples of real stable bundles on K3 surfaces

Abstract Motivated by gauge theory on manifolds with exceptional holonomy, we construct examples of stable bundles on K3 surfaces that are invariant under two involutions: one is holomorphic; and the other is anti-holomorphic. These bundles are obtained via the monad construction...

Evidence-based atlas of risk and protective factors for psychotic disorders: an umbrella review to inform personalized prognosis and prevention.

Identifying updated, evidence-based risk and protective factors for psychotic disorders is essential to advancing scientific and clinical knowledge of their etiology. Since the most recent umbrella review published in this journal, the evidence base has expanded substantially. Fo...

Seeing Is Coding: On the Effectiveness of Vision Language Models in Code Understanding

Large Language Models (LLMs) have achieved remarkable success in source code understanding, yet as software systems grow in scale, computational efficiency has become a critical bottleneck. Currently, these models rely on a text-based paradigm that treats source code as a linear...

Repair-Driven Greybox Fuzzing

We present repair-driven greybox fuzzing, a new approach to greybox fuzzing that combines the strengths of unstructured, byte-level input mutation and grammar-guided input generation. By increasing input diversity while preserving input validity, repair-driven fuzzing promises to...

Relaxation via separable estimators: arithmetic and implementation

Abstract This article presents an arithmetic, called superposition relaxation, for bracketing the graph of a multivariate factorable function on a compact domain between a pair of underestimating and overestimating functions that are both separable. Propagation rules are establis...

Modulated deuteron spectra observed with the magnetic recoil neutron spectrometer at the National Ignition Facility

The Magnetic Recoil Spectrometer (MRS) at the National Ignition Facility is used to measure the neutron spectrum from deuterium–tritium-fuelled inertial confinement fusion implosions via neutron–deuteron elastic scattering and magnetic dispersion of recoil deuterons. From the MRS...

Fluid–structure interaction dynamics of cervical lymphatic vessel pumping and valvular function

A substantial portion of cerebrospinal fluid (CSF) drains through cervical lymphatic vessels (CLVs), a pathway mediated by basal and dorsal meningeal lymphatics. Impaired drainage along this route has been implicated in ageing, Alzheimer's disease and traumatic brain injury. Desp...

Atomic Cross-L2 Transactions: Coordination Theory and Interlock Protocol

As Layer 2 rollups proliferate to address Ethereum's scaling challenges, enabling atomic transactions across independent rollups has become critical for cross-chain composability. This work extends the Interlock protocol, which coordinates atomic cross-rollup transactions through...

Rectifying market externalities via AI policymaking

Abstract Traditional competitive markets do not account for negative externalities; indirect costs that some participants impose on others, such as the cost of over-appropriating a common-pool resource (which diminishes future stock, and thus harvest, for everyone). Quantifying a...

Prediction of acute mountain sickness occurring at 4554 m using overnight pulse oximetry from lower altitude: A pilot study

Abstract Acute mountain sickness (AMS) affects many individuals ascending to high altitude annually, carrying potential morbidity and mortality risks (e.g., high‐altitude cerebral oedema). The objective of this pilot study was to record overnight pulse oximetry during ascent to 4...

The theoretical basis of reservoir pressure in arteries

The separation of measured arterial pressure into a reservoir pressure and an excess pressure was introduced over 20 years ago as a heuristic hypothesis. Since then it has gained some traction through epidemiological studies that show that various measures of reservoir and excess...

Spatio-temporal optimisation of hydrogen supply chains in the United Kingdom: An RTN-based assessment of infrastructure, cost, and deployment pathways

This study presents a comprehensive spatio-temporal optimisation framework for the design of a hydrogen supply chain in the United Kingdom, integrating production, transport, storage, and end-use allocation within a unified Resource–Task Network (RTN) formulation. The model captu...