Timed runtime monitoring for multiparty conversations

We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, which we have developed with our industrial partners. Drawing from recent work on multiparty session types for real-time interactions, we extend Scribble with clocks, resets, and clock predicates in order to constrain the times inwhich interactions occur.We present a timedAPI for Python to programdistributed implementations of Scribble specifications. A dynamic verification framework ensures the safe execution of applications written with our timed API: we have implemented dedicated runtime monitors that check that each interaction occurs at a correct timing with respect to the corresponding Scribble specification. To demonstrate the practicality of the proposed framework, we express and verify four categories of widely used temporal patterns from use cases in literature.We analyse the performance of our implementation via benchmarking and show negligible overhead

Are p.I148T, p.R74W and p.D1270N cystic fibrosis causing mutations ?

BACKGROUND: To contribute further to the classification of three CFTR amino acid changes (p.I148T, p.R74W and p.D1270N) either as CF or CBAVD-causing mutations or as neutral variations. METHODS: The CFTR genes from individuals who carried at least one of these changes were extensively scanned by a well established DGGE assay followed by direct sequencing and familial segregation analysis of mutations and polymorphisms. RESULTS: Four CF patients (out of 1238) originally identified as carrying the p.I148T mutation in trans with a CF mutation had a second mutation (c.3199del6 or a novel mutation c.3395insA) on the p.I148T allele. We demonstrate here that the deletion c.3199del6 can also be associated with CF without p.I148T. Three CBAVD patients originally identified with the complex allele p.R74W-p.D1270N were also carrying p.V201M on this allele, by contrast with non CF or asymptomatic individuals including the mother of a CF child, who were carrying p.R74W-p.D1270N alone. CONCLUSION: These findings question p.I148T or p.R74W-p.D1270N as causing by themselves CF or CBAVD and emphazises the necessity to perform a complete scanning of CFTR genes and to assign the parental alleles when novel missense mutations are identified

A Parsimonious Approach to Modeling Animal Movement Data

Animal tracking is a growing field in ecology and previous work has shown that simple speed filtering of tracking data is not sufficient and that improvement of tracking location estimates are possible. To date, this has required methods that are complicated and often time-consuming (state-space models), resulting in limited application of this technique and the potential for analysis errors due to poor understanding of the fundamental framework behind the approach. We describe and test an alternative and intuitive approach consisting of bootstrapping random walks biased by forward particles. The model uses recorded data accuracy estimates, and can assimilate other sources of data such as sea-surface temperature, bathymetry and/or physical boundaries. We tested our model using ARGOS and geolocation tracks of elephant seals that also carried GPS tags in addition to PTTs, enabling true validation. Among pinnipeds, elephant seals are extreme divers that spend little time at the surface, which considerably impact the quality of both ARGOS and light-based geolocation tracks. Despite such low overall quality tracks, our model provided location estimates within 4.0, 5.5 and 12.0 km of true location 50% of the time, and within 9, 10.5 and 20.0 km 90% of the time, for above, equal or below average elephant seal ARGOS track qualities, respectively. With geolocation data, 50% of errors were less than 104.8 km (<0.94°), and 90% were less than 199.8 km (<1.80°). Larger errors were due to lack of sea-surface temperature gradients. In addition we show that our model is flexible enough to solve the obstacle avoidance problem by assimilating high resolution coastline data. This reduced the number of invalid on-land location by almost an order of magnitude. The method is intuitive, flexible and efficient, promising extensive utilization in future research

Stiffness Gradients Mimicking In Vivo Tissue Variation Regulate Mesenchymal Stem Cell Fate

Mesenchymal stem cell (MSC) differentiation is regulated in part by tissue stiffness, yet MSCs can often encounter stiffness gradients within tissues caused by pathological, e.g., myocardial infarction ∼8.7±1.5 kPa/mm, or normal tissue variation, e.g., myocardium ∼0.6±0.9 kPa/mm; since migration predominantly occurs through physiological rather than pathological gradients, it is not clear whether MSC differentiate or migrate first. MSCs cultured up to 21 days on a hydrogel containing a physiological gradient of 1.0±0.1 kPa/mm undergo directed migration, or durotaxis, up stiffness gradients rather than remain stationary. Temporal assessment of morphology and differentiation markers indicates that MSCs migrate to stiffer matrix and then differentiate into a more contractile myogenic phenotype. In those cells migrating from soft to stiff regions however, phenotype is not completely determined by the stiff hydrogel as some cells retain expression of a neural marker. These data may indicate that stiffness variation, not just stiffness alone, can be an important regulator of MSC behavior

Atlantic Leatherback Migratory Paths and Temporary Residence Areas

BACKGROUND: Sea turtles are long-distance migrants with considerable behavioural plasticity in terms of migratory patterns, habitat use and foraging sites within and among populations. However, for the most widely migrating turtle, the leatherback turtle Dermochelys coriacea, studies combining data from individuals of different populations are uncommon. Such studies are however critical to better understand intra- and inter-population variability and take it into account in the implementation of conservation strategies of this critically endangered species. Here, we investigated the movements and diving behaviour of 16 Atlantic leatherback turtles from three different nesting sites and one foraging site during their post-breeding migration to assess the potential determinants of intra- and inter-population variability in migratory patterns. METHODOLOGY/PRINCIPAL FINDINGS: Using satellite-derived behavioural and oceanographic data, we show that turtles used Temporary Residence Areas (TRAs) distributed all around the Atlantic Ocean: 9 in the neritic domain and 13 in the oceanic domain. These TRAs did not share a common oceanographic determinant but on the contrary were associated with mesoscale surface oceanographic features of different types (i.e., altimetric features and/or surface chlorophyll a concentration). Conversely, turtles exhibited relatively similar horizontal and vertical behaviours when in TRAs (i.e., slow swimming velocity/sinuous path/shallow dives) suggesting foraging activity in these productive regions. Migratory paths and TRAs distribution showed interesting similarities with the trajectories of passive satellite-tracked drifters, suggesting that the general dispersion pattern of adults from the nesting sites may reflect the extent of passive dispersion initially experienced by hatchlings. CONCLUSIONS/SIGNIFICANCE: Intra- and inter-population behavioural variability may therefore be linked with initial hatchling drift scenarios and be highly influenced by environmental conditions. This high degree of behavioural plasticity in Atlantic leatherback turtles makes species-targeted conservation strategies challenging and stresses the need for a larger dataset (>100 individuals) for providing general recommendations in terms of conservation

HDL Interfere with the Binding of T Cell Microparticles to Human Monocytes to Inhibit Pro-Inflammatory Cytokine Production

BACKGROUND: Direct cellular contact with stimulated T cells is a potent mechanism that induces cytokine production in human monocytes in the absence of an infectious agent. This mechanism is likely to be relevant to T cell-mediated inflammatory diseases such as rheumatoid arthritis and multiple sclerosis. Microparticles (MP) generated by stimulated T cells (MPT) display similar monocyte activating ability to whole T cells, isolated T cell membranes, or solubilized T cell membranes. We previously demonstrated that high-density lipoproteins (HDL) inhibited T cell contact- and MPT-induced production of IL-1beta but not of its natural inhibitor, the secreted form of IL-1 receptor antagonist (sIL-1Ra). METHODOLOGY/PRINCIPAL FINDINGS: Labeled MPT were used to assess their interaction with monocytes and T lymphocytes by flow cytometry. Similarly, interactions of labeled HDL with monocytes and MPT were assessed by flow cytometry. In parallel, the MPT-induction of IL-1beta and sIL-1Ra production in human monocytes and the effect of HDL were assessed in cell cultures. The results show that MPT, but not MP generated by activated endothelial cells, bond monocytes to trigger cytokine production. MPT did not bind T cells. The inhibition of IL-1beta production by HDL correlated with the inhibition of MPT binding to monocytes. HDL interacted with MPT rather than with monocytes suggesting that they bound the activating factor(s) of T cell surface. Furthermore, prototypical pro-inflammatory cytokines and chemokines such as TNF, IL-6, IL-8, CCL3 and CCL4 displayed a pattern of production induced by MPT and inhibition by HDL similar to IL-1beta, whereas the production of CCL2, like that of sIL-1Ra, was not inhibited by HDL. CONCLUSIONS/SIGNIFICANCE: HDL inhibit both MPT binding to monocytes and the MPT-induced production of some but not all cytokines, shedding new light on the mechanism by which HDL display their anti-inflammatory functions

A High Throughput Genetic Screen Identifies New Early Meiotic Recombination Functions in Arabidopsis thaliana

Meiotic recombination is initiated by the formation of numerous DNA double-strand breaks (DSBs) catalysed by the widely conserved Spo11 protein. In Saccharomyces cerevisiae, Spo11 requires nine other proteins for meiotic DSB formation; however, unlike Spo11, few of these are conserved across kingdoms. In order to investigate this recombination step in higher eukaryotes, we took advantage of a high-throughput meiotic mutant screen carried out in the model plant Arabidopsis thaliana. A collection of 55,000 mutant lines was screened, and spo11-like mutations, characterised by a drastic decrease in chiasma formation at metaphase I associated with an absence of synapsis at prophase, were selected. This screen led to the identification of two populations of mutants classified according to their recombination defects: mutants that repair meiotic DSBs using the sister chromatid such as Atdmc1 or mutants that are unable to make DSBs like Atspo11-1. We found that in Arabidopsis thaliana at least four proteins are necessary for driving meiotic DSB repair via the homologous chromosomes. These include the previously characterised DMC1 and the Hop1-related ASY1 proteins, but also the meiotic specific cyclin SDS as well as the Hop2 Arabidopsis homologue AHP2. Analysing the mutants defective in DSB formation, we identified the previously characterised AtSPO11-1, AtSPO11-2, and AtPRD1 as well as two new genes, AtPRD2 and AtPRD3. Our data thus increase the number of proteins necessary for DSB formation in Arabidopsis thaliana to five. Unlike SPO11 and (to a minor extent) PRD1, these two new proteins are poorly conserved among species, suggesting that the DSB formation mechanism, but not its regulation, is conserved among eukaryotes

GFI1 proteins regulate stem cell formation in the AGM

In vertebrates, the first haematopoietic stem cells (HSCs) with multi-lineage and long-term repopulating potential arise in the AGM (aorta-gonad-mesonephros) region. These HSCs are generated from a rare and transient subset of endothelial cells, called haemogenic endothelium (HE), through an endothelial-to-haematopoietic transition (EHT). Here, we establish the absolute requirement of the transcriptional repressors GFI1 and GFI1B (growth factor independence 1 and 1B) in this unique trans-differentiation process. We first demonstrate that Gfi1 expression specifically defines the rare population of HE that generates emerging HSCs. We further establish that in the absence of GFI1 proteins, HSCs and haematopoietic progenitor cells are not produced in the AGM, revealing the critical requirement for GFI1 proteins in intra-embryonic EHT. Finally, we demonstrate that GFI1 proteins recruit the chromatin-modifying protein LSD1, a member of the CoREST repressive complex, to epigenetically silence the endothelial program in HE and allow the emergence of blood cells.We thank the staff at the Advanced Imaging, animal facility, Molecular Biology Core facilities and Flow Cytometry of CRUK Manchester Institute for technical support and Michael Lie-A-Ling and Elli Marinopoulou for initiating the DamID-PIP bioinformatics project. We thank members of the Stem Cell Biology group, the Stem Cell Haematopoiesis groups and Martin Gering for valuable advice and critical reading of the manuscript. Work in our laboratory is supported by the Leukaemia and Lymphoma Research Foundation (LLR), Cancer Research UK (CRUK) and the Biotechnology and Biological Sciences Research Council (BBSRC). SC is the recipient of an MRC senior fellowship (MR/J009202/1).This is the author accepted manuscript. The final version is available from NPG via http://dx.doi.org/10.1038/ncb327

Isotope Analysis Reveals Foraging Area Dichotomy for Atlantic Leatherback Turtles

Background: The leatherback turtle (Dermochelys coriacea) has undergone a dramatic decline over the last 25 years, and this is believed to be primarily the result of mortality associated with fisheries bycatch followed by egg and nesting female harvest. Atlantic leatherback turtles undertake long migrations across ocean basins from subtropical and tropical nesting beaches to productive frontal areas. Migration between two nesting seasons can last 2 or 3 years, a time period termed the remigration interval (RI). Recent satellite transmitter data revealed that Atlantic leatherbacks follow two major dispersion patterns after nesting season, through the North Gulf Stream area or more eastward across the North Equatorial Current. However, information on the whole RI is lacking, precluding the accurate identification of feeding areas where conservation measures may need to be applied. Methodology/Principal Findings: Using stable isotopes as dietary tracers we determined the characteristics of feeding grounds of leatherback females nesting in French Guiana. During migration, 3-year RI females differed from 2-year RI females in their isotope values, implying differences in their choice of feeding habitats (offshore vs. more coastal) and foraging latitude (North Atlantic vs. West African coasts, respectively). Egg-yolk and blood isotope values are correlated in nesting females, indicating that egg analysis is a useful tool for assessing isotope values in these turtles, including adults when not available. Conclusions/Significance: Our results complement previous data on turtle movements during the first year following the nesting season, integrating the diet consumed during the year before nesting. We suggest that the French Guiana leatherback population segregates into two distinct isotopic groupings, and highlight the urgent need to determine the feeding habitats of the turtle in the Atlantic in order to protect this species from incidental take by commercial fisheries. Our results also emphasize the use of eggs, a less-invasive sampling material than blood, to assess isotopic data and feeding habits for adult female leatherbacks

Pharmacological Alterations of Anxious Behaviour in Mice Depending on Both Strain and the Behavioural Situation

A previous study comparing non-emotive mice from the strain C57BL/6/ByJ with ABP/Le mice showed ABP/Le to be more anxious in an open-field situation. In the present study, several compounds affecting anxiety were assayed on ABP/Le and C57BL/6/ByJ mice using three behavioural models of anxiety: the elevated plus-maze, the light-dark discrimination test and the free exploratory paradigm. The compounds used were the full benzodiazepine receptor agonist, chlordiazepoxide, and the antagonist, flumazenil, the GABAA antagonist, bicuculline, the full 5-HT1A agonist 8-OH-DPAT, and the mixed 5-HT1A/5-HT1B agonist, RU 24969. Results showed the effect of the compounds to be dependent on both the strain and the behavioural task. Several compounds found to be anxiolytic in ABP/Le mice had an anxiogenic effect on C57BL/6/ByJ mice. More behavioural changes were observed for ABP/Le in the elevated plus-maze, but the clearest findings for C57BL/6/ByJ mice were observed in the light-dark discrimination apparatus. These data demonstrate that anxious behaviour is a complex phenomenon which cannot be described by a single behavioural task nor by the action of a single compound