Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.

Identification Of Target Genes Using Gene Expression Profile Of Granulocytes From Patients With Chronic Myeloid Leukemia Treated With Tyrosine Kinase Inhibitors.

Differential gene expression analysis by suppression subtractive hybridization with correlation to the metabolic pathways involved in chronic myeloid leukemia (CML) may provide a new insight into the pathogenesis of CML. Among the overexpressed genes found in CML at diagnosis are SEPT5, RUNX1, MIER1, KPNA6 and FLT3, while PAN3, TOB1 and ITCH were decreased when compared to healthy volunteers. Some genes were identified and involved in CML for the first time, including TOB1, which showed a low expression in patients with CML during tyrosine kinase inhibitor treatment with no complete cytogenetic response. In agreement, reduced expression of TOB1 was also observed in resistant patients with CML compared to responsive patients. This might be related to the deregulation of apoptosis and the signaling pathway leading to resistance. Most of the identified genes were related to the regulation of nuclear factor κB (NF-κB), AKT, interferon and interleukin-4 (IL-4) in healthy cells. The results of this study combined with literature data show specific gene pathways that might be explored as markers to assess the evolution and prognosis of CML as well as identify new therapeutic targets.

Transcriptional profiling reveals the expression of novel genes in response to various stimuli in the human dermatophyte Trichophyton rubrum

Background: Cutaneous mycoses are common human infections among healthy and immunocompromised hosts, and the anthropophilic fungus Trichophyton rubrum is the most prevalent microorganism isolated from such clinical cases worldwide. The aim of this study was to determine the transcriptional profile of T. rubrum exposed to various stimuli in order to obtain insights into the responses of this pathogen to different environmental challenges. Therefore, we generated an expressed sequence tag (EST) collection by constructing one cDNA library and nine suppression subtractive hybridization libraries. Results: The 1388 unigenes identified in this study were functionally classified based on the Munich Information Center for Protein Sequences (MIPS) categories. The identified proteins were involved in transcriptional regulation, cellular defense and stress, protein degradation, signaling, transport, and secretion, among other functions. Analysis of these unigenes revealed 575 T. rubrum sequences that had not been previously deposited in public databases. Conclusion: In this study, we identified novel T. rubrum genes that will be useful for ORF prediction in genome sequencing and facilitating functional genome analysis. Annotation of these expressed genes revealed metabolic adaptations of T. rubrum to carbon sources, ambient pH shifts, and various antifungal drugs used in medical practice. Furthermore, challenging T. rubrum with cytotoxic drugs and ambient pH shifts extended our understanding of the molecular events possibly involved in the infectious process and resistance to antifungal drugs.

Epigenetic Silencing of CRABP2 and MX1 in Head and Neck Tumors

Head and neck squamous cell carcinoma (HNSCC) is a heterogeneous disease affecting the epithelium of the oral cavity, pharynx and larynx. Conditions of most patients are diagnosed at late stages of the disease, and no sensitive and specific predictors of aggressive behavior have been identified yet. Therefore, early detection and prognostic biomarkers are highly desirable for a more rational management of the disease. Hypermethylation of CpG islands is one of the most important epigenetic mechanisms that leads to gene silencing in tumors and has been extensively used for the identification of biomarkers. In this study, we combined rapid subtractive hybridization and microarray analysis in a hierarchical manner to select genes that are putatively reactivated by the demethylating agent 5-aza-2'-deoxycytidine (5Aza-dC) in HNSCC cell lines (FaDu, UM-SCC-14A, UM-SCC-17A, UM-SCC-38A). This combined analysis identified 78 genes, 35 of which were reactivated in at least 2 cell lines and harbored a CpG island at their 5' region. Reactivation of 3 of these 35 genes (CRABP2, MX1, and SLC15A3) was confirmed by quantitative real-time polymerase chain reaction (PCR; fold change, >= 3). Bisulfite sequencing of their CpG islands revealed that they are indeed differentially methylated in the HNSCC cell lines. Using methylation-specific PCR, we detected a higher frequency of CRABP2 (58.1% for region 1) and MX1 (46.3%) hypermethylation in primary HNSCC when compared with lymphocytes from healthy individuals. Finally, absence of the CRABP2 protein was associated with decreased disease-free survival rates, supporting a potential use of CRABP2 expression as a prognostic biomarker for HNSCC patients.

Differential expression of genes in salivary glands of male Rhipicephalus (Boophilus)microplus in response to infection with Anaplasma marginale

Background: Bovine anaplasmosis, caused by the rickettsial tick-borne pathogen Anaplasma marginale (Rickettsiales: Anaplasmataceae), is vectored by Rhipicephalus (Boophilus) microplus in many tropical and subtropical regions of the world. A. marginale undergoes a complex developmental cycle in ticks which results in infection of salivary glands from where the pathogen is transmitted to cattle. In previous studies, we reported modification of gene expression in Dermacentor variabilis and cultured Ixodes scapularis tick cells in response to infection with A. marginale. In these studies, we extended these findings by use of a functional genomics approach to identify genes differentially expressed in R. microplus male salivary glands in response to A. marginale infection. Additionally, a R. microplus-derived cell line, BME26, was used for the first time to also study tick cell gene expression in response to A. marginale infection. Results: Suppression subtractive hybridization libraries were constructed from infected and uninfected ticks and used to identify genes differentially expressed in male R. microplus salivary glands infected with A. marginale. A total of 279 ESTs were identified as candidate differentially expressed genes. Of these, five genes encoding for putative histamine-binding protein (22Hbp), von Willebrand factor (94Will), flagelliform silk protein (100Silk), Kunitz-like protease inhibitor precursor (108Kunz) and proline-rich protein BstNI subfamily 3 precursor (7BstNI3) were confirmed by real-time RT-PCR to be down-regulated in tick salivary glands infected with A. marginale. The impact of selected tick genes on A. marginale infections in tick salivary glands and BME26 cells was characterized by RNA interference. Silencing of the gene encoding for putative flagelliform silk protein (100Silk) resulted in reduced A. marginale infection in both tick salivary glands and cultured BME26 cells, while silencing of the gene encoding for subolesin (4D8) significantly reduced infection only in cultured BME26 cells. The knockdown of the gene encoding for putative metallothionein (93 Meth), significantly up-regulated in infected cultured BME26 cells, resulted in higher A. marginale infection levels in tick cells. Conclusions: Characterization of differential gene expression in salivary glands of R. microplus in response to A. marginale infection expands our understanding of the molecular mechanisms at the tick-pathogen interface. Functional studies suggested that differentially expressed genes encoding for subolesin, putative von Willebrand factor and flagelliform silk protein could play a role in A. marginale infection and multiplication in ticks. These tick genes found to be functionally relevant for tick-pathogen interactions will likely be candidates for development of vaccines designed for control of both ticks and tick-borne pathogens.

Identification of COL6A1 as a differentially expressed gene in human astrocytomas

Diffuse infiltrating gliomas are the most common tumors of the central nervous system. Gliomas are classified by the WHO according to their histopathological and clinical characteristics into four classes: grade I (pilocytic astrocytoma), grade II (diffuse astrocytoma), grade III (anaplastic astrocytoma), and grade IV (glioblastoma multiforme). Several genes have already been correlated with astrocytomas, but many others are yet to be uncovered. By analyzing the public SAGE data from 21 patients, comprising low malignant grade astrocytomas and glioblastomas, we found COL6A1 to be differentially expressed, confirming this finding by real time RT-PCR in 66 surgical samples. To the best of our knowledge, COL6A1 has never been described in gliomas. The expression of this gene has significantly different means when normal glia is compared with low-grade astrocytomas (grades I and II) and high-grade astrocytomas (grades III and IV), with a tendency to be greater in higher grade samples, thus rendering it a powerful tumor marker.

Searching for Moniliophthora perniciosa pathogenicity genes

The basidiomycete Moniliophthora perniciosa is the causal agent of witches` broom disease of Theobroma cacao (cacao). Pathogenesis mechanisms of this hemibiotrophic fungus are largely unknown. An approach to identify putative pathogenicity genes is searching for sequences induced in mycelia grown under in vitro conditions. Using this approach, genes from M. perniciosa induced under limiting nitrogen and light were identified from a cDNA library enriched by suppression subtractive hybridization as potential putative pathogenicity genes. From the 159 identified unique sequences, 59 were annotated and classified by gene ontology. Two sequences were categorized as ""Defence genes, Virulence, and Cell response"" presumably coding for allergenic proteins, whose homologues from other fungi are inducers of animal or plant defences. Differential gene expression was evaluated by quantitative amplification of reversed transcripts (RT-qPCR) of the putative identified genes coding for the two allergenic proteins (Aspf13 and 88KD), and for the enzymes Arylsulfatase (AS); Aryl-Alcohol Oxidase; Aldo-Keto Reductase (AK); Cytochrome P450 (P450); Phenylalanine Ammonia-Lyase; and Peroxidase from mycelia grown under contrasting N concentrations. All genes were validated for differential expression, except for the putative Peroxidase. The same eight genes were analysed for expression in susceptible plants inoculated with M. perniciosa, and six were induced during the early asymptomatic stage of the disease. In infected host tissues, transcripts of 88KD and AS were found more abundant at the biotrophic phase, while those from Aspf13, AK, PAL, and P450 accumulated at the necrotrophic phase, enabling to suggest that mycelia transition from biotrophic to necrotrophic might occur earlier than currently considered. These sequences appeared to be virulence life-style genes, which encode factors or enzymes that enable invasion, colonization or intracellular survival, or manipulate host factors to benefit the pathogen`s own survival in the hostile environment. (C) 2010 The British Mycological Society. Published by Elsevier Ltd. All rights reserved.

Redefining functional models of basal ganglia organisation: Role for the posteroventral pallidum in linguistic processing?

Traditionally the basal ganglia have been implicated in motor behavior, as they are involved in both the execution of automatic actions and the modification of ongoing actions in novel contexts. Corresponding to cognition, the role of the basal ganglia has not been defined as explicitly. Relative to linguistic processes, contemporary theories of subcortical participation in language have endorsed a role for the globus pallidus internus (GPi) in the control of lexical-semantic operations. However, attempts to empirically validate these postulates have been largely limited to neuropsychological investigations of verbal fluency abilities subsequent to pallidotomy. We evaluated the impact of bilateral posteroventral pallidotomy (BPVP) on language function across a range of general and high-level linguistic abilities, and validated/extended working theories of pallidal participation in language. Comprehensive linguistic profiles were compiled up to 1 month before and 3 months after BPVP in 6 subjects with Parkinson's disease (PD). Commensurate linguistic profiles were also gathered over a 3-month period for a nonsurgical control cohort of 16 subjects with PD and a group of 16 non-neurologically impaired controls (NC). Nonparametric between-groups comparisons were conducted and reliable change indices calculated, relative to baseline/3-month follow-up difference scores. Group-wise statistical comparisons between the three groups failed to reveal significant postoperative changes in language performance. Case-by-case data analysis relative to clinically consequential change indices revealed reliable alterations in performance across several language variables as a consequence of BPVP. These findings lend support to models of subcortical participation in language, which promote a role for the GPi in lexical-semantic manipulation mechanisms. Concomitant improvements and decrements in postoperative performance were interpreted within the context of additive and subtractive postlesional effects. Relative to parkinsonian cohorts, clinically reliable versus statistically significant changes on a case by case basis may provide the most accurate method of characterizing the way in which pathophysiologically divergent basal ganglia linguistic circuits respond to BPVP.

Transformations of taste: Americanisation, generational change and Australian cultural consumption

Researchers within the field of cultural imperialism as well as the more recently developed globalisation paradigm have tended to dwell upon the economic or corporate dimensions of global cultural flows and have been largely indifferent to the domain of the everyday cultural tastes and forms of cultural consumption that exist in particular national contexts. This article seeks to redress this focus through an examination of one particular instance of cultural imperialism, the widely held belief in ?he Americanisation of Australian society. Using data from a major research project inquiring into Australian everyday culture the article focuses on the changes in cultural tastes and preferences that are evident in three generational cohorts: contemporary young adults, a segment of the 'baby-boom' generation now in middle age, and a group of older Australians born in the years following World War I and the 1920s. The article documents a trend in which overseas influences, particularly those originating from America, appear to be increasingly shaping Australians' tastes in a wide range of cultural domains. Nevertheless, despite these changes in cultural taste Australians of ail ages retain a strong sense of a distinctive national identity. Such findings have implications for an understanding of cultural globalisation as a process of hybridisation and intermixing.

Identification and validation of candidate Myb target genes

While a considerable number of candidate Myb target genes have been reported to date, most of these are likely to play little or no role in transformation by myb oncogenes. Here we have used a conditionally myb-transformed myeloid cell line (ERMYB) to further examine Myb regulation of one candidate target gene-c-myc-that has the potential to affect cell proliferation. It was found that the major influence on c-myc expression was the presence of cytokine (GM-CSF) rather than Myb activity. We also describe the application of PCR-based subtractive hybridization and low-density cDNA array screening, in conjunction with the ERMYB line, to the identification of additional Myb target genes. Preliminary identification of a number of candidates is reported; these include myeloperoxidase, which is known to have essential Myb-binding sites in its regulatory region. (C) 2001 Academic Press.

Regulation of the gene encoding glutathione S-transferase M1 (GSTM1) by the Myb oncoprotein

The identification of Myb 'target' genes will not only aid in the understanding of how overexpression of Myb, or expression of activated forms of Myb, leads to cellular transformation but will also shed light on its role in normal cells. Using a combination of an estrogen-regulated Myb-transformed cell line (ERMYB) and PCR-based subtractive hybridization, we have identified the gene (GSTM1) encoding the detoxification enzyme glutathione S-transferase M1 as being transcriptionally upregulated by Myb. Functional analysis of the GSTM1 promoter using reporter assays indicated that both the DNA binding and transactivation domains of Myb were required for transcriptional activation. Mutational analysis of consensus Myb-binding sites (MBS) in the promoter and electrophoretic mobility gel shift analysis indicated that one of the three potential MBS can bind Myb protein, and is the primary site involved in the regulation of this promoter by Myb.

Generic delimitation and phylogenetic uncertainty: An example from a group that has undergone an explosive radiation

Phylogenetic trees can provide a stable basis for a higher-level classification of organisms that reflects evolutionary relationships. However, some lineages have a complex evolutionary history that involves explosive radiation or hybridisation. Such histories have become increasingly apparent with the use of DNA sequence data for phylogeny estimation and explain, in part, past difficulties in producing stable morphology-based classifications for some groups. We illustrate this situation by using the example of tribe Mirbelieae (Fabaceae), whose generic classification has been fraught for decades. In particular, we discuss a recent proposal to combine 19 of the 25 Mirbelieae genera into a single genus, Pultenaea sens. lat., and how we might find stable and consistent ways to squeeze something as complex as life into little boxes for our own convenience. © CSIRO.

Construction and validation of a Bovine Innate Immune Microarray

Background: Microarray transcript profiling has the potential to illuminate the molecular processes that are involved in the responses of cattle to disease challenges. This knowledge may allow the development of strategies that exploit these genes to enhance resistance to disease in an individual or animal population. Results: The Bovine Innate Immune Microarray developed in this study consists of 1480 characterised genes identified by literature searches, 31 positive and negative control elements and 5376 cDNAs derived from subtracted and normalised libraries. The cDNA libraries were produced from 'challenged' bovine epithelial and leukocyte cells. The microarray was found to have a limit of detection of 1 pg/mu g of total RNA and a mean slide-to-slide correlation co-efficient of 0.88. The profiles of differentially expressed genes from Concanavalin A ( ConA) stimulated bovine peripheral blood lymphocytes were determined. Three distinct profiles highlighted 19 genes that were rapidly up-regulated within 30 minutes and returned to basal levels by 24 h; 76 genes that were upregulated between 2 - 8 hours and sustained high levels of expression until 24 h and 10 genes that were down-regulated. Quantitative real-time RT-PCR on selected genes was used to confirm the results from the microarray analysis. The results indicate that there is a dynamic process involving gene activation and regulatory mechanisms re-establishing homeostasis in the ConA activated lymphocytes. The Bovine Innate Immune Microarray was also used to determine the cross-species hybridisation capabilities of an ovine PBL sample. Conclusion: The Bovine Innate Immune Microarray has been developed which contains a set of well-characterised genes and anonymous cDNAs from a number of different bovine cell types. The microarray can be used to determine the gene expression profiles underlying innate immune responses in cattle and sheep.

A novel method for development of species and strain-specific DNA probes and PCR primers for identifying Burkholderia solanacearum (formerly Pseudomonas solanacearum)

Six Burkholderia solanacearum (formerly Pseudomonas solanacearum) genomic DNA fragments were isolated, using RAPD techniques and cloning, from the three genetically diverse strains: ACH092 (Biovar 4), ACH0158 (Biovar 2) and ACH0171 (Biovar 3) (1). One of these cloned fragments was selected because it was present constantly in all bacterial strains analysed. The remaining five clones were selected because Southern hybridisation revealed that each showed partial or complete specificity towards the strain of origin. A seventh genomic fragment showing a strain-specific distribution in Southern hybridisations was obtained by differential restriction, hybridisation and cloning of genomic DNA. Each of these clones was sequenced and primers to amplify the insert were designed. When DNA from the strain of origin was used as template, PCR amplification for each of these fragments yielded a single band on gel analysis. One pair of primers amplified the species-constant fragment of 281 bp from DNA of all B. solanacearum strains investigated, from DNA of the closely related bacterium which causes ''blood disease'' of banana (BDB) and in P. syzigii. The sensitivity of detection of B. solanacearum using these ubiquitous primers was between 1.3 and 20 bacterial cells. The feasibility and reliability of a PCR approach to detection and identification of B. solanacearum was tested in diverse strains of the bacterium in several countries and laboratories.