AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

We present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of interaction from a global point of view. AIOC allows the programmer to specify which parts of the application can be adapted. Adaptation takes place at runtime by means of rules, which can change during the execution to tackle possibly unforeseen adaptation needs. AIOCJ relies on a solid theory that ensures applications to be deadlock-free by construction also after adaptation. We describe the architecture of AIOCJ, the design of the AIOC language, and an empirical validation of the framework.Comment: Technical Repor

The Hudson Bay Lithospheric Experiment (HuBLE) : Insights into Precambrian Plate Tectonics and the Development of Mantle Keels

The UK component of HuBLE was supported by Natural Environment Research Council (NERC) grant NE/F007337/1, with financial and logistical support from the Geological Survey of Canada, Canada–Nunavut Geoscience Office, SEIS-UK (the seismic node of NERC), and First Nations communities of Nunavut. J. Beauchesne and J. Kendall provided invaluable assistance in the field. Discussions with M. St-Onge, T. Skulski, D. Corrigan and M. Sanborne-Barrie were helpful for interpretation of the data. D. Eaton and F. A. Darbyshire acknowledge the Natural Sciences and Engineering Research Council. Four stations on the Belcher Islands and northern Quebec were installed by the University of Western Ontario and funded through a grant to D. Eaton (UWO Academic Development Fund). I. Bastow is funded by the Leverhulme Trust. This is Natural Resources Canada Contribution 20130084 to its Geomapping for Energy and Minerals Program. This work has received funding from the European Research Council under the European Unions Seventh Framework Programme (FP7/2007-2013)/ERC Grant agreement no. 240473 ‘CoMITAC’.Peer reviewedPublisher PD

Silane-Functionalized Sheep Wool Fibers from Dairy Industry Waste for the Development of Plasticized PLA Composites with Maleinized Linseed Oil for Injection-Molded Parts

[EN] Poly(lactic acid) (PLA) was plasticized with maleinized linseed oil (MLO) and further reinforced with sheep wool fibers recovered from the dairy industry. The wool fibers were firstly functionalized with 1 and 2.5 phr of tris(2-methoxyethoxy)(vinyl) (TVS) silane coupling agent and were further used in 1, 5, and 10 phr to reinforce the PLA/MLO matrix. Then, the composite materials were processed by extrusion, followed by injection-molding processes. The mechanical, thermal, microstructural, and surface properties were assessed. While the addition of untreated wool fibers to the plasticized PLA/MLO matrix caused a general decrease in the mechanical properties, the TVS treatment was able to slightly compensate for such mechanical losses. Additionally, a shift in cold crystallization and a decrease in the degree of crystallization were observed due to the fiber silane modification. The microstructural analysis confirmed enhanced interaction between silane-modified fibers and the polymeric matrix. The inclusion of the fiber into the PLA/MLO matrix made the obtained material more hydrophobic, while the yellowish color of the material increased with the fiber content.This research was funded by MINECO under projects: PROMADEPCOL: MAT2017-84909-C2-2-R and CTM2017-88989-P as well as by European Union s Horizon 2020 research and innovation program under grant agreement no. 860407 BIO-PLASTICS EUROPE.Pawlak, F.; Aldas, M.; Parres, F.; López-Martínez, J.; Arrieta, MP. (2020). Silane-Functionalized Sheep Wool Fibers from Dairy Industry Waste for the Development of Plasticized PLA Composites with Maleinized Linseed Oil for Injection-Molded Parts. Polymers. 12(11). https://doi.org/10.3390/polym12112523121

Influence of hydrological conditions on the Escherichia coli population structure in the water of a creek on a rural watershed.

International audienceBACKGROUND: Escherichia coli is a commensal bacterium of the gastro-intestinal tract of human and vertebrate animals, although the aquatic environment could be a secondary habitat. The aim of this study was to investigate the effect of hydrological conditions on the structure of the E. coli population in the water of a creek on a small rural watershed in France composed of pasture and with human occupation. RESULTS: It became apparent, after studying the distribution in the four main E. coli phylo-groups (A, B1, B2, D), the presence of the hly (hemolysin) gene and the antibiotic resistance pattern, that the E. coli population structure was modified not only by the hydrological conditions (dry versus wet periods, rainfall events), but also by how the watershed was used (presence or absence of cattle). Isolates of the B1 phylo-group devoid of hly and sensitive to antibiotics were particularly abundant during the dry period. During the wet period and the rainfall events, contamination from human sources was predominantly characterized by strains of the A phylo-group, whereas contamination by cattle mainly involved B1 phylo-group strains resistant to antibiotics and exhibiting hly. As E. coli B1 was the main phylo-group isolated in water, the diversity of 112 E. coli B1 isolates was further investigated by studying uidA alleles (beta-D-glucuronidase), the presence of hly, the O-type, and antibiotic resistance. Among the forty epidemiolgical types (ETs) identified, five E. coli B1 ETs were more abundant in slightly contaminated water. CONCLUSIONS: The structure of an E. coli population in water is not stable, but depends on the hydrological conditions and on current use of the land on the watershed. In our study it was the ratio of A to B1 phylo-groups that changed. However, a set of B1 phylo-group isolates seems to be persistent in water, strengthening the hypothesis that they may correspond to specifically adapted strains

Critical sound attenuation in a diluted Ising system

The field-theoretic description of dynamical critical effects of the influence of disorder on acoustic anomalies near the temperature of the second-order phase transition is considered for three-dimensional Ising-like systems. Calculations of the sound attenuation in pure and dilute Ising-like systems near the critical point are presented. The dynamical scaling function for the critical attenuation coefficient is calculated. The influence of quenched disorder on the asymptotic behaviour of the critical ultrasonic anomalies is discussed.Comment: 12 RevTeX pages, 4 figure

Impact of perceptions and attitudes on air travel choices in the post-COVID-19 era: a cross-national analysis of stated preference data

The COVID-19 pandemic and the consequent travel restrictions have had an unprecedented impact on the air travel market. However, a rigorous analysis of the potential role of safety perceptions and attitudes towards COVID-19 interventions on future air passenger choices has been lacking to date. To investigate this matter, 1469 individuals were interviewed between April and September 2020 in four multi-airport cities (London, New York City, Sao Paulo, Shanghai). The core analysis draws upon data from a set of stated preference (SP) experiments in which respondents were asked to reflect on a hypothetical air travel journey taking place when travel restrictions are lifted but there is still a risk of infection. The hybrid choice model results show that alongside traditional attributes, such as fare, duration and transfer, attitudinal and safety perception factors matter to air passengers when making future air travel choices. The cross-national analysis points towards differences in responses across the cities to stem from culturally-driven attitudes towards interpersonal distance and personal space. We also report the willingness to pay for travel attributes under the expected future conditions and discuss post-pandemic implications for the air travel sector, including video-conferencing as a substitute for air travel

Autonomous clustering using rough set theory

This paper proposes a clustering technique that minimises the need for subjective human intervention and is based on elements of rough set theory. The proposed algorithm is unified in its approach to clustering and makes use of both local and global data properties to obtain clustering solutions. It handles single-type and mixed attribute data sets with ease and results from three data sets of single and mixed attribute types are used to illustrate the technique and establish its efficiency

Metabolic effects of diets differing in glycaemic index depend on age and endogenous GIP

Aims/hypothesis High- vs low-glycaemic index (GI) diets unfavourably affect body fat mass and metabolic markers in rodents. Different effects of these diets could be age-dependent, as well as mediated, in part, by carbohydrate-induced stimulation of glucose-dependent insulinotrophic polypeptide (GIP) signalling. Methods Young-adult (16 weeks) and aged (44 weeks) male wild-type (C57BL/6J) and GIP-receptor knockout (Gipr −/− ) mice were exposed to otherwise identical high-carbohydrate diets differing only in GI (20–26 weeks of intervention, n = 8–10 per group). Diet-induced changes in body fat distribution, liver fat, locomotor activity, markers of insulin sensitivity and substrate oxidation were investigated, as well as changes in the gene expression of anorexigenic and orexigenic hypothalamic factors related to food intake. Results Body weight significantly increased in young-adult high- vs low-GI fed mice (two-way ANOVA, p < 0.001), regardless of the Gipr genotype. The high-GI diet in young-adult mice also led to significantly increased fat mass and changes in metabolic markers that indicate reduced insulin sensitivity. Even though body fat mass also slightly increased in high- vs low-GI fed aged wild-type mice (p < 0.05), there were no significant changes in body weight and estimated insulin sensitivity in these animals. However, aged Gipr −/− vs wild-type mice on high-GI diet showed significantly lower cumulative net energy intake, increased locomotor activity and improved markers of insulin sensitivity. Conclusions/interpretation The metabolic benefits of a low-GI diet appear to be more pronounced in younger animals, regardless of the Gipr genotype. Inactivation of GIP signalling in aged animals on a high-GI diet, however, could be beneficial