A linear programming approach to general dataflow process network verification and dimensioning

In this paper, we present linear programming-based sufficient conditions, some of them polynomial-time, to establish the liveness and memory boundedness of general dataflow process networks. Furthermore, this approach can be used to obtain safe upper bounds on the size of the channel buffers of such a network.Comment: In Proceedings ICE 2010, arXiv:1010.530

An IgE immediate reaction to thiocolchicoside.

Hypersensitivity reactions due to muscle relaxant drugs may be related either to a nonspecific release of allergic mediators or to allergic reactions induced by the molecules themselves. Rare cases of hypersensitivity reactions have been associated to thiocolchicoside, and no case of IgE-mediated immediate reaction has actually been reported to date. We report the first documented case of immediate anaphylaxis to thiocolchicoside

Return times of hot and cold days via recurrences and extreme value theory

International audienceIn this paper we introduce a model evaluation and comparison metric based on the methodology introduced in Faranda et al (2013) to assess biases and their potential origins in a historical model simulation against long-term reanalysis. The metric is constructed by exploiting recent results of dynamical systems theory linking rare recurrences to the classical statistical theories of extreme events for time series. We compute rare recurrences for 100 years daily mean temperatures data obtained in a model with historical greenhouse forcing (the Institut Pierre-Simon Laplace, IPSL-CM5 model) and compare them with the same quantities obtained from two datasets of reanalysis (20 Century Reanalysis and ERA 20C). The period chosen for the comparison is 1900-2000 and the focus is on the European region. We show that with respect to the traditional approaches, the recurrence technique is sensitive to the change in the size of the selection window of extremes due to the conditions imposed by the dynamics. Eventually, we study the regions which show robust biases with respect to all the techniques investigatin

Phenolic compounds profile of water and ethanol extracts of Euphorbia hirta L. leaves showing antioxidant and antifungal properties

The bioactive chemical constituents of water and ethanol extracts of Euphorbia hirta L. leaves have been identified and quantified using an un-targeted mass spectrometric approach. The study allowed the tentative identification of 123 individual phenolic compounds and 18 non-phenolic phytochemicals, most of them described in Euphorbia hirta L. leaves for the first time. Gallotannins, hydroxybenzoic and hydroxycinnamic acids were the most abundant phenolic classes in Euphorbia hirta L. leaves, representing together the 71.5% (26.3%, 25.2% and 20%, respectively) of the total amount of identified phenolics. The main phenolic compounds detected were tri-O-galloyl-glucose isomers, feruloyl-coniferin, tetra-O-galloyl-glucose isomers, di-O-galloyl-glucose isomers, ethyl-gallic acid, protocatechuic acid-O-pentoside-O-hexoside, 5-O-caffeoyl-quinic acid trans isomer and digalloyl-quinic acid. Feruloyl-coniferin was found to be approximately six times more concentrated in the ethanol extract with respect to the water extract. The ethanol extract exhibited higher ABTS (1338.3 ± 85.3 and 802.3 ± 91.0 μmol ascorbic acid equivalent/gram of dry extract, respectively) and superoxide anion (2014.6 ± 78.6 and 1528.0 ± 111.7 μmol ascorbic acid equivalent/gram of dry extract, respectively) scavenging abilities than the water extract. Additionally, the ethanol extract also showed a remarkable anti-fungal effect against Fusarium oxysporum f. sp. vasinfectum, Alternaria solani and Rhizoctonia solani. This study provides new information about Euphorbia hirta L., offering reasons to promote this plant species as rich source of phenolics and an excellent source of antifungal molecules that might have a prospective use in controlling fungal diseases of vegetable crops