Tools for Finding Inconsistencies in Real-world Logic-based Systems

Currently there is extensive theoretical work on inconsistencies in logic-based systems. Recently, algorithms for identifying inconsistent clauses in a single conjunctive formula have demonstrated that practical application of this work is possible. However, these algorithms have not been extended for full knowledge base systems and have not been applied to real-world knowledge. To address these issues, we propose a new algorithm for finding the inconsistencies in a knowledge base using existing algorithms for finding inconsistent clauses in a formula. An implementation of this algorithm is then presented as an automated tool for finding inconsistencies in a knowledge base and measuring the inconsistency of formulae. Finally, we look at a case study of a network security rule set for exploit detection (QRadar) and suggest how these automated tools can be applied.

Efficient Drug Delivery and Induction of Apoptosis in Colorectal Tumors Using a Death Receptor 5-Targeted Nanomedicine

Death Receptor 5 (DR5) is a pro-apoptotic cell-surface receptor that is a potential therapeutic target in cancer. Despite the potency of DR5-targeting agents in preclinical models, the translation of these effects into the clinic remains disappointing. Herein, we report an alternative approach to exploiting DR5 tumor expression using antibody-targeted, chemotherapy-loaded nanoparticles. We describe the development of an optimized polymer-based nanotherapeutic incorporating both a functionalized polyethylene glycol (PEG) layer and targeting antibodies to limit premature phagocytic clearance whilst enabling targeting of DR5-expressing tumor cells. Using the HCT116 colorectal cancer model, we show that following binding to DR5, the nanoparticles activate caspase 8, enhancing the anti-tumor activity of the camptothecin payload both in vitro and in vivo. Importantly, the combination of nanoparticle-induced DR5 clustering with camptothecin delivery overcomes resistance to DR5-induced apoptosis caused by loss of BAX or overexpression of anti-apoptotic FLIP. This novel approach may improve the clinical activity of DR5-targeted therapeutics while increasing tumor-specific delivery of systemically toxic chemotherapeutics.Molecular Therapy (2014); doi:10.1038/mt.2014.137.

Biogas reforming using renewable wind energy and induction heating

While the benefits of renewable energy are well known and used to influence government policy there are a number of problems which arise from having significant quantities of renewable energies on an electricity grid. The most notable problem stems from their intermittent nature which is often out of phase with the demands of the end users. This requires the development of either efficient energy storage systems, e.g. battery technology, compressed air storage etc. or through the creation of demand side management units which can utilise power quickly for manufacturing operations. Herein a system performing the conversion of synthetic biogas to synthesis gas using wind power and an induction heating system is shown. This approach demonstrates the feasibility of such techniques for stabilising the electricity grid while also providing a robust means of energy storage. This exemplar is also applicable to the production of hydrogen from the steam reforming of natural gas.

VDR and MEK-ERK dependent induction of the antimicrobial peptide cathelicidin in keratinocytes by lithocholic acid

Cathelicidin is an antimicrobial peptide (AMP) and signaling molecule in innate immunity and a direct target of 1,25-dihydroxyvitamin D3 (1,25D3) in primary human keratinocytes (NHEK). The expression of cathelicidin is dysregulated in various skin diseases and its regulation differs depending on the epithelial cell type. The secondary bile acid lithocholic acid (LCA) is a ligand of the vitamin D receptor (VDR) and can carry out in vivo functions of vitamin D3. Therefore we analyzed cathelicidin mRNA- and peptide expression levels in NHEK and colonic epithelial cells (Caco-2) after stimulation with LCA. We found increased expression of cathelicidin mRNA and peptide in NHEK, in Caco-2 colon cells no effect was observed after LCA stimulation. The VDR as well as MEK-ERK signaled the upregulation of cathelicidin in NHEK induced by LCA. Collectively, our data indicate that cathelicidin induction upon LCA treatment differs in keratinocytes and colonic epithelial cells. Based on these observations LCA-like molecules targeting cathelicidin could be designed for the treatment of cutaneous diseases that are characterized by disturbed cathelicidin expression.

Logic and Memory Design Based on Unequal Error Protection for Voltage-scalable, Robust and Adaptive DSP Systems

In this paper, we propose a system level design approach considering voltage over-scaling (VOS) that achieves error resiliency using unequal error protection of different computation elements, while incurring minor quality degradation. Depending on user specifications and severity of process variations/channel noise, the degree of VOS in each block of the system is adaptively tuned to ensure minimum system power while providing "just-the-right" amount of quality and robustness. This is achieved, by taking into consideration block level interactions and ensuring that under any change of operating conditions, only the "less-crucial" computations, that contribute less to block/system output quality, are affected. The proposed approach applies unequal error protection to various blocks of a system-logic and memory-and spans multiple layers of design hierarchy-algorithm, architecture and circuit. The design methodology when applied to a multimedia subsystem shows large power benefits ( up to 69% improvement in power consumption) at reasonable image quality while tolerating errors introduced due to VOS, process variations, and channel noise.

Limits of Dissent, Perils of Activism: Spaces of Resistance and the New Security Logic

On 26 December 2003 an Israeli activist was shot by the Israeli Army while he was participating in a demonstration organized by Anarchists Against the Wall (AAtW) in the West Bank. This was the first time Israeli Soldiers have deliberately shot live bullets at a Jewish-Israeli activist. This paper is an attempt to understand the set of conditions, the enveloping frameworks, and the new discourses that have made this event, and similar shootings that soon followed, possible. Situating the actions of AAtW within a much wider context of securitization—of identities, movements, and bodies—we examine strategies of resistance which are deployed in highly securitized public spaces. We claim that an unexpected matrix of identity in which abnormality is configured as security threat render the bodies of activists especially precarious. The paper thus provides an account of the new rationales of security technologies and tactics which increasingly govern public spaces.

Taking Baby Steps in Molecular Logic-based Computation

Molecular logic-based computation is a broad umbrella covering molecular sensors at its simplest level and logic gate arrays involving steadily increasing levels of parallel and serial integration. The fluorescent PET(photoinduced electron transfer) switching principle remains a loyal servant of this entire field. Applications arise from the convenient operation of molecular information processors in very small spaces.

Overexpression of the microRNA miR-433 promotes resistance to paclitaxel through the induction of cellular senescence in ovarian cancer cells

Annually, ovarian cancer (OC) affects 240,000 women worldwide and is the most lethal gynecological malignancy. High-grade serous OC (HGSOC) is the most common and aggressive OC subtype, characterized by widespread genome changes and chromosomal instability and is consequently poorly responsive to chemotherapy treatment. The objective of this study was to investigate the role of the microRNA miR-433 in the cellular response of OC cells to paclitaxel treatment. We show that stable miR-433 expression in A2780 OC cells results in the induction of cellular senescence demonstrated by morphological changes, downregulation of phosphorylated retinoblastoma (p-Rb), and an increase in β-galactosidase activity. Furthermore, in silico analysis identified four possible miR-433 target genes associated with cellular senescence: cyclin-dependent kinase 6 (CDK6), MAPK14, E2F3, and CDKN2A. Mechanistically, we demonstrate that downregulation of p-Rb is attributable to a miR-433-dependent downregulation of CDK6, establishing it as a novel miR-433 associated gene. Interestingly, we show that high miR-433 expressing cells release miR-433 into the growth media via exosomes which in turn can induce a senescence bystander effect. Furthermore, in relation to a chemotherapeutic response, quantitative real-time polymerase chain reaction (qRT-PCR) analysis revealed that only PEO1 and PEO4 OC cells with the highest miR-433 expression survive paclitaxel treatment. Our data highlight how the aberrant expression of miR-433 can adversely affect intracellular signaling to mediate chemoresistance in OC cells by driving cellular senescence.

MIR-433 Predicts poor response to chemotherapy in ovarian cancer patients by the induction of cellular senescence

Annually, ovarian cancer (OC) affects 240,000 women worldwide and is the most lethal gynaecological malignancy. Such mortality is predominantly associated with the development of an intrinsic and acquired resistance to chemotherapy, the lack of targeted therapies and the lack of biomarkers predicting response to standard treatment.

Our clinical data demonstrates that increased miR-433 expression in primary high grade serous OC (HGSOCs) is significantly associated with poor PFS (n=46, p=0.024). Interestingly, the IHC analysis of two miR-433 targets: MAD2 [1] and HDAC6 shows that low IHC levels of both proteins is also significantly associated with worse outcome (p=0.002 and 0.002 respectively; n=43). Additionally, the analysis of miR 433 in the publicly available TCGA dataset corroborates that high miR-433 is significantly correlated with worse OS for patients presenting with OC (n=558 and p=0.027). In vito, in a panel of OC cell lines, higher miR-433 and lower MAD2 and HDAC6 levels were associated with resistance to paclitaxel.

To further investigate the role of miR-433 in the cellular response to chemotherapy, we generated an OC cell line stably expressing miR-433 or miR-control. MTT viability assays and Western Blot analyses established that miR-433 cells were more resistant to paclitaxel treatment (50nM) compared to miR-controls. Importantly, we have shown for the first time that miR 433 induced senescence resulting in a chracteristic flattened morphology and down-regulation of phosphorylated Retinoblastoma (p Rb), a molecular marker of senescence. Surprisingly, miR 433 induced senescence was independent from two well recognised senescent drivers: namely p53/p21 and p16. To explore this further we performed an in silico analysis of seven microRNA platforms which indicated that miR 433 potentially targets Cyclin-dependent kinase CDK6, which promotes sustained phosphorylation of Rb and thus cell cycle progression. In vitro, the overexpression of pre-miR-433 resulted in diminished CDK6 expression demonstrating a novel interaction between miR-433 and CDK6.

In conclusion, this study demonstrates that high miR-433 expression predicts poor outcome in OC patients by putatively rendering OC cells resistant to paclitaxel treatment through the induction of cellular senescence identifying this microRNA as a potential marker of chemoresponse.