Explore the vast range of titles available.

The recognition that individual GPCRs can activate multiple signaling pathways has raised the possibility of developing drugs selectively targeting therapeutically relevant ones. This requires tools to determine which G proteins and βarrestins are activated by a given receptor. Here, we present a set of BRET sensors monitoring the activation of the 12 G protein subtypes based on the translocation of their effectors to the plasma membrane (EMTA). Unlike most of the existing detection systems, EMTA does not require modification of receptors or G proteins (except for G s ). EMTA was found to be suitable for the detection of constitutive activity, inverse agonism, biased signaling and polypharmacology. Profiling of 100 therapeutically relevant human GPCRs resulted in 1500 pathway-specific concentration-response curves and revealed a great diversity of coupling profiles ranging from exquisite selectivity to broad promiscuity. Overall, this work describes unique resources for studying the complexities underlying GPCR signaling and pharmacology.

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its soundness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well.

Renal proximal tubular epithelial cells play a central role in renal physiology and are among the cell types most sensitive to ischemia and xenobiotic nephrotoxicity. In order to investigate the molecular and cellular mechanisms underlying the pathophysiology of kidney injuries, a stable and well-characterized primary culture model of proximal tubular cells is required. An existing model of proximal tubular cells is hampered by the cellular heterogeneity of kidney; a method based on cell sorting for specific markers must therefore be developed. In this study, we present a primary culture model based on the mechanical and enzymatic dissociation of healthy tissue obtained from nephrectomy specimens. Renal epithelial cells were sorted using co-labeling for CD10 and CD13, two renal proximal tubular epithelial markers, by flow cytometry. Their purity, phenotypic stability and functional properties were evaluated over several passages. Our results demonstrate that CD10/CD13 double-positive cells constitute a pure, functional and stable proximal tubular epithelial cell population that displays proximal tubule markers and epithelial characteristics over the long term, whereas cells positive for either CD10 or CD13 alone appear to be heterogeneous. In conclusion, this study describes a method for establishing a robust renal proximal tubular epithelial cell model suitable for further experimentation.

Renal cell carcinoma, the most common neoplasm of adult kidney, accounts for about 3% of adult malignancies and is usually highly resistant to conventional therapy. MicroRNAs are a class of small non-coding RNAs, which have been previously shown to promote malignant initiation and progression. In this study, we focused our attention on miR-21, a well described oncomiR commonly upregulated in cancer. Using a cohort of 99 primary renal cell carcinoma samples, we showed that miR-21 expression in cancer tissues was higher than in adjacent non-tumor tissues whereas no significant difference was observed with stages, grades, and metastatic outcome. In vitro, miR-21 was also overexpressed in renal carcinoma cell lines compared to HK-2 human proximal tubule epithelial cell line. Moreover, using Boyden chambers and western blot techniques, we also showed that miR-21 overexpression increased migratory, invasive, proliferative, and anti-apoptotic signaling pathways whereas opposite results were observed using an anti-miR-21-based silencing strategy. Finally, we assessed the role of miR-21 in mediating renal cell carcinoma chemoresistance and further showed that miR-21 silencing significantly (1) increased chemosensitivity of paclitaxel, 5-fluorouracil, oxaliplatin, and dovitinib; (2) decreased expression of multi-drug resistance genes; and (4) increased SLC22A1/OCT1, SLC22A2/OCT2, and SLC31A1/CTR1 platinum influx transporter expression. In conclusion, our results showed that miR-21 is a key actor of renal cancer progression and plays an important role in the resistance to chemotherapeutic drugs. In renal cell carcinoma, targeting miR-21 is a potential new therapeutic strategy to improve chemotherapy efficacy and consequently patient outcome.

Bytecode verification is a crucial security component for Java applets, on the Web and on embedded devices such as smart cards. This paper reviews the various bytecode verification algorithms that have been proposed, recasts them in a common framework of dataflow analysis, and surveys the use of proof assistants to specify bytecode verification and prove its correctness.[PUBLICATION ABSTRACT]

Endoscopic sinus surgery (ESS) is considered as a valid option in the management of nasal adenocarcinoma (ADC). Comparative studies with open approaches are still required. A monocentric retrospective study was carried out from May 2002 to December 2013, including 43 patients with intestinal-type adenocarcinoma of the ethmoid sinus. Non-resectable tumours or recurrences were excluded. Before 2008, open approach with lateral rhinotomy (LR) was performed as the gold standard of treatment. From 2008, ESS was systematically used as a first-line option as long as a complete resection was achievable. Adjuvant radiation therapy was delivered (RT) for all the patients. LR and ESS were performed in, respectively, 23 and 20 patients. The two groups were comparable in terms of age, occupational dust exposure, histopathological subtypes, and T stage based on the pathological assessment of the specimen (10 pT2, 26 pT3, 2 pT4a, and 5 pT4b). The tumour origin was mainly located in the olfactory cleft with the involvement of the cribriform plate in 60 % of patients. No major complication was observed in ESS group with a reduced hospital stay (5.6 vs 7.6 days). The disease-free survival was not different between LR and ESS groups over a mean follow-up period of 6.6 years. Even for local advanced stages with skull base involvement, we confirm the reliability and the advantages of ESS in terms of oncological outcomes and morbidity. We advocate complete excision of the olfactory cleft to ensure an appropriate control of the tumoral origin.

Collecting duct carcinoma (CDC) is a kidney cancer subtype that is thought to arise from principal cells in distal parts of the collecting ducts. Some studies suggested an overlap of CDC with upper tract urothelial carcinoma (UTUC), making the pathological diagnosis challenging. Herein, we performed for the first time transcriptome sequencing of CDC and compared them to UTUC and renal cell carcinoma subtypes. We discovered that CDC displays a unique transcriptomic signature among kidney cancer subtypes, with a putative cell of origin in the distal convoluted tubules. Hierarchical unsupervised clustering reveals that the CDC signature is closer to that of other RCC subtypes than to UTUC, which is similar to that of bladder carcinoma. CDC is characterized by a metabolic shift, with impairment of oxidoreductase activity, pyruvate metabolism and the tricarboxlyic acid cycle, as well as an immunogenic response consistent with increased tumor infiltrating lymphocytes, particularly within metastatic cases. In addition, pathways differentially altered between CDC and UTUC point to a basal-like phenotype of CDC in contrast to the luminal-like signature of UTUC. We conclude that CDC harbors a pathognomonic transcriptomic signature characterized by immunogenic and a metabolic aberrations, indicating that targeting these processes might provide therapeutic options for patients.

Mutations of receptor tyrosine kinases (RTKs) are associated with the development of many cancers by modifying receptor signaling and contributing to drug resistance in clinical settings. We present enhanced bystander bioluminescence resonance energy transfer-based biosensors providing new insights into RTK biology and pharmacology critical for the development of more effective RTK-targeting drugs. Distinct SH2-specific effector biosensors allow for real-time and spatiotemporal monitoring of signal transduction pathways engaged upon RTK activation. Using EGFR as a model, we demonstrate the capacity of these biosensors to differentiate unique signaling signatures, with EGF and Epiregulin ligands displaying differences in efficacy, potency, and responses within different cellular compartments. We further demonstrate that EGFR single point mutations found in Glioblastoma or non-small cell lung cancer, impact the constitutive activity of EGFR and response to tyrosine kinase inhibitor. The BRET-based biosensors are compatible with microscopy, and more importantly characterize the next generation of therapeutics directed against RTKs. BRET-based biosensors allow the quantitative live-cell monitoring of RTKmediated signaling, revealing ligand-specific spatiotemporal and mutation-specific signaling biases, advancing the understanding of RTK functional selectivity.

This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic, struct and union types, C loops and structured switch statements. Clight is the source language of the CompCert verified compiler. The formal semantics of Clight is a big-step operational semantics that observes both terminating and diverging executions and produces traces of input/output events. The formal semantics of Clight is mechanized using the Coq proof assistant. In addition to the semantics of Clight, this article describes its integration in the CompCert verified compiler and several ways by which the semantics was validated.

Glycogen storage disease type Ia (GSD Ia) is a rare metabolic disease due to glucose‐6‐phosphatase deficiency. Chronic kidney disease is a frequent complication that may manifest itself by glomerular lesions and tubular dysfunction from the second decade of life. We report two young GSDIa patients with malignant renal tumor. The first patient was a 25‐year‐old man. He had chronic metabolic imbalance without kidney involvement. The tumor, a type 2 papillary renal carcinoma, was accidentally discovered during follow‐up. The second patient was a 27‐year‐old woman with chronic metabolic imbalance and chronic kidney involvement. The tumor, a grade 2 papillary carcinoma, was accidentally discovered during follow‐up. These two observations are, to date, the first to be reported. We suggest that annual monitoring of kidney imaging in GSDI patients should be systematic to detect renal cancer, from the second decade of life.