624 research outputs found

    Forschungsbericht Erfindungen des Tourismus im Vergleich

    Get PDF

    Vergleich und Transfer im Vergleich

    Get PDF

    Stone Duality and the Substitution Principle

    Get PDF

    Oxidative stress and epigenetic regulation in ageing and age-related diseases

    Get PDF
    Recent statistics indicate that the human population is ageing rapidly. Healthy, but also diseased, elderly people are increasing. This trend is particularly evident in Western countries, where healthier living conditions and better cures are available. To understand the process leading to age-associated alterations is, therefore, of the highest relevance for the development of new treatments for age-associated diseases, such as cancer, diabetes, Alzheimer and cardiovascular accidents. Mechanistically, it is well accepted that the accumulation of intracellular damage determined by reactive oxygen species (ROS) might orchestrate the progressive loss of control over biological homeostasis and the functional impairment typical of aged tissues. Here, we review how epigenetics takes part in the control of stress stimuli and the mechanisms of ageing physiology and physiopathology. Alteration of epigenetic enzyme activity, histone modifications and DNA-methylation is, in fact, typically associated with the ageing process. Specifically, ageing presents peculiar epigenetic markers that, taken altogether, form the still ill-defined “ageing epigenome”. The comprehension of mechanisms and pathways leading to epigenetic modifications associated with ageing may help the development of anti-ageing therapies

    Ultrafilters on words for a fragment of logic

    Get PDF
    International audienceWe give a method for specifying ultrafilter equations and identify their projections on the set of profinite words. Let B be the set of languages captured by first-order sentences using unary predicates for each letter, arbitrary uniform unary numerical predicates and a predicate for the length of a word. We illustrate our methods by giving ultrafilter equations characterising B and then projecting these to obtain profinite equations characterising B ∩ Reg. This suffices to establish the decidability of the membership problem for B ∩ Reg.Nous donnons une méthode pour spécifier des équations en ultrafiltres et identifier leurs projections sur l'ensemble des mots profinis. Soit B l'ensemble des langages décrits par des énoncés du premier ordre utilisant des prédicats unaires pour chaque lettre, des prédicats numériques uniformes unaires arbitraires et un prédicat pour la longueur d'un mot. Nous illustrons notre méthode en donnant des équations profinies caractérisant B à l'aide d'équations en ultrafiltres puis en projetant ces équations pour obtenir des équations profinies caractérisant B ∩ Reg. Cela suffit à établir la décidabilité de l'appartenance à B ∩ Re
    corecore