751 research outputs found

    The era of reference genomes in conservation genomics

    Get PDF
    Progress in genome sequencing now enables the large-scale generation of reference genomes. Various international initiatives aim to generate reference genomes representing global biodiversity. These genomes provide unique insights into genomic diversity and architecture, thereby enabling comprehensive analyses of population and functional genomics, and are expected to revolutionize conservation genomics.Peer reviewe

    A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints

    Full text link
    We present formalized proofs verifying that the first-order unification algorithm defined over lists of satisfiable constraints generates a most general unifier (MGU), which also happens to be idempotent. All of our proofs have been formalized in the Coq theorem prover. Our proofs show that finite maps produced by the unification algorithm provide a model of the axioms characterizing idempotent MGUs of lists of constraints. The axioms that serve as the basis for our verification are derived from a standard set by extending them to lists of constraints. For us, constraints are equalities between terms in the language of simple types. Substitutions are formally modeled as finite maps using the Coq library Coq.FSets.FMapInterface. Coq's method of functional induction is the main proof technique used in proving many of the axioms.Comment: In Proceedings UNIF 2010, arXiv:1012.455

    A prospective study on the link between weight‐related self‐stigma and binge eating: role of food addiction and psychological distress

    Get PDF
    Objectives: This prospective study investigated the link between weight‐related self‐stigma and binge eating by (a) examining the temporal association between weight‐related self‐stigma and binge eating; (b) investigating the mediating role of food addiction in the association between weight‐related self‐stigma and binge eating; and (c) examining the mediating role of psychological distress in the association between weight‐related self‐stigma and binge eating. Method: Participants comprised 1,497 adolescents (mean = 15.1 years; SD = 6.0). Body mass index and weight bias were assessed at baseline; psychological distress (i.e., depression, anxiety, and stress) assessed and food addiction at 3 months; and binge eating at 6 months. The mediation model was analyzed using Model 4 in the PROCESS macro for SPSS with 10,000 bootstrapping resamples. Results: There was no significant direct association between weight‐related self‐stigma and binge eating. However, food addiction and psychological distress significantly mediated the association between weight‐related self‐stigma and binge eating. Discussion: These findings highlight the indirect association between weight‐related self‐stigma and binge eating via food addiction and psychological distress. Consequently, intervention programs targeting food addiction and psychological distress among adolescents may have significant positive effects on outcomes for weight‐related self‐stigma and binge eating. The findings will be beneficial to researchers and healthcare professionals working with adolescents during this critical developmental period

    Assessment of a self-reported Drinks Diary for the estimation of drinks intake by care home residents: Fluid Intake Study in the Elderly (FISE)

    Get PDF
    Objectives: We evaluated the accuracy of a newly developed self-completed Drinks Diary in care home residents and compared it with direct observation and fluid intake charts. Design: Observational study. Setting: Residential care homes in Norfolk, UK. Participants: 22 elderly people (18 women, mean age 86.6 years SD 8.6, 12 with MMSE scores <27). Measurements: Participants recorded their own drinks intake over 24 hours using the Drinks Diary while care staff used the homes’ usual fluid intake chart to record drinks intake. These records were compared with drinks intake assessed by researcher direct observation (reference method), during waking hours (6am to 10pm), while drinks taken from 10pm to 6am were self-reported and checked with staff. Results: Drinks intake assessed by the Drinks Diary was highly correlated with researcher direct observation (Pearson correlation coefficient r=0.93, p<0.001, mean difference -163ml/day) while few staff-completed fluid charts were returned and correlation was low (r=0.122, p=0.818, mean difference 702ml/day). The Drinks Diary classified 19 of 22 participants correctly as drinking enough or not using both the European Food Safety Authority and US recommendations. Conclusion: The Drinks Diary estimate of drinks intake was comparable with direct observation and more accurate (and reliably completed) than staff records. The Drinks Diary can provide a reliable estimate of drinks intake in elderly care home residents physically and cognitively able to complete it. It may be useful for researchers, care staff and practitioners needing to monitor drinks intake of elderly people, to help them avoid dehydration

    Cross-sectional associations between sleep duration, sedentary time, physical activity, and adiposity indicators among Canadian preschool-aged children using compositional analyses

    Get PDF
    Abstract Background Sleep duration, sedentary behaviour, and physical activity are three co-dependent behaviours that fall on the movement/non-movement intensity continuum. Compositional data analyses provide an appropriate method for analyzing the association between co-dependent movement behaviour data and health indicators. The objectives of this study were to examine: (1) the combined associations of the composition of time spent in sleep, sedentary behaviour, light-intensity physical activity (LPA), and moderate- to vigorous-intensity physical activity (MVPA) with adiposity indicators; and (2) the association of the time spent in sleep, sedentary behaviour, LPA, or MVPA with adiposity indicators relative to the time spent in the other behaviours in a representative sample of Canadian preschool-aged children. Methods Participants were 552 children aged 3 to 4 years from cycles 2 and 3 of the Canadian Health Measures Survey. Sedentary time, LPA, and MVPA were measured with Actical accelerometers (Philips Respironics, Bend, OR USA), and sleep duration was parental reported. Adiposity indicators included waist circumference (WC) and body mass index (BMI) z-scores based on World Health Organization growth standards. Compositional data analyses were used to examine the cross-sectional associations. Results The composition of movement behaviours was significantly associated with BMI z-scores (p = 0.006) but not with WC (p = 0.718). Further, the time spent in sleep (BMI z-score: γ sleep  = −0.72; p = 0.138; WC: γ sleep  = −1.95; p = 0.285), sedentary behaviour (BMI z-score: γ SB  = 0.19; p = 0.624; WC: γ SB  = 0.87; p = 0.614), LPA (BMI z-score: γ LPA  = 0.62; p = 0.213, WC: γ LPA  = 0.23; p = 0.902), or MVPA (BMI z-score: γ MVPA  = −0.09; p = 0.733, WC: γ MVPA  = 0.08; p = 0.288) relative to the other behaviours was not significantly associated with the adiposity indicators. Conclusions This study is the first to use compositional analyses when examining associations of co-dependent sleep duration, sedentary time, and physical activity behaviours with adiposity indicators in preschool-aged children. The overall composition of movement behaviours appears important for healthy BMI z-scores in preschool-aged children. Future research is needed to determine the optimal movement behaviour composition that should be promoted in this age group

    Assessing and managing concurrent hearing, vision and cognitive impairments in older people: an international perspective from healthcare professionals

    Get PDF
    Background: there is a significant gap in the understanding, assessment and management of people with dementia and concurrent hearing and vision impairments. / Objective: from the perspective of professionals in dementia, hearing and vision care, we aimed to: (1) explore the perceptions of gaps in assessment and service provision in ageing-related hearing, vision and cognitive impairment; (2) consider potential solutions regarding this overlap and (3) ascertain the attitudes, awareness and practice, with a view to implementing change. / Methods: our two-part investigation with hearing, vision, and dementia care professionals involved: (1) an in-depth, interdisciplinary, international Expert Reference Group (ERG; n = 17) and (2) a wide-scale knowledge, attitudes and practice survey (n = 653). The ERG involved consensus discussions around prototypic clinical vignettes drawn from a memory centre, an audiology clinic, and an optometry clinic, analysed using an applied content approach. / Results: the ERG revealed several gaps in assessment and service provision, including a lack of validated assessment tools for concurrent impairments, poor interdisciplinary communication and care pathways, and a lack of evidence-based interventions. Consensus centred on the need for flexible, individualised, patient-centred solutions, using an interdisciplinary approach. The survey data validated these findings, highlighting the need for clear guidelines for assessing and managing concurrent impairments. / Conclusions: this is the first international study exploring professionals’ views of the assessment and care of individuals with age-related hearing, vision and hearing impairment. The findings will inform the adaptation of assessments, the development of supportive interventions, and the new provision of services
    • 

    corecore