5 research outputs found

    Dedicated to

    No full text
    et de nationalité française acceptée sur proposition du jury: Prof. D. Thalmann, directeur de thès

    The Coq proof assistant User's guide - version 5.6

    No full text
    SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 F, issue : a.1991 n.134 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

    The Coq proof assistant user's guide Version 5.8

    No full text
    Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 F, issue : a.1993 n.154 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

    Circadian sleep–wake rhythm disturbances in end-stage renal disease

    No full text
    End-stage renal disease (ESRD) is an increasing health problem worldwide. Given the increasing prevalence of this disease, the high cost of hemodialysis treatment and the burden of hemodialysis on a patient's life, more research on improving the clinical outcomes and the quality of life of hemodialysis-treated patients is warranted. Sleep disturbances are much more prevalent in the dialysis population than in the general population. Several studies investigating the effect and importance of sleep problems on quality of life in dialysis patients revealed that sleep disturbances have a major influence on the vitality and general health of these patients. Sleep disturbances in this patient group are caused both by the pathology of the renal disease and by the dialysis treatment itself. This Review focuses on circadian sleep-wake rhythm disturbances in individuals with ESRD. The possible external and internal influences on sleep-wake rhythmicity in patients with ESRD, such as the effect of dialysis, medications, melatonin and biochemical parameters, are presented. In addition, possible approaches for strengthening the synchronization of the circadian sleep-wake rhythm, such as nocturnal hemodialysis, exogenous melatonin, dialyzate temperature, exogenous erythropoietin, use of bright light and exercise during dialysis treatment, are explored. Further research in this area is warranted, and a greater awareness of sleep problems is needed to improve the quality of life of patients with ESRD
    corecore