Wild species used in the traditional pharmacopoeia of Trás-os-Montes (Portugal)

XX Symposium of Brazilian Medicinal Plants & X International Congress of Ethnopharmacology. S. Paulo, Brasil.

Empirical models for quantification of machining damage in composite materials

Dissertação para obtenção do Grau de Doutor em Engenharia Mecânica

Location model for CCA-treated - wood waste remediation units

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Integrated ecological-economic modelling and assessment aproach for coastal ecosystem management

Thesis submitted to the Faculty of Sciences and Technology, New University of Lisbon, for the degree of Doctor of Philosophy in Environmental Sciences

O matrimónio disfórico

Ao casar com Jocasta, Edipo sabia que Jocasta era Jocasta, mas não sabia, ao casar com Jocasta, que Jocasta era a sua mãe. «Si a él le hubieran hecho Ia pregunta 'Deseas casarte con Yocasta?', su respuesta hubiera sido un tajante asentimiento. Pero sucedia, tragicamente, que Edipo desconocía ei hecho de que Yocasta era su madre. Seguramente que, si se le hubiera hecho Ia pregunta '^Deseas casarte con tu madre?, habría descartado con horror esa posibilidad» (Garcia Suárez 1997: 251). Como é que a sua mulher podia ser a sua mãe? Em 1996, Donnellan distingue a descrição definida que tem valor referencial da que tem valor afributivo: «Now if there are two uses of definite descriptíons, it may be that the tmth value is affected differently in each case by the falsity ofthe presupposition or implication» (1991: 53). Pode-se dizer /O assassino do Silva é tarado/ sem que se saiba quem é /O assassino do Silva/, estando sô em contacto com um "assassino do Silva" funcional ainda não identificado, ainda não individuado. Neste caso, o uso da descrição definida tem talante atributivo. Édipo sabe perfeitamente que houve um "assassino de Laio", fiincional e não identificado

Édipo e Jocasta: o matrimónio disfórico

Ao casar com Jocasta, Edipo sabia que Jocasta era Jocasta, mas não sabia, ao casar com Jocasta, que Jocasta era a sua mãe. «Si a él le hubieran hecho Ia pregunta 'Deseas casarte con Yocasta?', su respuesta hubiera sido un tajante asentimiento. Pero sucedia, tragicamente, que Edipo desconocía ei hecho de que Yocasta era su madre. Seguramente que, si se le hubiera hecho Ia pregunta '^Deseas casarte con tu madre?, habría descartado con horror esa posibilidad» (Garcia Suárez 1997: 251). Como é que a sua mulher podia ser a sua mãe? Em 1996, Donnellan distingue a descrição definida que tem valor referencial da que tem valor afributivo: «Now if there are two uses of definite descriptíons, it may be that the tmth value is affected differently in each case by the falsity ofthe presupposition or implication» (1991: 53). Pode-se dizer /O assassino do Silva é tarado/ sem que se saiba quem é /O assassino do Silva/, estando sô em contacto com um "assassino do Silva" funcional ainda não identificado, ainda não individuado. Neste caso, o uso da descrição definida tem talante atributivo. Édipo sabe perfeitamente que houve um "assassino de Laio", fiincional e não identificado. Virá a descobrir, tragicamente, que ele mesmo, Edipo, é o assassino referencial de Laio.

A diabetes: principais parâmetros para o controlo da diabetes

RESUMO: A Diabetes Mellitus é uma doença metabólica crónica, com deficiência a nível do metabolismo dos hidratos de carbono, lípidos e proteínas, resultante de deficiências na secreção ou ação da insulina, ou de ambas, que quando não tratada antecipadamente e de modo conveniente, pode ter consequências muito graves. Dado a incidência a nível mundial da Diabetes Mellitus, torna-se de elevada importância avaliar toda a sua envolvência e estudar bem quais os critérios a ter em consideração. Este trabalho propõe-se estudar para além dos parâmetros bioquímicos relacionados com a doença - Glicose e Hemoglobina Glicada A1c (HbA1c), analisar os resultados dos últimos cinco anos (2008-2012) dos ensaios interlaboratoriais do PNAEQ, do Departamento de Epidemiologia, do Instituto Nacional de Saúde Dr. Ricardo Jorge. Foram também analisadas as metodologias utilizadas e as variações interlaboratoriais, de forma a entender qual ou quais são os parâmetros mais adequados para o seu diagnóstico e controlo. Este estudo utilizou a população de laboratórios portugueses, públicos e privados, de Portugal Continental e Ilhas, um laboratório de Angola e outro de Macau que se inscreveram no PNAEQ nestes cinco anos, sendo a amostra composta pelo n.º de participações. No programa de Química Clinica foram distribuídas 38 amostras e no programa de HbA1c foram distribuídas 22 amostras. Para a glicose, o nível de desempenho nos ensaios é na globalidade das amostras de Excelente, no entanto verifica-se que sempre que a concentração da amostra é de nível patológico, que a maioria dos ensaios o desempenho foi inferior – Bom. O método de eleição e com CV% mais baixos foi o método da hexoquinase. Para a HbA1c, o nível de desempenho nos ensaios é na globalidade das amostras de Excelente. O método de eleição e com CV% mais baixos foi o método de HPLC. O CV% para a glicose ronda desde 2010 a 2012, os 3% e para a HbA1c foi de aproximadamente 4,0% em 2012. A HbA1c tem mostrado ser uma ferramenta muito útil, importante e robusta na monitorização da Diabetes, sendo hoje em dia quase sempre requisitada em análises de rotina a diabéticos de modo a prevenir complicações que possam vir a acorrer. No futuro poderá ser um importante, senão o parâmetro de futuro, para o diagnóstico da Diabetes, no entanto, mesmo já tendo sido muito trabalhada a sua padronização, ainda existem questões por responder como quais são na realidade todos os seus interferentes, qual a verdadeira relação da HbA1c com a glicose média estimada, em todas as populações e com estudos epidemiológicos. Também a própria educação do diabético e clínico deve ser aprimorada, pelo que neste momento as PTGO e os doseamentos de glicose em jejum devem ser utilizados e encontrando-se a Norma da DGS N.º 033/2011 de acordo com as necessidades e com o estado da arte deste parâmetro. A implementação da glicose média estimada será uma mais-valia na monitorização dos diabéticos pelo que deverá ser uma das prioridades a ter em conta no futuro desta padronização, uniformizando a decisão clinica baseada nela e minimizando a dificuldade de interpretação de resultados de laboratório para laboratório. --------------ABSTRACT: Diabetes Mellitus is a chronic metabolic disease, with a deficit in the metabolism of carbohydrates, lipids and proteins, resulting from deficiencies in insulin secretion or action, or both, which if, when not early treated in a proper way, may result in very serious consequences. Given the worldwide incidence of diabetes mellitus, it is highly important to evaluate all its background and study specifically all the criteria to take into consideration. The aim of this thesis is to study and evaluate beyond the biochemical parameters related to the disease - Glucose and Glycated Haemoglobin A1c (HbA1c), analyze the results of the last five years (2008-2012) of the PNAEQ interlaboratorial tests, in the Department of Epidemiology of National Institute of Health Dr. Ricardo Jorge. It is also intended to analyze the methodologies used and the interlaboratorial variations, in order to understand the most suitable parameters for the diagnosis and control. This study was based in a population of Portuguese laboratories, public and private, of Portugal mainland and islands, a laboratory of Angola and other from Macau, who enrolled in PNAEQ in these five years, and the sample was composed by the n. º of holdings. In the Clinical Chemistry Program there were distributed 38 samples and in the program HbA1c were distributed 22 samples. For glucose, the level of performance in the total nº of the samples was Excellent; however, it was found that when the concentration level of the sample was pathological, in most of the tests the performance was Good. The most preferred method with the lowest CV% is the hexokinase method. For the HbA1c, as a whole, the samples’ tests were Excellent, at the level of performance. The method of election with the lower CV% was the HPLC. The CV% for glucose was around 3%, from 2010 to 2012 and the HbA1c was approximately 4.0% in 2012. The HbA1c method has demonstrated to be a very useful tool, important and robust for monitoring diabetes, being nowadays, almost always required in routine analysis to prevent future complications. In the future it may be an important parameter, if not the most important, for the diagnosis of diabetes. However, despite it has already been standardized, there are still some questions that need to be answered, such as, which are in fact all their interferences, which is the true connection of HbA1c, when compared with the estimated average glucose, in all populations and epidemiological studies. Moreover, the education of the patient and the doctor concerning diabetes should be improved. Nowadays, the Oral Glucose Tolerance Test (OGTT) and fasting glucose determinations should be used and, the needs and the state of the art of this parameter, should be in accordance with the Standard DGS N. º 033/2011. The Implementation of the estimated average glucose will be an added value in monitoring diabetics and, therefore, should be a priority to consider in its future standardization and clinical decision based on it, will be uniform and the difficulty of interpreting results from laboratory to laboratory will be minimal.

Doenças de transmissão hídrica : nota para a história da epidemiologia

O autor, depois de citar os trabalhos de John Snow no estudo da epidemia de cólera em Londres (1855), chama a atenção para a referência que Ribeiro Sanches faz, mais de cem anos antes, à acção conduzida por Duarte Lopes no controlo da epidemia perto de Coimbra.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

A importância dos média e da língua de acolhimento na integração de imigrantes. Estudos de caso : a comunidade nepalesa de Portugal e a comunidade portuguesa em Macau

Esta pesquisa foca-se na comunidade imigrante portuguesa em Macau e na comunidade imigrante nepalesa em Portugal. Analisa os usos dos média – étnicos, mainstream e transnacionais - por imigrantes durante o processo de integração: na manutenção de laços com o país de origem e na adaptação à sociedade de acolhimento, em que a língua de acolhimento assume um papel crucial. A investigação enquadra-se nos estudos de audiências e baseia-se na teoria dos Usos e Gratificações dos Média (Katz, Blumler, & Gurevitch, 1974). No que respeita à integração assenta no modelo de estratégias de aculturação de Berry & Sam (2001, 2006). Quanto à língua, assenta na teoria do poder e da prática de Bourdieu (1991), especificamente na parte relativa ao poder simbólico da língua. Quanto à metodologia, foram realizadas oito entrevistas em profundidade na comunidade nepalesa e 29 entrevistas na comunidade portuguesa. A amostra foi de conveniência e teoricamente sustentada. A seguir às entrevistas, foi feita uma análise de conteúdo individual e transversal. Esta tese pretende contribuir para o enriquecimento de linhas de investigação sobre audiências activas dos média. Poderá servir de fonte de informação para políticas relacionadas com a integração de imigrantes, nomeadamente, para reformulação de políticas relacionadas com os média e com a língua de acolhimento. No caso de empresas de comunicação, a informação obtida poderá ser útil para adaptarem melhor os seus conteúdos a este público específico.