Simplified Coalgebraic Trace Equivalence

The analysis of concurrent and reactive systems is based to a large degree on various notions of process equivalence, ranging, on the so-called linear-time/branching-time spectrum, from fine-grained equivalences such as strong bisimilarity to coarse-grained ones such as trace equivalence. The theory of concurrent systems at large has benefited from developments in coalgebra, which has enabled uniform definitions and results that provide a common umbrella for seemingly disparate system types including non-deterministic, weighted, probabilistic, and game-based systems. In particular, there has been some success in identifying a generic coalgebraic theory of bisimulation that matches known definitions in many concrete cases. The situation is currently somewhat less settled regarding trace equivalence. A number of coalgebraic approaches to trace equivalence have been proposed, none of which however cover all cases of interest; notably, all these approaches depend on explicit termination, which is not always imposed in standard systems, e.g. LTS. Here, we discuss a joint generalization of these approaches based on embedding functors modelling various aspects of the system, such as transition and braching, into a global monad; this approach appears to cover all cases considered previously and some additional ones, notably standard LTS and probabilistic labelled transition systems

Polymorphisms of pro-inflammatory IL-6 and IL-1\u3b2 cytokines in ascending aortic aneurysms as genetic modifiers and predictive and prognostic biomarkers

Background: Previous studies have demonstrated that polymorphisms involved in immune genes can affect the risk, pathogenesis, and outcome of thoracic ascending aortic aneurysms (TAAA). Here, we explored the potential associations of five functional promoter polymorphisms in interleukin-6 (IL-6), IL-1B, IL-1A, IL-18, and Tumor necrosis factor (TNF)A genes with TAAA. Methods: 144 TAAA patients and 150 age/gender matched controls were typed using KASPar assays. Effects on telomere length and levels of TAAA related histopathological and serological markers were analyzed. Results: Significant associations with TAAA risk were obtained for IL-6 rs1800795G>C and IL-1B rs16944C>T SNPs. In addition, the combined rs1800795C/rs16944T genotype showed a synergic effect on TAAA pathogenesis and outcome. The combined rs1800795C/rs16944T genotype was significantly associated with: (a) higher serum levels of both cytokines and MMP-9 and-2; (b) a significant CD3+CD4+CD8+ CD68+CD20+ cell infiltration in aorta aneurysm tissues; (c) a significant shorter telomere length and alterations in telomerase activity. Finally, it significantly correlated with TAAA aorta tissue alterations, including elastic fragmentation, medial cell apoptosis, cystic medial changes, and MMP-9 levels. Conclusions: the combined rs1800795C/rs16944T genotype appears to modulate TAAA risk, pathogenesis, and outcome, and consequently can represent a potential predictive and prognostic TAAA biomarker for individual management, implementation of innovative treatments, and selection of the more proper surgical timing and approaches

Epidemiology and pattern of resistance of gram-negative bacteria isolated from blood samples in hospitalized patients: A single center retrospective analysis from southern italy

Background: Blood culturing remains the mainstream tool to inform an appropriate treatment in hospital-acquired bloodstream infections and to diagnose any bacteremia. Methods: A retrospective investigation on the prevalence of Gram-negative bacteria (GNB) and their resistance in hospitalized patients by age, sex, and units from blood cultures (BCs) was conducted from January 2018 to April 2020 at Sant’Elia hospital, Caltanissetta, southern Italy. We divided the patient age range into four equal intervals. Results: Multivariate demographic and microbiological variables did not show an association between bacteria distributions and gender and age. The distribution by units showed a higher prevalence of Klebsiella pneumoniae and Acinetobacter baumannii in the intensive care unit (ICU) and Escherichia coli in the non-intensive care units (non-ICUs). The analysis of antibiotic resistance showed that E. coli was susceptible to a large class of antibiotics such as carbapenem and trimethoprim-sulfamethoxazole. K. pneumoniae showed a significant susceptibility to colistin, tigecycline, and trimethoprim-sulfamethoxazole. From the survival analysis, patients with E. coli had a higher survival rate. Conclusions: The authors stress the importance of the implementation of large community-level programs to prevent E. coli bacteremia. K. pneumoniae and E. coli susceptibility patterns to antibiotics, including in the prescription patterns of general practitioners, suggest that the local surveillance and implementation of educational programs remain essential measures to slow down the spread of resistance and, consequently, increase the antibiotic lifespan

Panning for gold, but finding helium: discovery of the ultra-stripped supernova SN2019wxt from gravitational-wave follow-up observations

We present the results from multi-wavelength observations of a transient discovered during the follow-up of S191213g, a gravitational wave (GW) event reported by the LIGO-Virgo Collaboration as a possible binary neutron star merger in a low latency search. This search yielded SN2019wxt, a young transient in a galaxy whose sky position (in the 80\% GW contour) and distance ($\sim$150\,Mpc) were plausibly compatible with the localisation uncertainty of the GW event. Initially, the transient's tightly constrained age, its relatively faint peak magnitude ($M_i \sim -16.7$\,mag) and the $r-$band decline rate of $\sim 1$\,mag per 5\,days appeared suggestive of a compact binary merger. However, SN2019wxt spectroscopically resembled a type Ib supernova, and analysis of the optical-near-infrared evolution rapidly led to the conclusion that while it could not be associated with S191213g, it nevertheless represented an extreme outcome of stellar evolution. By modelling the light curve, we estimated an ejecta mass of $\sim 0.1\,M_\odot$, with $^{56}$Ni comprising $\sim 20\%$ of this. We were broadly able to reproduce its spectral evolution with a composition dominated by helium and oxygen, with trace amounts of calcium. We considered various progenitors that could give rise to the observed properties of SN2019wxt, and concluded that an ultra-stripped origin in a binary system is the most likely explanation. Disentangling electromagnetic counterparts to GW events from transients such as SN2019wxt is challenging: in a bid to characterise the level of contamination, we estimated the rate of events with properties comparable to those of SN2019wxt and found that $\sim 1$ such event per week can occur within the typical GW localisation area of O4 alerts out to a luminosity distance of 500\,Mpc, beyond which it would become fainter than the typical depth of current electromagnetic follow-up campaigns.Comment: By the ENGRAVE collaboration (engrave-eso.org). 35 pages, 20 figures, final version accepted by A&

Marking your trade: Cultural factors in the prolongation of trademarks

Trademarks protecting the brand name and associations are crucial in a brand's strategy, but little is known about the factors that determine a trademark's prolongation. To explain the prolongation of trademarks, the research estimated a multilevel hazard model accounting for trademark characteristics, firm's characteristics, and firm's country of origin national culture. The dataset comprises a census of 2911 trademarks in the US software security industry across an eight-year period, belonging to firms originating from 11 countries. The results indicate that a firm's culture of origin has a systematic effect on the types of trademark the firm is more likely to prolong and on the length of the prolongation. The age of the trademark, the number of categories where a particular trademark is present, and the age of the firm increase the likelihood of a trademark's prolongation. Larger and more innovative firms tend to terminate their trademarks earlier

Cement leakage : safety of minimally invasive surgical techniques in the treatment of multiple myeloma vertebral lesions

Purpose: To evaluate and address the safety of verteb-roplasty (VP) and kyphoplasty (KP) in terms of rate and type of cement leakage in the treatment of Multiple Myeloma (MM) vertebral fractures. Methods: A total number of 37 treated vertebrae were evaluated post-operatively by using standard X-rays and CT scan looking for a cement leakage. VP was done using a monoportal approach in all cases (18 treated levels, group A), while KP was done using a monopedicular approach in 9 levels (group B1) and using a bipedicular approach in the remaining 10 levels (group B2). A computed tomography was used to establish the presence of any cement leakage and to determine its localization. Results: Vertebral augmentation through VP and KP provides immediate pain relief and an improvement of the quality of life of patients affected by MM but it is gravated by high risk of cement leakage. Cement extravasation occurred in 27.7% of total VP procedures and in 21.05% of total KP procedures, but considering the whole number of treated levels, it was more common in multi-level VP and in bipedicular KP, in which a higher quantity of cement was employed. Conclusions: KP procedure in these patients is slightly less risky but we suggest doing it with a monopedicular approach. It's mandatory to use an high viscosity cement and we suggest not to use an amount of PMMA over 2 cc and a previous treatment with bone marrow transplant is related to a lower risk of cement leakage

Genotyping strategy of SMAD-3 rs3825977 gene variant for a differential management of ascending aorta aneurysm in women people: gender oriented diagnostic tools

Background and objectives: The research of opportune strategies for facilitating the management of complex pathologies, such as ascending aorta aneurysm (AAA), currently represents the principal object of clinicians, clinical pathologists included. Herein, we propose genotyping of gene variants related to TGF-β pathway as useful strategy to improve the complex AAA management, exclusively based on imaging evaluations. Precisely, we investigated four functional SNPs in SMAD and VEGF genes, encoding molecules able to modulate functions and cross-talks of TGF-β pathway. Populations and methods: Our study included 92 individuals (70 men (76%) and 22 (24%) women; mean age: 71.4 ± 2.6 years) affected by sporadic AAA, and two age/gender matched control groups. Kaspar PCR geno- typing and opportune histopathological/immune-histochemical techniques were used. Results: Interestingly, we evidenced a significant association of CT + TT genotypes of SMAD3 rs3825977 gene variant with a higher AAA risk in women patients. CT + TT genotypes of SMAD3 rs3825977 gene variant positively correlated with the major conventional risk factors of AAA, a higher tissue aorta levels of metallo- proteinase (MMP)-9 and a higher significant medial degeneration characterized by a higher grade of severity in elastic fragmentation. To the best of our knowledge, this is the first study on the association and relationship between SMAD3 rs3825977 gene variant and AAA. Several crucial aspects remain, however, to clear. Conclusions: We believe that further investigations, such as the analysis of SMAD3 gene transcripts and tissue proteins are imperative