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

Factores favoráveis e desfavoráveis à adesão dos cidadãos à separação selectiva de resíduos sólidos urbanos, na cidade do seixal, enquanto cidade saudável

RESUMO - A cidade do Seixal, enquanto Cidade Saudável tem como missão a implementação dos princípios e estratégias do Projecto Cidades Saudáveis da OMS. Para tal, desenvolve programas e acções, conjuntamente com parceiros intersectoriais, com vista à melhoria da saúde e da qualidade de vida dos cidadãos residentes na cidade do Seixal, e que promova em simultâneo a participação da comunidade. A separação selectiva dos resíduos depende da participação dos cidadãos, pelo que esta investigação propõe-se estudar quais os factores favoráveis e desfavoráveis à adesão dos cidadãos à separação selectiva de resíduos sólidos urbanos, na cidade do Seixal, enquanto Cidade Saudável. O paradigma quantitativo foi o escolhido para guiar o desenvolvimento deste estudo, através do método survey (descrição numérica de uma fracção da população – amostra – através do processo de aplicação de questionários à população). O questionário desenvolvido para esta investigação será aplicado no Fórum Municipal do Seixal a uma amostra de 250 cidadãos residentes na cidade do Seixal. Para obter os resultados finais, será realizada, numa primeira fase, uma análise descritiva de todas as variáveis, que deverá incluir medidas de localização e variabilidade adequadas a cada variável. Numa segunda fase será realizada uma análise inferencial recorrendo a testes não paramétricos e paramétricos. ----------------ABSTRAT - The city of Seixal, while Healthy City, takes as a mission the implementation of the beginnings and strategies of the WHO Healthy Cities Project. Programs and actions are being developed for that purpose, jointly with intersectorial partners, with sight to the improvement of the health and of the quality of life of the resident citizens in the city of Seixal, and that it promotes in simultaneous the participation of the community. Because the selective waste separation depends on the participation of the citizens, the purpose of this investigation is to study the favorable and unfavorable factors which leads participation or not of the citizens to the selective separation of urbane solid wastes, in the city of Seixal, while Healthy City. The quantitative paradigm was the chosen one to guide the development of this study, through the survey method (numerical description of a fraction of the population – sample – through the process of questionnaires to the population). The questionnaire developed for this investigation will be applied in the Fórum Municipal do Seixal, to a sample of 250 resident citizens in the city of Seixal. To obtain the final results, we will carry out, in a first phase, a descriptive analysis of all the variables, which will include measures of location and variability appropriate to each one. In a second phase will be carried out an inferential analysis resorting to non parametric and parametric tests.

Simple and stable dynamic traffic engineering for provider scale ethernet

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

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

Oxo-molybdenum(VI) complexes containing chiral ligands: catalytic applications in selective epoxidations

Dissertation presented to obtain the Ph.D. degree in Chemistry

Nitrite biosensing via selective enzymes—a long but promising route

Sensors 2010, 10, 11530-11555

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

Selective synthesis under microwave irradiation of new monomers for potential applications in PDLC films

Dissertation to obtain the degree of master in Bioorganic

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.

Proposals to increase foot traffic at Sonae Sierra shopping centers

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

How to sell successfully a perfume in the non-selective market?

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

Obama's law : analysis of a breakthrough law on healthcare access and lessons for the Portuguese health system management

ABSTRACT - The Patient Protection and Affordable Care Act shook the foundations of the US health system, offering all Americans access to health care by changing the way the health insurance industry works. As President Obama signed the Act on 23 March 2010, he said that it stood for “the core principle that everybody should have some basic security when it comes to their health care”. Unlike the U.S., the Article 64 of the Portuguese Constitution provides, since 1976, the right to universal access to health care. However, facing a severe economic crisis, Portugal has, under the supervision of the Troika, a tight schedule to implement measures to improve the efficiency of the National Health Service. Both countries are therefore despite their different situation, in a conjuncture of reform and the use of new health management measures. The present work, using a qualitative research methodology examines the Affordable Care Act in order to describe its principles and enforcement mechanisms. In order to describe the reality in Portugal, the Portuguese health system and the measures imposed by Troika are also analyzed. The intention of this entire analysis is not only to disclose the innovative U.S. law, but to find some innovative measures that could serve health management in Portugal. Essentially we identified the Exchanges and Wellness Programs, described throughout this work, leaving also the idea of the possibility of using them in the Portuguese national health system.