Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

A debugging engine for parallel and distributed programs

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

Environmental indicator frameworks to design and assess environmental monitoring programs

Impact Assessment and Project Appraisal, vol. 22, n.1, March 2004, p. 47–62

Evolution of Iberia during the Cenozoic with special emphasis on the formation of the Betic Cordillera and its relation with the western Mediterranean

The extensional process affecting Iberia during the Triassic and Jurassic times change from the end of the Cretaceous and, throughout the Palaeocene, the displacement between the African and European plates was clearly convergent and part of the future Internal Zone of the Betic Cordillera was affected. To the west, the Atlantic continued to open as a passive margin and, to the north, no significant deformation occurred. During the Eocene, the entire Iberian plate was subjected to compression. which caused major deformations in the Pyrenees and also in the Alpujarride and Nevado-Filabride, Internal Betic, complexes. In the Oligocene continued this situation, but in addition, the new extensional process ocurring in the western Mediterranean area, together with the constant eastward drift of Iberia due to Atlantic opening, compressed the eastern sector of Iberia, giving rise to the structuring of the Iberian Cordillera. The Neogene was the time when the Betic Cordillera reached its fundamental features with the westward displacement of the Betic-Rif Internal Zone, expelled by the progressive opening of the Algerian Basin, opening prolonged till the Alboran Sea. From the late Miocene onwards, all Iberia was affected by a N-S to NNW-SSE compression, combined in many points by a near perpendicular extension. Specially in eastern and southern Iberia a radial extension superposed these compression and extension.

Caracterização das actividades pedagógicas promotoras do desenvolvimento das competências visuais que influenciam a iniciação à leitura e à escrita

RESUMO: A presente tese de dissertação de mestrado visa a contribuição para o enriquecimento da organização curricular da Educação Pré-Escolar. Baseia-se num estudo de natureza estatística descritiva, desenvolvido junto de uma amostra de vinte e três Educadores de Infância, dos Jardins de Infância do Concelho de Lourinhã, através da aplicação de um questionário, que procura caracterizar as actividades promotoras de competências visuais, quanto ao grau de importância e de frequência, no que constituem os pré requisitos para a leitura e a escrita. Os resultados sugerem a necessidade de uma maior sistematização dessas actividades e demonstram que um número significativo de actividades são desenvolvidas, neste âmbito, pelos educadores de infância, havendo, no entanto, aspectos considerados lógicos por autores como a Barraga e a Chapman, que não são geralmente considerados. A ênfase das conclusões é colocada, na necessidade de alargar o leque de actividades promotoras dos pré-requisitos para a iniciação à leitura e escrita e às actividades previstas nos Programas Educativos Individuais, para crianças com baixa visão, através da articulação com o docente de educação especial, de forma a que a sua intervenção especializada envolva todos os aspectos considerados fundamentais no treino de visão destas crianças. ABSTRACT: This master’s degree thesis is based on a descriptive statistical study, conducted with a sample of twenty three preschool Teachers working in public kindergartens in Lourinhã, Portugal. The study was based on the results of a questionnaire aimed at contributing to enrich preschool Curricula. The study was based on the scientific knowledge of the precise classroom activities which contribute to develop visual abilities needed for reading and writing. The activities were characterized according to their importance and frequency. The results suggest that these activities should be more planned and more organised. It showed a significant number of activities which are prepared on a regular basis and considered important but, on the other hand; it also showed a significant number of activities which are prepared occasionally. The emphasis of the conclusions is on the fact that the Curricula should include a larger range of activities that promote visual abilities needed for reading and writing and that Individual Educational Programs for low vision children, which include specific activities for vision training, should be built in team with the classroom teacher. In addition, Special Education Teacher’s program should contemplate all the aspects that the Preschool teachers do not, in order to involve all the important aspects for vision training.

Static detection of anomalies in transactional memory programs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Anemia de células falciformes na idade pediátrica : contribuição para o estudo das suas principais complicações e indicadores de prognóstico

RESMO: Introdução: A anemia de células falciformes doença hereditária, com repercussão multi-orgânica, tem grande variabilidade na sua expressão clínica. Daí o interesse do estudo de indicadores de prognóstico. A investigação realizada foi precedida de um resumo histórico incidindo sobre a compreensão de aspectos fundamentais da doença ao longo dos tempos. Na primeira parte do estudo e após revisão bibliográfica, foram referidos dados da fisiopatologia como base para os estudos que integram a presente dissertação. Abordou-se o estado da arte relativamente às complicações, aos indicadores de prognóstico e à terapêutica utilizada. Objectivos: Constituíram objectivos deste estudo realizado numa amostra populacional representativa: identificar as lesões a nível dos sistemas cardio-respiratório e nervoso central, avaliando-se as respectivas repercussões; avaliar a presença de indicadores de prognóstico entre as variáveis seleccionadas; estudar a eficácia e toxicidade da HU nos doentes com as formas graves da ACF. Para a prossecução destes objectivos foram delineados para além do estudo global três estudos específicos: Estudo 1- repercussão no sistema cardio-respiratório; Estudo 2- repercussão no sistema nervoso central; Estudo 3- terapêutica com hidroxiureia. Doentes e métodos: Procedeu-se a um estudo prospectivo e multi-institucional durante um período de três anos tendo-se seleccionado para a amostra, e de acordo com critérios pré-definidos, 30 doentes com ACF na fase estável da doença, com idades compreendidas entre os sete e os 18 anos, todos de origem africana à excepção de um caucasiano. O diagnóstico baseou-se em técnicas de electroforese e estudo molecular que definiu o genotipo da doença e a presença da delecção da -talassémia assim como os haplotipos da amostra populacional. Foram utilizadas diferentes metodologias para avaliar a existência de lesão pulmonar e cerebral. Através do estudo estatístico foram seleccionadas diversas variáveis como hipotéticos indicadores de prognóstico. Estudo 1. Para determinar a existência de lesão a nível pulmonar usaram-se duas metodologias diferentes, a avaliação da função pulmonar com estudo da saturação da Hb em O2 no sangue arterial e a tomografia computadorizada de alta resolução. Estudou-se também a possível disfunção cardíaca como repercussão da lesão pulmonar, através do ecocardiograma, e os indicadores de prognóstico com significado estatístico para a lesão encontrada. Estudo 2. O desenho deste estudo foi sobreponível ao anterior, mas com metodologia adequada para o SNC. Procedeu-se ao estudo das lesões cerebrais por meio de exames imagiológicos, (RMN-CE e DTC) e de testes psicológicos. Correlacionaram-se as três metodologias utilizadas e a importância de cada uma para a decisão de atitudes terapêuticas preventivas. Estudo 3. Consistiu num estudo aberto prospectivo não controlado com nove crianças e adolescentes com formas graves de ACF, com o objectivo de avaliar a eficácia da terapêutica com hidroxiureia, durante um período de 24 meses. Todos os doentes completaram no mínimo 15 meses de terapêutica, com uma dose final média de 194 mg/K/dia. Resultados globais: Durante o período anterior à investigação caracterizou-se a amostra populacional estudada quanto ao fenotipo genético, clínico e hematológico de acordo com os critérios utilizados por outros investigadores. Verificou-se: predomínio do haplotipo Bantu na forma homozigótica em 53% dos doentes; número total de EVO ≥3/ano em 87,5% dos doentes; crises de sequestração em 18,75%; dactilites no primeiro ano de vida em 31,2%; quadro de sépsis grave apenas num doente; crises de hiper-hemólise em 50%; e STA em 59,38% dos doentes. Quanto ao fenotipo hematológico evidenciaram-se como factores de risco reticulocitose (13,1x103/l) e hiperbilirrubinémia (2,5 mg/dl) e como factores de bom prognóstico a presença de delecção de um gene da -talassémia em 46,9% dos doentes e valor médio de Hb 8,1 g/dl. Resultados dos estudos parcelares: Estudo 1. Deste estudo infere-se que a DPR ligeira foi diagnosticada em 70% dos doentes, uma vez que as alterações da difusão não foram estatisticamente significativas, o estudo dos gases no sangue não evidenciaram resultados anormais e a TCAR evidenciou alterações em 43,3% dos doentes. Apenas num doente se verificou doença pulmonar obstrutiva relacionada com maior número da STA.O estudo da disfunção cardíaca encontrada em 86,7% dos doentes não reflecte a repercussão da DPR a nível cardíaco, podendo estar associada às alterações fisiopatológicas da própria anemia crónica. Encontraram-se indicadores de prognóstico hematológicos e clínicos. Entre os primeiros, valores de Hb ≥8,5 g/dl e de HbF ≥13% foram considerados indicadores de bom prognóstico para a lesão pulmonar. Em relação aos parâmetros clínicos, as STA não foram consideradas indicadoras de prognóstico para a DPR ao contrário do que se verificou com o número de EVO. Pela análise dos parâmetros genéticos e socio-económicos provou-se a ausência de relação estatisticamente significativa com lesão pulmonar. Estudo 2. Pela RMN-CE foram diagnosticados ES em 33,3% com uma localização preferencial na substância branca profunda em 26,6% dos doentes. Relativamente aos parâmetros hematológicos seleccionados, o valor médio da HbF 8,6% constituíu um indicador de bom prognóstico para o aparecimento de ES, enquanto o valor médio de leucócitos 12.39x103/μl foi considerado um indicador de mau prognóstico. No estudo do DTC apenas um doente apresentou aumento da velocidade do fluxo cerebral na ACM igual a 196 cm/segundos, associado a vasculopatia grave. Os testes psicológicos alterados em 80% dos doentes mostraram ser o método mais sensível para detectar alterações do neurodesenvolvimento, mas sem correlação com os ES em 10% dos doentes. Realça-se a baixa percentagem de DTC patológicos encontrados neste estudo em relação ao número elevado de ES e de testes psicológicos alterados, não se verificando concordância entre os três exames. Dos indicadores de prognóstico estudados a -talassémia foi considerada um factor de protecção para o coeficiente de inteligência da escala de Wechsler. Em relação a parâmetros clínicos estudados os doentes com maior número de EVO, tem em média valores inferiores nos testes psicológicos. Estudo 3. Neste estudo verificou-se que o valor médio da HbF aumentou significativamente de 7,0±4% para 13,7±5,3% (p=0,028) ao fim de 15 meses de terapêutica com hidroxiureia. Clinicamente todos os doentes responderam significativamente com uma redução de 80% no número de EVO, 69% no número de internamentos, 76% no número de dias de hospitalização e 67% no número de transfusões. Deste modo comprovou-se não só a eficácia desta terapêutica neste grupo pediátrico como também a falta de efeitos secundários significativos. Considera-se a necessidade de estudos mais prolongados e em grande séries, para com segurança se usar a HU antes que a lesão orgânica se estabeleça, portanto logo nos primeiros anos de vida. Conclusão: Na amostra populacional estudada foram evidenciadas lesões pulmonares e cerebrais na grande maioria dos doentes que condicionaram a sua qualidade de vida. Foram identificados indicadores de prognóstico que poderão eventualmente ditar medidas terapêuticas precoces com o objectivo de diminuir a morbilidade e a mortalidade neste grupo etário. Demonstrou-se que a terapêutica com a HU foi eficaz e bem tolerada----------ABSTRACT: Background: Sickle cell anemia (SCA), a hereditary disease characterized by pain and lifetime multi-organic lesion, is a challenge for all that work with carriers of this disease. The clinical expression variability of SCA is a constant reality and a problem to be solved in the current world of investigation, for which the knowledge of prognostic indicators responsible for the different aspects of clinical evolution diversity wiil be an added value. The study is preceded by a historical summary of the most important factors in the evolution of SCA, which are in themselves, an incentive for future research. In the first part of the study, after an extensive bibliographical revision, physiopathology data is referred to in general and specifically regarding the target organs, that constituted the base for the studies presented in the dissertation. The state of the art for the complications to be studied, the choice of prognostic indicators and the therapeutics application, were approached for the renewed interest in the theme. Aims: In regard to the investigation, the objective was to study the lesions in the most affected organs of a chosen pediatric group, to investigate prognostic indicators for lung and cerebral lesions and to evaluate the protective effect of hydroxyurea in children with severe outcomes. Patients and methods: A prospective and multi-institutional study was carried out during a three-year period, February 1998 to March 2001, with children and adolescents followed up at a Immunohematology Outpatient Clinic of Dona Estefânia's Hospital, Lisbon. Based in predefined criteria, 30 children with SCA were selected in a stable phase of the disease, aged from seven to 18 years old, all of whom were of African origin with exception of one who was Caucasian. The diagnosis was based on electrophoresis techniques and molecular study that allowed to define the genotype, the presence of deletional alpha-thalassemia as well as haplotypes in the population. Different methodologies were used to evaluate the existence of lung and cerebral lesion. Statistical study of the different variables selected the prognostic indicators. In Study 1, to determine the existence of lung lesion two different methodologies were used: pulmonar function study with arterial blood gases determination; and high resolution computerized tomography. Heart dysfunction as a repercussion of lung lesion was also studied through echocardiography, and prognostic indicators were statistically significant for lesions found. The design of Study 2 was similar to Study 1, but with the appropriate methodology for CNS. After neurological examination, which was normal in all patients (control group), cerebral lesions were studied with imagiologic exams (MRN-CE and TCD) and psychological tests. These three methodologies were correlated and the importance of each one in the decision of the therapeutic profilactic attitudes. Study 3 consisted of a controlled prospective open study in children with severe forms of SCA, with the aim of the evaluating therapeutic effectiveness of hydroxyurea, during a period of 24 months. Results: In the global overall study preceding the Studies 1,2 and 3, there were a prevalence of haplotype Bantu (53%) and other risk factors, namely the number of VOC (87,5%), sequestration crisis (18,75%), dactilytis in first year of life(31,2%), hyperhemolysis crisis (50%) and ATC in more than half of the patients (59,38%). This group of bad prognostic indicators, associated with the population of the lower class according to the Graffar scale, demonstrates the importance of primary health care services, information provided to the children and their relatives, as well as the interest in prophylactic therapeutics, specific screening and prenatal diagnosis. Study 1. It was evident from this study that slight RPD was diagnosed in 70% of the patients, because alterations of the diffusion had no statistical significance and arterial blood gases determinations were normal. Only one patient had restrictive lung disease related with numerous ACS. However ACS was not considered a prognostic indicator for RPD, contrary to the number of EVO. HRTC revealed discreet fibrotic lines that could be related with slight RPD, but the lack of correlation of these two exams (33%) supports the value of lung function tests for precocious diagnosis of RPD. Heart dysfunction was found in 86,7% of patients, does not reflect the repercussion of RPD, but with the physiopathology of chronic anemia. Hematologic and clinical prognostic indicators were found. Good prognostic indicators for the non-evolution of RPD with average Hb values of ≥ 8,5 g/dl and average HbF values of ≥13%, respectively. The genetic and social-economic factors had no statistical significance; nevertheless, they were more prevalent among Bantu haplotype (53,3%) in patients with RPD. Study 2. RMN-CE detected SI in 33,3% of the patients, with preferential location in deep white substance in 26,6% and in front lobe in 20%. This distribution can be related to structural aspects of the brain and with the high sensibility of this organ to hypoxia. From the hematological parameters selected, average HbF value 8,6% and average leucocyte count 12.39x103/μl were prognostic indicators with different meaning to SI. The increase in the total bilirubin related to hyperhemolysis clinically explains the genesis of SI In the TCD study, only one patient had increased cerebral flow speed >196 cm/sec in CMA, which corresponded to serious vasculopathy in AngioMR. This patient never present previously neurological symptoms and had several hyperhemolysis crisis and VOC as risk factors. Low percentage of pathological TCD in this study, in relation to the high number of SI and altered tests, although without correlation among the three exams, is probably attributed to factors related to the methodology, aspects of cerebral physiopathology or perhaps a sign of good prognostic if the duration of study had not been so short. TCD should be used as a screening method in the age groups with higher risk of AVC and should never be considered separately in prophylactic therapeutics indication. Psychological tests were the most sensitive method to detect neurodevelopment impairment; in 80% of patients the neuropsychologics tests were altered, but without correlation with SI (10%). Since SI can become evident during the first two years of life and develop with time, the first psychological tests should be carried out between 3 and 5 years of age to timely be referred to special education and stimulation programs. Prognostic indicators to psychological tests were also found: alpha-thalassemia was found to be a protection factor of the IQ, just as other hematologic factors (hematocrit, MGCV and erythrocytes count). In relation to clinical parameters, although without statistical significance, patients with larger number of VOC had average lower scores versus the average in tests, except in TP. Results from different studies were conclusive as to the type of lesion found and the importance of prognostic indicators. Study 3. All the patients completed a minimum of 15 months therapeutic treatment with the final average daily dose of 19±4 mg/kg/day. The average value of the fetal hemoglobin increased significantly from 7,0±3,9% to 13,7±5,3% (p=0.028). The HbF average values increased from 6% to 15% after 15 months of therapeutic treatment. Clinically there was a reduction of 80% in the number of VOE , 69% in the number of hospitalization, 76% in the number of days of hospitalization and 67% in the number of transfusions. Once again the effectiveness of this treatment in this pediatric group, as well as the lack of any significant secondary effects, was evident. The study confirms the need for further detailed research in order to safely effect the appropriate treatment prior to the development of organic lesions, which ideally should be in the first year of life. Conclusions: These results allow us to clarify the importance of either pulmonary lesions or either nervous central system impairment among patients, children and adolescents, with sickle cell anemia. These lesions were demonstrated in most of the patients studied compromising their quality of life and the mortality. The treatment with HU is proved to be effective and having low toxicity.

Defining health law or the edgewood syndrome

ABSTRACT - The authors’ main purpose is to present ideas on defining Health Law by highlighting the particularities of the field of Health Law as well as of the teaching of this legal branch, hoping to contribute to the maturity and academic recognition of Health Law, not only as a very rich legal field but also as a powerful social instrument in the fulfillment of fundamental human rights. The authors defend that Health Law has several characteristics that distinguish it from traditional branches of law such as its complexity and multidisciplinary nature. The study of Health Law normally covers issues such as access to care, health systems organization, patients’ rights, health professionals’ rights and duties, strict liability, healthcare contracts between institutions and professionals, medical data protection and confidentiality, informed consent and professional secrecy, crossing different legal fields including administrative, antitrust, constitutional, contract, corporate, criminal, environmental, food and drug, intellectual property, insurance, international and supranational, labor/employment, property, taxation, and tort law. This is one of the reasons why teaching Health Law presents a challenge to the teacher, which will have to find the programs, content and methods appropriate to the profile of recipients which are normally non jurists and the needs of a multidisciplinary curricula. By describing academic definitions of Health Law as analogous to Edgewood, a fiction house which has a different architectural style in each of its walls, the authors try to describe which elements should compose a more comprehensive definition. In this article Biolaw, Bioethics and Human Rights are defined as complements to a definition of Health Law: Biolaw because it is the legal field that treats the social consequences that arise from technological advances in health and life sciences; Bioethics which evolutions normally influence the shape of the legal framework of Health; and, finally Human Rights theory and declarations are outlined as having always been historically linked to medicine and health, being the umbrella that must cover all the issues raised in the area of Health Law. To complete this brief incursion on the definition on Health Law the authors end by giving note of the complex relations between this field of Law and Public Health. Dealing more specifically on laws adopted by governments to provide important health services and regulate industries and individual conduct that affect the health of the populations, this aspect of Health Law requires special attention to avoid an imbalance between public powers and individual freedoms. The authors conclude that public trust in any health system is essentially sustained by developing health structures which are consistent with essential fundamental rights, such as the universal right to access health care, and that the study of Health Law can contribute with important insights into both health structures and fundamental rights in order to foster a health system that respects the Rule of Law.-------------------------- RESUMO – O objectivo principal dos autores é apresentar ideias sobre a definição de Direito da Saúde, destacando as particularidades desta área do direito, bem como do ensino deste ramo jurídico, na esperança de contribuir para a maturidade e para o reconhecimento académico do mesmo, não só como um campo juridicamente muito rico, mas, também, como um poderoso instrumento social no cumprimento dos direitos humanos fundamentais. Os autores defendem que o Direito da Saúde tem diversas características que o distinguem dos ramos tradicionais do direito, como a sua complexidade e natureza multidisciplinar. O estudo do Direito da Saúde abrangendo normalmente questões como o acesso aos cuidados, a organização dos sistemas de saúde, os direitos e deveres dos doentes e dos profissionais de saúde, a responsabilidade civil, os contratos entre instituições de saúde e profissionais, a protecção e a confidencialidade de dados clínicos, o consentimento informado e o sigilo profissional, implica uma abordagem transversal de diferentes áreas legais, incluindo os Direitos contratual, administrativo, antitrust, constitucional, empresarial, penal, ambiental, alimentar, farmacêutico, da propriedade intelectual, dos seguros, internacional e supranacional, trabalho, fiscal e penal. Esta é uma das razões pelas quais o ensino do Direito da Saúde representa um desafio para o professor, que terá de encontrar os programas, conteúdos e métodos adequados ao perfil dos destinatários, que são normalmente não juristas e às necessidades de um currículo multidisciplinar. Ao descrever as várias definições académicas de Direito da Saúde como análogas a Edgewood, uma casa de ficção que apresenta um estilo arquitectónico diferente em cada uma de suas paredes, os autores tentam encontrar os elementos que deveriam compor uma definição mais abrangente. No artigo, Biodireito, Bioética e Direitos Humanos são descritos como complementos de uma definição de Direito da Saúde: o Biodireito, dado que é o campo jurídico que trata as consequências sociais que surgem dos avanços tecnológicos na área da saúde e das ciências da vida; a Bioética cujas evoluções influenciam normalmente o quadro jurídico da Saúde; e, por fim, a teoria dos Direitos Humanos e as suas declarações as quais têm estado sempre historicamente ligadas à medicina e à saúde, devendo funcionar como pano de fundo de todas as questões levantadas na área do Direito da Saúde. Para finalizar a sua breve incursão sobre a definição de Direito da Saúde, os autores dão ainda nota das complexas relações entre este último e a Saúde Pública, onde se tratam mais especificamente as leis aprovadas pelos governos para regular os serviços de saúde, as indústrias e as condutas individuais que afectam a saúde das populações, aspecto do Direito da Saúde que requer uma atenção especial para evitar um desequilíbrio entre os poderes públicos e as liberdades individuais. Os autores concluem afirmando que a confiança do público em qualquer sistema de saúde é, essencialmente, sustentada pelo desenvolvimento de estruturas de saúde que sejam consistentes com o direito constitucional da saúde, tais como o direito universal ao acesso a cuidados de saúde, e que o estudo do Direito da Saúde pode contribuir com elementos

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Alterações da função visual e da qualidade de vida relacionada com a saúde em indivíduos idosos

RESUMO: Introdução: A visão é um sentido fundamental na relação do indivíduo com os mais variados ambientes, sendo elemento central na funcionalidade e independência do idoso, qualquer perturbação da função visual provoca limitações na qualidade de vida. As alterações demográficas em curso caracterizam-se pelo envelhecimento progressivo da população, paralelamente constata-se um aumento da prevalência de perturbações do sistema visual com alteração da função e do funcionamento visual. Considerando que os indivíduos idosos são mais dependentes da visão, e que não existem para esta área estudos desenvolvidos em Portugal, esta investigação tem como fundamento analisar a influência que a perturbação da função visual em indivíduos com 65 ou mais anos tem na qualidade de vida relacionada com a saúde. Estudaram-se também as características sócio-demográficas dos indivíduos participantes, da saúde visual e a percepção da saúde geral, bem como identificaram se junto dos idosos participantes e de Médicos especialistas em Medicina Geral e Familiar perspectivas sobre perturbações da função visual e envelhecimento. Desenho de estudo: Estudo transversal, caso-controlo e descritivo-exploratório. Materiais e Métodos: A partir de uma população de 112 indivíduos com 65 ou mais anos, frequentadores de várias instituições de apoio social do Concelho de Loures e de idosos frequentadores/institucionalizados da Mansão de Santa Maria de Marvila, unidade orgânica da Fundação D. Pedro IV, foram incluídos no estudo 90 (80,4%). Após consentimento informado, procedeu-se à avaliação da função visual nos Laboratórios de Ortóptica da Escola Superior de Tecnologia de Saúde de Lisboa, onde também se aplicaram o Questionário de Funcionamento Visual VFQ-25 e uma questão aberta para o tipo de dificuldades de visão sentidas durante o último ano. Aplicou-se ainda, em ambiente virtual, uma pergunta aberta a Médicos especialistas em Medicina Geral e Familiar para aspectos relacionados com o diagnóstico/suspeita relativamente tardio de perturbações da função visual. Procedeu-se ao tratamento descritivo das características sócio-demográficas, da percepção de saúde geral e da saúde visual e das respostas dos idosos e dos médicos. Analisou-se a relação entre função visual e qualidade de vida relacionada com a saúde aplicando o teste não-paramétrico de Mann-Whitney. Resultados: Constatou-se que os indivíduos da amostra são maioritariamente do género feminino (71,1%), casados (41,1%), detentores de baixos níveis de escolaridade em que 63,3% apenas frequentou/concluiu o 1º ciclo do ensino básico e quase na sua totalidade reformados (88,9%). Verifica-se que 77,8% dos idosos percepciona a sua saúde geral como razoável ou boa. Da mesma forma, 86,7% dos indivíduos têm a função visual alterada devido principalmente à alteração da acuidade visual para longe (86,7%), registando-se que 65,5% dos olhos tinham uma acuidade visual igual ou superior a 5/10. Outras dimensões que contribuíram para a alteração da função visual contam-se a sensibilidade ao contraste (63,3%), estereopsia (51,1%), visão cromática (38,9%) e a motilidade ocular (25,6%). Obtiveram-se assim maiores pontuações para as diversas escalas do questionário VFQ-25 em indivíduos com função visual alterada exceptuando nas escalas actividades de perto, condução e dependência. Verificou-se portanto existir relação entre alteração da função visual e perturbação da qualidade de vida relacionada com a saúde. À questão colocada aos idosos, 42,6% não manifestou qualquer razão para que visse mal/sentisse dificuldades de visão durante o último ano. A diminuição da acuidade visual para longe/perto foi referida por 20,5% dos indivíduos, seguido pela deterioração do estado de saúde geral e ocular por 15%. As respostas do Médicos especialistas em Medicina Geral e Familiar sobre razões para a suspeita/diagnóstico relativamente tardia das perturbações da função visual, indicam a iliteracia dos idosos para a saúde da visão e semiologia ocular (34%), a baixa formação/informação dos Médicos de Medicina Geral e Familiar na área da saúde da visão (22%) e a pouca acessibilidade e resposta demorada/ineficaz dos serviços de oftalmologia do SNS (20%) como principais motivos para os assuntos questionados.Conclusões: As alterações do sistema visual com impacto na função e no funcionamento visual alteram a qualidade de vida relacionada com a saúde, devido principalmente à alteração da acuidade visual para longe. Os idosos do estudo não valorizam a saúde visual ao percepcionarem positivamente a saúde geral e a saúde visual relativamente à avaliação da função visual. É fundamental definir estratégias e programas de literacia para a saúde da visão para toda a população, não apenas destinados a idosos. Sugere-se repensar o modelo de formação base dos Médicos com especial incidência na área da saúde da visão, com necessidades sentidas de formação/informação. As respostas obtidas dos idosos e dos Médicos indicaram existir fragilidades na saúde da visão, necessário repensar o modelo de prestação de cuidados de saúde nesta área. Esta investigação permitiu ao autor uma reflexão sobre as temáticas relacionadas com o envelhecimento levando a uma mudança de atitudes e comportamento na abordagem profissional a indivíduos idosos, promovendo autonomia nas escolhas e decisões em questões de saúde, na criação de estratégias para lidar com o problema de visão e na adaptação à nova condição de saúde da visão.---------------ABSTRACT:Purpose: The vision is a fundamental sense in the individual's relationship with the most varied environments, a central element in the functionality and independence of the elderly, any disturbance of visual function causes limitations in quality of life. The current demographic changes are characterized by progressive aging of population, there has been a parallel increase in the prevalence of disorders of the visual system by changing the visual function and functioning. Whereas the elderly are more dependent on vision, and there are no studies in this area developed in Portugal, this research is based analyze the influence that the disturbance of visual function in subjects aged 65 years or more has on the health related quality of life. We studied also the socio-demographic characteristics of the subjects, the eye health and general health perception, and identified themselves with the elderly participants and medical specialists in Family General Medicine perspective on disorders of visual function and aging. Design: Cross-sectional study, case control, descriptive and exploratory. Methods: From a population of 112 people with 65 or more years, regulars of various social welfare institutions of the Municipality of Loures and elderly regulars/institutionalized the Mansion of Santa Maria de Marvila, organic unity of the Foundation D. Pedro IV, were included 90 (80.4%). After informed consent, proceeded to the assessment of visual function in the Laboratories of Orthopticsof the School of Health Technology of Lisbon, where he also applied the Visual Functioning Questionnaire VFQ-25 and an open question for the type of vision difficulties experienced during the last year. Was applied also in a virtual environment, an open question to Doctors specialists in family general medicine related to the diagnosis/suspected relatively late disturbance of visual function. We carried out the descriptive treatment of socio-demographic characteristics, perception of general health and eye health and the responses of older people and doctors. We analyzed the relationship between visual function and quality of life related to health by applying the nonparametric Mann-Whitney test. Results: We found that individuals in the sample are mostly female (71.1%), married (41.1%), holders of low levels of education in which only 63.3% frequented / completed the 1st cycle of primary and almost entirely retired (88.9%). It is found that 77.8% of the elderly perceive their general health as fair or good. Likewise, 86.7% of individuals have altered vision mainly due to the change in visual acuity away (86.7%),up to 65.5% of eyes had a visual acuity of 5/10 or greater. Other dimensions that contributed to the alteration of visual function include contrast sensitivity (63.3%), stereopsis (51.1%), color vision (38.9%) and ocular motility (25.6%). There was thus obtained the highest scores for different scales of the questionnaire VFQ-25 in patients with altered vision except for scales related to near activities, driving and dependence. It is therefore a relationship between alteration in visual function and disturbance of quality of life related to health. To question for the elderly, 42.6% expressed no reason to see evil/feel difficulty seeing over the last year. The decrease in visual acuity for distance/near was reported by 20.5% of subjects, followed by the deterioration of general health and eye for 15%. The responses of medical specialists in general practice about reasons for the suspicion/diagnosis relatively late disturbance of visual function, indicate the illiteracy of the elderly for healthy vision and ocular semiology (34%), low education/information for Doctors in the health of vision (22%) and poor accessibility and response timeconsuming/ inefficient NHS ophthalmology services (20%) as main reasons for the subjects questioned. Conclusion: Changes in the visual system with an impact on visual function and the functioning change the health related quality of life, mainly due to the change in distance visual acuity. Older people do not value the visual health perceiving the general health and eye health positively relatively of visual function. It is essential to define strategies and literacy programs for eye health for the entire population, not just for the elderly. It is suggested reconsider the model of basic training of Doctors with special focus on the health of the vision, with special needs sensed training/information. The responses of older people and doctors have indicated there is weakness in eye health, need to rethink the model of health care in this area. This research allowed the author to reflect on issues related to aging leading to a change in attitudes and behavior in professional approach to the elderly, promoting autonomy in choices and decisions in health issues, creating strategies to deal with the problem of vision and adaptation to new conditions of eye health.

Type-based protocol conformance and aliasing control in concurrent java programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Psicopatologia obsessivo-compulsiva na distonia focal primária : aspectos neuropsiquiátricos de uma doença do movimento

RESUMO: pela contracção involuntária de grupos musculares de extensão variável, originando movimentos involuntários e posturas anómalas, por vezes dolorosas. O tratamento convencional consiste em injecções localizadas de toxina botulínica, podendo, em casos refractários, estar indicado o tratamento por estimulação cerebral profunda. A neurobiologia da distonia focal primária permanece incompletamente compreendida. Os estudos de neuro-imagem estrutural e funcional revelam alterações subtis da anatomia e funcionamento do estriado e das vias cortico-basais, com destaque para o aumento do volume, da actividade metabólica e da neuroplasticidade do putamen e de áreas corticais motoras, pré-motoras e sensitivas. O conjunto destas alterações aponta para uma disrupção da regulação inibitória de programas motores automáticos sustentados pelo estriado e pelas vias ortico-subcorticais. Nos últimos anos tem crescido o interesse pelas manifestações psiquiátricas e cognitivas da distonia (estas últimas muito pouco estudadas). Tem despertado particular interesse a possível associação entre distonia focal primária e perturbação obsessivo-compulsiva (POC), cuja neurobiologia parece notavelmente sobreponível à da distonia primária. Com efeito, os estudos de neuro-imagem estrutural e funcional na POC revelam consistentemente aumento do volume e actividade do estriado e do córtex órbito-frontal, apontando mais uma vez para uma disfunção do controlo inibitório, no estriado, de programas comportamentais e cognitivos automáticos. Objectivos: 1. Explorar a prevalência e intensidade de psicopatologia em geral, e de psicopatologia obsessivo-compulsiva em particular, numa amostra de indivíduos com distonia focal primária; 2. Explorar a ocorrência, natureza e intensidade de alterações do funcionamento cognitivo numa amostra de indivíduos com distonia focal primária; 3. Investigar a associação entre a gravidade da distonia focal, a intensidade da psicopatologia, e a intensidade das alterações cognitivas. Metodologia: Estudo de tipo transversal, caso-controlo, observacional e descritivo, com objectivos puramente exploratórios. Casos: 45 indivíduos com distonia focal primária (15 casos de blefaroespasmo, 15 de cãibra do escrivão, 15 de distonia cervical espasmódica), recrutados através da Associação Portuguesa de Distonia. Critérios de inclusão: idade = 18; distonia focal primária pura (excluindo casos de distonia psicogénica possível ou provável de acordo com os critérios de Fahn e Williams); Metabolismo do cobre e Ressonância Magnética Nuclear sem alterações. Controlos doentes: 46 casos consecutivos recrutados a partir da consulta externa do Hospital Egas Moniz: 15 doentes com espasmo hemifacial, 14 com espondilartropatia cervical, 17 com síndrome do canal cárpico. Controlos saudáveis: 30 voluntários. Critérios de exclusão para todos os grupos: Mini-Mental State Examination patológico, tratamento actual com anti-colinérgicos, antipsicóticos, inibidores selectivos da recaptação da serotonina, antidepressivos tri- ou tetracíclicos. Avaliação: Avaliação neurológica: história e exame médico e neurológico completos. Cotação da gravidade da distonia com a Unified Dystonia Rating Scale. Avaliação psicopatológica: Symptom Check-List-90-Revised; entrevista psiquiátrica de 60 minutos incluindo a Mini-International Neuropsychiatric Interview (MINI), versão 4.4 (validada em Português), complementada com os módulos da MINI Plus versão 5.0.0 para depressão ao longo da vida e dependência/ abuso do álcool e outras substâncias ao longo da vida; Yale-Brown Obsessive-Compulsive Symptom Checklist e a Yale-Brown Obsessive-Compulsive Scale (Y-BOCS). Avaliação neuropsicológica: Wisconsin Card Sorting Test (WCST; flexibilidade cognitiva); Teste de Stroop (inibição de resposta); Block Assembly Test (capacidade visuo-construtiva); Teste de Retenção Visual de Benton (memória de trabalho visuo-espacial). Análise estatística:os dados foram analisados com a aplicação informática SPSS for Windows, versão 13. Para a comparação de proporções utilizaram-se o teste do Chi-quadrado e o teste de Fisher. Para a comparação de variáveis quantitativas entre dois grupos utilizou-se o teste t de Student ou o teste U de Mann-Whitney (teste de Wilcoxon no caso de amostras emparelhadas). Para comparações de médias entre três grupos recorreu-se à Análise de Variância a um factor (variáveis de intervalo e de rácio), ou ao teste de Kruskal-Wallis (variáveis ordinais). Para o estudo da associação entre variáveis foram utilizados os coeficientes de correlação de Pearson ou de Spearman, a análise de correlações canónicas, a análise de trajectórias e a regressão logística. Adoptou-se um Alpha de 0.05. Resultados: Os doentes com distonia focal primária apresentaram uma pontuação média na Y- -BOCS significativamente superior à dos dois grupos de controlo. Em 24.4% dos doentes com distonia a pontuação na Y-BOCS foi superior a 16. Estes doentes eram predominantemente mulheres, tinham uma maior duração média da doença e referiam predominantemente sintomas obsessivo-compulsivos (SOC) de contaminação e lavagem. Os dois grupos com doença crónica apresentaram pontuações médias superiores às dos indivíduos saudáveis nas escalas de ansiedade, somatização e psicopatologia geral. Os doentes com distonia tratados com toxina botulínica apresentaram pontuações inferiores às dos doentes não tratados nas escalas de ansiedade generalizada, fobia, somatização e depressão, mas não na Y-BOCS. Sessenta por cento dos doentes com distonia apresentavam pelo menos um diagnóstico psiquiátrico actual ou pregresso. O risco de apresentar um diagnóstico psiquiátrico actual era menor nos doentes tratados com toxina botulínica, aumentando com a gravidade da doença. A prevalência de POC foi 8,3% e a de depressão major 37,7%. No WCST e na Prova de Benton, os doentes com distonia focal primária demonstraram um desempenho inferior ao de ambos os grupos de controlo, cometendo sobretudo erros perseverativos. Os doentes com distonia e pontuação na Y-BOCS > 16 cometeram mais erros e respostas perseverativas no WCST do que os restantes doentes com distonia. As análises de correlações e de trajectórias revelaram que nos doentes com distonia a gravidade da distonia foi, juntamente com a idade e a escolaridade, o factor que mais interagiu com o desempenho cognitivo. Discussão: o nosso estudo é o primeiro a descrever, nos mesmos doentes com distonia focal primária, SOC significativos e alterações cognitivas. Os nossos resultados confirmam a hipótese de uma associação clínica específica entre distonia focal primária e psicopatologia obsessivo-compulsiva. Confirmam igualmente que a distonia focal primária está associada a um maior risco de desenvolver morbilidade psiquiátrica ansiosa e depressiva. O tratamento com toxina botulínica reduz este risco, mas não influencia os SOC. Entre os doentes com distonia, os que têm SOC significativos poderão diconstituir um grupo particular com maior duração da doença (mas não uma maior gravidade), predomínio do sexo feminino e predomínio de SOC de contaminação e limpeza. Em termos cognitivos, os indivíduos com distonia focal primária apresentam défices significativos de flexibilidade cognitiva (particularmente acentuados nos doentes com SOC significativos) e de memória de trabalho visuo-espacial. Estes últimos devem-se essencialmente a um défice executivo e não a uma incapacidade visuo-construtiva ou visuo-perceptiva. A disfunção cognitiva não é explicável pela psicopatologia depressiva nem pela incapacidade motora, já que os controlos com doença periférica crónica tiveram um desempenho superior ao dos doentes com distonia. No seu conjunto os nossos resultados sugerem que os SOC que ocorrem na distonia focal primária constituem uma das manifestações clínicas da neurobiologia desta doença do movimento. O predomínio de sintomas relacionados com higiene e o perfil disexecutivo de alterações cognitivas–perseveração e dificuldades executivas de memória de trabalho visuo-espacial – apontam para a via cortico-basal dorso-lateral e para as áreas corticais que lhe estão associadas como estando implicadas na tripla associação entre sintomas motores, obsessivo-compulsivos e cognitivos. Conclusões: A distonia focal primária é um síndrome neuropsiquiátrico complexo com importantes manifestações não motoras, nomeadamente compromisso cognitivo do tipo disexecutivo e sintomas obsessivo-compulsivos. Clinicamente estas manifestações representam necessidades de tratamento que vão muito para além da simples incapacidade motora, devendo ser activamente exploradas e tratadas.-------------- ABSTRACT: Introduction: primary focal dystonia is an idiopathic movement disorder that manifests as involuntary, sustained contraction of muscular groups, leading to abnormal and often painful postures of the affected body part. Treatment is symptomatic, usually with local intramuscular injections of botulinum toxin. The neurobiology of primary focal dystonia remains unclear. Structural and functional neuroimaging studies have revealed subtle changes in striatal and cortical-basal pathway anatomy and function. The most consistent findings involve increased volume and metabolic activity of the putamen and of motor, pre-motor and somato-sensitive cortical areas. As a whole, these changes have been interpreted as reflecting a failure of striatal inhibitory control over automatic motor programs sustained by cortical-basal pathways. The last years have witnessed an increasing interest for the possible non-motor – mainly psychiatric and cognitive – manifestations of primary focal dystonia. The possible association of primary focal dystonia with obsessive-compulsive disorder (OCD) has raised particular interest. The neurobiology of the two disorders has indeed remarkable similarities: structural and functional neuroimaging studies in OCD have revealed increased volume and metabolic activity of the striatum and orbital-frontal cortex, again pointing to a disruption of inhibitory control of automatic cognitive and behavioural programs by the striatum. Objectives: 1. To explore the prevalence and severity of psychopathology – with a special emphasis on obsessive-compulsive symptoms (OCS) – in a sample of patients with primary focal dystonia;2. To explore the nature and severity of possible cognitive dysfunction in a sample of patients with primary focal dystonia; 3. To explore the possible association between dystonia severity, psychiatric symptom severity, and cognitive performance, in a sample of patients with primary focal dystonia. Methods: cross-sectional, case-control, descriptive study. Cases: forty-five consecutive, primary pure focal dystonia patients recruited from the Portuguese Dystonia Association case register (fifteen patients with blepharospasm, 15 with cervical dystonia and 15 with writer’s cramp). Inclusion criteria were: age = 18; primary pure focal, late-onset dystonia (excluding possible or probable psychogenic dystonia according to the Fahn & Williams criteria); normal copper metabolism and Magnetic Resonance Imaging. Diseased controls: forty-six consecutive subjects from our hospital case register (15 patients with hemi-facial spasm; 14 with cervical spondilarthropathy and cervical spinal root compression; 17 with carpal tunnel syndrome). Healthy controls were 30 volunteers.Exclusion criteria for all groups: Mini-Mental State Examination score below the validated cut-off for the Portuguese population (<23 for education between 1 and 11 years; <28 for education >11 years); use of anti-cholinergics, neuroleptics, selective serotonin reuptake inhibitors, triciclic or tetraciclic antidepressants. Assessment: neurological assessment: complete medical and neurological history and physical examination; dystonia severity scoring with the Unified Dystonia Rating Scale. Psychiatric assessment:Symptom Check-List-90-Revised; 60 minute-long psychiatric interview, including Mini-International Neuropsychiatric Interview (MINI), version 4.4 (validated Portuguese version), extended with the sections for life-time major depressive disorder and life-time alcohol and substance abuse disorder from MINI-Plus version 5.0.0; Yale-Brown Obsessive-Compulsive Symptom Checklist and Yale-Brown Obsessive-Compulsive Scale (Y-BOCS). Cognitive assessment: Wisconsin Card Sorting Test (WCST; cognitive set-shifting ability); Stroop Test (response inhibition); Block Assembly Test(visual-constructive ability); Benton’s Visual Retention Test (visual-spatial working memory). Statistic analysis: Data were analyzed with SPSS for Windows version 13. Proportions were compared using Chi-Square test, or Fisher’s exact test when appropriate. Student’s t-test or Mann-Whitney’s U test (or Wilcoxon’s teste in the case of matched samples) were used for two-group comparisons. P-values were corrected for multiple comparisons. One-way ANOVA with Bonferroni post-hoc analysis (interval data), or the Kruskal-Wallis Test (ordinal data), were used for three-group comparisons. Associations were analysed with Pearson’s or Spearman’s correlation coefficients, canonical correlations, path analysis and logistic regression analysis. Alpha was set at 0.05. Results: Dystonia patients had higher Yale-Brown Obsessive-Compulsive Symptom scores than both control groups. 24.4% of primary dystonia patients had a Y-BOCS score > 16. These patients were predominantly women; they had longer disease duration, and showed a predominance of hygiene-related OCS. The two groups with chronic disease had higher anxiety, somatization and global psychopathology scores than healthy subjects. Primary dystonia patients undergoing treatment with botulinum toxin had lower anxiety, phobia, somatization and depression scores than their untreated counterparts, but similar Y-BOCS scores. Sixty percent of primary dystonia patients had at least one lifetime psychiatric diagnosis. The odds of having a currently active psychiatric diagnosis were lower in botulinum toxin treated patients, and increased with dystonia severity. The prevalence of OCD was 6.7%, and the lifetime prevalence of major depression was 37.7%. Primary dystonia patients had a lower performance than the two control groups in both the WCST and Benton’s Visual Retention Test, mainly due to an excess of perseveration errors. Primary dystonia patients with Y-BOCS score > 16 had much higher perseveration error and perseveration response scores than dystonia patients with Y-BOCS = 16. Correlation and path analysis showed that, in the primary dystonia group, dystonia severity, along with age and education, was the main factor influencing cognitive performance. Discussion: our study is the first description ever of concomitant significant OCS and cognitive impairment in primary dystonia patients. Our results confirm that primary dystonia is specifically associated with obsessive-compulsive psychopathology. They also confirm that primary focal dystonia patients are at a higher risk of developing anxious and depressive psychiatric morbidity. Treatment with botulinum toxin decreases this risk, but does not influence OCS. Primary focal dystonia patients with significant OCS may constitute a particular subgroup. They are predominantly women, with higher disease duration (but not severity) and a predominance of hygiene related OCS.In terms of cognitive performance, primary focal dystonia patients have significant deficits involving set-shifting ability and visual-spatial working memory. The latter result from an essentially executive deficit, rather than from a primary visual-constructive apraxia or perceptual deficit. Furthermore, cognitive flexibility difficulties were more prominent in the subset of primary dystonia patients with significant OCS. The cognitive dysfunction found in dystonia patients is not attributable to depressive psychopathology or motor disability, as their performance was significantly lower than that of similarly impaired diseased controls. Our results suggest that OCS in primary focal dystonia are a direct, primary manifestation of the motor disorder’s neurobiology. The predominance of hygiene-related symptoms and the disexecutive pattern of cognitive impairment – set-shifting and visual-spatial working memory deficits – suggest that the dorsal-lateral cortical-basal pathway may play a decisive role in the triple association of motor dysfunction, OCS and cognitive impairment. Conclusions: primary focal dystonia is a complex neuropsychiatric syndrome with significant non- -motor manifestations, namely cognitive executive deficits and obsessive-compulsive symptoms.Clinically, our results show that PFD patients may have needs for care that extend far beyond a merely motor disability and must be actively searched for and treated.

Spill-over effects in multi-partner loyalty programs

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Maintaining the correctness of transactional memory programs

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática