Verification of a fieldbus scheduling protocol using timed automata

This paper deals with the formal verification of a fieldbus real-time scheduling mechanism, using the notion of timed-automata and the UPPAAL model checker. A new approach is proposed here that treats the set of schedulers that regulate access on a fieldbus as a separate entity, called the scheduling layer. In addition a network with a changing topology is considered, where nodes may be turned on or off. The behaviour of the scheduling layer in conjunction with the data link, the medium and the network management layer is examined and it is proved that it enjoys a number of desirable properties

Message In A Bottle

Purpose: The purpose of this study is to gain an understanding on how SMEs can position themselves through brand identity, by investigating their strategic approach to brand identity creation and development. Methodology: This research is based on an exploratory case study with an iterative approach. The data collection has primarily been conducted by personal interviews and secondary documents. Empirical Material: The empirical material is based on four semi-structured interviews from the investigated company NISSOS and secondary data collection. Conclusions: The findings from this study suggest SMEs to obtain a multi-angled approach in order to create a strong and coherent brand identity, by applying the strategies presented in the conceptual model. According to this, SMEs should narrow their product scope, communicate functional and emotional benefits, differentiate through the quality/value element and take advantage of possible positive associations emerging from the region of origin. Moreover, SMEs should illustrate an organizational identity characterized by community orientation and commitment of human resources to their vision. Finally, visual and heritage associations, metaphors, as well as human traits with positive meaning, should be connected to their brand identity in order to create differentiation and distinction in an environment of intense competition

The T7-Primer Is a Source of Experimental Bias and Introduces Variability between Microarray Platforms

Eberwine(-like) amplification of mRNA adds distinct 6–10 bp nucleotide stretches to the 5′ end of amplified RNA transcripts. Analysis of over six thousand microarrays reveals that probes containing motifs complementary to these stretches are associated with aberrantly high signals up to a hundred fold the signal observed in unaffected probes. This is not observed when total RNA is used as target source. Different T7 primer sequences are used in different laboratories and platforms and consequently different T7 primer bias is observed in different datasets. This will hamper efforts to compare data sets across platforms

Improved grading and survival prediction of human astrocytic brain tumors by artificial neural network analysis of gene expression microarray data

Histopathological grading of astrocytic tumours based on current WHO criteria offers a valuable but simplified representation of oncological reality and is often insufficient to predict clinical outcome. In this study we report a new astrocytic tumour microarray gene expression dataset (n=65). We have used a simple Artificial Neural Network (ANN) algorithm to address grading of human astrocytic tumours, derive specific transcriptional signatures from histopathological subtypes of astrocytic tumours and asses whether these molecular signatures define survival prognostic subclasses. 59 classifier genes were identified and found to fall within three distinct functional classes namely angiogenesis, cell differentiation and lower grade astrocytic tumour discrimination. These gene classes were found to characterize three molecular tumour subtypes denoted ANGIO, INTER and LOWER. Grading of samples using these subtypes agreed with prior histopathological grading both for our dataset (96.15%) as well as an independent dataset. Six tumours were particularly challenging to diagnose histopathologically. We present an ANN grading for these samples, and offer an evidence-based interpretation of grading results using clinical metadata to substantiate findings. The prognostic value of the three identified tumour subtypes was found to outperform histopathological grading as well as tumour subtypes reported in other studies, indicating a high survival prognostic potential for the 59 gene classifiers. Finally, 11 gene classifiers that differentiate between primary and secondary glioblastomas were also identified

The Maestro (Mro) Gene Is Dispensable for Normal Sexual Development and Fertility in Mice

The mammalian gonad arises as a bipotential primordium from which a testis or ovary develops depending on the chromosomal sex of the individual. We have previously used DNA microarrays to screen for novel genes controlling the developmental fate of the indifferent embryonic mouse gonad. Maestro (Mro), which encodes a HEAT-repeat protein, was originally identified as a gene exhibiting sexually dimorphic expression during mouse gonad development. Wholemount in situ hybridisation analysis revealed Mro to be expressed in the embryonic male gonad from approximately 11.5 days post coitum, prior to overt sexual differentiation. No significant expression was detected in female gonads at the same developmental stage. In order to address its physiological function, we have generated mice lacking Maestro using gene targeting. Male and female mice homozygous for a Mro null allele are viable and fertile. We examined gonad development in homozygous male embryos in detail and observed no differences when compared to wild-type controls. Immunohistochemical analysis of homozygous mutant testes of adult mice revealed no overt abnormalities. Expression profiling using DNA microarrays also indicated no significant differences between homozygote embryonic male gonads and controls. We conclude that Maestro is dispensable for normal male sexual development and fertility in laboratory mice; however, the Mro locus itself does have utility as a site for insertion of transgenes for future studies in the fields of sexual development and Sertoli cell function

An oligonucleotide microarray for transcriptome analysis of Schistosoma mansoni and its application/use to investigate gender-associated gene expression

Global profiling transcriptomes of parasitic helminths offers the potential to simultaneously identify co-ordinately expressed genes, novel genetic programs and uniquely utilized metabolic pathways, which together provide an extensive and new resource for vaccine and drug discovery. We have exploited this post-genomic approach to fabricate the first oligonucleotide DNA microarray for gene expression analysis of the parasitic trematode Schistosoma mansoni. A total of 17,329 S. mansoni DNA sequences were used to design a microarray consisting of 7335 parasite elements or approximately 50% of this parasite's transcriptome. Here, we describe the design of this new microarray resource and its evaluation by extending studies into gender-associated gene expression in adult schistosomes. We demonstrate a high degree of reproducibility in detecting transcriptional differences among biologically replicated experiments and the ability of the microarray to distinguish between the expression of closely related gene family members. Importantly, for issues related to sexual dimorphism, labour division, gamete production and drug target discovery, 197 transcripts demonstrated a gender-biased pattern of gene expression in the adult schistosome, greatly extending the number of sex-associated genes. These data demonstrate the power of this new resource to facilitate a greater understanding into the biological complexities of schistosome development and maturation useful for identifying novel intervention strategies

MetaQC: objective quality control and inclusion/exclusion criteria for genomic meta-analysis

Genomic meta-analysis to combine relevant and homogeneous studies has been widely applied, but the quality control (QC) and objective inclusion/exclusion criteria have been largely overlooked. Currently, the inclusion/exclusion criteria mostly depend on ad-hoc expert opinion or naïve threshold by sample size or platform. There are pressing needs to develop a systematic QC methodology as the decision of study inclusion greatly impacts the final meta-analysis outcome. In this article, we propose six quantitative quality control measures, covering internal homogeneity of coexpression structure among studies, external consistency of coexpression pattern with pathway database, and accuracy and consistency of differentially expressed gene detection or enriched pathway identification. Each quality control index is defined as the minus log transformed P values from formal hypothesis testing. Principal component analysis biplots and a standardized mean rank are applied to assist visualization and decision. We applied the proposed method to 4 large-scale examples, combining 7 brain cancer, 9 prostate cancer, 8 idiopathic pulmonary fibrosis and 17 major depressive disorder studies, respectively. The identified problematic studies were further scrutinized for potential technical or biological causes of their lower quality to determine their exclusion from meta-analysis. The application and simulation results concluded a systematic quality assessment framework for genomic meta-analysis

Ablation of PGC-1β Results in Defective Mitochondrial Activity, Thermogenesis, Hepatic Function, and Cardiac Performance

The transcriptional coactivator peroxisome proliferator-activated receptor-gamma coactivator-1β (PGC-1β) has been implicated in important metabolic processes. A mouse lacking PGC-1β (PGC1βKO) was generated and phenotyped using physiological, molecular, and bioinformatic approaches. PGC1βKO mice are generally viable and metabolically healthy. Using systems biology, we identified a general defect in the expression of genes involved in mitochondrial function and, specifically, the electron transport chain. This defect correlated with reduced mitochondrial volume fraction in soleus muscle and heart, but not brown adipose tissue (BAT). Under ambient temperature conditions, PGC-1β ablation was partially compensated by up-regulation of PGC-1α in BAT and white adipose tissue (WAT) that lead to increased thermogenesis, reduced body weight, and reduced fat mass. Despite their decreased fat mass, PGC1βKO mice had hypertrophic adipocytes in WAT. The thermogenic role of PGC-1β was identified in thermoneutral and cold-adapted conditions by inadequate responses to norepinephrine injection. Furthermore, PGC1βKO hearts showed a blunted chronotropic response to dobutamine stimulation, and isolated soleus muscle fibres from PGC1βKO mice have impaired mitochondrial function. Lack of PGC-1β also impaired hepatic lipid metabolism in response to acute high fat dietary loads, resulting in hepatic steatosis and reduced lipoprotein-associated triglyceride and cholesterol content. Altogether, our data suggest that PGC-1β plays a general role in controlling basal mitochondrial function and also participates in tissue-specific adaptive responses during metabolic stress

Highly Parallel Genome-Wide Expression Analysis of Single Mammalian Cells

We have developed a high-throughput amplification method for generating robust gene expression profiles using single cell or low RNA inputs.The method uses tagged priming and template-switching, resulting in the incorporation of universal PCR priming sites at both ends of the synthesized cDNA for global PCR amplification. Coupled with a whole-genome gene expression microarray platform, we routinely obtain expression correlation values of R(2)~0.76-0.80 between individual cells and R(2)~0.69 between 50 pg total RNA replicates. Expression profiles generated from single cells or 50 pg total RNA correlate well with that generated with higher input (1 ng total RNA) (R(2)~0.80). Also, the assay is sufficiently sensitive to detect, in a single cell, approximately 63% of the number of genes detected with 1 ng input, with approximately 97% of the genes detected in the single-cell input also detected in the higher input.In summary, our method facilitates whole-genome gene expression profiling in contexts where starting material is extremely limiting, particularly in areas such as the study of progenitor cells in early development and tumor stem cell biology