Structural abstraction of process specifications

Software engineers constantly deal with problems of designing, analyzing, and improving process specifications, e.g., source code, service compositions, or process models. Process specifications are abstractions of behavior observed or intended to be implemented in reality which result from creative engineering practice. Usually, process specifications are formalized as directed graphs in which edges capture temporal relations between decisions, synchronization points, and work activities. Every process specification is a compromise between two points: On the one hand engineers strive to operate with less modeling constructs which conceal irrelevant details, while on the other hand the details are required to achieve the desired level of customization for envisioned process scenarios. In our research, we approach the problem of varying abstraction levels of process specifications. Formally, developed abstraction mechanisms exploit the structure of a process specification and allow the generalization of low-level details into concepts of a higher abstraction level. The reverse procedure can be addressed as process specialization.

Characterization of ENU-induced mutations in red blood cell structural proteins

Murine models with modified gene function as a result of N-ethyl-N-nitrosourea (ENU) mutagenesis have been used to study phenotypes resulting from genetic change. This study investigated genetic factors associated with red blood cell (RBC) physiology and structural integrity that may impact on blood component storage and transfusion outcome. Forward and reverse genetic approaches were employed with pedigrees of ENU-treated mice using a homozygous recessive breeding strategy. In a “forward genetic” approach, pedigree selection was based upon identification of an altered phenotype followed by exome sequencing to identify a causative mutation. In a second strategy, a “reverse genetic” approach based on selection of pedigrees with mutations in genes of interest was utilised and, following breeding to homozygosity, phenotype assessed. Thirty-three pedigrees were screened by the forward genetic approach. One pedigree demonstrated reticulocytosis, microcytic anaemia and thrombocytosis. Exome sequencing revealed a novel single nucleotide variation (SNV) in Ank1 encoding the RBC structural protein ankyrin-1 and the pedigree was designated Ank1EX34. The reticulocytosis and microcytic anaemia observed in the Ank1EX34 pedigree were similar to clinical features of hereditary spherocytosis in humans. For the reverse genetic approach three pedigrees with different point mutations in Spnb1 encoding RBC protein spectrin-1β, and one pedigree with a mutation in Epb4.1, encoding band 4.1 were selected for study. When bred to homozygosity two of the spectrin-1β pedigrees (a, b) demonstrated increased RBC count, haemoglobin (Hb) and haematocrit (HCT). The third Spnb1 mutation (spectrin-1β c) and mutation in Epb4.1 (band 4.1) did not significantly affect the haematological phenotype, despite these two mutations having a PolyPhen score predicting the mutation may be damaging. Exome sequencing allows rapid identification of causative mutations and development of databases of mutations predicted to be disruptive. These tools require further refinement but provide new approaches to the study of genetically defined changes that may impact on blood component storage and transfusion outcome.

The chef as designer : classifying the techniques that chefs use in creating innovative dishes

This qualitative study explores the methods that chefs use to create innovative marketable product and compares these findings to other design tools. This study is based on a series of interviews with locally recognised chefs in Minnesota and observations of them in their kitchens in order to understand the details of how they conceive and develop dishes from preliminary concept to final plating and user consumption. This paper focuses on idea generation and discusses two key findings: first, the variety of idea generation techniques presented by the chefs can be classified into the creativity tool SCAMPER (substitute, combine, adapt, modify/magnify, put to other use, eliminate, reverse/rearrange); second, chefs evoke the theory of MAYA or Most Advanced Yet Acceptable when innovating new dishes, which implies making novel changes while remaining relatable to the consumer. Other reoccurring topics in the interview discussion of food innovation include play, surprise, and humour.

Cork as canvas : exploring intersections of citizenship and collective memory in the Shandon Big Wash Up murals

Urban space has the potential to shape people's experience and understanding of the city and of the culture of a place. In some respects, murals and allied forms of wall art occupy the intersection of street art and public art; engaging, and sometimes, transforming the urban space in which they exist and those who use it. While murals are often conceived as a more ‘permanent’ form of painted art there has been a trend in recent years towards more deliberately transient forms of wall art such as washed-wall murals and reverse graffiti. These varying forms of public wall art are embedded within the fabric of the urban space and history. This paper will explore the intersection of public space, public art and public memory in a mural project in the Irish city of Cork. Focussing on the washed-wall murals of Cork's historic Shandon district, we explore the sympathetic and synergetic relationship of this wall art with the heritage architecture of the built environment and of the murals as an expression of and for the local community, past and present. Through the Shandon Big Wash Up murals we reflect on the function of participatory public art as an explicit act of urban citizenship which works to support community-led re-enchantment in the city through a reconnection with its past.

The IKBALS project: multi-modal reasoning in legal knowledge based systems

In attempting to build intelligent litigation support tools, we have moved beyond first generation, production rule legal expert systems. Our work integrates rule based and case based reasoning with intelligent information retrieval. When using the case based reasoning methodology, or in our case the specialisation of case based retrieval, we need to be aware of how to retrieve relevant experience. Our research, in the legal domain, specifies an approach to the retrieval problem which relies heavily on an extended object oriented/rule based system architecture that is supplemented with causal background information. We use a distributed agent architecture to help support the reasoning process of lawyers. Our approach to integrating rule based reasoning, case based reasoning and case based retrieval is contrasted to the CABARET and PROLEXS architectures which rely on a centralised blackboard architecture. We discuss in detail how our various cooperating agents interact, and provide examples of the system at work. The IKBALS system uses a specialised induction algorithm to induce rules from cases. These rules are then used as indices during the case based retrieval process. Because we aim to build legal support tools which can be modified to suit various domains rather than single purpose legal expert systems, we focus on principles behind developing legal knowledge based systems. The original domain chosen was theAccident Compensation Act 1989 (Victoria, Australia), which relates to the provision of benefits for employees injured at work. For various reasons, which are indicated in the paper, we changed our domain to that ofCredit Act 1984 (Victoria, Australia). This Act regulates the provision of loans by financial institutions. The rule based part of our system which provides advice on the Credit Act has been commercially developed in conjunction with a legal firm. We indicate how this work has lead to the development of a methodology for constructing rule based legal knowledge based systems. We explain the process of integrating this existing commercial rule based system with the case base reasoning and retrieval architecture.

Progress in epithelial-mesenchymal transition research

The field of research of epithelial-mesenchymal transitions, EMT, and its reverse, mesenchymal-epithelial transitions, MET, has expanded very rapidly indeed from its beginnings, heralded by Professor Betty Hay in the 1970s and 1980s. This expansion has involved the realisation that the EMT was not just an interesting phenomenon of early developmental morphogenetic cell behaviour, but bore remarkable resemblance to clinically crucial pathological events in cancer invasion. Not surprisingly, this discipline soon became numerically dominant in the EMT publication field. Simultaneously, the EMT concept has been extended to normal physiological wound healing. Exploration revealed that these resemblances were more than skin deep: the same sets of growth factors, receptors, transcription factors, epigenetic marks and signalling pathways turned up repeatedly in EMTs and METs in a variety of contexts, both pathological and normal. This molecular genetic research in turn uncovered similarities of the EMT signature to that of fibrosis, a set of diseases which is of enormous clinical importance, rivalling that of cancer. Most recently, and more surprisingly, the EMT signature has shown considerable similarity to that found in stem cell and cancer stem cell biology.

Direct repression of MYB by ZEB1 suppresses proliferation and epithelial gene expression during epithelial-to-mesenchymal transition of breast cancer cells

Introduction Epithelial-to-mesenchymal transition (EMT) promotes cell migration and is important in metastasis. Cellular proliferation is often downregulated during EMT, and the reverse transition (MET) in metastases appears to be required for restoration of proliferation in secondary tumors. We studied the interplay between EMT and proliferation control by MYB in breast cancer cells. Methods MYB, ZEB1, and CDH1 expression levels were manipulated by lentiviral small-hairpin RNA (shRNA)-mediated knockdown/overexpression, and verified with Western blotting, immunocytochemistry, and qRT-PCR. Proliferation was assessed with bromodeoxyuridine pulse labeling and flow cytometry, and sulforhodamine B assays. EMT was induced with epidermal growth factor for 9 days or by exposure to hypoxia (1% oxygen) for up to 5 days, and assessed with qRT-PCR, cell morphology, and colony morphology. Protein expression in human breast cancers was assessed with immunohistochemistry. ZEB1-MYB promoter binding and repression were determined with Chromatin Immunoprecipitation Assay and a luciferase reporter assay, respectively. Student paired t tests, Mann–Whitney, and repeated measures two-way ANOVA tests determined statistical significance (P < 0.05). Results Parental PMC42-ET cells displayed higher expression of ZEB1 and lower expression of MYB than did the PMC42-LA epithelial variant. Knockdown of ZEB1 in PMC42-ET and MDA-MB-231 cells caused increased expression of MYB and a transition to a more epithelial phenotype, which in PMC42-ET cells was coupled with increased proliferation. Indeed, we observed an inverse relation between MYB and ZEB1 expression in two in vitro EMT cell models, in matched human breast tumors and lymph node metastases, and in human breast cancer cell lines. Knockdown of MYB in PMC42-LA cells (MYBsh-LA) led to morphologic changes and protein expression consistent with an EMT. ZEB1 expression was raised in MYBsh-LA cells and significantly repressed in MYB-overexpressing MDA-MB-231 cells, which also showed reduced random migration and a shift from mesenchymal to epithelial colony morphology in two dimensional monolayer cultures. Finally, we detected binding of ZEB1 to MYB promoter in PMC42-ET cells, and ZEB1 overexpression repressed MYB promoter activity. Conclusions This work identifies ZEB1 as a transcriptional repressor of MYB and suggests a reciprocal MYB-ZEB1 repressive relation, providing a mechanism through which proliferation and the epithelial phenotype may be coordinately modulated in breast cancer cells.

A gene encoding a new cold-active lipase from an Antarctic isolate of Penicillium expansum

Cold-active lipases are of significant interest as biocatalysts in industrial processes. We have identified a lipase that displayed activity towards long carbon-chain-p-nitrophenyl substrates (C12–C18) at 25 °C from the culture supernatant of an Antarctic Penicillium expansum strain assigned P. expansum SM3. Zymography revealed a protein band of around 30 kDa with activity towards olive oil. DNA fragments of a lipase gene designated as lipPE were isolated from the genomic DNA of P. expansum SM3 by genomic walking PCR. Subsequently, the complete genomic lipPE gene was amplified using gene-specific primers designed from the 5′- and 3′-regions. Reverse transcription PCR was used to amplify the lipPE cDNA. The deduced amino acid sequence consisted of 285 residues that included a predicted signal peptide. Three peptides identified by LC/MS/MS analysis of the proteins in the culture supernatant of P. expansum were also present in the deduced amino acid sequence of the lipPE gene suggesting that this gene encoded the lipase identified by initial zymogram activity analysis. Full analysis of the nucleotide and the deduced amino acid sequences indicated that the lipPE gene encodes a novel P. expansum lipase. The lipPE gene was expressed in E. coli for further characterization of the enzyme with a view of assessing its suitability for industrial applications.

Heat of formation of the hydroperoxyl radical HOO via negative ion studies

We present a determination of Delta(f)H(298)(HOO) based upon a negative. ion thermodynamic cycle. The photoelectron spectra of HOO- and DOO- were used to measure the molecular electron affinities (EAs). In a separate experiment, a tandem flowing afterglow-selected ion flow tube (FA-SIFT) was used to measure the forward and reverse rate constants for HOO- + HCdropCH reversible arrow HOOH + HCdropC(-) at 298 K, which gave a value for Delta(acid)H(298)(HOO-H). The experiments yield the following values: EA(HOO) = 1.078 +/- 0.006 eV; T-0((X) over tilde HOO - (A) over tilde HOO) = 0.872 +/- 0.007 eV; EA(DOO) = 1.077 +/- 0.005 eV; T-0((X) over tilde DOO - (A) over tilde DOO) = 0.874 +/- 0.007 eV; Delta(acid)G(298)(HOO-H) = 369.5 +/- 0.4 kcal mol(-1); and Delta(acid)H(298)(HOO-H) = 376.5 +/- 0.4 kcal mol(-1). The acidity/EA thermochemical cycle yields values for the bond enthalpies of DH298(HOO-H) = 87.8 +/- 0.5 kcal mol(-1) and Do(HOO-H) = 86.6 +/- 0.5 kcal mol(-1). We recommend the following values for the heats of formation of the hydroperoxyl radical: Delta(f)H(298)(HOO) = 3.2 +/- 0.5 kcal mol(-1) and Delta(f)H(0)(HOO) = 3.9 +/- 0.5 kcal mol(-1); we recommend that these values supersede those listed in the current NIST-JANAF thermochemical tables.

Quantitative stem-loop RT-PCR for detection of microRNAs

Plant microRNAs (miRNAs) are a class of endogenous small RNAs that are essential for plant development and survival. They arise from larger precursor RNAs with a characteristic hairpin structure and regulate gene activity by targeting mRNA transcripts for cleavage or translational repression. Efficient and reliable detection and quantification of miRNA expression has become an essential step in understanding their specific roles. The expression levels of miRNAs can vary dramatically between samples and they often escape detection by conventional technologies such as cloning, northern hybridization and microarray analysis. The stem-loop RT-PCR method described here is designed to detect and quantify mature miRNAs in a fast, specific, accurate and reliable manner. First, a miRNA-specific stem-loop RT primer is hybridized to the miRNA and then reverse transcribed. Next, the RT product is amplified and monitored in real time using a miRNA-specific forward primer and the universal reverse primer. This method enables miRNA expression profiling from as little as 10 pg of total RNA and is suitable for high-throughput miRNA expression analysis.

PPARγ-independent induction of growth arrest and apoptosis in prostate and bladder carcinoma

Background Although PPARγ antagonists have shown considerable pre-clinical efficacy, recent studies suggest PPARγ ligands induce PPARγ-independent effects. There is a need to better define such effects to permit rational utilization of these agents. Methods We have studied the effects of a range of endogenous and synthetic PPARγ ligands on proliferation, growth arrest (FACS analysis) and apoptosis (caspase-3/7 activation and DNA fragmentation) in multiple prostate carcinoma cell lines (DU145, PC-3 and LNCaP) and in a series of cell lines modelling metastatic transitional cell carcinoma of the bladder (TSU-Pr1, TSU-Pr1-B1 and TSU-Pr1-B2). Results 15-deoxy-prostaglandin J2 (15dPGJ2), troglitazone (TGZ) and to a lesser extent ciglitazone exhibited inhibitory effects on cell number; the selective PPARγ antagonist GW9662 did not reverse these effects. Rosiglitazone and pioglitazone had no effect on proliferation. In addition, TGZ induced G0/G1 growth arrest whilst 15dPGJ2 induced apoptosis. Conclusion Troglitazone and 15dPGJ2 inhibit growth of prostate and bladder carcinoma cell lines through different mechanisms and the effects of both agents are PPARγ-independent.

Staurosporine augments EGF-mediated EMT in PMC42-LA cells through actin depolymerisation, focal contact size reduction and Snail1 induction : a model for cross-modulation

Background A feature of epithelial to mesenchymal transition (EMT) relevant to tumour dissemination is the reorganization of actin cytoskeleton/focal contacts, influencing cellular ECM adherence and motility. This is coupled with the transcriptional repression of E-cadherin, often mediated by Snail1, Snail2 and Zeb1/δEF1. These genes, overexpressed in breast carcinomas, are known targets of growth factor-initiated pathways, however it is less clear how alterations in ECM attachment cross-modulate to regulate these pathways. EGF induces EMT in the breast cancer cell line PMC42-LA and the kinase inhibitor staurosporine (ST) induces EMT in embryonic neural epithelial cells, with F-actin de-bundling and disruption of cell-cell adhesion, via inhibition of aPKC. Methods PMC42-LA cells were treated for 72 h with 10 ng/ml EGF, 40 nM ST, or both, and assessed for expression of E-cadherin repressor genes (Snail1, Snail2, Zeb1/δEF1) and EMT-related genes by QRT-PCR, multiplex tandem PCR (MT-PCR) and immunofluorescence +/- cycloheximide. Actin and focal contacts (paxillin) were visualized by confocal microscopy. A public database of human breast cancers was assessed for expression of Snail1 and Snail2 in relation to outcome. Results When PMC42-LA were treated with EGF, Snail2 was the principal E-cadherin repressor induced. With ST or ST+EGF this shifted to Snail1, with more extreme EMT and Zeb1/δEF1 induction seen with ST+EGF. ST reduced stress fibres and focal contact size rapidly and independently of gene transcription. Gene expression analysis by MT-PCR indicated that ST repressed many genes which were induced by EGF (EGFR, CAV1, CTGF, CYR61, CD44, S100A4) and induced genes which alter the actin cytoskeleton (NLF1, NLF2, EPHB4). Examination of the public database of breast cancers revealed tumours exhibiting higher Snail1 expression have an increased risk of disease-recurrence. This was not seen for Snail2, and Zeb1/δEF1 showed a reverse correlation with lower expression values being predictive of increased risk. Conclusion ST in combination with EGF directed a greater EMT via actin depolymerisation and focal contact size reduction, resulting in a loosening of cell-ECM attachment along with Snail1-Zeb1/δEF1 induction. This appeared fundamentally different to the EGF-induced EMT, highlighting the multiple pathways which can regulate EMT. Our findings add support for a functional role for Snail1 in invasive breast cancer.

Epithelial-mesenchymal transitions - new insights into signaling, development and pathogenesis

This 2nd special edition of Cells Tissues Organs on epithelial-mesenchymal transitions (EMT) stems from the 2nd International Conference on EMT, which was convened by Shoukat Dedhar and Raghu Kalluri on October 1–3, 2005, in Vancouver, B.C., Canada. EMT – the transformation of epithelial cells which are usually arranged in a coherent layer and sessile, into more individualistic and motile cells, mesenchymal cells – is well recognized as an important primary mechanism in embryogenesis for remodeling tissues, as is the reverse transition. This has obvious implications in numerous pathophysiologies, and in particular EMT has emerged as an important feature of fibrosis in a growing number of organ types. It is now clear that about a third of the fibroblasts in the setting of organ fibrosis are likely derived from the epithelium. Cancer EMT remains topical, and although EMT has been reported in many cancer studies, this meeting was held against a backdrop of controversy in the cancer community as to the prevalence of EMT in clinical scenarios [Tarin et al.: Cancer Res 2005;65:5996–6000; Thompson et al.: Cancer Res 2005;65:5991–5995]...

Improvements to bauxite residue neutralisation efficiency through the use of alternative feed sources

Currently, open circuit Bayer refineries pump seawater directly into their operations to neutralise the caustic fraction of the Bayer residue. The resulting supernatant has a reduced pH and is pumped back to the marine environment. This investigation has assessed modified seawater sources generated from different ion filtration processes to compare their relative capacities to neutralise bauxite residues. An assessment of the chemical stability of the neutralisation products, neutralisation efficiency, discharge water quality, bauxite residue composition, and associated economic benefits have been considered to determine the most preferable seawater filtration process based on implementation costs, savings to operations and environmental benefits. The mechanism of neutralisation for each technology was determined to be predominately due to the formation of Bayer hydrotalcite and calcium carbonate, however variations in neutralisation capacity and efficiencies have been observed. The neutralisation efficiency of each feed source has been found to be dependent on the concentration of magnesium, aluminium, calcium and carbonate. These studies have revealed that multiple neutralisation steps occur throughout the process. Environmental, economic and social advantages and disadvantages of the different filtration technologies have been explored to determine the most sustainable method for the neutralisation of bauxite residues. The relative degree of “green” associated with nanofiltered seawater and reverse osmosis filtered seawater are discussed.

Agent-based application on different boarding strategies

In this paper we implemented six different boarding strategies (Wilma, Steffen, Reverse Pyramid, Random, Blocks and By letter) in order to minimize boarding time and turnaround time for Boeing 777 and Airbus 380 aircrafts by using Agent-based modelling approach. In the simulation, we divided passengers into six different categories which are group size more than 5 people, passengers with child, gold members, first class passengers, business class passengers and economy class passengers. Results from the simulation demonstrates Reverse Pyramid method is the best boarding method for Boeing 777 and Steffen method is the best boarding method for Airbus 380.