VerifyThis 2015 A program verification competition

VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 event, the challenges that were posed during the competition, and a high-level overview of the solutions to these challenges. It concludes with the results of the competition and some ideas and thoughts for future instalments of VerifyThis

A bispecific diabody directed against prostate-specific membrane antigen and CD3 induces T-cell mediated lysis of prostate cancer cells

BACKGROUND: Although cancer of the prostate is one of the most commonly diagnosed cancers in men, no curative treatment currently exists after its progression beyond resectable boundaries. Therefore, new agents for targeted treatment strategies are needed. Cross-linking of tumor antigens with T-cell associated antigens by bispecific monoclonal antibodies have been shown to increase antigen-specific cytotoxicity in T-cells. Since the prostate-specific membrane antigen (PSMA) represents an excellent tumor target, immunotherapy with bispecific diabodies could be a promising novel treatment option for prostate cancer. METHODS: A heterodimeric diabody specific for human PSMA and the T-cell antigen CD3 was constructed from the DNA of anti-CD3 and anti-PSMA single chain Fv fragments (scFv). It was expressed in E. coli using a vector containing a bicistronic operon for co-secretion of the hybrid scFv V_HCD3-V_LPSMA and V_HPSMA-V_LCD3. The resulting PSMAxCD3 diabody was purified from the periplasmic extract by immobilized metal affinity chromatography (IMAC). The binding properties were tested on PSMA-expressing prostate cancer cells and PSMA-negative cell lines as well as on Jurkat cells by flow cytometry. For in vitro functional analysis, a cell viability test (WST) was used. For in vivo evaluation the diabody was applied together with human peripheral blood lymphocytes (PBL) in a C4-2 xenograft-SCID mouse model. RESULTS: By Blue Native gel electrophoresis, it could be shown that the PSMAxCD3 diabody is mainly a tetramer. Specific binding both to CD3-expressing Jurkat cells and PSMA-expressing C4-2 cells was shown by flow cytometry. In vitro, the diabody proved to be a potent agent for retargeting PBL to lyze C4-2 prostate cancer cells. Treatment of SCID mice inoculated with C4-2 tumor xenografts with the diabody and PBL efficiently inhibited tumor growth. CONCLUSIONS: The PSMAxCD3 diabody bears the potential for facilitating immunotherapy of prostate cancer and for the elimination of minimal residual disease

Hemodialysis in infants and small children

Hemodialysis in infants and small children requires specialized nursing staff, equipment and adequate access. The techniques, requirements and available equipment for this population are discussed.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/47834/1/467_2004_Article_BF00868283.pd

Micropropagation and conservation of selected endangered anticancer medicinal plants from the Western Ghats of India

Globally, cancer is a constant battle which severely affects the human population. The major limitations of the anticancer drugs are the deleterious side effects on the quality of life. Plants play a vital role in curing many diseases with minimal or no side effects. Phytocompounds derived from various medicinal plants serve as the best source of drugs to treat cancer. The global demand for phytomedicines is mostly reached by the medicinal herbs from the tropical nations of the world even though many plant species are threatened with extinction. India is one of the mega diverse countries of the world due to its ecological habitats, latitudinal variation, and diverse climatic range. Western Ghats of India is one of the most important depositories of endemic herbs. It is found along the stretch of south western part of India and constitutes rain forest with more than 4000 diverse medicinal plant species. In recent times, many of these therapeutically valued herbs have become endangered and are being included under the red-listed plant category in this region. Due to a sharp rise in the demand for plant-based products, this rich collection is diminishing at an alarming rate that eventually triggered dangerous to biodiversity. Thus, conservation of the endangered medicinal plants has become a matter of importance. The conservation by using only in situ approaches may not be sufficient enough to safeguard such a huge bio-resource of endangered medicinal plants. Hence, the use of biotechnological methods would be vital to complement the ex vitro protection programs and help to reestablish endangered plant species. In this backdrop, the key tools of biotechnology that could assist plant conservation were developed in terms of in vitro regeneration, seed banking, DNA storage, pollen storage, germplasm storage, gene bank (field gene banking), tissue bank, and cryopreservation. In this chapter, an attempt has been made to critically review major endangered medicinal plants that possess anticancer compounds and their conservation aspects by integrating various biotechnological tool

Quantitative Analysis of Protein Phosphorylations and Interactions by Multi-Colour IP-FCM as an Input for Kinetic Modelling of Signalling Networks

BACKGROUND: To understand complex biological signalling mechanisms, mathematical modelling of signal transduction pathways has been applied successfully in last few years. However, precise quantitative measurements of signal transduction events such as activation-dependent phosphorylation of proteins, remains one bottleneck to this success. METHODOLOGY/PRINCIPAL FINDINGS: We use multi-colour immunoprecipitation measured by flow cytometry (IP-FCM) for studying signal transduction events to unrivalled precision. In this method, antibody-coupled latex beads capture the protein of interest from cellular lysates and are then stained with differently fluorescent-labelled antibodies to quantify the amount of the immunoprecipitated protein, of an interaction partner and of phosphorylation sites. The fluorescence signals are measured by FCM. Combining this procedure with beads containing defined amounts of a fluorophore allows retrieving absolute numbers of stained proteins, and not only relative values. Using IP-FCM we derived multidimensional data on the membrane-proximal T-cell antigen receptor (TCR-CD3) signalling network, including the recruitment of the kinase ZAP70 to the TCR-CD3 and subsequent ZAP70 activation by phosphorylation in the murine T-cell hybridoma and primary murine T cells. Counter-intuitively, these data showed that cell stimulation by pervanadate led to a transient decrease of the phospho-ZAP70/ZAP70 ratio at the TCR. A mechanistic mathematical model of the underlying processes demonstrated that an initial massive recruitment of non-phosphorylated ZAP70 was responsible for this behaviour. Further, the model predicted a temporal order of multisite phosphorylation of ZAP70 (with Y319 phosphorylation preceding phosphorylation at Y493) that we subsequently verified experimentally. CONCLUSIONS/SIGNIFICANCE: The quantitative data sets generated by IP-FCM are one order of magnitude more precise than Western blot data. This accuracy allowed us to gain unequalled insight into the dynamics of the TCR-CD3-ZAP70 signalling network

RNA Binding Protein CUGBP2/CELF2 Mediates Curcumin-Induced Mitotic Catastrophe of Pancreatic Cancer Cells

Curcumin inhibits the growth of pancreatic cancer tumor xenografts in nude mice; however, the mechanism of action is not well understood. It is becoming increasingly clear that RNA binding proteins regulate posttranscriptional gene expression and play a critical role in RNA stability and translation. Here, we have determined that curcumin modulates the expression of RNA binding protein CUGBP2 to inhibit pancreatic cancer growth.In this study, we show that curcumin treated tumor xenografts have a significant reduction in tumor volume and angiogenesis. Curcumin inhibited the proliferation, while inducing G2-M arrest and apoptosis resulting in mitotic catastrophe of various pancreatic cancer cells. This was further confirmed by increased phosphorylation of checkpoint kinase 2 (Chk2) protein coupled with higher levels of nuclear cyclin B1 and Cdc-2. Curcumin increased the expression of cyclooxygenase-2 (COX-2) and vascular endothelial growth factor (VEGF) mRNA, but protein levels were lower. Furthermore, curcumin increased the expression of RNA binding proteins CUGBP2/CELF2 and TIA-1. CUGBP2 binding to COX-2 and VEGF mRNA was also enhanced, thereby increasing mRNA stability, the half-life changing from 30 min to 8 h. On the other hand, silencer-mediated knockdown of CUGBP2 partially restored the expression of COX-2 and VEGF even with curcumin treatment. COX-2 and VEGF mRNA levels were reduced to control levels, while proteins levels were higher.Curcumin inhibits pancreatic tumor growth through mitotic catastrophe by increasing the expression of RNA binding protein CUGBP2, thereby inhibiting the translation of COX-2 and VEGF mRNA. These data suggest that translation inhibition is a novel mechanism of action for curcumin during the therapeutic intervention of pancreatic cancers