A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

HLA-C cell surface expression and control of HIV/AIDS correlate with a variant upstream of HLA-C.

A variant 35 kb upstream of the HLA-C gene (-35C/T) was previously shown to associate with HLA-C mRNA expression level and steady-state plasma HIV RNA levels. We genotyped this variant in 1,698 patients of European ancestry with HIV. Individuals with known seroconversion dates were used for disease progression analysis and those with longitudinal viral load data were used for viral load analysis. We further tested cell surface expression of HLA-C in normal donors using an HLA-C-specific antibody. We show that the -35C allele is a proxy for high HLA-C cell surface expression, and that individuals with high-expressing HLA-C alleles progress more slowly to AIDS and control viremia significantly better than individuals with low HLA-C expressing alleles. These data strongly implicate high HLA-C expression levels in more effective control of HIV-1, potentially through better antigen presentation to cytotoxic T lymphocytes or recognition and killing of infected cells by natural killer cells.

Genome-wide association study of blood pressure extremes identifies variant near UMOD associated with hypertension.

Hypertension is a heritable and major contributor to the global burden of disease. The sum of rare and common genetic variants robustly identified so far explain only 1%-2% of the population variation in BP and hypertension. This suggests the existence of more undiscovered common variants. We conducted a genome-wide association study in 1,621 hypertensive cases and 1,699 controls and follow-up validation analyses in 19,845 cases and 16,541 controls using an extreme case-control design. We identified a locus on chromosome 16 in the 5' region of Uromodulin (UMOD; rs13333226, combined P value of 3.6×10(-11)). The minor G allele is associated with a lower risk of hypertension (OR [95%CI]: 0.87 [0.84-0.91]), reduced urinary uromodulin excretion, better renal function; and each copy of the G allele is associated with a 7.7% reduction in risk of CVD events after adjusting for age, sex, BMI, and smoking status (H.R. = 0.923, 95% CI 0.860-0.991; p = 0.027). In a subset of 13,446 individuals with estimated glomerular filtration rate (eGFR) measurements, we show that rs13333226 is independently associated with hypertension (unadjusted for eGFR: 0.89 [0.83-0.96], p = 0.004; after eGFR adjustment: 0.89 [0.83-0.96], p = 0.003). In clinical functional studies, we also consistently show the minor G allele is associated with lower urinary uromodulin excretion. The exclusive expression of uromodulin in the thick portion of the ascending limb of Henle suggests a putative role of this variant in hypertension through an effect on sodium homeostasis. The newly discovered UMOD locus for hypertension has the potential to give new insights into the role of uromodulin in BP regulation and to identify novel drugable targets for reducing cardiovascular risk.

A novel human aquaporin-4 splice variant exhibits a dominant-negative activity: a new mechanism to regulate water permeability.

Two major isoforms of aquaporin-4 (AQP4) have been described in human tissue. Here we report the identification and functional analysis of an alternatively spliced transcript of human AQP4, AQP4-Δ4, that lacks exon 4. In transfected cells AQP4-Δ4 is mainly retained in the endoplasmic reticulum and shows no water transport properties. When AQP4-Δ4 is transfected into cells stably expressing functional AQP4, the surface expression of the full-length protein is reduced. Furthermore, the water transport activity of the cotransfectants is diminished in comparison to transfectants expressing only AQP4. The observed down-regulation of both the expression and water channel activity of AQP4 is likely to originate from a dominant-negative effect caused by heterodimerization between AQP4 and AQP4-Δ4, which was detected in coimmunoprecipitation studies. In skeletal muscles, AQP4-Δ4 mRNA expression inversely correlates with the level of AQP4 protein and is physiologically associated with different types of skeletal muscles. The expression of AQP4-Δ4 may represent a new regulatory mechanism through which the cell-surface expression and therefore the activity of AQP4 can be physiologically modulated.

Bayesian image reconstruction with space-variant noise suppression

In this paper we present a Bayesian image reconstruction algorithm with entropy prior (FMAPE) that uses a space-variant hyperparameter. The spatial variation of the hyperparameter allows different degrees of resolution in areas of different statistical characteristics, thus avoiding the large residuals resulting from algorithms that use a constant hyperparameter. In the first implementation of the algorithm, we begin by segmenting a Maximum Likelihood Estimator (MLE) reconstruction. The segmentation method is based on using a wavelet decomposition and a self-organizing neural network. The result is a predetermined number of extended regions plus a small region for each star or bright object. To assign a different value of the hyperparameter to each extended region and star, we use either feasibility tests or cross-validation methods. Once the set of hyperparameters is obtained, we carried out the final Bayesian reconstruction, leading to a reconstruction with decreased bias and excellent visual characteristics. The method has been applied to data from the non-refurbished Hubble Space Telescope. The method can be also applied to ground-based images.

Repeated surgical excision for an unusual variant of nephroblastoma: case report and review of the literature.

Bilateral fetal rhabdomyomatous nephroblastoma is a rare variant of Wilms' Tumor. The authors report the evolution over 48 months of a 10-month-old baby with bilateral nephroblastoma for which a left nephrectomy was initially performed. A right kidney tumor was enucleated preserving the kidney. The transformation of the primary tumor into a completely differentiated cystic nephroblastoma or nephromalike tumor and the appearance of a metachronous lesion was seen. This report emphasizes the role of nephron-sparing surgery in bilateral Wilms' Tumor when a benign transformation occurs under chemotherapy.

The implications of alternative splicing in the ENCODE protein complement.

Alternative premessenger RNA splicing enables genes to generate more than one gene product. Splicing events that occur within protein coding regions have the potential to alter the biological function of the expressed protein and even to create new protein functions. Alternative splicing has been suggested as one explanation for the discrepancy between the number of human genes and functional complexity. Here, we carry out a detailed study of the alternatively spliced gene products annotated in the ENCODE pilot project. We find that alternative splicing in human genes is more frequent than has commonly been suggested, and we demonstrate that many of the potential alternative gene products will have markedly different structure and function from their constitutively spliced counterparts. For the vast majority of these alternative isoforms, little evidence exists to suggest they have a role as functional proteins, and it seems unlikely that the spectrum of conventional enzymatic or structural functions can be substantially extended through alternative splicing.

Associations of Serum Uric Acid and SLC2A9 Variant with Depressive and Anxiety Disorders: A Population-Based Study.

BACKGROUND: Limited information exists regarding the association between serum uric acid (SUA) and psychiatric disorders. We explored the relationship between SUA and subtypes of major depressive disorder (MDD) and specific anxiety disorders. Additionally, we examined the association of SLC2A9 rs6855911 variant with anxiety disorders. METHODS: We conducted a cross-sectional analysis on 3,716 individuals aged 35-66 years previously selected for the population-based CoLaus survey and who agreed to undergo further psychiatric evaluation. SUA was measured using uricase-PAP method. The French translation of the semi-structured Diagnostic Interview for Genetic Studies was used to establish lifetime and current diagnoses of depression and anxiety disorders according to the DSM-IV criteria. RESULTS: Men reported significantly higher levels of SUA compared to women (357±74 µmol/L vs. 263±64 µmol/L). The prevalence of lifetime and current MDD was 44% and 18% respectively while the corresponding estimates for any anxiety disorders were 18% and 10% respectively. A quadratic hockey-stick shaped curve explained the relationship between SUA and social phobia better than a linear trend. However, with regards to the other specific anxiety disorders and other subtypes of MDD, there was no consistent pattern of association. Further analyses using SLC2A9 rs6855911 variant, known to be strongly associated with SUA, supported the quadratic relationship observed between SUA phenotype and social phobia. CONCLUSIONS: A quadratic relationship between SUA and social phobia was observed consistent with a protective effect of moderately elevated SUA on social phobia, which disappears at higher concentrations. Further studies are needed to confirm our observations.

The novel ss469415590 variant predicts virological response to therapy in patients with chronic hepatitis C virus type 1 infection.

BACKGROUND: A novel dinucleotide variant TT/∆G (ss469415590) has been associated with hepatitis C virus clearance. AIM: To assess the role of the ss469415590 variant, compared with the known IL28B polymorphisms (rs8099917, rs12979860 and rs12980275) for predicting virological response to therapy in chronic hepatitis C, and its association with the CXCL10 chemokine serum levels - a surrogate marker of interferon-stimulated genes activation. METHODS: Multivariate analysis of factors predicting rapid and sustained virological response in 280 consecutive, treatment-naïve, nondiabetic, Caucasian patients with chronic hepatitis C treated with peginterferon alpha and ribavirin. RESULTS: In hepatitis C virus genotype 1, the OR (95% CI) for rapid and sustained virological response for the wild-type ss469415590 TT was 9.88 (1.99-48.99) and 7.25 (1.91-27.51), respectively, similar to those found for rs12979860 CC [9.55 (1.93-47.37) and 6.30 (1.71-23.13)] and for rs12980275 AA [9.62 (1.94-47.77] and 7.83 (2.02-30.34)], but higher than for rs8099917 TT [4.8 (1.73-13.33) and 4.75 (2.05-10.98)]. In hepatitis C virus genotype 1, mean (SD) CXCL10 levels in patients with the TT/TT, TT/∆G and ∆G/∆G variants were, respectively, 355.1 (240.6), 434.4 (247.4) and 569.9 (333.3) (P = 0.04). In patients with genotypes 2 and 3 no significant association was found for TT/∆G with viral response. The predictive value of ss469415590 was stronger in patients with advanced fibrosis. CONCLUSIONS: The novel IL28B variants at marker ss469415590 predict response to IFN alpha in chronic hepatitis C patients, especially in those with advanced fibrosis. Their determination may be superior to that of known IL28B variants for patient management using IFN-based regimens.

A natural structural variant of the mouse TCR beta-chain displays intrinsic receptor function and antigen specificity.

The Cbeta0 alternate cassette exon is located between the Jbeta1 and Cbeta1 genes in the mouse TCR beta-locus. In T cells with a VDJbeta1 rearrangement, the Cbeta0 exon may be included in TCRbeta transcripts (herein called TCRbeta-Cbeta0 transcripts), potentially inserting an additional 24 aa between the V and C domains of the TCR beta-chain. These TCRbeta splice isoforms may be differentially regulated after Ag activation, because we detected TCRbeta-Cbeta0 transcripts in a high proportion (>60%) of immature and mature T cells having VDJbeta1 rearrangements but found a substantially reduced frequency (<35%) of TCRbeta-Cbeta0 expression among CD8 T cells selected by Ag in vivo. To study the potential activity of the TCRbeta-Cbeta0 splice variant, we cloned full-length TCR cDNAs by single-cell RT-PCR into retroviral expression vectors. We found that the TCRbeta-Cbeta0 splice isoform can function during an early stage of T cell development normally dependent on TCR beta-chain expression. We also demonstrate that T hybridoma-derived cells expressing a TCRbeta-Cbeta0 isoform together with the clonally associated TCR alpha-chain recognize the same cognate peptide-MHC ligand as the corresponding normal alphabetaTCR. This maintenance of receptor function and specificity upon insertion of the Cbeta0 peptide cassette signifies a remarkable adaptability for the TCR beta-chain, and our findings open the possibility that this splice isoform may function in vivo.

Identification of Ligands for the Tau Exon 10 Splicing Regulatory Element RNA Using Dynamic Combinatorial Chemistry

We describe the use of dynamic combinatorial chemistry (DCC) to identify ligands for the stem-loop structure located at the exon 10-5'-intron junction of Tau pre-mRNA, which is involved in the onset of several tauopathies including frontotemporal dementia with Parkinsonism linked to chromosome 17 (FTDP-17). A series of ligands that combine the small aminoglycoside neamine and heteroaromatic moieties (azaquinolone and two acridines) have been identified by using DCC. These compounds effectively bind the stem-loop RNA target (the concentration required for 50% RNA response (EC(50)): 2-58 μM), as determined by fluorescence titration experiments. Importantly, most of them are able to stabilize both the wild-type and the +3 and +14 mutated sequences associated with the development of FTDP-17 without producing a significant change in the overall structure of the RNA (as analyzed by circular dichroism (CD) spectroscopy), which is a key factor for recognition by the splicing regulatory machinery. A good correlation has been found between the affinity of the ligands for the target and their ability to stabilize the RNA secondary structure.

Associations of serum uric acid and SLC2A9 variant with depressive and anxiety disorders: a population-based study

Background: Limited information exists regarding the association between serum uric acid (SUA) and psychiatric disorders. We explored the relationship between SUA and subtypes of major depressive disorder (MDD) and specific anxiety disorders. Additionally, we examined the association of SLC2A9 rs6855911 variant with anxiety disorders. Methods: We conducted a cross-sectional analysis on 3,716 individuals aged 35-66 years previously selected for the population-based CoLaus survey and who agreed to undergo further psychiatric evaluation. SUA was measured using uricase-PAP method. The French translation of the semi-structured Diagnostic Interview for Genetic Studies was used to establish lifetime and current diagnoses of depression and anxiety disorders according to the DSM-IV criteria. Results: Men reported significantly higher levels of SUA compared to women (357}74 μmol/L vs. 263}64 μmol/L). The prevalence of lifetime and current MDD was 44% and 18% respectively while the corresponding estimates for any anxiety disorders were 18% and 10% respectively. A quadratic hockey-stick shaped curve explained the relationship between SUA and social phobia better than a linear trend. However, with regards to the other specific anxiety disorders and other subtypes of MDD, there was no consistent pattern of association. Further analyses using SLC2A9 rs6855911 variant, known to be strongly associated with SUA, supported the quadratic relationship observed between SUA phenotype and social phobia. Conclusions: A quadratic relationship between SUA and social phobia was observed consistent with a protective effect of moderately elevated SUA on social phobia, which disappears at higher concentrations. Further studies are needed to confirm our observations.

Linker insertion mutagenesis based on IS21 transposition: isolation of an AMP-insensitive variant of catabolic ornithine carbamoyltransferase from Pseudomonas aeruginosa.

The bacterial insertion sequence IS21 when repeated in tandem efficiently promotes non-replicative cointegrate formation in Escherichia coli. An IS21-IS21 junction region which had been engineered to contain unique SalI and BglII sites close to the IS21 termini was not affected in the ability to form cointegrates with target plasmids. Based on this finding, a novel procedure of random linker insertion mutagenesis was devised. Suicide plasmids containing the engineered junction region (pME5 and pME6) formed cointegrates with target plasmids in an E.coli host strain expressing the IS21 transposition proteins in trans. Cointegrates were resolved in vitro by restriction with SalI or BglII and ligation; thus, insertions of four or 11 codons, respectively, were created in the target DNA, practically at random. The cloned Pseudomonas aeruginosa arcB gene encoding catabolic ornithine carbamoyltransferase was used as a target. Of 20 different four-codon insertions in arcB, 11 inactivated the enzyme. Among the remaining nine insertion mutants which retained enzyme activity, three enzyme variants had reduced affinity for the substrate ornithine and one had lost recognition of the allosteric activator AMP. The linker insertions obtained illustrate the usefulness of the method in the analysis of structure-function relationships of proteins.