Internal Universes in Models of Homotopy Type Theory

We begin by recalling the essentially global character of universes in various models of homotopy type theory, which prevents a straightforward axiomatization of their properties using the internal language of the presheaf toposes from which these model are constructed. We get around this problem by extending the internal language with a modal operator for expressing properties of global elements. In this setting we show how to construct a universe that classifies the Cohen-Coquand-Huber-Mörtberg (CCHM) notion of fibration from their cubical sets model, starting from the assumption that the interval is tiny - a property that the interval in cubical sets does indeed have. This leads to an elementary axiomatization of that and related models of homotopy type theory within what we call crisp type theory

On the six-dimensional origin of the AGT correspondence

We argue that the six-dimensional (2,0) superconformal theory defined on M \times C, with M being a four-manifold and C a Riemann surface, can be twisted in a way that makes it topological on M and holomorphic on C. Assuming the existence of such a twisted theory, we show that its chiral algebra contains a W-algebra when M = R^4, possibly in the presence of a codimension-two defect operator supported on R^2 \times C \subset M \times C. We expect this structure to survive the \Omega-deformation.Comment: References added. 14 page

C9orf72 ALS/FTD dipeptide repeat protein levels are reduced by small molecules that inhibit PKA or enhance protein degradation

Intronic GGGGCC (G4C2) hexanucleotide repeat expansion within the human C9orf72 gene represents the most common cause of familial forms of amyotrophic lateral sclerosis (ALS) and frontotemporal dementia (FTD) (C9ALS/FTD). Repeat-associated non-AUG (RAN) translation of repeat-containing C9orf72 RNA results in the production of neurotoxic dipeptide-repeat proteins (DPRs). Here, we developed a high-throughput drug screen for the identification of positive and negative modulators of DPR levels. We found that HSP90 inhibitor geldanamycin and aldosterone antagonist spironolactone reduced DPR levels by promoting protein degradation via the proteasome and autophagy pathways respectively. Surprisingly, cAMP-elevating compounds boosting protein kinase A (PKA) activity increased DPR levels. Inhibition of PKA activity, by both pharmacological and genetic approaches, reduced DPR levels in cells and rescued pathological phenotypes in a Drosophila model of C9ALS/FTD. Moreover, knockdown of PKA-catalytic subunits correlated with reduced translation efficiency of DPRs, while the PKA inhibitor H89 reduced endogenous DPR levels in C9ALS/FTD patient-derived iPSC motor neurons. Together, our results suggest new and druggable pathways modulating DPR levels in C9ALS/FTD

Post-bronchoscopy fatal endobronchial hemorrhage in a woman with bronchopulmonary mucormycosis: a case report

<p>Abstract</p> <p>Introduction</p> <p>During infection, Mucorales fungi invade major blood vessels, leading to extensive necrosis, and in cases of extensive pulmonary disease, bleeding into the lungs may occur.</p> <p>Case presentation</p> <p>We report an unexpected event of post-bronchoscopy fatal endobronchial hemorrhage in a 62-year-old HIV-negative Italian woman with well controlled diabetes mellitus who presented with diffuse cavitated pulmonary lesions. Fiberoptic bronchoscopy revealed bilateral obstruction of the segmental bronchi. Fatal massive bleeding occurred after standard biopsy procedures. Histologic examination showed that the hyphae were more deeply colored by hematoxylin-eosin (H&E) than by other stains for fungi. Culture and autopsy confirmed bronchopulmonary mucormycosis.</p> <p>Conclusion</p> <p>Infection by Mucorales fungi should be considered in the diabetes population regardless of the degree of metabolic control. In these patients, particular caution should be taken during bronchoscopic procedures because of the greater friability of the fungal lesions.</p

PINOT: an intuitive resource for integrating protein-protein interactions

The past decade has seen the rise of omics data, for the understanding of biological systems in health and disease. This wealth of data includes protein-protein interaction (PPI) derived from both low and high-throughput assays, which is curated into multiple databases that capture the extent of available information from the peer-reviewed literature. Although these curation efforts are extremely useful, reliably downloading and integrating PPI data from the variety of available repositories is challenging and time consuming. We here present a novel user-friendly web-resource called PINOT (Protein Interaction Network Online Tool; available at http://www.reading.ac.uk/bioinf/PINOT/PINOT_form.html) to optimise the collection and processing of PPI data from the IMEx consortium associated repositories (members and observers) and from WormBase for constructing, respectively, human and C. elegans PPI networks. Users submit a query containing a list of proteins of interest for which PINOT will mine PPIs. PPI data is downloaded, merged, quality checked, and confidence scored based on the number of distinct methods and publications in which each interaction has been reported. Examples of PINOT applications are provided to highlight the performance, the ease of use and the potential applications of this tool. PINOT is a tool that allows users to survey the literature, extracting PPI data for a list of proteins of interest. The comparison with analogous tools showed that PINOT was able to extract similar numbers of PPIs while incorporating a set of innovative features. PINOT processes both small and large queries, it downloads PPIs live through PSICQUIC and it applies quality control filters on the downloaded PPI annotations (i.e. removing the need of manual inspection by the user). PINOT provides the user with information on detection methods and publication history for each of the downloaded interaction data entry and provides results in a table format that can be easily further customised and/or directly uploaded in a network visualization software

Compressed representation of a partially defined integer function over multiple arguments

In OLAP (OnLine Analitical Processing) data are analysed in an n-dimensional cube. The cube may be represented as a partially defined function over n arguments. Considering that often the function is not defined everywhere, we ask: is there a known way of representing the function or the points in which it is defined, in a more compact manner than the trivial one

A Coevolutionary Residue Network at the Site of a Functionally Important Conformational Change in a Phosphohexomutase Enzyme Family

Coevolution analyses identify residues that co-vary with each other during evolution, revealing sequence relationships unobservable from traditional multiple sequence alignments. Here we describe a coevolutionary analysis of phosphomannomutase/phosphoglucomutase (PMM/PGM), a widespread and diverse enzyme family involved in carbohydrate biosynthesis. Mutual information and graph theory were utilized to identify a network of highly connected residues with high significance. An examination of the most tightly connected regions of the coevolutionary network reveals that most of the involved residues are localized near an interdomain interface of this enzyme, known to be the site of a functionally important conformational change. The roles of four interface residues found in this network were examined via site-directed mutagenesis and kinetic characterization. For three of these residues, mutation to alanine reduces enzyme specificity to ∼10% or less of wild-type, while the other has ∼45% activity of wild-type enzyme. An additional mutant of an interface residue that is not densely connected in the coevolutionary network was also characterized, and shows no change in activity relative to wild-type enzyme. The results of these studies are interpreted in the context of structural and functional data on PMM/PGM. Together, they demonstrate that a network of coevolving residues links the highly conserved active site with the interdomain conformational change necessary for the multi-step catalytic reaction. This work adds to our understanding of the functional roles of coevolving residue networks, and has implications for the definition of catalytically important residues

The Protein-Protein Interaction tasks of BioCreative III: classification/ranking of articles and linking bio-ontology concepts to full text

BACKGROUND: Determining usefulness of biomedical text mining systems requires realistic task definition and data selection criteria without artificial constraints, measuring performance aspects that go beyond traditional metrics. The BioCreative III Protein-Protein Interaction (PPI) tasks were motivated by such considerations, trying to address aspects including how the end user would oversee the generated output, for instance by providing ranked results, textual evidence for human interpretation or measuring time savings by using automated systems. Detecting articles describing complex biological events like PPIs was addressed in the Article Classification Task (ACT), where participants were asked to implement tools for detecting PPI-describing abstracts. Therefore the BCIII-ACT corpus was provided, which includes a training, development and test set of over 12,000 PPI relevant and non-relevant PubMed abstracts labeled manually by domain experts and recording also the human classification times. The Interaction Method Task (IMT) went beyond abstracts and required mining for associations between more than 3,500 full text articles and interaction detection method ontology concepts that had been applied to detect the PPIs reported in them.RESULTS:A total of 11 teams participated in at least one of the two PPI tasks (10 in ACT and 8 in the IMT) and a total of 62 persons were involved either as participants or in preparing data sets/evaluating these tasks. Per task, each team was allowed to submit five runs offline and another five online via the BioCreative Meta-Server. From the 52 runs submitted for the ACT, the highest Matthew's Correlation Coefficient (MCC) score measured was 0.55 at an accuracy of 89 and the best AUC iP/R was 68. Most ACT teams explored machine learning methods, some of them also used lexical resources like MeSH terms, PSI-MI concepts or particular lists of verbs and nouns, some integrated NER approaches. For the IMT, a total of 42 runs were evaluated by comparing systems against manually generated annotations done by curators from the BioGRID and MINT databases. The highest AUC iP/R achieved by any run was 53, the best MCC score 0.55. In case of competitive systems with an acceptable recall (above 35) the macro-averaged precision ranged between 50 and 80, with a maximum F-Score of 55. CONCLUSIONS: The results of the ACT task of BioCreative III indicate that classification of large unbalanced article collections reflecting the real class imbalance is still challenging. Nevertheless, text-mining tools that report ranked lists of relevant articles for manual selection can potentially reduce the time needed to identify half of the relevant articles to less than 1/4 of the time when compared to unranked results. Detecting associations between full text articles and interaction detection method PSI-MI terms (IMT) is more difficult than might be anticipated. This is due to the variability of method term mentions, errors resulting from pre-processing of articles provided as PDF files, and the heterogeneity and different granularity of method term concepts encountered in the ontology. However, combining the sophisticated techniques developed by the participants with supporting evidence strings derived from the articles for human interpretation could result in practical modules for biological annotation workflows

History, epidemiology and regional diversities of urolithiasis

Archeological findings give profound evidence that humans have suffered from kidney and bladder stones for centuries. Bladder stones were more prevalent during older ages, but kidney stones became more prevalent during the past 100 years, at least in the more developed countries. Also, treatment options and conservative measures, as well as ‘surgical’ interventions have also been known for a long time. Our current preventive measures are definitively comparable to those of our predecessors. Stone removal, first lithotomy for bladder stones, followed by transurethral methods, was definitively painful and had severe side effects. Then, as now, the incidence of urolithiasis in a given population was dependent on the geographic area, racial distribution, socio-economic status and dietary habits. Changes in the latter factors during the past decades have affected the incidence and also the site and chemical composition of calculi, with calcium oxalate stones being now the most prevalent. Major differences in frequency of other constituents, particularly uric acid and struvite, reflect eating habits and infection risk factors specific to certain populations. Extensive epidemiological observations have emphasized the importance of nutritional factors in the pathogenesis of urolithiasis, and specific dietary advice is, nowadays, often the most appropriate for prevention and treatment of urolithiasis