Diabetic Nephropathy: Novel Molecular Mechanisms and Therapeutic Avenues

This is the final version of the article. Available from Hindawi Publishing Corporation via the DOI in this record

A proposal for broad spectrum proof certificates

International audienceRecent developments in the theory of focused proof systems provide flexible means for structuring proofs within the sequent calculus. This structuring is organized around the construction of ''macro'' level inference rules based on the ''micro'' inference rules which introduce single logical connectives. After presenting focused proof systems for first-order classical logics (one with and one without fixed points and equality) we illustrate several examples of proof certificates formats that are derived naturally from the structure of such focused proof systems. In principle, a proof certificate contains two parts: the first part describes how macro rules are defined in terms of micro rules and the second part describes a particular proof object using the macro rules. The first part, which is based on the vocabulary of focused proof systems, describes a collection of macro rules that can be used to directly present the structure of proof evidence captured by a particular class of computational logic systems. While such proof certificates can capture a wide variety of proof structures, a proof checker can remain simple since it must only understand the micro-rules and the discipline of focusing. Since proofs and proof certificates are often likely to be large, there must be some flexibility in allowing proof certificates to elide subproofs: as a result, proof checkers will necessarily be required to perform (bounded) proof search in order to reconstruct missing subproofs. Thus, proof checkers will need to do unification and restricted backtracking search

Completeness and Decidability Results for First-order Clauses with Indices

Session: Inference systems (www.cl.cam.ac.uk/~gp351/cade24)International audienceWe define a proof procedure that allows for a limited form of inductive reasoning. The first argument of a function symbol is allowed to belong to an inductive type. We will call such an argument an index. We enhance the standard superposition calculus with a loop detection rule, in order to encode a particular form of mathematical induction. The satisfiability problem is not semi-decidable, but some classes of clause sets are identified for which the proposed procedure is complete and/or terminating

Association Between CNDP1 Genotype and Diabetic Nephropathy Is Sex Specific

OBJECTIVE-The 5-5 homozygous CNDP1 (carnosinase) genotype is associated with a reduced risk of diabetic nephropathy. We investigated whether this association is sex specific and independent of susceptibility for type 2 diabetes. RESEARCH DESIGN AND METHODS-Three separate groups of 114, 90, and 66 patients with type 2 diabetes and diabetic nephropathy were included in this study and compared with 93 patients with type 2 diabetes for >15 years without diabetic nephropathy and 472 population control subjects. The diabetes control group was used to determine an association in the three patient groups separately, and the population control group was used to estimate the genotype risk [odds ratio (CI)] for the population in a pooled analysis. The population control subjects were also compared with 562 patients with type 2 diabetes without diabetic nephropathy to determine whether the association was independent of type 2 diabetes. The CNDP1 genotype was determined by fragment analysis after PCR amplification. RESULTS-The frequency of the 5-5 homozygous genotype was 28, 36, and 41% in the three diabetic nephropathy patient groups and 43 and 42% in the diabetic and population control subjects, respectively. The 5-5 homozygous genotype occurred significantly less frequently in women in all three patient groups compared with diabetic control subjects. The genotype risk for the population was estimated to be 0.5 (0.30-0.68) in women and 1.2 (0.77-1.69) in men. The 562 patients with type 2 diabetes without diabetic nephropathy did not differ from the general population (P = 0.23). CONCLUSIONS-This study suggests that the association between the CNDP1 gene and diabetic nephropathy is sex specific and independent of susceptibility for type 2 diabetes. Diabetes 59:1555-1559, 201

Renal and extra renal manifestations in adult zebrafish model of cystinosis

Cystinosis is a rare, incurable, autosomal recessive disease caused by mutations in the CTNS gene. This gene encodes the lysosomal cystine transporter cystinosin, leading to lysosomal cystine accumulation in all cells of the body, with kidneys being the first affected organs. The current treatment with cysteamine decreases cystine accumulation, but does not reverse the proximal tubular dysfunction, glomerular injury or loss of renal function. In our previous study, we have developed a zebrafish model of cystinosis through a nonsense mutation in the CTNS gene and have shown that zebrafish larvae recapitulate the kidney phenotype described in humans. In the current study, we characterized the adult cystinosis zebrafish model and evaluated the long-term effects of the disease on kidney and extra renal organs through biochemical, histological, fertility and locomotor activity studies. We found that the adult cystinosis zebrafish presents cystine accumulation in various organs, altered kidney morphology, impaired skin pigmentation, decreased fertility, altered locomotor activity and ocular anomalies. Overall, our data indicate that the adult cystinosis zebrafish model reproduces several human phenotypes of cystinosis and may be useful for studying pathophysiology and long-term effects of novel therapies.IP1BImmunopathology of vascular and renal diseases and of organ and celltransplantatio

Genetic associations in diabetic nephropathy: a meta-analysis

Diabetes mellitus: pathophysiological changes and therap

Selective ETA vs. Dual ETA/B receptor blockade for the prevention of sunitinib-induced hypertension and albuminuria in WKY rats

Aims Although effective in preventing tumour growth, angiogenesis inhibitors cause off-target effects including cardiovascular toxicity and renal injury, most likely via endothelin (ET)-1 up-regulation. ET-1 via stimulation of the ETA receptor has pro-hypertensive actions whereas stimulation of the ETB receptor can elicit both pro-or antihypertensive effects. In this study, our aim was to determine the efficacy of selective ETA vs. dual ETA/B receptor blockade for the prevention of angiogenesis inhibitor-induced hypertension and albuminuria. Methods and results Male Wistar Kyoto (WKY) rats were treated with vehicle, sunitinib (angiogenesis inhibitor; 14 mg/kg/day) alone or in combination with macitentan (ETA/B receptor antagonist; 30 mg/kg/day) or sitaxentan (selective ETA receptor antagonist; 30 or 100 mg/kg/day) for 8 days. Compared with vehicle, sunitinib treatment caused a rapid and sustained increase in mean arterial pressure of-25 mmHg. Co-treatment with macitentan or sitaxentan abolished the pressor response to sunitinib. Sunitinib did not induce endothelial dysfunction. However, it was associated with increased aortic, mesenteric, and renal oxidative stress, an effect that was absent in mesenteric arteries of the macitentan and sitaxentan co-treated groups. Albuminuria was greater in the sunitinib-than vehicle-treated group. Co-treatment with sitaxentan, but not macitentan, prevented this increase in albuminuria. Sunitinib treatment increased circulating and urinary prostacyclin levels and had no effect on thromboxane levels. These increases in prostacyclin were blunted by co-treatment with sitaxentan. Conclusions Our results demonstrate that both selective ETA and dual ETA/B receptor antagonism prevents sunitinib-induced hypertension, whereas sunitinib-induced albuminuria was only prevented by selective ETA receptor antagonism. In addition, our results uncover a role for prostacyclin in the development of these effects. In conclusion, selective ETA receptor antagonism is sufficient for the prevention of sunitinib-induced hypertension and renal injury

A screening-based approach identifies cell cycle regulators AURKA, CHK1 and PLK1 as targetable regulators of chondrosarcoma cell survival

Chondrosarcomas are malignant cartilage tumors that are relatively resistant towards conventional therapeuticapproaches. Kinase inhibitors have been investigated and shown successful for several different cancer types. Inthis study we aimed at identifying kinase inhibitors that inhibit the survival of chondrosarcoma cells and therebyserve as new potential therapeutic strategies to treat chondrosarcoma patients.An siRNA screen targeting 779 different kinases was conducted in JJ012 chondrosarcoma cells in parallelwith a compound screen consisting of 273 kinase inhibitors in JJ012, SW1353 and CH2879 chondrosarcoma celllines. AURKA, CHK1 and PLK1 were identified as most promising targets and validated further in a morecomprehensive panel of chondrosarcoma cell lines. Dose response curves were performed using tyrosine kinaseinhibitors: MK-5108 (AURKA), LY2603618 (CHK1) and Volasertib (PLK1) using viability assays and cell cycleanalysis. Apoptosis was measured at 24 h after treatment using a caspase 3/7 assay. Finally, chondrosarcomapatient samples (N = =34) were used to examine the correlation between AURKA, CHK1 and PLK1 RNAexpression and documented patient survival.Dose dependent decreases in viability were observed in chondrosarcoma cell lines after treatment with MK-5108, LY2603618 and volasertib, with cell lines showing highest sensitivity to PLK1 inhibition. In additionincreased sensitivity to conventional chemotherapy was observed after CHK1 inhibition in a subset of the celllines. Interestingly, whereas AURKA and CHK1 were both expressed in chondrosarcoma patient samples, PLK1expression was found to be low compared to normal cartilage. Analysis of patient samples revealed that highCHK1 RNA expression correlated with a worse overall survival.AURKA, CHK1 and PLK1 are identified as important survival genes in chondrosarcoma cell lines. Althoughfurther research is needed to validate these findings, inhibiting CHK1 seems to be the most promising potentialtherapeutic target for patients with chondrosarcoma.Toxicolog