21 resultados para program memory tracing
Resumo:
Tese de Doutoramento em Psicologia (Especialidade de Psicologia Clínica)
Resumo:
Tese de Doutoramento em Psicologia Clínica / Psicologia
Resumo:
In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.
Resumo:
BACKGROUND: The Cervical Cancer Database of the Brazilian National Health Service (SISCOLO) contains information regarding all cervical cytological tests and, if properly explored, can be used as a tool for monitoring and managing the cervical cancer screening program. The aim of this study was to perform a historical analysis of the cervical cancer screening program in Brazil from 2006 to 2013. MATERIAL AND METHODS: The data necessary to calculate quality indicators were obtained from the SISCOLO, a Brazilian health system tool. Joinpoint analysis was used to calculate the annual percentage change. RESULTS: We observed important trends showing decreased rates of low-grade squamous intraepithelial lesions (LSIL) and high-grade squamous intraepithelial lesions (HSIL) and an increased rate of rejected exams from 2009 to 2013. The index of positivity was maintained at levels below those indicated by international standards; very low frequencies of unsatisfactory cases were observed over the study period, which partially contradicts the low rate of positive cases. The number of positive cytological diagnoses was below that expected, considering that developed countries with low frequencies of cervical cancer detect more lesions annually. CONCLUSIONS: The evolution of indicators from 2006 to 2013 suggests that actions must be taken to improve the effectiveness of cervical cancer control in Brazil.
Resumo:
Tau-mediated neurodegeneration is a central event in Alzheimer's disease (AD) and other tauopathies. Consistent with suggestions that lifetime stress may be a clinically-relevant precipitant of AD pathology, we previously showed that stress triggers tau hyperphosphorylation and accumulation; however, little is known about the etiopathogenic interaction of chronic stress with other AD risk factors, such as sex and aging. This study focused on how these various factors converge on the cellular mechanisms underlying tau aggregation in the hippocampus of chronically stressed male and female (middle-aged and old) mice expressing the most commonly found disease-associated Tau mutation in humans, P301L-Tau. We report that environmental stress triggers memory impairments in female, but not male, P301L-Tau transgenic mice. Furthermore, stress elevates levels of caspase-3-truncated tau and insoluble tau aggregates exclusively in the female hippocampus while it also alters the expression of the molecular chaperones Hsp90, Hsp70, and Hsp105, thus favoring accumulation of tau aggregates. Our findings provide new insights into the molecular mechanisms through which clinically-relevant precipitating factors contribute to the pathophysiology of AD. Our data point to the exquisite sensitivity of the female hippocampus to stress-triggered tau pathology.
Resumo:
Dissertação de mestrado em Educação Especial (área de especialização em Dificuldades de Aprendizagem Específicas)