76 research outputs found

    Three variations of observation equivalence preserving synthesis abstraction

    Get PDF
    In a previous paper we introduced the notion of synthesis abstraction, which allows efficient compositional synthesis of maximally permissive supervisors for large-scale systems of composed finite-state automata. In the current paper, observation equivalence is studied in relation to synthesis abstraction. It is shown that general observation equivalence is not useful for synthesis abstraction. Instead, we introduce additional conditions strengthening observation equivalence, so that it can be used with the compositional synthesis method. The paper concludes with an example showing the suitability of these relations to achieve substantial state reduction while computing a modular supervisor

    On the use of observation equivalence in synthesis abstraction

    Get PDF
    In a previous paper we introduced the notion of synthesis abstraction, which allows efficient compositional synthesis of maximally permissive supervisors for large-scale systems of composed finite-state automata. In the current paper, observation equivalence is studied in relation to synthesis abstraction. It is shown that general observation equivalence is not useful for synthesis abstraction. Instead, we introduce additional conditions strengthening observation equivalence, so that it can be used with the compositional synthesis method. The paper concludes with an example showing the suitability of these relations to achieve substantial state reduction while computing a modular supervisor

    Critical Roles for LIGHT and Its Receptors in Generating T Cell-Mediated Immunity during Leishmania donovani Infection

    Get PDF
    LIGHT (TNFSF14) is a member of the TNF superfamily involved in inflammation and defence against infection. LIGHT signals via two cell-bound receptors; herpes virus entry mediator (HVEM) and lymphotoxin-beta receptor (LTβR). We found that LIGHT is critical for control of hepatic parasite growth in mice with visceral leishmaniasis (VL) caused by infection with the protozoan parasite Leishmania donovani. LIGHT-HVEM signalling is essential for early dendritic cell IL-12/IL-23p40 production, and the generation of IFNγ- and TNF-producing T cells that control hepatic infection. However, we also discovered that LIGHT-LTβR interactions suppress anti-parasitic immunity in the liver in the first 7 days of infection by mechanisms that restrict both CD4+ T cell function and TNF-dependent microbicidal mechanisms. Thus, we have identified distinct roles for LIGHT in infection, and show that manipulation of interactions between LIGHT and its receptors may be used for therapeutic advantage

    The association of patient trust and self-care among patients with diabetes mellitus

    Get PDF
    BACKGROUND: Diabetes requires significant alterations to lifestyle and completion of self management tasks to obtain good control of disease. The objective of this study was to determine if patient trust is associated with reduced difficulty and hassles in altering lifestyle and completing self care tasks. METHODS: A cross-sectional telephone survey and medical record review was performed to measure patient trust and difficulty in completing diabetes tasks among 320 medically underserved patients attending diabetes programs in rural North Carolina, USA. Diabetes tasks were measured three ways: perceived hassles of diabetic care activities, difficulty in completing diabetes-related care activities, and a global assessment of overall ability to complete diabetes care activities. The association of patient trust with self-management was examined after controlling for patient demographics, physical functioning, mental health and co-morbidities. RESULTS: Level of patient trust was high (median 22, possible max 25). Higher trust levels were associated with lower levels of hassles (p = 0.006) and lower difficulty in completing care activities (p = 0.001). Patients with higher trust had better global assessments of overall ability to complete diabetes care activities (p < 0.0001). CONCLUSION: Higher patient trust in physicians is associated with reduced difficulty in completing disease specific tasks by patients. Further studies are needed to determine the causal relationship of this association, the effect of trust on other outcomes, and the potential modifiability of trus

    GWAS Meta-Analysis of Suicide Attempt: Identification of 12 Genome-Wide Significant Loci and Implication of Genetic Risks for Specific Health Factors

    Get PDF
    Objective: Suicidal behavior is heritable and is a major cause of death worldwide. Two large-scale genome-wide association studies (GWASs) recently discovered and crossvalidated genome-wide significant (GWS) loci for suicide attempt (SA). The present study leveraged the genetic cohorts from both studies to conduct the largest GWAS metaanalysis of SA to date. Multi-ancestry and admixture-specific meta-analyses were conducted within groups of significant African, East Asian, and European ancestry admixtures. Methods: This study comprised 22 cohorts, including 43,871 SA cases and 915,025 ancestry-matched controls. Analytical methods across multi-ancestry and individual ancestry admixtures included inverse variance-weighted fixed-effects meta-analyses, followed by gene, gene-set, tissue-set, and drug-target enrichment, as well as summary-data-based Mendelian randomization with brain expression quantitative trait loci data, phenome-wide genetic correlation, and genetic causal proportion analyses. Results: Multi-ancestry and European ancestry admixture GWAS meta-analyses identified 12 risk loci at p values &lt;5×10-8. These loci were mostly intergenic and implicated DRD2, SLC6A9, FURIN, NLGN1, SOX5, PDE4B, and CACNG2. The multi-ancestry SNP-based heritability estimate of SA was 5.7% on the liability scale (SE=0.003, p=5.7×10-80). Significant brain tissue gene expression and drug set enrichment were observed. There was shared genetic variation of SA with attention deficit hyperactivity disorder, smoking, and risk tolerance after conditioning SA on both major depressive disorder and posttraumatic stress disorder. Genetic causal proportion analyses implicated shared genetic risk for specific health factors. Conclusions: This multi-ancestry analysis of suicide attempt identified several loci contributing to risk and establishes significant shared genetic covariation with clinical phenotypes. These findings provide insight into genetic factors associated with suicide attempt across ancestry admixture populations, in veteran and civilian populations, and in attempt versus death.</p

    GWAS Meta-Analysis of Suicide Attempt: Identification of 12 Genome-Wide Significant Loci and Implication of Genetic Risks for Specific Health Factors

    Get PDF
    OBJECTIVE: Suicidal behavior is heritable and is a major cause of death worldwide. Two large-scale genome-wide association studies (GWASs) recently discovered and cross-validated genome-wide significant (GWS) loci for suicide attempt (SA). The present study leveraged the genetic cohorts from both studies to conduct the largest GWAS meta-analysis of SA to date. Multi-ancestry and admixture-specific meta-analyses were conducted within groups of significant African, East Asian, and European ancestry admixtures. METHODS: This study comprised 22 cohorts, including 43,871 SA cases and 915,025 ancestry-matched controls. Analytical methods across multi-ancestry and individual ancestry admixtures included inverse variance-weighted fixed-effects meta-analyses, followed by gene, gene-set, tissue-set, and drug-target enrichment, as well as summary-data-based Mendelian randomization with brain expression quantitative trait loci data, phenome-wide genetic correlation, and genetic causal proportion analyses. RESULTS: Multi-ancestry and European ancestry admixture GWAS meta-analyses identified 12 risk loci at p values \u3c5×10 CONCLUSIONS: This multi-ancestry analysis of suicide attempt identified several loci contributing to risk and establishes significant shared genetic covariation with clinical phenotypes. These findings provide insight into genetic factors associated with suicide attempt across ancestry admixture populations, in veteran and civilian populations, and in attempt versus death

    Dissecting the Shared Genetic Architecture of Suicide Attempt, Psychiatric Disorders, and Known Risk Factors

    Get PDF
    Background Suicide is a leading cause of death worldwide, and nonfatal suicide attempts, which occur far more frequently, are a major source of disability and social and economic burden. Both have substantial genetic etiology, which is partially shared and partially distinct from that of related psychiatric disorders. Methods We conducted a genome-wide association study (GWAS) of 29,782 suicide attempt (SA) cases and 519,961 controls in the International Suicide Genetics Consortium (ISGC). The GWAS of SA was conditioned on psychiatric disorders using GWAS summary statistics via multitrait-based conditional and joint analysis, to remove genetic effects on SA mediated by psychiatric disorders. We investigated the shared and divergent genetic architectures of SA, psychiatric disorders, and other known risk factors. Results Two loci reached genome-wide significance for SA: the major histocompatibility complex and an intergenic locus on chromosome 7, the latter of which remained associated with SA after conditioning on psychiatric disorders and replicated in an independent cohort from the Million Veteran Program. This locus has been implicated in risk-taking behavior, smoking, and insomnia. SA showed strong genetic correlation with psychiatric disorders, particularly major depression, and also with smoking, pain, risk-taking behavior, sleep disturbances, lower educational attainment, reproductive traits, lower socioeconomic status, and poorer general health. After conditioning on psychiatric disorders, the genetic correlations between SA and psychiatric disorders decreased, whereas those with nonpsychiatric traits remained largely unchanged. Conclusions Our results identify a risk locus that contributes more strongly to SA than other phenotypes and suggest a shared underlying biology between SA and known risk factors that is not mediated by psychiatric disorders.Peer reviewe

    Educational foundations of Trade and Industry

    No full text
    corecore