Computing subgraph frequencies is a fundamental task that lies at the core of several network analysis methodologies, such as network motifs and graphlet-based metrics, which have been widely used to categorize and compare networks from multiple domains. Counting subgraphs is, however, computationally very expensive, and there has been a large body of work on efficient algorithms and strategies to make subgraph counting feasible for larger subgraphs and networks. This survey aims precisely to provide a comprehensive overview of the existing methods for subgraph counting. Our main contribution is a general and structured review of existing algorithms, classifying them on a set of key characteristics, highlighting their main similarities and differences. We identify and describe the main conceptual approaches, giving insight on their advantages and limitations, and we provide pointers to existing implementations. We initially focus on exact sequential algorithms, but we also do a thorough survey on approximate methodologies (with a trade-off between accuracy and execution time) and parallel strategies (that need to deal with an unbalanced search space).

No abstract

Background The efforts to contain SARS-CoV-2 and reduce the impact of the COVID-19 pandemic have been supported by Test, Trace and Isolate (TTI) systems in many settings, including the United Kingdom. Mathematical models of transmission and TTI interventions, used to inform design and policy choices, make assumptions about the public’s behaviour in the context of a rapidly unfolding and changeable emergency. This study investigates public perceptions and interactions with UK TTI policy in July 2021, assesses them against how TTI processes are conceptualised and represented in models, and then interprets the findings with modellers who have been contributing evidence to TTI policy. Methods 20 members of the public recruited via social media were interviewed for one hour about their perceptions and interactions with the UK TTI system. Thematic analysis identified key themes, which were then presented back to a workshop of pandemic infectious disease modellers who assessed these findings against assumptions made in TTI intervention modelling. Workshop members co-drafted this report. Results Themes included education about SARS-CoV-2, perceived risks, trust, mental health and practical concerns. Findings covered testing practices, including the uses of and trust in different types of testing, and the challenges of testing and isolating faced by different demographic groups. This information was judged as consequential to the modelling process, from guiding the selection of research questions, influencing choice of model structure, informing parameter ranges and validating or challenging assumptions, to highlighting where model assumptions are reasonable or where their poor reflection of practice might lead to uninformative results. Conclusions We conclude that deeper engagement with members of the public should be integrated at regular stages of public health intervention modelling.

The efforts to contain SARS-CoV-2 and reduce the impact of COVID-19 have been supported by Test, Trace and Isolate (TTI) systems in many settings, including the United Kingdom. The mathematical models underlying policy decisions about TTI make assumptions about behaviour in the context of a rapidly unfolding and changeable emergency. This study investigates the reported behaviours of UK citizens in July 2021, assesses them against how a set of TTI processes are conceptualised and represented in models and then interprets the findings with modellers who have been contributing evidence to TTI policy. We report on testing practices, including the uses of and trust in different types of testing, and the challenges of testing and isolating faced by different demographic groups. The study demonstrates the potential of input from members of the public to benefit the modelling process, from guiding the choice of research questions, influencing choice of model structure, informing parameter ranges and validating or challenging assumptions, to highlighting where model assumptions are reasonable or where their poor reflection of practice might lead to uninformative results. We conclude that deeper engagement with members of the public should be integrated at regular stages of public health intervention modelling.

No abstract

Concurrent C0 is an imperative programming language in the C family with session-typed messagepassing concurrency. The previously proposed semantics implements asynchronous (non-blocking) output; we extend it here with non-blocking input. A key idea is to postpone message reception as much as possible by interpreting receive commands as a request for a message. We implemented our ideas as a translation from a blocking intermediate language to a non-blocking language. Finally, we evaluated our techniques with several benchmark programs and show the results obtained. While the abstract measure of span always decreases (or remains unchanged), only a few of the examples reap a practical benefit.

No abstract

Testing for infection with SARS-CoV-2 is an important intervention in reducing onwards transmission of COVID-19, particularly when combined with the isolation and contact-tracing of positive cases. Many countries with the capacity to do so have made use of lab-processed Polymerase Chain Reaction (PCR) testing targeted at individuals with symptoms and the contacts of confirmed cases. Alternatively, Lateral Flow Tests (LFTs) are able to deliver a result quickly, without lab-processing and at a relatively low cost. Their adoption can support regular mass asymptomatic testing, allowing earlier detection of infection and isolation of infectious individuals. In this paper we extend and apply the agent-based epidemic modelling framework Covasim to explore the impact of regular asymptomatic testing on the peak and total number of infections in an emerging COVID-19 wave. We explore testing with LFTs at different frequency levels within a population with high levels of immunity and with background symptomatic PCR testing, case isolation and contact tracing for testing. The effectiveness of regular asymptomatic testing was compared with 'lockdown' interventions seeking to reduce the number of non-household contacts across the whole population through measures such as mandating working from home and restrictions on gatherings. Since regular asymptomatic testing requires only those with a positive result to reduce contact, while lockdown measures require the whole population to reduce contact, any policy decision that seeks to trade off harms from infection against other harms will not automatically favour one over the other. Our results demonstrate that, where such a trade off is being made, at moderate rates of early exponential growth regular asymptomatic testing has the potential to achieve significant infection control without the wider harms associated with additional lockdown measures.