On Hashing-Based Approaches to Approximate DNF-Counting

Propositional model counting is a fundamental problem in artificial intelligence with a wide variety of applications, such as probabilistic inference, decision making under uncertainty, and probabilistic databases. Consequently, the problem is of theoretical as well as practical interest. When the constraints are expressed as DNF formulas, Monte Carlo-based techniques have been shown to provide a fully polynomial randomized approximation scheme (FPRAS). For CNF constraints, hashing-based approximation techniques have been demonstrated to be highly successful. Furthermore, it was shown that hashing-based techniques also yield an FPRAS for DNF counting without usage of Monte Carlo sampling. Our analysis, however, shows that the proposed hashing-based approach to DNF counting provides poor time complexity compared to the Monte Carlo-based DNF counting techniques. Given the success of hashing-based techniques for CNF constraints, it is natural to ask: Can hashing-based techniques provide an efficient FPRAS for DNF counting? In this paper, we provide a positive answer to this question. To this end, we introduce two novel algorithmic techniques: Symbolic Hashing and Stochastic Cell Counting, along with a new hash family of Row-Echelon hash functions. These innovations allow us to design a hashing-based FPRAS for DNF counting of similar complexity (up to polylog factors) as that of prior works. Furthermore, we expect these techniques to have potential applications beyond DNF counting

Laparoscopy-assisted gastrectomy in the elderly: experience from a UK centre

BACKGROUND Gastric cancer has a high incidence in the elderly in the UK, with a significant number of patients aged 75 years or more. While surgery forms the mainstay of treatment, evidence pertaining to the management of gastric cancer in the Western population in this age group is scarce. METHODS We retrospectively reviewed the outcomes of laparoscopy-assisted total and distal gastrectomies at our centre from 2005 to 2015. Patients aged 70 years or above were included in the elderly group. RESULTS A total of 60 patients underwent laparoscopy-assisted gastrectomy over a 10-year period, with a predominance of male patients. There was no significant difference in the rate of overall surgical and non-surgical complications, in-hospital mortality, operation time and length of hospital stay, between the elderly and non-elderly groups. Univariate analysis, performed for risk factors relating to anastomotic leak and surgical complications, showed that age over 70 years and higher American Association of Anesthesiologists grades are associated with a higher, though not statistically significant, number of anastomotic leaks (P = 1.000 and P = 0.442, respectively) and surgical complications (P = 0.469 and P = 0.162, respectively). The recurrence rate within the first 3 years of surgery was significantly higher in the non-elderly group compared with the elderly group (Log Rank test, P = 0.002). There was no significant difference in survival between the two groups (Log Rank test, P = 0.619). CONCLUSIONS Laparoscopy-assisted gastrectomy is safe and feasible in an elderly population. There is a need for well-designed, prospective, randomised studies with quality of life data to inform our practice in future

Combustion Behaviour of Advanced Solid Propellants.

The study reports the effect of incorporation of Al and ammonium perchlorate (AP) individually and in combination with each other on combustion pattern and specific impulse (Isp) of minimum signature propellants. Incorporation of Al obviates the combustion instability problems; however, it has marginal effect on burning rates. The composition containing AP and zirconium silicate combination gives superior performance; however, its Isp is considerably lower than the composition incorporating 9 per cent AP. A combination of 6 per cent Al gave 20 per cent enhancement in burning rate and 12 s increase in Isp as compared to purely nitramine-based composition, cal-val results also reveal increase in energy output on incorporating AP and Al. Hot stage microscopic and propellant combustion studies indicate occurrence of intense decomposition reaction in case of AP-based compositions

Automated Validation of Insurance Applications against Calculation Specifications

Insurance companies rely on their Legacy Insurance System (LIS) to govern day-to-day operations. These LIS operate as per the companys business rules that are formally specified in Calculation Specification (CS) sheets. To meet ever-changing business demands, insurance companies are increasingly transforming their outdated LIS to modern Policy Administration Systems (PAS). Quality Assurance (QA) of such PAS involves manual validation of calculations implementation against the corresponding CS sheets from the LIS. This manual QA approach is effort-intensive and error-prone, which may fail to detect inconsistencies in PAS implementations and ultimately result in monetary loss. To address this challenge, we propose a novel low-code no-code technique to automatically validate PAS implementation against CS sheets. Our technique has been evaluated on a digital transformation project of a large insurance company on 12 real-world calculations through 254 policies. The evaluation resulted in effort savings of approximately 92 percent against the conventional manual validation approach.Comment: 6 pages, 3 figures, 3 tables, 1 algorithm code block, accepted for publication at ISSRE 2022 (industrial track

Changes in COVID-19 outbreak severity and duration in long-term care facilities following vaccine introduction, England, November 2020 to June 2021

We describe the impact of changing epidemiology and vaccine introduction on characteristics of COVID-19 outbreaks in 330 long-term care facilities (LTCF) in England between November 2020 and June 2021. As vaccine coverage in LTCF increased and national incidence declined, the total number of outbreaks and outbreak severity decreased across the LTCF. The number of infected cases per outbreak decreased by 80.6%, while the proportion of outbreaks affecting staff only increased. Our study supports findings of vaccine effectiveness in LTCF

Incidence of SARS-CoV-2 infection according to baseline antibody status in staff and residents of 100 long-term care facilities (VIVALDI): a prospective cohort study

Background: SARS-CoV-2 infection represents a major challenge for long-term care facilities (LTCFs) and many residents and staff are seropositive following persistent outbreaks. We aimed to investigate the association between the SARS-CoV-2 antibody status at baseline and subsequent infection in this population. Methods: We did a prospective cohort study of SARS-CoV-2 infection in staff (aged 65 years) at 100 LTCFs in England between Oct 1, 2020, and Feb 1, 2021. Blood samples were collected between June and November, 2020, at baseline, and 2 and 4 months thereafter and tested for IgG antibodies to SARS-CoV-2 nucleocapsid and spike proteins. PCR testing for SARS-CoV-2 was done weekly in staff and monthly in residents. Cox regression was used to estimate hazard ratios (HRs) of a PCR-positive test by baseline antibody status, adjusted for age and sex, and stratified by LTCF. Findings: 682 residents from 86 LCTFs and 1429 staff members from 97 LTCFs met study inclusion criteria. At baseline, IgG antibodies to nucleocapsid were detected in 226 (33%) of 682 residents and 408 (29%) of 1429 staff members. 93 (20%) of 456 residents who were antibody-negative at baseline had a PCR-positive test (infection rate 0·054 per month at risk) compared with four (2%) of 226 residents who were antibody-positive at baseline (0·007 per month at risk). 111 (11%) of 1021 staff members who were antibody-negative at baseline had PCR-positive tests (0·042 per month at risk) compared with ten (2%) of 408 staff members who were antibody-positive staff at baseline (0·009 per month at risk). The risk of PCR-positive infection was higher for residents who were antibody-negative at baseline than residents who were antibody-positive at baseline (adjusted HR [aHR] 0·15, 95% CI 0·05–0·44, p=0·0006), and the risk of a PCR-positive infection was also higher for staff who were antibody-negative at baseline compared with staff who were antibody-positive at baseline (aHR 0·39, 0·19–0·82; p=0·012). 12 of 14 reinfected participants had available data on symptoms, and 11 of these participants were symptomatic. Antibody titres to spike and nucleocapsid proteins were comparable in PCR-positive and PCR-negative cases. Interpretation: The presence of IgG antibodies to nucleocapsid protein was associated with substantially reduced risk of reinfection in staff and residents for up to 10 months after primary infection

Vaccine effectiveness of the first dose of ChAdOx1 nCoV-19 and BNT162b2 against SARS-CoV-2 infection in residents of long-term care facilities in England (VIVALDI): a prospective cohort study.

BACKGROUND: The effectiveness of SARS-CoV-2 vaccines in older adults living in long-term care facilities is uncertain. We investigated the protective effect of the first dose of the Oxford-AstraZeneca non-replicating viral-vectored vaccine (ChAdOx1 nCoV-19; AZD1222) and the Pfizer-BioNTech mRNA-based vaccine (BNT162b2) in residents of long-term care facilities in terms of PCR-confirmed SARS-CoV-2 infection over time since vaccination. METHODS: The VIVALDI study is a prospective cohort study that commenced recruitment on June 11, 2020, to investigate SARS-CoV-2 transmission, infection outcomes, and immunity in residents and staff in long-term care facilities in England that provide residential or nursing care for adults aged 65 years and older. In this cohort study, we included long-term care facility residents undergoing routine asymptomatic SARS-CoV-2 testing between Dec 8, 2020 (the date the vaccine was first deployed in a long-term care facility), and March 15, 2021, using national testing data linked within the COVID-19 Datastore. Using Cox proportional hazards regression, we estimated the relative hazard of PCR-positive infection at 0-6 days, 7-13 days, 14-20 days, 21-27 days, 28-34 days, 35-48 days, and 49 days and beyond after vaccination, comparing unvaccinated and vaccinated person-time from the same cohort of residents, adjusting for age, sex, previous infection, local SARS-CoV-2 incidence, long-term care facility bed capacity, and clustering by long-term care facility. We also compared mean PCR cycle threshold (Ct) values for positive swabs obtained before and after vaccination. The study is registered with ISRCTN, number 14447421. FINDINGS: 10 412 care home residents aged 65 years and older from 310 LTCFs were included in this analysis. The median participant age was 86 years (IQR 80-91), 7247 (69·6%) of 10 412 residents were female, and 1155 residents (11·1%) had evidence of previous SARS-CoV-2 infection. 9160 (88·0%) residents received at least one vaccine dose, of whom 6138 (67·0%) received ChAdOx1 and 3022 (33·0%) received BNT162b2. Between Dec 8, 2020, and March 15, 2021, there were 36 352 PCR results in 670 628 person-days, and 1335 PCR-positive infections (713 in unvaccinated residents and 612 in vaccinated residents) were included. Adjusted hazard ratios (HRs) for PCR-positive infection relative to unvaccinated residents declined from 28 days after the first vaccine dose to 0·44 (95% CI 0·24-0·81) at 28-34 days and 0·38 (0·19-0·77) at 35-48 days. Similar effect sizes were seen for ChAdOx1 (adjusted HR 0·32, 95% CI 0·15-0·66) and BNT162b2 (0·35, 0·17-0·71) vaccines at 35-48 days. Mean PCR Ct values were higher for infections that occurred at least 28 days after vaccination than for those occurring before vaccination (31·3 [SD 8·7] in 107 PCR-positive tests vs 26·6 [6·6] in 552 PCR-positive tests; p<0·0001). INTERPRETATION: Single-dose vaccination with BNT162b2 and ChAdOx1 vaccines provides substantial protection against infection in older adults from 4-7 weeks after vaccination and might reduce SARS-CoV-2 transmission. However, the risk of infection is not eliminated, highlighting the ongoing need for non-pharmaceutical interventions to prevent transmission in long-term care facilities. FUNDING: UK Government Department of Health and Social Care

Household serial interval of COVID-19 and the effect of Variant B.1.1.7: analyses from prospective community cohort study (Virus Watch) [version 2; peer review: 2 approved]

Introduction: Increased transmissibility of B.1.1.7 variant of concern (VOC) in the UK may explain its rapid emergence and global spread. We analysed data from putative household infector - infectee pairs in the Virus Watch Community cohort study to assess the serial interval of COVID-19 and whether this was affected by emergence of the B.1.1.7 variant. / Methods: The Virus Watch study is an online, prospective, community cohort study following up entire households in England and Wales during the COVID-19 pandemic. Putative household infector-infectee pairs were identified where more than one person in the household had a positive swab matched to an illness episode. Data on whether or not individual infections were caused by the B.1.1.7 variant were not available. We therefore developed a classification system based on the percentage of cases estimated to be due to B.1.1.7 in national surveillance data for different English regions and study weeks. / Results: Out of 24,887 illnesses reported, 915 tested positive for SARSCoV-2 and 186 likely ‘infector-infectee’ pairs in 186 households amongst 372 individuals were identified. The mean COVID-19 serial interval was 3.18 (95%CI: 2.55 - 3.81) days. There was no significant difference (p=0.267) between the mean serial interval for VOC hotspots (mean = 3.64 days, (95%CI: 2.55 – 4.73)) days and non-VOC hotspots, (mean = 2.72 days, (95%CI: 1.48 – 3.96))

Reported exposure to SARS-CoV-2 and relative perceived importance of different settings for SARS-CoV-2 acquisition in England and Wales: Analysis of the Virus Watch Community Cohort [version 1; peer review: awaiting peer review]

We aimed to assess the relative importance of different settings for SARS-CoV-2 transmission in a large community cohort based on perceived location of infection for self-reported confirmed SARS-COV-2 cases. We demonstrate the importance of home, work and education as perceived venues for transmission. In children, education was most important and in older adults essential shopping was of high importance. Our findings support public health messaging about infection control at home, advice on working from home and restrictions in different venues