Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Water treatments in semi-closed cooling circuits and their impact on the quality of effluents discharged by CERN

Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente, Gestão de Sistemas Ambientais

Water treatments in semi-closed cooling circuits and their impact on the quality of effluents discharged by CERN

Mestrado integrado em Engenharia do Ambiente, perfil: Gestão de Sistemas Ambientais

Novel techniques for the design and practical realization of switched-capacitor circuits in deep-submicron CMOS technologies

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Low-voltage low-power CMOS analogue circuits for Gaussian and uniform noise generation

IEEE International Symposium on Circuits and Systems, MAY 25-28, 2003, Bangkok, Thailand. (ISI Web of Science)

Primary bioreceptivity of limestones from the mediterranean basin to phototrophic microorganisms

Dissertação apresentada para a obtenção do grau de Doutor em Conservação e Restauro pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Interactive whiteboards in Portuguese primary schools: the teachers' view

Focusing on the use of Interactive Whiteboards (IWBs) in primary schools in Oeiras municipality, this article presents primary teachers’ views, from their experience, on the implementation of this innovation as a resource for the teaching and learning processes. IWBs have been recently launched in the framework of a major program aiming the technological modernization of Portuguese schools, in order to promote the use of ICT in teaching and learning, as well as in school management. Findings show that teachers are enthusiastic about Interactive White Boards because they really believe their pupils learn better and in a more joyful way. However, they draw attention to the need of training in order to fully exploit the potential of this resourc

RAISING INTERCULTURAL AWARENESS AT PRIMARY LEVEL THROUGH STORYTELLING WITHIN A CLIL APPROACH

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino de Inglês

Mental health promotion during pregnancy and early childhood : an action- research project in primary health care

ABSTRACT – Background: Primary Health Care (PHC) is usually the first contact with the health system, and health professionals are key mediators for enabling citizens to take care of their health. In Portugal, great improvements have been achieved in the biometric indicators of maternal and child health during the last decades. Nevertheless, scant attention has been paid to the mental health dimension, in spite of the recognition of its importance, being pregnancy and early childhood crucial opportunities in the lifecycle for mental health promotion, especially in the early years of life, with a strong impact in the health of the child. The impact of early attachment between mother and baby on maternal and child health has long been recognized. This attachment can be influenced by some factors, as the mother’s emotional adjustment. Attention to these factors may facilitate implementation of both positive conditions and preventative measures. Family support during the transition to parenthood has been highlighted as an effective measure and PHC professionals are in a privileged position as information sources as well as mediators. Aims: The project we present describes an action-research process developed together among academic researchers and health professionals to embrace these issues. We intend to enable health professionals to support families in the transition to parenthood thereby promoting children’s mental health. Approach: The project is driven by a participatory approach intended to lead to reorganization of health care during pregnancy and early childhood. Effective change happens when those involved are interested and motivated, what makes their participation so important. Reflection about current practices and needs, and knowledge about evidence-based interventions have been guiding the selection of changes to introduce in clinical practice for family support and development of parenthood skills and self-confidence. Development: We summarize the main steps in development: the initial assessment and the picture taken from the community under study; the decision making process; the training programme of PHC professionals in action; the review of the protocols of maternal consultation, home visits and antenatal education; the implementation planning; the plan for evaluation the effectiveness of the changes introduced in the delivery of maternal and child health care units. The already developed work has shown that motivation, leadership and organizational issues are decisive for process development.-------------------------- RESUMO - Os Cuidados de Saúde Primários são habitualmente o primeiro contacto com o sistema de saúde e os profissionais de saúde são mediadores chave na capacitação dos cidadãos para cuidarem da sua saúde. Em Portugal, nas últimas décadas, têm-se alcançado grandes melhorias nos indicadores biométricos de saúde materno-infantil. Contudo, tem-se dedicado pouca atenção à dimensão de saúde mental, apesar do reconhecimento da sua importância. A gravidez e primeira infância têm sido apontadas como uma oportunidade crucial no ciclo de vida para a promoção da saúde mental. É dado especial enfoque aos primeiros tempos de vida, dado o forte impacto na saúde da criança. O impacte da vinculação precoce entre a mãe e o bebé na saúde da mãe e da criança há muito que é reconhecido. Esta vinculação pode ser influenciada por vários factores, nomeadamente pelo ajustamento emocional da mãe. A focalização nestes aspectos pode facilitar a criação de condições favoráveis e a implementação de medidas preventivas. O suporte familiar durante o período de transição para a parentalidade tem sido enfatizado como uma medida eficaz e os Cuidados de Saúde Primários estão numa posição privilegiada como fontes de informação e como mediadores. O projecto que apresentamos descreve um processo de investigação- acção desenvolvido em parceria entre investigadores académicos e profissionais de saúde para abordar os aspectos referidos. Pretende-se capacitar os profissionais de saúde para apoiarem as famílias na transição para a parentalidade, promovendo assim a saúde mental das crianças. O projecto baseia-se numa abordagem participativa, direccionada para a reorganização dos cuidados durante a gravidez e primeiros tempos de vida. A mudança efectiva acontece quando os envolvidos estão interessados e motivados, o que torna a sua participação tão importante. A reflexão acerca das práticas e necessidades actuais e o conhecimento acerca de intervenções baseadas na evidência têm guiado a selecção das alterações a introduzir na prática clínica, no sentido de promover o suporte familiar e o desenvolvimento de competências parentais e auto-confiança. Neste artigo, apresentamos as etapas principais do desenvolvimento do projecto: avaliação inicial da comunidade em estudo; processo de tomada de decisão; programa de formação dos profissionais dos Cuidados de Saúde Primários; revisão dos protocolos da consulta de saúde materna, visita domiciliária e educação pré-natal; planeamento da implementação; plano de avaliação da efectividade das alterações introduzidas na prestação de cuidados. O trabalho já desenvolvido tem mostrado que a motivação, liderança e aspectos

Metabolism of primary astrocytes studied by NMR: metabolic trafficking and neuroprotection

Dissertation presented to obtain a Ph. D. degree in Biochemistry by Universidade Nova de Lisboa, Instituto de Tecnologia Química e Biológica.

Metabolic flux analysis of neural cell metabolism in primary cultures

Dissertation presented to obtain the Ph.D degree in Biochemistry, Neuroscience

Developing writing skills in English language teaching through the use of blogs and e-mail at primary school level

Trabalho de Projeto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teaching English as a Second / Foreign Language

Interculturality in the Primary EFL Classroom: Increasing Tolerance through (Inter) Cultural Awareness

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Didáctica do Inglês,

Estimating demand for primary health care services

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

Primary public health care and socioeconomic asymmetries in Portugal

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