Preliminary Results Towards Contract Monitorability

This paper discusses preliminary investigations on the monitorability of contracts for web service descriptions. There are settings where servers do not guarantee statically whether they satisfy some specified contract, which forces the client (i.e., the entity interacting with the server) to perform dynamic checks. This scenario may be viewed as an instance of Runtime Verification, where a pertinent question is whether contracts can be monitored for adequately at runtime, otherwise stated as the monitorability of contracts. We consider a simple language of finitary contracts describing both clients and servers, and develop a formal framework that describes server contract monitoring. We define monitor properties that potentially contribute towards a comprehensive notion of contract monitorability and show that our simple contract language satisfies these properties.Comment: In Proceedings PrePost 2016, arXiv:1605.0809

Inhibition of dipeptidyl peptidase-4: The mechanisms of action and clinical use of vildagliptin for the management of type 2 diabetes

Postprandial hyperglycemia in type 2 diabetes is characterized by impaired insulin secretion and action, decreased glucose effectiveness and defective suppression of glucagon secretion. Newly available therapies for type 2 diabetes target the pathway of the incretin hormone glucagon-like peptide-1 (GLP-1). Oral inhibitors of dipeptidyl peptidase-4 (DPP-4) raise the level of endogenous GLP-1 by inhibiting its clearance thereby lowering fasting and postprandial glucose concentrations. Unlike compounds which act as agonists of the GLP-1 receptor, DPP-4 inhibitors are not associated with significant effects on gastrointestinal motility, which led to a controversy around the mechanisms responsible for their glucose-lowering effects. Here we review the evidence in regards to the mechanisms whereby DPP-4 inhibitors lower glucose concentrations. Their effects are most likely mediated by an increase in endogenous GLP-1, although additional mechanisms may be involved. The pharmacology, efficacy and safety of vildagliptin, a novel DPP-4 inhibitor, are also discussed

Polymorphism discovery and association analyses of the interferon genes in type 1 diabetes.

BACKGROUND: The aetiology of the autoimmune disease type 1 diabetes (T1D) involves many genetic and environmental factors. Evidence suggests that innate immune responses, including the action of interferons, may also play a role in the initiation and/or pathogenic process of autoimmunity. In the present report, we have adopted a linkage disequilibrium (LD) mapping approach to test for an association between T1D and three regions encompassing 13 interferon alpha (IFNA) genes, interferon omega-1 (IFNW1), interferon beta-1 (IFNB1), interferon gamma (IFNG) and the interferon consensus-sequence binding protein 1 (ICSBP1). RESULTS: We identified 238 variants, most, single nucleotide polymorphisms (SNPs), by sequencing IFNA, IFNB1, IFNW1 and ICSBP1, 98 of which where novel when compared to dbSNP build 124. We used polymorphisms identified in the SeattleSNP database for INFG. A set of tag SNPs was selected for each of the interferon and interferon-related genes to test for an association between T1D and this complex gene family. A total of 45 tag SNPs were selected and genotyped in a collection of 472 multiplex families. CONCLUSION: We have developed informative sets of SNPs for the interferon and interferon related genes. No statistical evidence of a major association between T1D and any of the interferon and interferon related genes tested was found.RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are

The candidate genes TAF5L, TCF7, PDCD1, IL6 and ICAM1 cannot be excluded from having effects in type 1 diabetes.

BACKGROUND: As genes associated with immune-mediated diseases have an increased prior probability of being associated with other immune-mediated diseases, we tested three such genes, IL23R, IRF5 and CD40, for an association with type 1 diabetes. In addition, we tested seven genes, TAF5L, PDCD1, TCF7, IL12B, IL6, ICAM1 and TBX21, with published marginal or inconsistent evidence of an association with type 1 diabetes. METHODS: We genotyped reported polymorphisms of the ten genes, nonsynonymous SNPs (nsSNPs) and, for the IL12B and IL6 regions, tag SNPs in up to 7,888 case, 8,858 control and 3,142 parent-child trio samples. In addition, we analysed data from the Wellcome Trust Case Control Consortium genome-wide association study to determine whether there was any further evidence of an association in each gene region. RESULTS: We found some evidence of associations between type 1 diabetes and TAF5L, PDCD1, TCF7 and IL6 (ORs = 1.05 - 1.13; P = 0.0291 - 4.16 x 10-4). No evidence of an association was obtained for IL12B, IRF5, IL23R, ICAM1, TBX21 and CD40, although there was some evidence of an association (OR = 1.10; P = 0.0257) from the genome-wide association study for the ICAM1 region. CONCLUSION: We failed to exclude the possibility of some effect in type 1 diabetes for TAF5L, PDCD1, TCF7, IL6 and ICAM1. Additional studies, of these and other candidate genes, employing much larger sample sizes and analysis of additional polymorphisms in each gene and its flanking region will be required to ascertain their contributions to type 1 diabetes susceptibility.RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are

Waves of Adipose Tissue Growth in the Genetically Obese Zucker Fatty Rat

In mammals, calories ingested in excess of those used are stored primarily as fat in adipose tissue; consistent ingestion of excess calories requires an enlargement of the adipose tissue mass. Thus, a dysfunction in adipose tissue growth may be a key factor in insulin resistance due to imbalanced fat storage and disrupted insulin action. Adipose tissue growth requires the recruitment and then the development of adipose precursor cells, but little is known about these processes in vivo.In this study, adipose cell-size probability distributions were measured in two Zucker fa/fa rats over a period of 151 and 163 days, from four weeks of age, using micro-biopsies to obtain subcutaneous (inguinal) fat tissue from the animals. These longitudinal probability distributions were analyzed to assess the probability of periodic phenomena.Adipose tissue growth in this strain of rat exhibits a striking temporal periodicity of approximately days. A simple model is proposed for the periodicity, with PPAR signaling driven by a deficit in lipid uptake capacity leading to the periodic recruitment of new adipocytes. This model predicts that the observed period will be diet-dependent

Analysis of polymorphisms in 16 genes in type 1 diabetes that have been associated with other immune-mediated diseases.

BACKGROUND: The identification of the HLA class II, insulin (INS), CTLA-4 and PTPN22 genes as determinants of type 1 diabetes (T1D) susceptibility indicates that fine tuning of the immune system is centrally involved in disease development. Some genes have been shown to affect several immune-mediated diseases. Therefore, we tested the hypothesis that alleles of susceptibility genes previously associated with other immune-mediated diseases might perturb immune homeostasis, and hence also associate with predisposition to T1D. METHODS: We resequenced and genotyped tag single nucleotide polymorphisms (SNPs) from two genes, CRP and FCER1B, and genotyped 27 disease-associated polymorphisms from thirteen gene regions, namely FCRL3, CFH, SLC9A3R1, PADI4, RUNX1, SPINK5, IL1RN, IL1RA, CARD15, IBD5-locus (including SLC22A4), LAG3, ADAM33 and NFKB1. These genes have been associated previously with susceptibility to a range of immune-mediated diseases including rheumatoid arthritis (RA), systemic lupus erythematosus (SLE), Graves' disease (GD), psoriasis, psoriatic arthritis (PA), atopy, asthma, Crohn disease and multiple sclerosis (MS). Our T1D collections are divided into three sample subsets, consisting of set 1 families (up to 754 families), set 2 families (up to 743 families), and a case-control collection (ranging from 1,500 to 4,400 cases and 1,500 to 4,600 controls). Each SNP was genotyped in one or more of these subsets. Our study typically had approximately 80% statistical power for a minor allele frequency (MAF) >5% and odds ratios (OR) of 1.5 with the type 1 error rate, alpha = 0.05. RESULTS: We found no evidence of association with T1D at most of the loci studied 0.02 <P < 1.0. Only a SNP in ADAM33, rs2787094, was any evidence of association obtained, P = 0.0004 in set 1 families (relative risk (RR) = 0.78), but further support was not observed in the 4,326 cases and 4,610 controls, P = 0.57 (OR = 1.02). CONCLUSION: Polymorphisms in a variety of genes previously associated with immune-mediated disease susceptibility and/or having effects on gene function and the immune system, are unlikely to be affecting T1D susceptibility in a major way, even though some of the genes tested encode proteins of immune pathways that are believed to be central to the development of T1D. We cannot, however, rule out effect sizes smaller than OR 1.5

Construction and analysis of tag single nucleotide polymorphism maps for six human-mouse orthologous candidate genes in type 1 diabetes.

BACKGROUND: One strategy to help identify susceptibility genes for complex, multifactorial diseases is to map disease loci in a representative animal model of the disorder. The nonobese diabetic (NOD) mouse is a model for human type 1 diabetes. Linkage and congenic strain analyses have identified several NOD mouse Idd (insulin dependent diabetes) loci, which have been mapped to small chromosome intervals, for which the orthologous regions in the human genome can be identified. Here, we have conducted re-sequencing and association analysis of six orthologous genes identified in NOD Idd loci: NRAMP1/SLC11A1 (orthologous to Nramp1/Slc11a1 in Idd5.2), FRAP1 (orthologous to Frap1 in Idd9.2), 4-1BB/CD137/TNFRSF9 (orthologous to 4-1bb/Cd137/Tnrfrsf9 in Idd9.3), CD101/IGSF2 (orthologous to Cd101/Igsf2 in Idd10), B2M (orthologous to B2m in Idd13) and VAV3 (orthologous to Vav3 in Idd18). RESULTS: Re-sequencing of a total of 110 kb of DNA from 32 or 96 type 1 diabetes cases yielded 220 single nucleotide polymorphisms (SNPs). Sixty-five SNPs, including 54 informative tag SNPs, and a microsatellite were selected and genotyped in up to 1,632 type 1 diabetes families and 1,709 cases and 1,829 controls. CONCLUSION: None of the candidate regions showed evidence of association with type 1 diabetes (P values > 0.2), indicating that common variation in these key candidate genes does not play a major role in type 1 diabetes susceptibility in the European ancestry populations studied.RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are

Risk of Type 2 Diabetes and Obesity Is Differentially Associated with Variation in FTO in Whites and African-Americans in the ARIC Study

Single nucleotide polymorphisms (SNPs) in the fat mass and obesity associated (FTO) gene are associated with body mass index (BMI) in populations of European descent. The FTO rs9939609 variant, first detected in a genome-wide association study of diabetes, conferred an increased disease risk that was abolished after adjustment for BMI, suggesting that the association may be due to variation in adiposity. The relationship between diabetes, four previously identified FTO polymorphisms that span a 19.6-kb genomic region, and obesity was therefore evaluated in the biracial population-based Atherosclerosis Risk in Communities Study with the goal of further refining the association by comparing results between the two ethnic groups. The prevalence of diabetes and obesity (BMI ≥30 kg/m2) was established at baseline, and diabetes was determined by either self-report, a fasting glucose level ≥126 mg/dL, or non-fasting glucose ≥200 mg/dL. There were 1,004 diabetes cases and 10,038 non-cases in whites, and 670 cases and 2,780 non-cases in African-Americans. Differences in mean BMI were assessed by a general linear model, and multivariable logistic regression was used to predict the risk of diabetes and obesity. For white participants, the FTO rs9939609 A allele was associated with an increased risk of diabetes (odds ratio (OR)  = 1.19, p<0.001) and obesity (OR = 1.22, p<0.001) under an additive genetic model that was similar for all of the SNPs analyzed. In African-Americans, only the rs1421085 C allele was a determinant of obesity risk (OR = 1.17, p = 0.05), but was found to be protective against diabetes (OR = 0.79, p = 0.03). Adjustment for BMI did not eliminate any of the observed associations with diabetes. Significant statistical interaction between race and the FTO variants suggests that the effect on diabetes susceptibility may be context dependent