Explaining Violation Traces with Finite State Natural Language Generation Models

An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour. Such behaviours are typically made available as long traces of system actions which would benefit from a natural language explanation of the trace and especially in the context of business logic level specifications. In this paper we present a natural language generation model which can be used to explain such traces. A key idea is that the explanation language is a CNL that is, formally speaking, regular language susceptible transformations that can be expressed with finite state machinery. At the same time it admits various forms of abstraction and simplification which contribute to the naturalness of explanations that are communicated to the user

A 40-Day Journey to Better Health: Utilizing the DanielFast to Improve Health Outcomes in Urban Church-Based Settings.

Background: As the costs associated with obesity increase, it is vital to evaluate the effectiveness of chronic disease prevention among underserved groups, particularly in urban settings. This research study evaluated Philadelphia area Keystone First members and church participants enrolled in a group health education program to determine the impact of the Daniel Fast on physical health and the adoption of healthy behaviors. Methods: Participants attended six-weekly health education sessions in two participating churches, and were provided with a digital healthy eating platform. Results: There was a statistically significant decrease from baseline to post assessment for weight, waist circumference and cholesterol. Participants reported a significant improvement in their overall well-being, social and physical functioning, vitality and mental health. Conclusion: Results of this study demonstrate that dietary recommendations and comprehensive group health education delivered in churches and reinforced on a digital platform can improve physical health, knowledge and psychosocial outcomes

Cosmological vacuum selection and metastable susy breaking

We study gauge mediation in a wide class of O'Raifeartaigh type models where supersymmetry breaking metastable vacuum is created by gravity and/or quantum corrections. We examine their thermal evolution in the early universe and the conditions under which the susy breaking vacuum can be selected. It is demonstrated that thermalization typically makes the metastable supersymmetry breaking cosmologically disfavoured but this is not always the case. Initial conditions with the spurion displaced from the symmetric thermal minimum and a small coupling to the messenger sector can result in the realization of the susy breaking vacuum even if the reheating temperature is high. We show that this can be achieved without jeopardizing the low energy phenomenology. In addition, we have found that deforming the models by a supersymmetric mass term for messengers in such a way that the susy breaking minimum and the susy preserving minima are all far away from the origin does not change the conclusions. The basic observations are expected to hold also in the case of models with an anomalous U(1) group.Comment: 28 pages, 4 figures, plain Latex, journal versio

Population-level impact and herd effects following the introduction of human papillomavirus vaccination programmes: updated systematic review and meta-analysis

Background More than 10 years have elapsed since human papillomavirus (HPV) vaccination was implemented. We did a systematic review and meta-analysis of the population-level impact of vaccinating girls and women against human papillomavirus on HPV infections, anogenital wart diagnoses, and cervical intraepithelial neoplasia grade 2+ (CIN2+)to summarise the most recent evidence about the effectiveness of HPV vaccines in real-world settings and to quantify the impact of multiple age-cohort vaccination.Methods In this updated systematic review and meta-analysis, we used the same search strategy as in our previous paper. We searched MEDLINE and Embase for studies published between Feb 1, 2014, and Oct 11, 2018. Studies were eligible if they compared the frequency (prevalence or incidence) of at least one HPV-related endpoint (genital HPV infections, anogenital wart diagnoses, or histologically confirmed CIN2+) between pre-vaccination and post-vaccination periods among the general population and if they used the same population sources and recruitment methods before and after vaccination. Our primary assessment was the relative risk (RR) comparing the frequency (prevalence or incidence) of HPV-related endpoints between the pre-vaccination and post-vaccination periods. We stratified all analyses by sex, age, and years since introduction of HPV vaccination. We used random-effects models to estimate pooled relative risks.Findings We identified 1702 potentially eligible articles for this systematic review and meta-analysis, and included 65 articles in 14 high-income countries: 23 for HPV infection, 29 for anogenital warts, and 13 for CIN2+.After 5\u20138 years of vaccination, the prevalence of HPV 16 and 18 decreased significantly by 83% (RR 0\ub717, 95% CI 0\ub711\u20130\ub725) among girls aged 13\u201319 years, and decreased significantly by 66% (RR 0\ub734, 95% CI 0\ub723\u20130\ub749) among women aged 20\u201324 years. The prevalence of HPV 31, 33, and 45 decreased significantly by 54% (RR 0\ub746, 95% CI 0\ub733\u20130\ub766) among girls aged 13\u201319 years. Anogenital wart diagnoses decreased significantly by 67% (RR 0\ub733, 95% CI 0\ub724\u20130\ub746) among girls aged 15\u201319 years, decreased significantly by 54% (RR 0\ub746, 95% CI 0.36\u20130.60) among women aged 20\u201324 years, and decreased significantly by 31% (RR 0\ub769, 95% CI 0\ub753\u20130\ub789) among women aged 25\u201329 years. Among boys aged 15\u201319 years anogenital wart diagnoses decreased significantly by 48% (RR 0\ub752, 95% CI 0\ub737\u20130\ub775) and among men aged 20\u201324 years they decreased significantly by 32% (RR 0\ub768, 95% CI 0\ub747\u20130\ub798). After 5\u20139 years of vaccination, CIN2+ decreased significantly by 51% (RR 0\ub749, 95% CI 0\ub742\u20130\ub758) among screened girls aged 15\u201319 years and decreased significantly by 31% (RR 0\ub769, 95% CI 0\ub757\u20130\ub784) among women aged 20\u201324 years.Interpretation This updated systematic review and meta-analysis includes data from 60 million individuals and up to 8 years of post-vaccination follow-up. Our results show compelling evidence of the substantial impact of HPV vaccination programmes on HPV infections and CIN2+ among girls and women, and on anogenital warts diagnoses among girls, women, boys, and men. Additionally, programmes with multi-cohort vaccination and high vaccination coverage had a greater direct impact and herd effects

Newly described human polyomaviruses Merkel Cell, KI and WU are present in urban sewage and may represent potential environmental contaminants

Recently, three new polyomaviruses (KI, WU and Merkel cell polyomavirus) have been reported to infect humans. It has also been suggested that lymphotropic polyomavirus, a virus of simian origin, infects humans. KI and WU polyomaviruses have been detected mainly in specimens from the respiratory tract while Merkel cell polyomavirus has been described in a very high percentage of Merkel cell carcinomas. The distribution, excretion level and transmission routes of these viruses remain unknown

Progressive multifocal leukoencephalopathy in a patient without apparent immunosuppression

An 80-year-old man with no history of an immune-compromising disorder was diagnosed with progressive multifocal leukoencephalopathy (PML). He presented with dysphagia and left-sided weakness; magnetic resonance imaging demonstrated marked signal abnormality in the subcortical white matter of the left frontal lobe and in the posterior limb of the right internal capsule. Polymerase chain reaction (PCR) analysis of the cerebrospinal fluid (CSF) was negative for John Cunningham (JC) virus. On brain biopsy, foamy macrophages infiltrating the white matter were identified, staining positive for anti-simian virus 40 antibodies. Postoperatively, PCR for JC viral DNA in the CSF was positive, establishing the diagnosis of PML. Extensive investigation for an occult immunocompromising disorder was negative. The patient's neurologic deficits rapidly increased throughout his hospital stay, and he died 3.5 months after his diagnosis

Human Papillomavirus (HPV) 16 E6 Variants in Tonsillar Cancer in Comparison to Those in Cervical Cancer in Stockholm, Sweden

Background: Human papillomavirus (HPV), especially HPV16, is associated with the development of both cervical and tonsillar cancer and intratype variants in the amino acid sequence of the HPV16 E6 oncoprotein have been demonstrated to be associated with viral persistence and cancer lesions. For this reason the presence of HPV16 E6 variants in tonsillar squamous cell carcinoma (TSCC) in cervical cancer (CC), as well as in cervical samples (CS), were explored. Methods: HPV16 E6 was sequenced in 108 TSCC and 52 CC samples from patients diagnosed 2000–2008 in the County of Stockholm, and in 51 CS from young women attending a youth health center in Stockholm. Results: The rare E6 variant R10G was relatively frequent (19%) in TSCC, absent in CC and infrequent (4%) in CS, while the well-known L83V variant was common in TSCC (40%), CC (31%), and CS (29%). The difference for R10G was significant between TSCC and CC (p = 0.0003), as well as between TSCC and CS (p = 0.009). The HPV16 European phylogenetic lineage and its derivatives dominated in all samples (.90%). Conclusion: The relatively high frequency of the R10G variant in TSCC, as compared to what has been found in CC both in the present study as well as in several other studies in different countries, may indicate a difference between TSCC and CC with regard to tumor induction and development. Alternatively, there could be differences with regard to the oral an