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

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

Matter ejections behind the highs and lows of the transitional millisecond pulsar PSR J1023+0038

Transitional millisecond pulsars are an emerging class of sources that link low-mass X-ray binaries to millisecond radio pulsars in binary systems. These pulsars alternate between a radio pulsar state and an active low-luminosity X-ray disc state. During the active state, these sources exhibit two distinct emission modes (high and low) that alternate unpredictably, abruptly, and incessantly. X-ray to optical pulsations are observed only during the high mode. The root cause of this puzzling behaviour remains elusive. This paper presents the results of the most extensive multi-wavelength campaign ever conducted on the transitional pulsar prototype, PSR J1023+0038, covering from the radio to X-rays. The campaign was carried out over two nights in June 2021 and involved 12 different telescopes and instruments, including XMM-Newton, HST, VLT/FORS2 (in polarimetric mode), ALMA, VLA, and FAST. By modelling the broadband spectral energy distributions in both emission modes, we show that the mode switches are caused by changes in the innermost region of the accretion disc. These changes trigger the emission of discrete mass ejections, which occur on top of a compact jet, as testified by the detection of at least one short-duration millimetre flare with ALMA at the high-to-low mode switch. The pulsar is subsequently re-enshrouded, completing our picture of the mode switches.</p

Establishment of Mouse Embryonic Stem Cell-Derived Erythroid Progenitor Cell Lines Able to Produce Functional Red Blood Cells

BACKGROUND: The supply of transfusable red blood cells (RBCs) is not sufficient in many countries. If erythroid cell lines able to produce transfusable RBCs in vitro were established, they would be valuable resources. However, such cell lines have not been established. To evaluate the feasibility of establishing useful erythroid cell lines, we attempted to establish such cell lines from mouse embryonic stem (ES) cells. METHODOLOGY/PRINCIPAL FINDINGS: We developed a robust method to obtain differentiated cell lines following the induction of hematopoietic differentiation of mouse ES cells and established five independent hematopoietic cell lines using the method. Three of these lines exhibited characteristics of erythroid cells. Although their precise characteristics varied, each of these lines could differentiate in vitro into more mature erythroid cells, including enucleated RBCs. Following transplantation of these erythroid cells into mice suffering from acute anemia, the cells proliferated transiently, subsequently differentiated into functional RBCs, and significantly ameliorated the acute anemia. In addition, we did not observe formation of any tumors following transplantation of these cells. CONCLUSION/SIGNIFICANCE: To the best of our knowledge, this is the first report to show the feasibility of establishing erythroid cell lines able to produce mature RBCs. Considering the number of human ES cell lines that have been established so far, the intensive testing of a number of these lines for erythroid potential may allow the establishment of human erythroid cell lines similar to the mouse erythroid cell lines described here. In addition, our results strongly suggest the possibility of establishing useful cell lines committed to specific lineages other than hematopoietic progenitors from human ES cells

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&

Risk propensity in the foreign direct investment location decision of emerging multinationals

A distinguishing feature of emerging economy multinationals is their apparent tolerance for host country institutional risk. Employing behavioral decision theory and quasi-experimental data, we find that managers’ domestic experience satisfaction increases their relative risk propensity regarding controllable risk (legally protectable loss), but decreases their tendency to accept non-controllable risk (e.g., political instability). In contrast, firms’ potential slack reduces relative risk propensity regarding controllable risk, yet amplifies the tendency to take non-controllable risk. We suggest that these counterbalancing effects might help explain observation that risk-taking in FDI location decisions is influenced by firm experience and context. The study provides a new understanding of why firms exhibit heterogeneous responses to host country risks, and the varying effects of institutions

The close link between the fetal programming imprinting and neurodegeneration in adulthood: The key role of “hemogenic endothelium” programming

The research on neurodegenerative diseases (NeuroDegD) has been traditionally focused on later life stages. There is now an increasing evidence, that they may be programmed during early development. Here, we propose that NeuroDegD are the result of the complex process of imprinting on fetal hemogenic endothelium, from which the microglial cells make to origin. The central role of placenta and epigenetic mechanisms (methylation of DNA, histone modifications and regulation by non-coding RNAs) in mediating the short and long-term effects has been also described. Precisely, it reports their role in impacting plasticity and memory of microglial cells. In addition, we also underline the necessity of further studies for clearing all mechanisms involved and developing epigenetic methods for identifying potential targets as biomarkers, and for developing preventive measures. Such biomarkers might be used to identify individuals at risk to NeuroDegD. Finally, the sex dependence of fetal programming process has been discussed. It might justify the sex differences in the epidemiologic, imaging, biomarkers, and pathology studies of these pathologies. The discovery of related mechanisms might have important clinical implications in both the etiology of disorders and the management of pregnant women for encouraging healthy long-term outcomes for their children, and future generations. Impending research on the mechanisms related to transgenerational transmission of prenatal stress might consent the development and application of therapies and/or intervention strategies for these disorders in humans

Multi-scale VLBI observations of the candidate host galaxy of GRB 200716C

We present the discovery and the subsequent follow up of radio emission from SDSS J130402.36+293840.6 (J1304+2938), the candidate host galaxy of the gamma-ray burst (GRB) GRB 200716C. The galaxy is detected in the RACS (0.89 GHz), the NVSS, the Apertif imaging survey, and the FIRST (1.4 GHz), the VLASS (3 GHz), and in public LOFAR (130–170 MHz), WISE (3.4–22 μm), and SDSS (z, i, r, g, u filters) data. The luminosity inferred at 1.4 GHz is (5.1 ± 0.2) × 1030 erg s−1 Hz−1. To characterise the emission and distinguish between different components within the galaxy, we performed dedicated, high-sensitivity and high-resolution observations with the European VLBI Network (EVN) + e-MERLIN at 1.6 and 5 GHz. We did not detect any emission from a compact core, suggesting that the presence of a radio-loud active galactic nucleus (AGN) is unlikely, and therefore we ascribe the emission observed in the public surveys to star-forming regions within the galaxy. We confirm and refine the redshift estimate, z = 0.341 ± 0.004, with a dedicated Telescopio Nazionale Galileo (TNG) spectroscopic observation. Finally, we compiled a list of all the known hosts of GRB afterglows detected in radio and computed the corresponding radio luminosity: if GRB 200716C belongs to J1304+2938, this is the third most radio-luminous host of a GRB, implying one of the highest star-formation rates (SFRs) currently known, namely SFR ∼ 324±61 M⊙ yr−1. On the other hand, through the analysis of the prompt emission light curve, recent works suggest that GRB 200716C might be a short-duration GRB located beyond J1304+2938 and gravitationally lensed by an intermediate-mass black hole (IMBH) hosted by the galaxy. Neither the public data nor our Very Long Baseline Interferometry (VLBI) observations can confirm or rule out the presence of an IMBH acting as a (milli-)lens hosted by the galaxy, a scenario still compatible with the set of radio observations presented in this work