TarTar: A Timed Automata Repair Tool

We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syntactic repairs of the analyzed model. The suggested repairs include modified values for clock bounds in location invariants and transition guards, adding or removing clock resets, etc. The proposed repairs are guaranteed to eliminate executability of the given TDT, while preserving the overall functional behavior of the system. We give insights into the design and architecture of TarTar, and show that it can successfully repair 69% of the seeded errors in system models taken from a diverse suite of case studies.Comment: 15 pages, 7 figure

Experimental Determination of the Dissociative Recombination Rate Coefficient for Rotationally Cold CH⁺ and Its Implications for Diffuse Cloud Chemistry

Observations of CH+ are used to trace the physical properties of diffuse clouds, but this requires an accurate understanding of the underlying CH+ chemistry. Until this work, the most uncertain reaction in that chemistry was dissociative recombination (DR) of CH+. Using an electron–ion merged-beams experiment at the Cryogenic Storage Ring, we have determined the DR rate coefficient of the CH+ electronic, vibrational, and rotational ground state applicable for different diffuse cloud conditions. Our results reduce the previously unrecognized order-of-magnitude uncertainty in the CH+ DR rate coefficient to ∼20% and are applicable at all temperatures relevant to diffuse clouds, ranging from quiescent gas to gas locally heated by processes such as shocks and turbulence. Based on a simple chemical network, we find that DR can be an important destruction mechanism at temperatures relevant to quiescent gas. As the temperature increases locally, DR can continue to be important up to temperatures of ∼600 K, if there is also a corresponding increase in the electron fraction of the gas. Our new CH+ DR rate-coefficient data will increase the reliability of future studies of diffuse cloud physical properties via CH+ abundance observations

Violent aggression predicted by multiple pre-adult environmental hits

Early exposure to negative environmental impact shapes individual behavior and potentially contributes to any mental disease. We reported previously that accumulated environmental risk markedly decreases age at schizophrenia onset. Follow-up of matched extreme group individuals (≤1 vs. ≥3 risks) unexpectedly revealed that high-risk subjects had >5 times greater probability of forensic hospitalization. In line with longstanding sociological theories, we hypothesized that risk accumulation before adulthood induces violent aggression and criminal conduct, independent of mental illness. We determined in 6 independent cohorts (4 schizophrenia and 2 general population samples) pre-adult risk exposure, comprising urbanicity, migration, physical and sexual abuse as primary, and cannabis or alcohol as secondary hits. All single hits by themselves were marginally associated with higher violent aggression. Most strikingly, however, their accumulation strongly predicted violent aggression (odds ratio 10.5). An epigenome-wide association scan to detect differential methylation of blood-derived DNA of selected extreme group individuals yielded overall negative results. Conversely, determination in peripheral blood mononuclear cells of histone-deacetylase1 mRNA as ‘umbrella mediator’ of epigenetic processes revealed an increase in the high-risk group, suggesting lasting epigenetic alterations. Together, we provide sound evidence of a disease-independent unfortunate relationship between well-defined pre-adult environmental hits and violent aggression, calling for more efficient prevention

COVID-19 in cancer patients: clinical characteristics and outcome—an analysis of the LEOSS registry

Introduction Since the early SARS-CoV-2 pandemic, cancer patients have been assumed to be at higher risk for severe COVID-19. Here, we present an analysis of cancer patients from the LEOSS (Lean European Open Survey on SARS-CoV-2 Infected Patients) registry to determine whether cancer patients are at higher risk. Patients and methods We retrospectively analyzed a cohort of 435 cancer patients and 2636 non-cancer patients with confirmed SARS-CoV-2 infection, enrolled between March 16 and August 31, 2020. Data on socio-demographics, comorbidities, cancer-related features and infection course were collected. Age-, sex- and comorbidity-adjusted analysis was performed. Primary endpoint was COVID-19-related mortality. Results In total, 435 cancer patients were included in our analysis. Commonest age category was 76–85 years (36.5%), and 40.5% were female. Solid tumors were seen in 59% and lymphoma and leukemia in 17.5% and 11% of patients. Of these, 54% had an active malignancy, and 22% had recently received anti-cancer treatments. At detection of SARS-CoV-2, the majority (62.5%) presented with mild symptoms. Progression to severe COVID-19 was seen in 55% and ICU admission in 27.5%. COVID-19-related mortality rate was 22.5%. Male sex, advanced age, and active malignancy were associated with higher death rates. Comparing cancer and non-cancer patients, age distribution and comorbidity differed significantly, as did mortality (14% vs 22.5%, p value < 0.001). After adjustments for other risk factors, mortality was comparable. Conclusion Comparing cancer and non-cancer patients, outcome of COVID-19 was comparable after adjusting for age, sex, and comorbidity. However, our results emphasize that cancer patients as a group are at higher risk due to advanced age and pre-existing conditions

COVID-19 in cancer patients: clinical characteristics and outcome—an analysis of the LEOSS registry

Abstract Introduction Since the early SARS-CoV-2 pandemic, cancer patients have been assumed to be at higher risk for severe COVID-19. Here, we present an analysis of cancer patients from the LEOSS (Lean European Open Survey on SARS-CoV-2 Infected Patients) registry to determine whether cancer patients are at higher risk. Patients and methods We retrospectively analyzed a cohort of 435 cancer patients and 2636 non-cancer patients with confirmed SARS-CoV-2 infection, enrolled between March 16 and August 31, 2020. Data on socio-demographics, comorbidities, cancer-related features and infection course were collected. Age-, sex- and comorbidity-adjusted analysis was performed. Primary endpoint was COVID-19-related mortality. Results In total, 435 cancer patients were included in our analysis. Commonest age category was 76–85 years (36.5%), and 40.5% were female. Solid tumors were seen in 59% and lymphoma and leukemia in 17.5% and 11% of patients. Of these, 54% had an active malignancy, and 22% had recently received anti-cancer treatments. At detection of SARS-CoV-2, the majority (62.5%) presented with mild symptoms. Progression to severe COVID-19 was seen in 55% and ICU admission in 27.5%. COVID-19-related mortality rate was 22.5%. Male sex, advanced age, and active malignancy were associated with higher death rates. Comparing cancer and non-cancer patients, age distribution and comorbidity differed significantly, as did mortality (14% vs 22.5%, p value < 0.001). After adjustments for other risk factors, mortality was comparable. Conclusion Comparing cancer and non-cancer patients, outcome of COVID-19 was comparable after adjusting for age, sex, and comorbidity. However, our results emphasize that cancer patients as a group are at higher risk due to advanced age and pre-existing conditions

Violent aggression predicted by multiple pre-adult environmental hits

Early exposure to negative environmental impact shapes individual behavior and potentially contributes to any mental disease. We reported previously that accumulated environmental risk markedly decreases age at schizophrenia onset. Follow-up of matched extreme group individuals (≤1 vs. ≥3 risks) unexpectedly revealed that high-risk subjects had >5 times greater probability of forensic hospitalization. In line with longstanding sociological theories, we hypothesized that risk accumulation before adulthood induces violent aggression and criminal conduct, independent of mental illness. We determined in 6 independent cohorts (4 schizophrenia and 2 general population samples) pre-adult risk exposure, comprising urbanicity, migration, physical and sexual abuse as primary, and cannabis or alcohol as secondary hits. All single hits by themselves were marginally associated with higher violent aggression. Most strikingly, however, their accumulation strongly predicted violent aggression (odds ratio 10.5). An epigenome-wide association scan to detect differential methylation of blood-derived DNA of selected extreme group individuals yielded overall negative results. Conversely, determination in peripheral blood mononuclear cells of histone-deacetylase1 mRNA as 'umbrella mediator' of epigenetic processes revealed an increase in the high-risk group, suggesting lasting epigenetic alterations. Together, we provide sound evidence of a disease-independent unfortunate relationship between well-defined pre-adult environmental hits and violent aggression, calling for more efficient prevention