Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems

International audienceCritical embedded systems are often designed as a set of real-time tasks, running on shared computing modules, and communicating through networks. Because of their critical nature, such systems have to meet timing properties. To help the designers to prove the correctness of their system, the real-time systems community has developed numerous approaches for analyzing the worst case times either on the processors (e.g. worst case execution time of a task) or on the networks (e.g. worst case traversal time of a message). However, there is a growing need to consider the complete system and to be able to determine end-to-end properties. Such properties apply to a functional chain which describes the behavior of a sequence of functions, not necessarily hosted on a shared module, from an input until the production of an output. This paper explores two end-to-end properties: freshness and reactivity, and presents an analysis method based on Mixed Integer Linear Programming (MILP). This work is supported by the French National Research Agency within the Satrimmap project

Hybrid fly ash-based geopolymeric foams: Microstructural, thermal and mechanical properties

This research investigates the preparation and characterization of new organic-inorganic geopolymeric foams obtained by simultaneously reacting coal fly ash and an alkali silicate solution with polysiloxane oligomers. Foaming was realized in situ using Si0 as a blowing agent. Samples with density ranging from0.3 to 0.7 g/cm3 that show good mechanical properties (with compressive strength up to ≈5 MPa for a density of 0.7 g/cm3) along with thermal performances (λ = 0.145 ± 0.001 W/m·K for the foamed sample with density 0.330 g/cm3) comparable to commercial lightweight materials used in the field of thermal insulation were prepared. Since these foams were obtained by valorizing waste byproducts, they could be considered as low environmental impact materials and, hence, with promising perspectives towards the circular economy

AIRR Community Guide to Planning and Performing AIRR-Seq Experiments

The development of high-throughput sequencing of adaptive immune receptor repertoires (AIRR-seq of IG and TR rearrangements) has provided a new frontier for in-depth analysis of the immune system. The last decade has witnessed an explosion in protocols, experimental methodologies, and computational tools. In this chapter, we discuss the major considerations in planning a successful AIRR-seq experiment together with basic strategies for controlling and evaluating the outcome of the experiment. Members of the AIRR Community have authored several chapters in this edition, which cover step-by-step instructions to successfully conduct, analyze, and share an AIRR-seq project

safety run in evaluation of the phase i trial of trifluridine tipiracil ftd tpi in combination with oxaliplatin and a monoclonal antibody bevacizumab or nivolumab in patients pts with metastatic colorectal cancer mcrc

n/

Printing of cotton with eco-friendly, red algal pigment from Gracilaria sp

[EN] Natural dyes represent an emerging trend in the textile industry and eco-fashion due to the increasing awareness of the sustainability concept, which must be applied to the surrounding environment. In the light of the stated problem, the search for alternative sources of dyes, revealed the new, eco-friendly, biodegradable, non-carcinogenic and sustainable colorant matter, the algal biomass. In the present work, the suitability and viability of printing cotton fabrics with pigments obtained from the red macroalgae Gracilaria sp., has been investigated. For this aim, phycoerythrin, the red pigment, was extracted from fresh algal biomass, and used in a laboratory pigment-printing process, employing a natural and synthetic printing paste, for process efficiency comparison. The color values and the rubbing and laundering fastness of the printed substrates were evaluated. Results show that a light pink color can be obtained when applying both tested printing processes, and in terms of color fastness, both printing pastes show good behavior. In conclusion, the algal pigments show a high printing capacity on cotton substrates, either when employing the synthetic conventional paste and; moreover, when applying the more sustainable and eco-friendly natural paste.This work was supported by the European research project ¨SEACOLORS¨ (Demonstration of new natural dyes from algae as substitution of synthetic dyes actually used by textile industries) within the LIFE 2013 ¨Environment Policy and Governance project application¨ program.Moldovan, S.; Ferrándiz, M.; Franco, E.; Mira, E.; Capablanca, L.; Bonet-Aracil, M. (2017). Printing of cotton with eco-friendly, red algal pigment from Gracilaria sp. IOP Conference Series Materials Science and Engineering. 254:1-6. doi:10.1088/1757-899X/254/19/192011S1625

Variabilin: A dual inhibitor of human secretory and cytosolic phospholipase A2 with antiinflammatory activity

ABSTRACT The marine product variabilin was identified as a novel inhibitor of phospholipase A 2 (PLA 2 ), which exhibited IC 50 values of 6.9 M and 7.9 M for human synovial secretory PLA 2 and U937 cells cytosolic PLA 2 activities, respectively. This compound was less potent on bee venom or zymosan-injected rat air pouch enzymes and failed to affect Naja naja venom PLA 2 . The production of leukotriene B 4 by human neutrophils stimulated with calcium ionophore A23187 was also inhibited by variabilin, which was without effect on 5-lipoxygenase, cyclo-oxygenase 1 and cyclo-oxygenase 2 activities in cell-free assays. Other functions of human neutrophils, such as degranulation and superoxide generation, were also significantly reduced in vitro. Variabilin administered topically suppressed the mouse ear edema induced by 12-O-tetradecanoylphorbol 13-acetate, whereas the ear edema induced by arachidonic acid was unaffected; this suggests an action previous to arachidonic acid metabolism. This compound administered p.o. at 30 mg/kg and 45 mg/kg significantly inhibited mouse paw edema induced by carrageenan and, at 0.01 to 1.0 mol/pouch in the mouse air pouch injected with zymosan, exerted a marked inhibition on PGE 2 and leukotriene B 4 levels in exudates (ID 50 values of approximately 0.028 -0.029 mol/pouch), without affecting cell migration. Our results indicate that variabilin is an inhibitor of human secretory and cytosolic PLA 2 activities that controls eicosanoid production in vitro and in vivo, inhibits neutrophil degranulation and superoxide generation in vitro and shows anti-inflammatory activity after topical or p.o. administration to mice

Mechanical and thermal properties of lightweight geopolymer composites

This research has investigated the properties of thermally insulating geopolymer composites that were prepared using waste expanded polystyrene as lightweight aggregate. The geopolymer matrix was synthetized using metakaolin and an alkaline activating solution. To improve its mechanical properties, this matrix was modified by the addition of an epoxy resin to form an organic-inorganic composite. Moreover, in order to reduce drying shrinkage marble powder was used as an inert filler. The materials obtained were characterized in terms of physico-mechanical properties, thermal performance and microstructure. The geopolymer expanded polystyrene composite have improved properties compared to Portland cement-based materials, with higher strengths and lower thermal conductivity. The research demonstrates the manufacture of sustainable lightweight thermally insulating geopolymer composites using waste expanded polystyrene