The Power of Non-Determinism in Higher-Order Implicit Complexity

We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice. Cons-freeness roughly means that data constructors cannot occur in function bodies and all manipulation of storage space thus has to happen indirectly using the call stack. While cons-free programs have previously been used by several authors to characterise complexity classes, the work on non-deterministic programs has almost exclusively considered programs of data order 0. Previous work has shown that adding explicit non-determinism to cons-free programs taking data of order 0 does not increase expressivity; we prove that this - dramatically - is not the case for higher data orders: adding non-determinism to programs with data order at least 1 allows for a characterisation of the entire class of elementary-time decidable sets. Finally we show how, even with non-deterministic choice, the original hierarchy of characterisations is restored by imposing different restrictions.Comment: pre-edition version of a paper accepted for publication at ESOP'1

HER2/neu Immunostaining in Invasive Breast Cancer: Analysis of False Positive Factors

Objectives: HER2/neu gene amplification by Fluorescent in situ hybridization and protein expression by immunohistochemistry have been used for prognosis and guidance for the treatment of invasive ductal carcinoma of the breast with Trastuzumab. False positive results are a significant problem where immunohistochemistry is exclusively used to test HER2/neu protein over expression. A minority of cases of breast cancer scoring HER2 (3+) by immunohistochemistry using Hercep test may not be associated with amplification of the HER2/neu gene by FISH, a test which is a more specific and sensitive than immunohistochemistry. This study aims to examine the factors contributing to false positive results by immunohistochemistry and subsequently not showing HER2/neu gene amplification by FISH analysis.Methods: A retrospective analysis of 18 cases (3+) by immunohistochemistry in the pathology laboratory not associated with HER2/neu gene amplification was performed. The histological review of these cases was done, the technical error (i.e staining of blood vessels or benign ducts) and the interpretation errors were evaluated.Results: Polysomy 17 was absent in all the cases studied by FISH analysis. By immunohistochemistry, five of the 18 cases were purely interpretation errors and the remaining were a combination of technical and interpretational errors.Conclusion: False positive results related to technical and interpretational errors can be prevented by properly educating the technologist and pathologist to perform high quality immunostains and to render an accurate diagnosis respectively. This issue is of utmost importance as it may have deleterious effects on the selection of therapeutic arsenal in invasive ductal carcinoma of the breast

The H3K27M mutation alters stem cell growth, epigenetic regulation, and differentiation potential

BACKGROUND: Neurodevelopmental disorders increase brain tumor risk, suggesting that normal brain development may have protective properties. Mutations in epigenetic regulators are common in pediatric brain tumors, highlighting a potentially central role for disrupted epigenetic regulation of normal brain development in tumorigenesis. For example, lysine 27 to methionine mutation (H3K27M) in the H3F3A gene occurs frequently in Diffuse Intrinsic Pontine Gliomas (DIPGs), the most aggressive pediatric glioma. As H3K27M mutation is necessary but insufficient to cause DIPGs, it is accompanied by additional mutations in tumors. However, how H3K27M alone increases vulnerability to DIPG tumorigenesis remains unclear. RESULTS: Here, we used human embryonic stem cell models with this mutation, in the absence of other DIPG contributory mutations, to investigate how H3K27M alters cellular proliferation and differentiation. We found that H3K27M increased stem cell proliferation and stem cell properties. It interfered with differentiation, promoting anomalous mesodermal and ectodermal gene expression during both multi-lineage and germ layer-specific cell specification, and blocking normal differentiation into neuroectoderm. H3K27M mutant clones exhibited transcriptomic diversity relative to the more homogeneous wildtype population, suggesting reduced fidelity of gene regulation, with aberrant expression of genes involved in stem cell regulation, differentiation, and tumorigenesis. These phenomena were associated with global loss of H3K27me3 and concordant loss of DNA methylation at specific genes in H3K27M-expressing cells. CONCLUSIONS: Together, these data suggest that H3K27M mutation disrupts normal differentiation, maintaining a partially differentiated state with elevated clonogenicity during early development. This disrupted response to early developmental cues could promote tissue properties that enable acquisition of additional mutations that cooperate with H3K27M mutation in genesis of DMG/DIPG. Therefore, this work demonstrates for the first time that H3K27M mutation confers vulnerability to gliomagenesis through persistent clonogenicity and aberrant differentiation and defines associated alterations of histone and DNA methylation

Mapping interactions with the chaperone network reveals factors that protect against tau aggregation.

A network of molecular chaperones is known to bind proteins ('clients') and balance their folding, function and turnover. However, it is often unclear which chaperones are critical for selective recognition of individual clients. It is also not clear why these key chaperones might fail in protein-aggregation diseases. Here, we utilized human microtubule-associated protein tau (MAPT or tau) as a model client to survey interactions between ~30 purified chaperones and ~20 disease-associated tau variants (~600 combinations). From this large-scale analysis, we identified human DnaJA2 as an unexpected, but potent, inhibitor of tau aggregation. DnaJA2 levels were correlated with tau pathology in human brains, supporting the idea that it is an important regulator of tau homeostasis. Of note, we found that some disease-associated tau variants were relatively immune to interactions with chaperones, suggesting a model in which avoiding physical recognition by chaperone networks may contribute to disease

A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report)

We define a domain-specific language (DSL) to inductively assemble flow networks from small networks or modules to produce arbitrarily large ones, with interchangeable functionally-equivalent parts. Our small networks or modules are "small" only as the building blocks in this inductive definition (there is no limit on their size). Associated with our DSL is a type theory, a system of formal annotations to express desirable properties of flow networks together with rules that enforce them as invariants across their interfaces, i.e, the rules guarantee the properties are preserved as we build larger networks from smaller ones. A prerequisite for a type theory is a formal semantics, i.e, a rigorous definition of the entities that qualify as feasible flows through the networks, possibly restricted to satisfy additional efficiency or safety requirements. This can be carried out in one of two ways, as a denotational semantics or as an operational (or reduction) semantics; we choose the first in preference to the second, partly to avoid exponential-growth rewriting in the operational approach. We set up a typing system and prove its soundness for our DSL.Comment: In Proceedings DSL 2011, arXiv:1109.032

NRP/Optineurin Cooperates with TAX1BP1 to Potentiate the Activation of NF-κB by Human T-Lymphotropic Virus Type 1 Tax Protein

Nuclear factor (NF)-κB is a major survival pathway engaged by the Human T-Lymphotropic Virus type 1 (HTLV-1) Tax protein. Tax1 activation of NF-κB occurs predominantly in the cytoplasm, where Tax1 binds NF-κB Essential Modulator (NEMO/IKKγ) and triggers the activation of IκB kinases. Several independent studies have shown that Tax1-mediated NF-κB activation is dependent on Tax1 ubiquitination. Here, we identify by co-immunoprecipitation assays NEMO-Related Protein (NRP/Optineurin) as a binding partner for Tax1 in HTLV-1 infected and Tax1/NRP co-expressing cells. Immunofluorescence studies reveal that Tax1, NRP and NEMO colocalize in Golgi-associated structures. The interaction between Tax1 and NRP requires the ubiquitin-binding activity of NRP and the ubiquitination sites of Tax1. In addition, we observe that NRP increases the ubiquitination of Tax1 along with Tax1-dependent NF-κB signaling. Surprisingly, we find that in addition to Tax1, NRP interacts cooperatively with the Tax1 binding protein TAX1BP1, and that NRP and TAX1BP1 cooperate to modulate Tax1 ubiquitination and NF-κB activation. Our data strongly suggest for the first time that NRP is a critical adaptor that regulates the assembly of TAX1BP1 and post-translationally modified forms of Tax1, leading to sustained NF-κB activation

Conference highlights of the 15th international conference on human retrovirology: HTLV and related retroviruses, 4-8 june 2011, Leuven, Gembloux, Belgium

The June 2011 15th International Conference on Human Retrovirology: HTLV and Related Viruses marks approximately 30 years since the discovery of HTLV-1. As anticipated, a large number of abstracts were submitted and presented by scientists, new and old to the field of retrovirology, from all five continents. The aim of this review is to distribute the scientific highlights of the presentations as analysed and represented by experts in specific fields of epidemiology, clinical research, immunology, animal models, molecular and cellular biology, and virology

PEG-asparaginase induced severe hypertriglyceridemia

Asparaginase (ASP) is an effective chemotherapy agent extensively used in children with acute lymphocytic leukemia (ALL). There has been a recent interest in using ASP in adults with ALL, particularly the less toxic pegylated (PEG) formulation. Hypertriglyceridemia (HTG) is a rare complication of PEG-ASP therapy. We report two cases of obese patients who developed severe HTG after receiving PEG for ALL. Both patients were incidentally found to have severe HTG (TG of 4,330 and 4,420 mg/dL). In both patients, there was no personal or family history of dyslipidemia or hypothyroidism. There was no evidence of pancreatitis or skin manifestations of HTG. Both patients were treated with PEG cessation, low-fat diet and pharmacotherapy. Both patients were re-challenged with PEG, with subsequent increase in TG but no associated complications. TG returned to baseline after discontinuing PEG and while on therapy for HTG. A literature review of PEG-induced HTG in adults demonstrated similar results: asymptomatic presentation despite very severe HTG. HTG is a rare but clinically important adverse effect of PEG. Underlying obesity and/or diabetes may represent risk factors. Clinicians should monitor TG levels during PEG therapy to avoid TG-induced pancreatitis

Conformational Basis for Asymmetric Seeding Barrier in Filaments of Three- and Four-Repeat Tau

*S Supporting Information ABSTRACT: Tau pathology in Alzheimer’s disease is intimately linked to the deposition of proteinacious filaments, which akin to infectious prions, have been proposed to spread via seeded conversion. Here we use double electron−electron resonance (DEER) spectroscopy in combination with extensive computational analysis to show that filaments of three- (3R) and four-repeat (4R) tau are conformationally distinct. Distance measurements between spin labels in the third repeat, reveal tau amyloid filaments as ensembles of known β-strand−turn−β-strand U-turn motifs. Whereas filaments seeded with 3R tau are structurally homogeneous, filaments seeded with 4R tau are heterogeneous, composed of at least three distinct conformers. These findings establish a molecular basis for the seeding barrier between different tau isoforms and offer a new powerful approach for investigating the composition and dynamics of amyloid fibril ensembles