Analysis of signalling pathways using the prism model checker

We describe a new modelling and analysis approach for signal transduction networks in the presence of incomplete data. We illustrate the approach with an example, the RKIP inhibited ERK pathway [1]. Our models are based on high level descriptions of continuous time Markov chains: reactions are modelled as synchronous processes and concentrations are modelled by discrete, abstract quantities. The main advantage of our approach is that using a (continuous time) stochastic logic and the PRISM model checker, we can perform quantitative analysis of queries such as if a concentration reaches a certain level, will it remain at that level thereafter? We also perform standard simulations and compare our results with a traditional ordinary differential equation model. An interesting result is that for the example pathway, only a small number of discrete data values is required to render the simulations practically indistinguishable

Hybrid solutions to the feature interaction problem

In this paper we assume a competitive marketplace where the features are developed by different enterprises, which cannot or will not exchange information. We present a classification of feature interaction in this setting and introduce an on-line technique which serves as a basis for the two novel <i>hybrid</i> approaches presented. The approaches are hybrid as they are neither strictly off-line nor on-line, but combine aspects of both. The two approaches address different kinds of feature interactions, and thus are complimentary. Together they provide a complete solution by addressing interaction detection and resolution. We illustrate the techniques within the communication networks domain

Bovine oocytes and early embryos express Staufen and ELAVL RNA-binding proteins.

RNA-binding proteins (RBP) influence RNA editing, localization, stability and translation and may contribute to oocyte developmental competence by regulating the stability and turnover of oogenetic mRNAs. The expression of Staufen 1 and 2 and ELAVL1, ELAVL2 RNA-binding proteins during cow early development was characterized. Cumulus-oocyte complexes were collected from slaughterhouse ovaries, matured, inseminated and subjected to embryo culture in vitro. Oocyte or preimplantation embryo pools were processed for RT-PCR and whole-mount immunofluorescence analysis of mRNA expression and protein distribution. STAU1 and STAU2 and ELAVL1 mRNAs and proteins were detected throughout cow preimplantation development from the germinal vesicle (GV) oocyte to the blastocyst stage. ELAVL2 mRNAs were detectable from the GV to the morula stage, whereas ELAVL2 protein was in all stages examined and localized to both cytoplasm and nuclei. The findings provide a foundation for investigating the role of RBPs during mammalian oocyte maturation and early embryogenesis