Formal support for QVT-Relations with Coloured Petri nets

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-04425-0_19Proceedings of 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009QVT is the OMG standard language for specifying model-to-model transformations in MDA. Even though it plays a crucial role in model driven development, there are scarce tools supporting the execution of its sublanguage QVT-Relations, and none for its analysis or verification. In order to alleviate this situation, this paper provides a formal semantics for QVT-Relations through its compilation into Coloured Petri nets, enabling the execution and validation of QVT specifications. The theory of Petri nets provides useful techniques to analyse transformations (e.g. reachability, model-checking, boundedness and invariants) and to determine their confluence and termination given a starting model. We also report on using CPNTools for the execution, debugging, and analysis of transformations, and on a tool chain to transform QVT-Relations specifications into the input format of CPNTools.Work supported by the Spanish Ministry of Science and Innovation, projects METEORIC (TIN2008-02081) and MODUWEB (TIN2006-09678

Twenty years of research on fungus-microbe-plant interactions on Lyman Glacier forefront – lessons learned and questions yet unanswered

Retreating glaciers and the periglacial areas they vacate for organismal colonization produce a harsh environment of extreme radiation, nutrient limitations, and temperature oscillations. They provide a model system for studying mechanisms that drive establishment and early assembly of communities. Here, we synthesize more than twenty years of research at the Lyman Glacier forefront in the North Cascades Mountains, comparing the results and conclusions for plant and microbial communities. Compared to plant communities, the trajectories and processes of microbial community development are difficult to deduce. However, the combination of high throughput sequencing, more revealing experimental designs, and analyses of phylogenetic community provide insights into mechanisms that shape early microbial communities. While the inoculum is likely randomly drawn from regional pools and accumulates over time, our data provide no support for increases in richness over time since deglaciation as is commonly observed for plant communities. Re-analyses of existing datasets suggest that microbial, particularly fungal, communities are insensitive to time since substrate exposure from underneath the retreating glacier but responsive to plant establishment both in biomass and community composition. Further research on functional aspects, organismal activity, or ecosystem services in early successional environments will provide deeper appreciation for the dynamics of these communities.Keywords: community assembly, glacier forefront, mycorrhizae, community divergence, propagule, community trajectory, establishment, community convergenc

Type inference in flexible model-driven engineering using classification algorithms

Flexible or bottom-up model-driven engineering (MDE) is an emerging approach to domain and systems modelling. Domain experts, who have detailed domain knowledge, typically lack the technical expertise to transfer this knowledge using traditional MDE tools. Flexible MDE approaches tackle this challenge by promoting the use of simple drawing tools to increase the involvement of domain experts in the language definition process. In such approaches, no metamodel is created upfront, but instead the process starts with the definition of example models that will be used to infer the metamodel. Pre-defined metamodels created by MDE experts may miss important concepts of the domain and thus restrict their expressiveness. However, the lack of a metamodel, that encodes the semantics of conforming models has some drawbacks, among others that of having models with elements that are unintentionally left untyped. In this paper, we propose the use of classification algorithms to help with the inference of such untyped elements. We evaluate the proposed approach in a number of random generated example models from various domains. The correct type prediction varies from 23 to 100% depending on the domain, the proportion of elements that were left untyped and the prediction algorithm used

FDG uptake is a surrogate marker for defining the optimal biological dose of the mTOR inhibitor everolimus in vivo

This study aimed to test whether [18F]fluoro-D-glucose (FDG) uptake of tumours measured by positron emission tomography (PET) can be used as surrogate marker to define the optimal biological dose (OBD) of mTOR inhibitors in vivo. Everolimus at 0.05, 0.5, 5 and 15 mg kg−1 per day was administered to gastric cancer xenograft-bearing mice for 23 days and FDG uptake of tumours was measured using PET from day 1 to day 8. To provide standard comparators for FDG uptake, tumour volume, S6 protein phosphorylation, Ki-67 staining and everolimus blood levels were evaluated. Everolimus blood levels increased in a dose-dependent manner but antitumour activity of everolimus reached a plateau at doses ⩾5 mg kg−1 per day (tumour volume treated vs control (T/C): 51% for 5 mg kg−1 per day and 57% for 15 mg kg−1 per day). Correspondingly, doses ⩾5 mg kg−1 per day led to a significant reduction in FDG uptake of tumours. Dose escalation above 5 mg kg−1 per day did not reduce FDG uptake any further (FDG uptake T/C: 49% for 5 mg kg−1 per day and 52% for 15 mg kg−1 per day). Differences in S6 protein phosphorylation and Ki-67 index reflected tumour volume and changes in FDG uptake but did not reach statistical significance. In conclusion, FDG uptake might serve as a surrogate marker for dose finding studies for mTOR inhibitors in (pre)clinical trials

Southampton PRegnancy Intervention for the Next Generation (SPRING):protocol for a randomised controlled trial

BACKGROUND: The nutritional status and health of mothers influence the growth and development of infants during pregnancy and postnatal life. Interventions that focus on improving the nutritional status and lifestyle of mothers have the potential to optimise the development of the fetus as well as improve the health of mothers themselves. Improving the diets of women of childbearing age is likely to require complex interventions that are delivered in a socially and culturally appropriate context. In this study we aim to test the efficacy of two interventions: behaviour change (Healthy Conversation Skills) and vitamin D supplementation, and to explore the efficacy of an intervention that combines both, in improving the diet quality and nutritional status of pregnant women. METHODS/DESIGN: Women attending the maternity hospital in Southampton are recruited at between 8 and 12 weeks gestation. They are randomised to one of four groups following a factorial design: Healthy Conversation Skills support plus vitamin D supplementation (1000 IU cholecalciferol) (n = 150); Healthy Conversation Skills support plus placebo (n = 150); usual care plus vitamin D supplementation (n = 150); usual care plus placebo (n = 150). Questionnaire data include parity, sunlight exposure, diet assessment allowing assessment of diet quality, cigarette and alcohol consumption, well-being, self-efficacy and food involvement. At 19 and 34 weeks maternal anthropometry is assessed and blood samples taken to measure 25(OH) vitamin D. Maternal diet quality and 25(OH) vitamin D are the primary outcomes. Secondary outcomes are women's level of self-efficacy at 34 weeks, pregnancy weight gain, women's self-efficacy and breastfeeding status at one month after birth and neonatal bone mineral content, assessed by DXA within the first 14 days after birth. DISCUSSION: This trial is evaluating two approaches to improving maternal diet: a behaviour change intervention and vitamin D supplementation. The factorial design of this trial has the advantage of enabling each intervention to be tested separately as well as allowing exploration of the synergistic effect of both interventions on women's diets and vitamin D levels. TRIAL REGISTRATION: ISRCTN07227232 . Registered on 13 September 2013

Benthic and Hyporheic Macroinvertebrate Distribution Within the Heads and Tails of Riffles During Baseflow Conditions

The distribution of lotic fauna is widely acknowledged to be patchy reflecting the interaction between biotic and abiotic factors. In an in-situ field study, the distribution of benthic and hyporheic invertebrates in the heads (downwelling) and tails (upwelling) of riffles were examined during stable baseflow conditions. Riffle heads were found to contain a greater proportion of interstitial fine sediment than riffle tails. Significant differences in the composition of benthic communities were associated with the amount of fine sediment. Riffle tail habitats supported a greater abundance and diversity of invertebrates sensitive to fine sediment such as EPT taxa. Shredder feeding taxa were more abundant in riffle heads suggesting greater availability of organic matter. In contrast, no significant differences in the hyporheic community were recorded between riffle heads and tails. We hypothesise that clogging of hyporheic interstices with fine sediments may have resulted in the homogenization of the invertebrate community by limiting faunal movement into the hyporheic zone at both the riffle head and tail. The results suggest that vertical hydrological exchange significantly influences the distribution of fine sediment and macroinvertebrate communities at the riffle scale

Transcriptome Profiling of Citrus Fruit Response to Huanglongbing Disease

Huanglongbing (HLB) or “citrus greening” is the most destructive citrus disease worldwide. In this work, we studied host responses of citrus to infection with Candidatus Liberibacter asiaticus (CaLas) using next-generation sequencing technologies. A deep mRNA profile was obtained from peel of healthy and HLB-affected fruit. It was followed by pathway and protein-protein network analysis and quantitative real time PCR analysis of highly regulated genes. We identified differentially regulated pathways and constructed networks that provide a deep insight into the metabolism of affected fruit. Data mining revealed that HLB enhanced transcription of genes involved in the light reactions of photosynthesis and in ATP synthesis. Activation of protein degradation and misfolding processes were observed at the transcriptomic level. Transcripts for heat shock proteins were down-regulated at all disease stages, resulting in further protein misfolding. HLB strongly affected pathways involved in source-sink communication, including sucrose and starch metabolism and hormone synthesis and signaling. Transcription of several genes involved in the synthesis and signal transduction of cytokinins and gibberellins was repressed while that of genes involved in ethylene pathways was induced. CaLas infection triggered a response via both the salicylic acid and jasmonic acid pathways and increased the transcript abundance of several members of the WRKY family of transcription factors. Findings focused on the fruit provide valuable insight to understanding the mechanisms of the HLB-induced fruit disorder and eventually developing methods based on small molecule applications to mitigate its devastating effects on fruit production