Global and local space properties of stream programs

The original publication is available at www.springerlink.comInternational audienceIn this paper, we push forward the approach proposed in [1] aiming at studying semantic interpretation criteria for the purpose of ensuring safety and complexity properties of programs working on streams. The paper improves the previous results by considering global and local upper bounds properties of both theoretical and practical interests guaranteeing that the size of each output stream element is bounded by a function in the maximal size of the input stream elements. Moreover, in contrast to previous studies, these properties also apply to a wide class of stream definitions, that is functions that do not have streams in the input but produce an output stream

Zika virus infection induces elevation of tissue factor production and apoptosis on human umbilical vein endothelial cells

Zika virus (ZIKV) infection is typically characterized by a mild disease presenting with fever, maculopapular rash, headache, fatigue, myalgia, and arthralgia. A recent animal study found that ZIKV-infected pregnant Ifnar-/-mice developed vascular damage in the placenta and reduced amount of fetal capillaries. Moreover, ZIKV infection causes segmental thrombosis in the umbilical cord of pregnant rhesus macaques. Furthermore, several case reports suggest that ZIKV infection cause coagulation disorders. These results suggest that ZIKV could cause an alteration in the host hemostatic response, however, the mechanism has not been investigated thus far. This paper aims to determine whether ZIKV infection on HUVECs induces apoptosis and elevation of tissue factor (TF) that leads to activation of secondary hemostasis. We infected HUVECs with two ZIKV strains and performed virus titration, immunostaining, and flow cytometry to confirm and quantify infection. We measured TF concentrations with flow cytometry and performed thrombin generation test (TGT) as a functional assay to assess secondary hemostasis. Furthermore, we determined the amount of cell death using flow cytometry. We also performed enzyme-linked immunosorbent assay (ELISA) to determine interleukin (IL)-6 and IL-8 production and conducted blocking experiments to associate these cytokines with TF expression. Both ZIKV strains infected and replicated to high titers in HUVECs. We found that infection induced elevation of TF expressions. We also showed that increased TF expression led to shortened TGT time. Moreover, the data revealed that infection induced apoptosis. In addition, there was a significant increase of IL-6 and IL-8 production in infected cells. Here we provide in vitro evidence that infection of HUVECs with ZIKV induces apoptosis and elevation of TF expression that leads to activation of secondary hemostasis

The gravitational wave detector VIRGO

International audienc

The Virgo data acquisition system

International audienc

Search for non-Gaussian events in the data of the VIRGO E4 engineering run

International audienc

Galaxy Clusters Associated with Short GRBs. II. Predictions for the Rate of Short GRBs in Field and Cluster Early-Type Galaxies

We determine the relative rates of short GRBs in cluster and field early-type galaxies as a function of the age probability distribution of their progenitors, P(\tau) \propto \tau^n. This analysis takes advantage of the difference in the growth of stellar mass in clusters and in the field, which arises from the combined effects of the galaxy stellar mass function, the early-type fraction, and the dependence of star formation history on mass and environment. This approach complements the use of the early- to late-type host galaxy ratio, with the added benefit that the star formation histories of early-type galaxies are simpler than those of late-type galaxies, and any systematic differences between progenitors in early- and late-type galaxies are removed. We find that the ratio varies from R(cluster)/R(field) ~ 0.5 for n = -2 to ~ 3 for n = 2. Current observations indicate a ratio of about 2, corresponding to n ~ 0 - 1. This is similar to the value inferred from the ratio of short GRBs in early- and late-type hosts, but it differs from the value of n ~ -1 for NS binaries in the Milky Way. We stress that this general approach can be easily modified with improved knowledge of the effects of environment and mass on the build-up of stellar mass, as well as the effect of globular clusters on the short GRB rate. It can also be used to assess the age distribution of Type Ia supernova progenitors.Comment: ApJ accepted versio

Implications of serial measurements of natriuretic peptides in heart failure: insights from BIOSTAT‐CHF

No abstract available