Safe Concurrency Introduction through Slicing

Traditional refactoring is about modifying the structure of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. In this paper, we introduce three novel refactorings for retrofitting concurrency to Erlang applications, and demonstrate how the use of program slicing makes the automation of these refactorings possible

Oil spill Hazard maps

Release of the Atlantic Oil spill Hazard map Portal for dissemination. This is the reviewed version of deliverable 8.4. This document is not a technical report but a paper version of the oil spill hazard map portal (https://glamor.sincem.unibo.it), since the actual deliverable was the website release

Health disorders and their association with production and functional traits in Holstein Friesian cows

Logistic regression models were used for studying the relationships between milk yield, body condition score (BCS), somatic cell score and some disorders of periparturient cows (mammary edema and retained placenta) with the occur- rence of ovarian cysts, clinical mastitis and lameness. Data from milk recording (milk yield and somatic cell content) col- lected at nearly monthly intervals (time period: 35 ± 3 d) were merged with BCS recorded on the same dates of milk recording on periparturient heifers, lactating and dry cows, and with health disorders data (retained placenta, severe mammary edema, ovarian cysts and clinical mastitis and lameness) collected during regular herd activities over nearly 3.5 years. Data were from one commercial herd consisting of over 200 lactating dairy cows and exhibiting an average 305-d milk yield of nearly 10,000 kg. A total of 5,315 records from 728 lactations and 429 cows were used in the analy- ses. The time period incidence rate was 11.9%, 6.6% and 4.6% for ovarian cysts, lameness and mastitis, respectively, and the lactational incidence rate was 44.1%, 33.4% and 28.1% for ovarian cysts, lameness and mastitis, respectively. Occurrence of both ovarian cysts and mastitis was more common in the early lactation than afterwards, whereas lame- ness tended to occurr erratically during lactation. The risk of occurrence of mastitis and lameness was lower in primi- parous when compared to multiparous cows. The increase of milk yield increased the risk of occurrence of ovarian cysts (odds ratio: 1.32, P < 0.01) and of mastitis (odds ratio: 1.12, P < 0.10), whereas no significant relationship was found between milk yield and lameness. An increase of somatic cell score was found to be a risk factor for mastitis (odds ratio: 1.36, P<0.01) and for the occurrence of lameness (odds ratio: 1.06, P<0.05). The occurrence of relative risk of disor- ders was not related to BCS at calving, and monthly variation of BCS was related to the onset of mastitis only. Retained placenta did not appear to present a risk factor for the occurrence of diseases of concern, whereas the presence of severe mammary edema at calving increased the risk of mastitis occurrence by nearly 50%. Regular recording of herd health data seems advisable for a better understanding of the relationships between production and functional traits and the occurrence of health disorders

Fgf9 inhibition of meiotic differentiation in spermatogonia is mediated by Erk-dependent activation of Nodal-Smad2/3 signaling and is antagonized by Kit Ligand

Both fibroblast growth factor 9 (Fgf9) and Kit Ligand (Kl) signal through tyrosine kinase receptors, yet they exert opposite effects on meiotic differentiation in postnatal spermatogonia, Fgf9 acting as a meiosis-inhibiting substance and Kl acting as a promoter of the differentiation process. To understand the molecular mechanisms that might underlie this difference, we tried to dissect the intracellular signaling elicited by these two growth factors. We found that both Fgf9 and Kl stimulate Erk1/2 activation in Kit+ (differentiating) spermatogonia, even though with different time courses, whereas Kl, but not Fgf9, elicits activation of the Pi3k-Akt pathway. Sustained Erk1/2 activity promoted by Fgf9 is required for induction of the autocrine Cripto-Nodal-Smad2/3 signaling loop in these cells. Nodal signaling, in turn, is essential to mediate Fgf9 suppression of the meiotic program, including inhibition of Stra8 and Scp3 expression and induction of the meiotic gatekeeper Nanos2. On the contrary, sustained activation of the Pi3k-Akt pathway is required for the induction of Stra8 expression elicited by Kl and retinoic acid. Moreover, we found that Kl treatment impairs Nodal mRNA expression and Fgf9-mediated Nanos2 induction, reinforcing the antagonistic effect of these two growth factors on the meiotic fate of male germ cells

Oil spill hazard bulletin

Dissemination Method: Web Product weblink: https://glamor.sincem.unibo.it The MSFD, the new Directive on Safety of offshore oil and gas operations (2013) and the European Maritime Safety Agency require robust tools for oil spill hazard mapping, from accidental to operational. In this activity WP7 and Marine Core Service products were coupled to Medslik-II oil spill model in order to produce, on request, an Oil Spill Hazard Bulletin based upon the hazard mapping data generated earlier in the project. This report contains background information and some examples of oil spill hazard bulletins for target Atlantic areas. The web-GIS Portal GLAMOR developed for Task 8.4 “Oil spill hazard mapping and disaster risk reduction best practices” is used to create the information content in the requested bulletins. Please note: bulletins are only produced on a request basis

Endothelial cells, endoplasmic reticulum stress and oxysterols

Oxysterols are bioactive lipids that act as regulators of lipid metabolism, inflammation, cell viability and are involved in several diseases, including atherosclerosis. Mounting evidence linked the atherosclerosis to endothelium dysfunction; in fact, the endothelium regulates the vascular system with roles in processes such as hemostasis, cell cholesterol, hormone trafficking, signal transduction and inflammation. Several papers shed light the ability of oxysterols to induce apoptosis in different cell lines including endothelial cells. Apoptotic endothelial cell and endothelial denudation may constitute a critical step in the transition to plaque erosion and vessel thrombosis, so preventing the endothelial damaged has garnered considerable attention as a novel means of treating atherosclerosis. Endoplasmic reticulum (ER) is the site where the proteins are synthetized and folded and is necessary for most cellular activity; perturbations of ER homeostasis leads to a condition known as endoplasmic reticulum stress. This condition evokes the unfolded protein response (UPR) an adaptive pathway that aims to restore ER homeostasis. Mounting evidence suggests that chronic activation of UPR leads to cell dysfunction and death and recently has been implicated in pathogenesis of endothelial dysfunction. Autophagy is an essential catabolic mechanism that delivers misfolded proteins and damaged organelles to the lysosome for degradation, maintaining basal levels of autophagic activity it is critical for cell survival. Several evidence suggests that persistent ER stress often results in stimulation of autophagic activities, likely as a compensatory mechanism to relieve ER stress and consequently cell death. In this review, we summarize evidence for the effect of oxysterols on endothelial cells, especially focusing on oxysterols-mediated induction of endoplasmic reticulum stress

Oil spill Hazard maps

This report contains the description of the methodology to produce coastal oil spill hazard mapping for the Atlantic Ocean coastlines and the description of the Web Portal used to disseminate the informatio

Longitudinal phase-space manipulation with beam-driven plasma wakefields

The development of compact accelerator facilities providing high-brightness beams is one of the most challenging tasks in field of next-generation compact and cost affordable particle accelerators, to be used in many fields for industrial, medical and research applications. The ability to shape the beam longitudinal phase-space, in particular, plays a key role to achieve high-peak brightness. Here we present a new approach that allows to tune the longitudinal phase-space of a high-brightness beam by means of a plasma wakefields. The electron beam passing through the plasma drives large wakefields that are used to manipulate the time-energy correlation of particles along the beam itself. We experimentally demonstrate that such solution is highly tunable by simply adjusting the density of the plasma and can be used to imprint or remove any correlation onto the beam. This is a fundamental requirement when dealing with largely time-energy correlated beams coming from future plasma accelerators