With the rapid proliferation and adoption of social media among healthcare professionals and organizations, social media-based HIV/AIDS intervention programs have become increasingly popular. However, the question of the effectiveness of the HIV/AIDS messages disseminated via social media has received scant attention in the literature. The current study applies content analysis to examine the relationship between Facebook messaging strategies employed by 110 HIV/AIDS nonprofit organizations and audience reactions in the form of liking, commenting, and sharing behavior. The results reveal that HIV/AIDS nonprofit organizations often use informational messages as one-way communication with their audience instead of dialogic interactions. Some specific types of messages, such as medication-focused messages, engender better audience engagement, in contrast, event-related messages and call-to-action messages appear to translate into lower corresponding audience reactions. The findings provide guidance to HIV/AIDS organizations in developing effective social media communication strategies.
In this article I compare two interpretations of quantum mechanics (QM) that draw inspiration from phenomenology: the London-Bauer-French interpretation (hereafter LBF) as articulated by Steven French, and QBism. I give special attention to certain disagreements between QBism and LBF identified French's work, as well as French's related claims that QBism may be at odds with key ideas in phenomenology. My main finding is that QBism does not fare so badly with phenomenology as French makes out; in particular it can be made compatible with Zahavi's correlationism and Husserl's notion of intersubjectivity, both of which strongly inform LBF. Nevertheless, I concur with French's argument that QBism is incompatible with the conception of quantum measurement in LBF, hence also with that of Merleau-Ponty, as the latter based his own analysis on that of London and Bauer. I explain why I find QBism's account preferable in this case.
Human Immunodeficiency Virus (HIV) has posed a major global health challenge for decades, and forecasting HIV diagnoses continues to be a critical area of research. However, capturing the complex spatial and temporal dependencies of HIV transmission remains challenging. Conventional Message Passing Neural Network (MPNN) models rely on a fixed binary adjacency matrix that only encodes geographic adjacency, which is unable to represent interactions between non-contiguous counties. Our study proposes a deep learning architecture Mobility-Aware Transformer-Message Passing Neural Network (MAT-MPNN) framework to predict county-level HIV diagnosis rates across California, Florida, and the New England region. The model combines temporal features extracted by a Transformer encoder with spatial relationships captured through a Mobility Graph Generator (MGG). The MGG improves conventional adjacency matrices by combining geographic and demographic information. Compared with the best-performing hybrid baseline, the Transformer MPNN model, MAT-MPNN reduced the Mean Squared Prediction Error (MSPE) by 27.9% in Florida, 39.1% in California, and 12.5% in New England, and improved the Predictive Mode
We propose a new method of determining regional and city boundaries based on the Valeriepieris circle, the smallest circle containing a given fraction of the data. By varying the fraction in the circle we can map complex spatial data to a simple model of concentric rings which we then fit to determine natural density cutoffs. We apply this method to population, occupation, economic and transport data from England and Wales, finding that the regions determined by this method affirm well known social facts such as the disproportionate wealth of London or the relative isolation of the North East and South West of England. We then show how different data sets give us different views of the same cities, providing insight into their development and dynamics.
With rising demand for emergency services, the London Ambulance Service, LAS, and the London Fire Brigade, LFB, face growing challenges in resource coordination. This study investigates the temporal and spatial similarities in their service demands to assess potential for routine cross-agency collaboration. Time series analysis revealed aligned demand peaks in summer, on Fridays, during daytime hours, and were highly sensitive to high temperature weather conditions. Bivariate mapping and Moran I indicated significant spatial overlaps in central London and Hillingdon. Geographically Weighted Regression, GWR, examined the influence of socioeconomic factors, while Comap analysis uncovered spatiotemporal heterogeneity across fire service types. The findings highlight opportunities for targeted collaboration in high-overlap areas and peak periods, offering practical insights to enhance emergency service resilience and efficiency.
It is generally accepted that the most fundamental property of a superconductor is that it exhibits the Meissner effect. Of similar importance is the Becker-London effect, i.e. generation of magnetic field inside a rotating superconductor. Hirsch has recently pointed out that, within the conventional theory of superconductivity, the question about how these effects are generated dynamically has not even been asked yet. Here we fill in this gap in the literature by a detailed study of the evolution of the electromagnetic field for both of these effects. To this end, we solve the Maxwell equations supplemented by the simplest conventional constitutive equation for a superconductor, namely the London equation. We demonstrate that, contrary to the expectations of Hirsch, the conventional theory does correctly describe the dynamics of both, the Meissner and the Becker-London effect. We find that the dynamics of the studied processes is quite rich and interesting even at this level of description.
The probability-scale residual (PSR) is well defined across a wide variety of variable types and models, making it useful for studies of HIV/AIDS. In this manuscript, we highlight some of the properties of the PSR and illustrate its application with HIV data. As a residual, it can be useful for model diagnostics; we demonstrate its use with ordered categorical data and semiparametric transformation models. The PSR can also be used to construct tests of residual correlation. In fact, partial Spearman's rank correlation between $X$ and $Y$ while adjusting for covariates $Z$ can be constructed as the correlation between PSRs from models of $Y$ on $Z$ and of $X$ on $Z$. The covariance of PSRs is also useful in some settings. We apply these methods to a variety of HIV datasets including 1) a study examining risk factors for more severe forms of cervical lesions among 145 women living with HIV in Zambia, 2) a study investigating the association between 21 metabolomic biomarkers among 70 HIV-positive patients in the southeastern United States, and 3) a genome wide association study investigating the association between single nucleotide polymorphisms and tenofovir clearance among 501 HIV-
In England, it is anecdotally remarked that the number of Greggs bakeries to be found in a town is a reliable measure of the area's 'Northern-ness'. Conversely, a commercial competitor to Greggs in the baked goods and sandwiches market, Pret-a-Manger, is reputed to be popular in more 'southern' areas of England. Using a Support Vector Machine and an Artificial Neural Network (ANN) Regression Model, the relative geographical distributions of Greggs and Pret have been utilised for the first time to quantify the North-South divide in England. The calculated dividing lines were each compared to another line, based on Gross Domestic Household Income (GDHI). The lines match remarkably well, and we conclude that this is likely because much of England's wealth is concentrated in London, as are most of England's Pret-a-Manger shops. Further studies were conducted based on the relative geographical distributions of popular supermarkets Morrisons and Waitrose, which are also considered to have a North-South association. This analysis yields different results. For all metrics, the North-South dividing line passes close to the M1 Watford Gap services. As a common British idiom, this location is
We propose a new approach to identifying geographical clustering and hotspots of inequality from decadal census data. We use diffusion mapping to study the 181,408 Output Areas in England and Wales, which allows us to decompose the feature structures of countries in the census data space. Additionally, we develop a new localization metric inspired by statistical physics to uncover the importance of minority groups in London. The results of our study can be applied to other census-like data constructions that include spatial localization and differentiation from low degrees of freedom. This new approach can help us better understand the patterns of social deprivation and segregation across the country and aid in the development of policies to address these issues.
This paper builds and extends on the authors' previous work related to the algorithmic tool, Cylindrical Algebraic Decomposition (CAD), and one of its core applications, Real Quantifier Elimination (QE). These topics are at the heart of symbolic computation and were first implemented in computer algebra systems decades ago, but have recently received renewed interest as part of the ongoing development of SMT solvers for non-linear real arithmetic. First, we consider the use of iterated univariate resultants in traditional CAD, and how this leads to inefficiencies, especially in the case of an input with multiple equational constraints. We reproduce the workshop paper [Davenport and England, 2023], adding important clarifications to our suggestions first made there to make use of multivariate resultants in the projection phase of CAD. We then consider an alternative approach to this problem first documented in [McCallum and Brown, 2009] which redefines the actual object under construction, albeit only in the case of two equational constraints. We correct an unhelpful typo and provide a proof missing from that paper. We finish by revising the topic of how to deal with SMT or Real QE
We describe a London Quantum-Secured Metro Network using Quantum Key Distribution between three London nodes together with customer access tails. The commercially- eady solution is fully integrated into the BT network and on-boarded its first customer.
There has been an increasing number of applications of machine learning to the field of Computer Algebra in recent years, including to the prominent sub-field of Symbolic Integration. However, machine learning models require an abundance of data for them to be successful and there exist few benchmarks on the scale required. While methods to generate new data already exist, they are flawed in several ways which may lead to bias in machine learning models trained upon them. In this paper, we describe how to use the Risch Algorithm for symbolic integration to create a dataset of elementary integrable expressions. Further, we show that data generated this way alleviates some of the flaws found in earlier methods.
The increased integration of variable renewable generation into the power systems, along with the phase-out of fossil-based power stations, necessitate procuring more flexibility from the demand sectors. The electrification of the residential heat sector is an option to decarbonise the heat sector in the United Kingdom. The inherent flexibility that is available in the residential heat sector, in the form of the thermal inertia of buildings, is expected to play an important role in supporting the critical task of short-term balancing of electricity supply and demand. This paper proposes a method for characterising the locally aggregated flexibility envelope from the electrified residential heat sector, considering the most influential factors including outdoor and indoor temperature, thermal mass and heat loss of dwellings. Applying the method to England and Wales as a case study, demonstrated a significant potential for a temporary reduction of electricity demand for heating even during cold weather. Total electricity demand reductions of approximately 25 GW to 85 GW were shown to be achievable for the outdoor temperature of 10 degreeC and -5 degreeC, respectively. Improving the e
The COVID-19 pandemic generated a considerable debate in relation to urban density. This is an old debate, originated in mid 19th century's England with the emergence of public health and urban planning disciplines. While popularly linked, evidence suggests that such relationship cannot be generally assumed. Furthermore, urban density has been investigated in a spatially coarse manner (predominantly at city level) and never contextualised with other descriptors of urban form. In this work, we explore COVID-19 and urban form in Greater London, relating a comprehensive set of morphometric descriptors (including built-up density) to COVID-19 deaths and cases, while controlling for socioeconomic, ethnicity, age, and co-morbidity. We describe urban form at individual building level and then aggregate information for official neighbourhoods, allowing for a detailed intra-urban representation. Results show that: i) control variables significantly explain more variance of both COVID-19 cases and deaths than the morphometric descriptors; ii) of what the latter can explain, built-up density is indeed the most associated, though inversely. The typical London neighbourhood with high levels of
The prevalence of dementia is set to explode throughout the 21st century. This trend has already started in developed countries and will continue to place heavy pressures on both public health and social care services across the world. No cure for dementia is likely within the foreseeable future, however, medical research highlights the potential to diminish the risk of dementia onset. Over one-third of dementia cases may be preventable if certain risk factors are addressed at the individual, clinical, and population level. This research further explores these modifiable risk factors and quantifies areal risk through the use of a composite index. The index operates at National Health Service Clinical Commission Group level to assess spatial differences across England. Clear spatial patterns are observed between the north and south of the country, and between London and the remainder of the country. The framework adopted in this research provides a firm foundation upon which similar indices could be produced, potentially at finer spatial resolutions, incorporating more informed local knowledge and data on relevant dementia risk factors.
During the COVID-19 pandemic, several countries have taken the approach of tiered restrictions which has remained a point of debate due to a lack of transparency. Using the dominance-based rough set approach, we identify patterns in the COVID-19 data pertaining to the UK government's tiered restrictions allocation system. These insights from the analysis are translated into "if-then" type rules, which can easily be interpreted by policy makers. The differences in the rules extracted from different geographical areas suggest inconsistencies in the allocations of tiers in these areas. We found that the differences delineated an overall north south divide in England, however, this divide was driven mostly by London. Based on our analysis, we demonstrate the usefulness of the dominance-based rough sets approach for investigating the fairness and explainabilty of decision making regarding COVID-19 restrictions. The proposed approach and analysis could provide a more transparent approach to localised public health restrictions, which can help ensure greater conformity to the public safety rules.
The County Lines Model (CLM) is a relatively new illicit drugs distribution method found in Great Britain. The CLM has brought modern slavery and public health issues, while challenging the law-enforcement capacity to act, as coordination between different local police forces is necessary. Our objective is to understand the territorial logic behind the line operators when establishing a connection between two places. We use three different spatial models (gravity, radiation and retail models), as each one of them understands flow from place i to j in a different way. Using public data from the Metropolitan Police of London, we train and cross-validate the models to understand which of the different physical and socio-demographic variables are considered when establishing a connection. We analyse hospital admissions by drugs, disposable household income, police presence and knife crime events, in addition to the population of a particular place and the distance and travel times between two different. Our results show that knife crime events and hospital admissions by misuse of drugs are the most important variables. We also find that London operators distribute to the territory know
It is well known that the variable ordering can be critical to the efficiency or even tractability of the cylindrical algebraic decomposition (CAD) algorithm. We propose new heuristics inspired by complexity analysis of CAD to choose the variable ordering. These heuristics are evaluated against existing heuristics with experiments on the SMT-LIB benchmarks using both existing performance metrics and a new metric we propose for the problem at hand. The best of these new heuristics chooses orderings that lead to timings on average 17% slower than the virtual-best: an improvement compared to the prior state-of-the-art which achieved timings 25% slower.
The COVID-19 pandemic has had high mortality rates in the elderly and frail worldwide, particularly in care homes. This is driven by the difficulty of isolating care homes from the wider community, the large population sizes within care facilities (relative to typical households), and the age/frailty of the residents. To quantify the mortality risk posed by disease, the case fatality risk (CFR) is an important tool. This quantifies the proportion of cases that result in death. Throughout the pandemic, CFR amongst care home residents in England has been monitored closely. To estimate CFR, we apply both novel and existing methods to data on deaths in care homes, collected by Public Health England and the Care Quality Commission. We compare these different methods, evaluating their relative strengths and weaknesses. Using these methods, we estimate temporal trends in the instantaneous CFR (at both daily and weekly resolutions) and the overall CFR across the whole of England, and dis-aggregated at regional level. We also investigate how the CFR varies based on age and on the type of care required, dis-aggregating by whether care homes include nursing staff and by age of residents. This
Sociodemographic inequalities in student achievement are a persistent concern for education systems and are increasingly recognized to be intersectional. Intersectionality considers the multidimensional nature of disadvantage, appreciating the interlocking social determinants which shape individual experience. Intersectional multilevel analysis of individual heterogeneity and discriminatory accuracy (MAIHDA) is a new approach developed in population health but with limited application in educational research. In this study, we introduce and apply this approach to study sociodemographic inequalities in student achievement across two cohorts of students in London, England. We define 144 intersectional strata arising from combinations of student age, gender, free school meal status, special educational needs, and ethnicity. We find substantial strata-level variation in achievement composed primarily by additive rather than interactive effects with results stubbornly consistent across the cohorts. We conclude that policymakers should pay greater attention to multiply marginalized students and intersectional MAIHDA provides a useful approach to study their experiences.