Exploiting Adjoints in Property Directed Reachability Analysis

We formulate, in lattice-theoretic terms, two novel algorithms inspired by Bradley's property directed reachability algorithm. For finding safe invariants or counterexamples, the first algorithm exploits over-approximations of both forward and backward transition relations, expressed abstractly by the notion of adjoints. In the absence of adjoints, one can use the second algorithm, which exploits lower sets and their principals. As a notable example of application, we consider quantitative reachability problems for Markov Decision Processes.Comment: 44 pages, 11 figures, the full version of the paper accepted by CAV 202

Cardiac surgery in 260 octogenarians: a case series

Background: The elderly undergo cardiac surgery more and more frequently, often present multiple comorbidities, assume chronic therapies, and present a unique physiology. Aim of our study was to analyze the experience of a referral cardiac surgery center with all types of cardiac surgery interventions performed in patients ≥80 years old over a six years' period. Methods: A retrospective observational study performed in a university hospital. 260 patients were included in the study (3.5% of the patients undergoing cardiac surgery in the study period). Results: Mean age was 82 ± 1.8 years. Eighty-five percent of patients underwent elective surgery, 15% unplanned surgery and 4.2% redo surgery. Intervention for aortic valve pathology and coronary artery bypass grafting were performed in 51% and 46% of the patients, respectively. Interventions involving the mitral valve were the 26% of the total, those on the tricuspid valve were 13% and those on the ascending aortic arch the 9.6%. Postoperative low output syndrome was identified in 44 patients (17%). Mortality was 3.9% and most of the patients (91%) were discharged from hospital in good clinical conditions. Hospital mortality was lower in planned vs unplanned surgery: 3.8% vs 14% respectively. Chronic obstructive pulmonary disease (OR 9.106, CI 2.275 - 36.450) was the unique independent predictor of mortality. Conclusions: Clinicians should be aware that cardiac surgery can be safely performed at all ages, that risk stratification is mandatory and that hemodynamic treatment to avoid complications is expected

Microglial Heterogeneity and Its Potential Role in Driving Phenotypic Diversity of Alzheimer’s Disease

Alzheimer's disease (AD) is increasingly recognized as a highly heterogeneous disorder occurring under distinct clinical and neuropathological phenotypes. Despite the molecular determinants of such variability not being well defined yet, microglial cells may play a key role in this process by releasing distinct pro- and/or anti-inflammatory cytokines, potentially affecting the expression of the disease. We carried out a neuropathological and biochemical analysis on a series of AD brain samples, gathering evidence about the heterogeneous involvement of microglia in AD. The neuropathological studies showed differences concerning morphology, density and distribution of microglial cells among AD brains. Biochemical investigations showed increased brain levels of IL-4, IL-6, IL-13, CCL17, MMP-7 and CXCL13 in AD in comparison with control subjects. The molecular profiling achieved by measuring the brain levels of 25 inflammatory factors known to be involved in neuroinflammation allowed a stratification of the AD patients in three distinct "neuroinflammatory clusters". These findings strengthen the relevance of neuroinflammation in AD pathogenesis suggesting, in particular, that the differential involvement of neuroinflammatory molecules released by microglial cells during the development of the disease may contribute to modulate the characteristics and the severity of the neuropathological changes, driving-at least in part-the AD phenotypic diversity

How future surgery will benefit from SARS-COV-2-related measures: a SPIGC survey conveying the perspective of Italian surgeons

COVID-19 negatively affected surgical activity, but the potential benefits resulting from adopted measures remain unclear. The aim of this study was to evaluate the change in surgical activity and potential benefit from COVID-19 measures in perspective of Italian surgeons on behalf of SPIGC. A nationwide online survey on surgical practice before, during, and after COVID-19 pandemic was conducted in March-April 2022 (NCT:05323851). Effects of COVID-19 hospital-related measures on surgical patients' management and personal professional development across surgical specialties were explored. Data on demographics, pre-operative/peri-operative/post-operative management, and professional development were collected. Outcomes were matched with the corresponding volume. Four hundred and seventy-three respondents were included in final analysis across 14 surgical specialties. Since SARS-CoV-2 pandemic, application of telematic consultations (4.1% vs. 21.6%; p < 0.0001) and diagnostic evaluations (16.4% vs. 42.2%; p < 0.0001) increased. Elective surgical activities significantly reduced and surgeons opted more frequently for conservative management with a possible indication for elective (26.3% vs. 35.7%; p < 0.0001) or urgent (20.4% vs. 38.5%; p < 0.0001) surgery. All new COVID-related measures are perceived to be maintained in the future. Surgeons' personal education online increased from 12.6% (pre-COVID) to 86.6% (post-COVID; p < 0.0001). Online educational activities are considered a beneficial effect from COVID pandemic (56.4%). COVID-19 had a great impact on surgical specialties, with significant reduction of operation volume. However, some forced changes turned out to be benefits. Isolation measures pushed the use of telemedicine and telemetric devices for outpatient practice and favored communication for educational purposes and surgeon-patient/family communication. From the Italian surgeons' perspective, COVID-related measures will continue to influence future surgical clinical practice

Global disparities in surgeons’ workloads, academic engagement and rest periods: the on-calL shIft fOr geNEral SurgeonS (LIONESS) study

: The workload of general surgeons is multifaceted, encompassing not only surgical procedures but also a myriad of other responsibilities. From April to May 2023, we conducted a CHERRIES-compliant internet-based survey analyzing clinical practice, academic engagement, and post-on-call rest. The questionnaire featured six sections with 35 questions. Statistical analysis used Chi-square tests, ANOVA, and logistic regression (SPSS® v. 28). The survey received a total of 1.046 responses (65.4%). Over 78.0% of responders came from Europe, 65.1% came from a general surgery unit; 92.8% of European and 87.5% of North American respondents were involved in research, compared to 71.7% in Africa. Europe led in publishing research studies (6.6 ± 8.6 yearly). Teaching involvement was high in North America (100%) and Africa (91.7%). Surgeons reported an average of 6.7 ± 4.9 on-call shifts per month, with European and North American surgeons experiencing 6.5 ± 4.9 and 7.8 ± 4.1 on-calls monthly, respectively. African surgeons had the highest on-call frequency (8.7 ± 6.1). Post-on-call, only 35.1% of respondents received a day off. Europeans were most likely (40%) to have a day off, while African surgeons were least likely (6.7%). On the adjusted multivariable analysis HDI (Human Development Index) (aOR 1.993) hospital capacity > 400 beds (aOR 2.423), working in a specialty surgery unit (aOR 2.087), and making the on-call in-house (aOR 5.446), significantly predicted the likelihood of having a day off after an on-call shift. Our study revealed critical insights into the disparities in workload, access to research, and professional opportunities for surgeons across different continents, underscored by the HDI

Testing practical relevance of treatment effects

Traditionally, common testing problems are formalized in terms of a precise null hypothesis representing an idealized situation such as absence of a certain “treatment effect”. However, in most applications the real purpose of the analysis is to assess evidence in favor of a practically relevant effect, rather than simply determining its presence/absence. This discrepancy leads to erroneous inferential conclusions, especially in case of moderate or large sample size. In particular, statistical significance, as commonly evaluated on the basis of a precise hypothesis low p value, bears little or no information on practical significance. This paper presents an innovative approach to the problem of testing the practical relevance of effects. This relies upon the proposal of a general method for modifying standard tests by making them suitable to deal with appropriate interval null hypotheses containing all practically irrelevant effect sizes. In addition, when it is difficult to specify exactly which effect sizes are irrelevant we provide the researcher with a benchmark value. Acceptance/rejection can be established purely by deciding on the (ir)relevance of this value. We illustrate our proposal in the context of many important testing setups, and we apply the proposed methods to two case studies in clinical medicine. First, we consider data on the evaluation of systolic blood pressure in a sample of adult participants at risk for nutritional deficit. Second, we focus on a study of the effects of remdesivir on patients hospitalized with COVID-19