An Efficient Nominal Unification Algorithm

Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed modulo α equivalence. Here we prove that the existence of nominal unifiers can be decided in quadratic time. First, we linearly-reduce nominal unification problems to a sequence of freshness and equalities between atoms, modulo a permutation, using ideas as Paterson and Wegman for first-order unification. Second, we prove that solvability of these reduced problems may be checked in quadràtic time. Finally, we point out how using ideas of Brown and Tarjan for unbalanced merging, we could solve these reduced problems more efficiently

Indirect hydrogen monitoring by chemi-ionisation following an associative ionisation pathway after metastable helium atoms production by electron impact ionisation: Protonation and deuteration of carrier gas

Gas chromatography (GC) is an analytical tool very useful to investigate the composition of gaseous mixtures. However, hydrogen (H2) detection after a GC separation is only possible with a Thermal Conductivity Detector (TCD), a Helium Ionisation Detector (HID) or expensive Atomic Emission Detector (AED). Recently, indirect H2 detection by GC coupled to mass spectrometry (MS) was demonstrated but the mechanism of carrier gas protonation remained unclear. With electron impact as ionisation source of MS and helium (He) as GC carrier gas, H2 is not ionised according the expected Penning ionisation neither according to the Associative ionisation. Rearrangement ionisation (RI) was found to be the main channel for H2 and D2 ionisation under GC-MS conditions used in most of laboratories using GC-MS, leading to the formation of [He−H]+ and [He−D]+ ions.

Targeting the JNK Signaling Pathway Potentiates the Antiproliferative Efficacy of Rapamycin in LS174T Colon Cancer Cells.

Background. Targeting the mTOR signaling pathway with rapamycin in cancer therapy has been less successful than expected due in part to the removal of a negative feedback loop resulting in the over-activation of the PI3K/Akt signaling pathway. As the c-Jun N-terminal kinase (JNK) signaling pathway has been found to be a functional target of PI3K, we investigate the role of JNK in the anticancer efficacy of rapamycin.Materials and Methods. The colon cancer cell line LS174T was treated with rapamycin and JNK phosphorylation was analyzed by Western Blot. Overexpression of a constitutively negative mutant of JNK in LS174T cells or treatment of LS174T cells with the JNK inhibitor SP600125 were used to determine the role of JNK in rapamycin-mediated tumor growth inhibition.Results. Treatment of LS174T cells with rapamycin resulted in the phosphorylation of JNK as observed by Western Blot. The expression of a negative mutant of JNK in LS174T cells or treatment of LS174T cells with SP600125 enhanced the antiproliferative effects of rapamycin. In addition, in vivo, the antitumor activity of rapamycin was potentiated on LS174T tumor xenografts that expressed the dominant negative mutant of JNK.Conclusions. Taken together, these results show that rapamycin-induced JNK phosphorylation and activation reduces the antitumor efficacy of rapamycin in LS174T cells. (C) 2011 Elsevier Inc. All rights reserved.

Validation of a clinical algorithm to identify low-risk patients with pulmonary embolism.

Summary Background: We previously derived a clinical prognostic algorithm to identify patients with pulmonary embolism (PE) who are at low-risk of short-term mortality who could be safely discharged early or treated entirely in an outpatient setting. Objectives: To externally validate the clinical prognostic algorithm in an independent patient sample. Methods: We validated the algorithm in 983 consecutive patients prospectively diagnosed with PE at an emergency department of a university hospital. Patients with none of the algorithm's 10 prognostic variables (age >/= 70 years, cancer, heart failure, chronic lung disease, chronic renal disease, cerebrovascular disease, pulse >/= 110/min., systolic blood pressure < 100 mm Hg, oxygen saturation < 90%, and altered mental status) at baseline were defined as low-risk. We compared 30-day overall mortality among low-risk patients based on the algorithm between the validation and the original derivation sample. We also assessed the rate of PE-related and bleeding-related mortality among low-risk patients. Results: Overall, the algorithm classified 16.3% of patients with PE as low-risk. Mortality at 30 days was 1.9% among low-risk patients and did not differ between the validation and the original derivation sample. Among low-risk patients, only 0.6% died from definite or possible PE, and 0% died from bleeding. Conclusions: This study validates an easy-to-use, clinical prognostic algorithm for PE that accurately identifies patients with PE who are at low-risk of short-term mortality. Low-risk patients based on our algorithm are potential candidates for less costly outpatient treatment.

Mutations in FGF17, IL17RD, DUSP6, SPRY4, and FLRT3 Are Identified in Individuals with Congenital Hypogonadotropic Hypogonadism.

Congenital hypogonadotropic hypogonadism (CHH) and its anosmia-associated form (Kallmann syndrome [KS]) are genetically heterogeneous. Among the >15 genes implicated in these conditions, mutations in FGF8 and FGFR1 account for ∼12% of cases; notably, KAL1 and HS6ST1 are also involved in FGFR1 signaling and can be mutated in CHH. We therefore hypothesized that mutations in genes encoding a broader range of modulators of the FGFR1 pathway might contribute to the genetics of CHH as causal or modifier mutations. Thus, we aimed to (1) investigate whether CHH individuals harbor mutations in members of the so-called "FGF8 synexpression" group and (2) validate the ability of a bioinformatics algorithm on the basis of protein-protein interactome data (interactome-based affiliation scoring [IBAS]) to identify high-quality candidate genes. On the basis of sequence homology, expression, and structural and functional data, seven genes were selected and sequenced in 386 unrelated CHH individuals and 155 controls. Except for FGF18 and SPRY2, all other genes were found to be mutated in CHH individuals: FGF17 (n = 3 individuals), IL17RD (n = 8), DUSP6 (n = 5), SPRY4 (n = 14), and FLRT3 (n = 3). Independently, IBAS predicted FGF17 and IL17RD as the two top candidates in the entire proteome on the basis of a statistical test of their protein-protein interaction patterns to proteins known to be altered in CHH. Most of the FGF17 and IL17RD mutations altered protein function in vitro. IL17RD mutations were found only in KS individuals and were strongly linked to hearing loss (6/8 individuals). Mutations in genes encoding components of the FGF pathway are associated with complex modes of CHH inheritance and act primarily as contributors to an oligogenic genetic architecture underlying CHH.

Major Histocompatibility Class II Pathway Is Not Required for the Development of Nonalcoholic Fatty Liver Disease in Mice.

Single-nucleotide polymorphisms within major histocompatibility class II (MHC II) genes have been associated with an increased risk of drug-induced liver injury. However, it has never been addressed whether the MHC II pathway plays an important role in the development of nonalcoholic fatty liver disease, the most common form of liver disease. We used a mouse model that has a complete knockdown of genes in the MHC II pathway (MHCII(Δ/Δ)). Firstly we studied the effect of high-fat diet-induced hepatic inflammation in these mice. Secondly we studied the development of carbon-tetra-chloride- (CCl4-) induced hepatic cirrhosis. After the high-fat diet, both groups developed obesity and hepatic steatosis with a similar degree of hepatic inflammation, suggesting no impact of the knockdown of MHC II on high-fat diet-induced inflammation in mice. In the second study, we confirmed that the CCl4 injection significantly upregulated the MHC II genes in wild-type mice. The CCl4 treatment significantly induced genes related to the fibrosis formation in wild-type mice, whereas this was lower in MHCII(Δ/Δ) mice. The liver histology, however, showed no detectable difference between groups, suggesting that the MHC II pathway is not required for the development of hepatic fibrosis induced by CCl4.

A fast Bayesian reconstruction algorithm for emission tomography with entropy prior converging to feasible images

The development and tests of an iterative reconstruction algorithm for emission tomography based on Bayesian statistical concepts are described. The algorithm uses the entropy of the generated image as a prior distribution, can be accelerated by the choice of an exponent, and converges uniformly to feasible images by the choice of one adjustable parameter. A feasible image has been defined as one that is consistent with the initial data (i.e. it is an image that, if truly a source of radiation in a patient, could have generated the initial data by the Poisson process that governs radioactive disintegration). The fundamental ideas of Bayesian reconstruction are discussed, along with the use of an entropy prior with an adjustable contrast parameter, the use of likelihood with data increment parameters as conditional probability, and the development of the new fast maximum a posteriori with entropy (FMAPE) Algorithm by the successive substitution method. It is shown that in the maximum likelihood estimator (MLE) and FMAPE algorithms, the only correct choice of initial image for the iterative procedure in the absence of a priori knowledge about the image configuration is a uniform field.

Cornea graft endothelial cells undergo apoptosis by way of an alternate (caspase-independent) pathway.

PURPOSE: To look for apoptosis pathways involved in corneal endothelial cell death during acute graft rejection and to evaluate the potential role of nitric oxide in this process. MATERIALS AND METHODS: Corneal buttons from Brown-Norway rats were transplanted into Lewis rat corneas. At different time intervals after transplantation, apoptosis was assessed by diamino-2-phenylindol staining and annexin-V binding on flat-mount corneas, and by terminal transferase dUTP nick end labeling (TUNEL), caspase-3 dependent and leukocyte elastase inhibitor (LEI)/LDNase II caspase-independent pathways on sections. Inducible nitric oxide synthase (NOS-II) expression and the presence of nitrotyrosine were assayed by immunohistochemistry. RESULTS: Graft endothelial cells demonstrated nuclear fragmentation and LEI nuclear translocation, annexin-V binding, and membranes bleb formation. Apoptosis associated with caspase-3 activity or TUNEL-positive reaction was not observed at any time either in the graft or in the recipient corneal endothelial cells. During 14 days posttransplantation, the recipient corneal endothelial cells remained unaltered and their number unchanged in all studied corneas. NOS-II was expressed in infiltrating cells present within the graft. This expression was closely associated with the presence of nitrotyrosine in endothelial and infiltrating cells. CONCLUSION: During the time course of corneal graft rejection, graft endothelial cells undergo apoptosis. Apoptosis is caspase 3 independent and TUNEL negative and is, probably, carried out by an alternative pathway driven by an LEI/L-Dnase II. Peroxynitrite formation may be an additional mechanism for cell toxicity and programmed cell death of the graft endothelial cells during the rejection process in this model.

Induction of the alternative NF-κB pathway by lymphotoxin αβ (LTαβ) relies on internalization of LTβ receptor.

Several tumor necrosis factor receptor (TNFR) family members activate both the classical and the alternative NF-κB pathways. However, how a single receptor engages these two distinct pathways is still poorly understood. Using lymphotoxin β receptor (LTβR) as a prototype, we showed that activation of the alternative, but not the classical, NF-κB pathway relied on internalization of the receptor. Further molecular analyses revealed a specific cytosolic region of LTβR essential for its internalization, TRAF3 recruitment, and p100 processing. Interestingly, we found that dynamin-dependent, but clathrin-independent, internalization of LTβR appeared to be required for the activation of the alternative, but not the classical, NF-κB pathway. In vivo, ligand-induced internalization of LTβR in mesenteric lymph node stromal cells correlated with induction of alternative NF-κB target genes. Thus, our data shed light on LTβR cellular trafficking as a process required for specific biological functions of NF-κB.

Diacylglycerol is required for the formation of COPI vesicles in the Golgi-to-ER transport pathway

Diacylglycerol is necessary for trans-Golgi network (TGN) to cell surface transport, but its functional relevance in the early secretory pathway is unclear. Although depletion of diacylglycerol did not affect ER-to-Golgi transport, it led to a redistribution of the KDEL receptor to the Golgi, indicating that Golgi-to-ER transport was perturbed. Electron microscopy revealed an accumulation of COPI-coated membrane profiles close to the Golgi cisternae. Electron tomography showed that the majority of these membrane profiles originate from coated buds, indicating a block in membrane fission. Under these conditions the Golgi-associated pool of ARFGAP1 was reduced, but there was no effect on the binding of coatomer or the membrane fission protein CtBP3/BARS to the Golgi. The addition of 1,2-dioctanoyl-sn-glycerol or the diacylglycerol analogue phorbol 12,13-dibutyrate reversed the effects of endogenous diacylglycerol depletion. Our findings implicate diacylglycerol in the retrograde transport of proteins from Golgi to the ER and suggest that it plays a critical role at a late stage of COPI vesicle formation.

Calmodulin Regulates Intracellular Trafficking of Epidermal Growth Factor Receptor and the MAPK Signaling Pathway

The epidermal growth factor receptor (EGFR) is a member of the tyrosine kinase receptor family involved in signal transduction and the regulation of cellular proliferation and differentiation. It is also a calmodulin-binding protein. To examine the role of calmodulin in the regulation of EGFR, the effect of calmodulin antagonist, W-13, on the intracellular trafficking of EGFR and the MAPK signaling pathway was analyzed. W-13 did not alter the internalization of EGFR but inhibited its recycling and degradation, thus causing the accumulation of EGF and EGFR in enlarged early endosomal structures. In addition, we demonstrated that W-13 stimulated the tyrosine phosphorylation of EGFR and consequent recruitment of Shc adaptor protein with EGFR, presumably through inhibition of the calmodulin-dependent protein kinase II (CaM kinase II). W-13¿mediated EGFR phosphorylation was blocked by metalloprotease inhibitor, BB94, indicating a possible involvement of shedding in this process. However, MAPK activity was decreased by W-13; dissection of this signaling pathway showed that W-13 specifically interferes with Raf-1 activity. These data are consistent with the regulation of EGFR by calmodulin at several steps of the receptor signaling and trafficking pathways.

A clathrin-dependent pathway leads to KRas signaling on late endosomes en route to lysosomes

Ras proteins are small guanosine triphosphatases involved in the regulation of important cellular functions such as proliferation, differentiation, and apoptosis. Understanding the intracellular trafficking of Ras proteins is crucial to identify novel Ras signaling platforms. In this study, we report that epidermal growth factor triggers Kirsten Ras (KRas) translocation onto endosomal membranes (independently of calmodulin and protein kinase C phosphorylation) through a clathrin-dependent pathway. From early endosomes, KRas but not Harvey Ras or neuroblastoma Ras is sorted and transported to late endosomes (LEs) and lysosomes. Using yellow fluorescent protein¿Raf1 and the Raichu-KRas probe, we identified for the first time in vivo¿active KRas on Rab7 LEs, eliciting a signal output through Raf1. On these LEs, we also identified the p14¿MP1 scaffolding complex and activated extracellular signal-regulated kinase 1/2. Abrogation of lysosomal function leads to a sustained late endosomal mitogen-activated protein kinase signal output. Altogether, this study reveals novel aspects about KRas intracellular trafficking and signaling, shedding new light on the mechanisms controlling Ras regulation in the cell.

Muscle protein waste in tumor-bearing rats is effectively antagonized by a beta 2-adrenergic agonist (clenbuterol). Role of the ATP-ubiquitin-dependent proteolytic pathway.

Tissue protein hypercatabolism (TPH) is a most important feature in cancer cachexia, particularly with regard to the skeletal muscle. The rat ascites hepatoma Yoshida AH-130 is a very suitable model system for studying the mechanisms involved in the processes that lead to tissue depletion, since it induces in the host a rapid and progressive muscle waste mainly due to TPH (Tessitore, L., G. Bonelli, and F. M. Baccino. 1987. Biochem. J. 241:153-159). Detectable plasma levels of tumor necrosis factor-alpha associated with marked perturbations in the hormonal homeostasis have been shown to concur in forcing metabolism into a catabolic setting (Tessitore, L., P. Costelli, and F. M. Baccino. 1993. Br. J. Cancer. 67:15-23). The present study was directed to investigate if beta 2-adrenergic agonists, which are known to favor skeletal muscle hypertrophy, could effectively antagonize the enhanced muscle protein breakdown in this cancer cachexia model. One such agent, i.e., clenbuterol, indeed largely prevented skeletal muscle waste in AH-130-bearing rats by restoring protein degradative rates close to control values. This normalization of protein breakdown rates was achieved through a decrease of the hyperactivation of the ATP-ubiquitin-dependent proteolytic pathway, as previously demonstrated in our laboratory (Llovera, M., C. García-Martínez, N. Agell, M. Marzábal, F. J. López-Soriano, and J. M. Argilés. 1994. FEBS (Fed. Eur. Biochem. Soc.) Lett. 338:311-318). By contrast, the drug did not exert any measurable effect on various parenchymal organs, nor did it modify the plasma level of corticosterone and insulin, which were increased and decreased, respectively, in the tumor hosts. The present data give new insights into the mechanisms by which clenbuterol exerts its preventive effect on muscle protein waste and seem to warrant the implementation of experimental protocols involving the use of clenbuterol or alike drugs in the treatment of pathological states involving TPH, particularly in skeletal muscle and heart, such as in the present model of cancer cachexia.

Nedd4-2 modulates renal Na+-Cl- cotransporter via the aldosterone-SGK1-Nedd4-2 pathway.

Regulation of renal Na(+) transport is essential for controlling blood pressure, as well as Na(+) and K(+) homeostasis. Aldosterone stimulates Na(+) reabsorption by the Na(+)-Cl(-) cotransporter (NCC) in the distal convoluted tubule (DCT) and by the epithelial Na(+) channel (ENaC) in the late DCT, connecting tubule, and collecting duct. Aldosterone increases ENaC expression by inhibiting the channel's ubiquitylation and degradation; aldosterone promotes serum-glucocorticoid-regulated kinase SGK1-mediated phosphorylation of the ubiquitin-protein ligase Nedd4-2 on serine 328, which prevents the Nedd4-2/ENaC interaction. It is important to note that aldosterone increases NCC protein expression by an unknown post-translational mechanism. Here, we present evidence that Nedd4-2 coimmunoprecipitated with NCC and stimulated NCC ubiquitylation at the surface of transfected HEK293 cells. In Xenopus laevis oocytes, coexpression of NCC with wild-type Nedd4-2, but not its catalytically inactive mutant, strongly decreased NCC activity and surface expression. SGK1 prevented this inhibition in a kinase-dependent manner. Furthermore, deficiency of Nedd4-2 in the renal tubules of mice and in cultured mDCT(15) cells upregulated NCC. In contrast to ENaC, Nedd4-2-mediated inhibition of NCC did not require the PY-like motif of NCC. Moreover, the mutation of Nedd4-2 at either serine 328 or 222 did not affect SGK1 action, and mutation at both sites enhanced Nedd4-2 activity and abolished SGK1-dependent inhibition. Taken together, these results suggest that aldosterone modulates NCC protein expression via a pathway involving SGK1 and Nedd4-2 and provides an explanation for the well-known aldosterone-induced increase in NCC protein expression.