Derivation and consistency checking of models in early software product line engineering

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

Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Automatic learning for the classification of chemical reactions and in statistical thermodynamics

This Thesis describes the application of automatic learning methods for a) the classification of organic and metabolic reactions, and b) the mapping of Potential Energy Surfaces(PES). The classification of reactions was approached with two distinct methodologies: a representation of chemical reactions based on NMR data, and a representation of chemical reactions from the reaction equation based on the physico-chemical and topological features of chemical bonds. NMR-based classification of photochemical and enzymatic reactions. Photochemical and metabolic reactions were classified by Kohonen Self-Organizing Maps (Kohonen SOMs) and Random Forests (RFs) taking as input the difference between the 1H NMR spectra of the products and the reactants. The development of such a representation can be applied in automatic analysis of changes in the 1H NMR spectrum of a mixture and their interpretation in terms of the chemical reactions taking place. Examples of possible applications are the monitoring of reaction processes, evaluation of the stability of chemicals, or even the interpretation of metabonomic data. A Kohonen SOM trained with a data set of metabolic reactions catalysed by transferases was able to correctly classify 75% of an independent test set in terms of the EC number subclass. Random Forests improved the correct predictions to 79%. With photochemical reactions classified into 7 groups, an independent test set was classified with 86-93% accuracy. The data set of photochemical reactions was also used to simulate mixtures with two reactions occurring simultaneously. Kohonen SOMs and Feed-Forward Neural Networks (FFNNs) were trained to classify the reactions occurring in a mixture based on the 1H NMR spectra of the products and reactants. Kohonen SOMs allowed the correct assignment of 53-63% of the mixtures (in a test set). Counter-Propagation Neural Networks (CPNNs) gave origin to similar results. The use of supervised learning techniques allowed an improvement in the results. They were improved to 77% of correct assignments when an ensemble of ten FFNNs were used and to 80% when Random Forests were used. This study was performed with NMR data simulated from the molecular structure by the SPINUS program. In the design of one test set, simulated data was combined with experimental data. The results support the proposal of linking databases of chemical reactions to experimental or simulated NMR data for automatic classification of reactions and mixtures of reactions. Genome-scale classification of enzymatic reactions from their reaction equation. The MOLMAP descriptor relies on a Kohonen SOM that defines types of bonds on the basis of their physico-chemical and topological properties. The MOLMAP descriptor of a molecule represents the types of bonds available in that molecule. The MOLMAP descriptor of a reaction is defined as the difference between the MOLMAPs of the products and the reactants, and numerically encodes the pattern of bonds that are broken, changed, and made during a chemical reaction. The automatic perception of chemical similarities between metabolic reactions is required for a variety of applications ranging from the computer validation of classification systems, genome-scale reconstruction (or comparison) of metabolic pathways, to the classification of enzymatic mechanisms. Catalytic functions of proteins are generally described by the EC numbers that are simultaneously employed as identifiers of reactions, enzymes, and enzyme genes, thus linking metabolic and genomic information. Different methods should be available to automatically compare metabolic reactions and for the automatic assignment of EC numbers to reactions still not officially classified. In this study, the genome-scale data set of enzymatic reactions available in the KEGG database was encoded by the MOLMAP descriptors, and was submitted to Kohonen SOMs to compare the resulting map with the official EC number classification, to explore the possibility of predicting EC numbers from the reaction equation, and to assess the internal consistency of the EC classification at the class level. A general agreement with the EC classification was observed, i.e. a relationship between the similarity of MOLMAPs and the similarity of EC numbers. At the same time, MOLMAPs were able to discriminate between EC sub-subclasses. EC numbers could be assigned at the class, subclass, and sub-subclass levels with accuracies up to 92%, 80%, and 70% for independent test sets. The correspondence between chemical similarity of metabolic reactions and their MOLMAP descriptors was applied to the identification of a number of reactions mapped into the same neuron but belonging to different EC classes, which demonstrated the ability of the MOLMAP/SOM approach to verify the internal consistency of classifications in databases of metabolic reactions. RFs were also used to assign the four levels of the EC hierarchy from the reaction equation. EC numbers were correctly assigned in 95%, 90%, 85% and 86% of the cases (for independent test sets) at the class, subclass, sub-subclass and full EC number level,respectively. Experiments for the classification of reactions from the main reactants and products were performed with RFs - EC numbers were assigned at the class, subclass and sub-subclass level with accuracies of 78%, 74% and 63%, respectively. In the course of the experiments with metabolic reactions we suggested that the MOLMAP / SOM concept could be extended to the representation of other levels of metabolic information such as metabolic pathways. Following the MOLMAP idea, the pattern of neurons activated by the reactions of a metabolic pathway is a representation of the reactions involved in that pathway - a descriptor of the metabolic pathway. This reasoning enabled the comparison of different pathways, the automatic classification of pathways, and a classification of organisms based on their biochemical machinery. The three levels of classification (from bonds to metabolic pathways) allowed to map and perceive chemical similarities between metabolic pathways even for pathways of different types of metabolism and pathways that do not share similarities in terms of EC numbers. Mapping of PES by neural networks (NNs). In a first series of experiments, ensembles of Feed-Forward NNs (EnsFFNNs) and Associative Neural Networks (ASNNs) were trained to reproduce PES represented by the Lennard-Jones (LJ) analytical potential function. The accuracy of the method was assessed by comparing the results of molecular dynamics simulations (thermal, structural, and dynamic properties) obtained from the NNs-PES and from the LJ function. The results indicated that for LJ-type potentials, NNs can be trained to generate accurate PES to be used in molecular simulations. EnsFFNNs and ASNNs gave better results than single FFNNs. A remarkable ability of the NNs models to interpolate between distant curves and accurately reproduce potentials to be used in molecular simulations is shown. The purpose of the first study was to systematically analyse the accuracy of different NNs. Our main motivation, however, is reflected in the next study: the mapping of multidimensional PES by NNs to simulate, by Molecular Dynamics or Monte Carlo, the adsorption and self-assembly of solvated organic molecules on noble-metal electrodes. Indeed, for such complex and heterogeneous systems the development of suitable analytical functions that fit quantum mechanical interaction energies is a non-trivial or even impossible task. The data consisted of energy values, from Density Functional Theory (DFT) calculations, at different distances, for several molecular orientations and three electrode adsorption sites. The results indicate that NNs require a data set large enough to cover well the diversity of possible interaction sites, distances, and orientations. NNs trained with such data sets can perform equally well or even better than analytical functions. Therefore, they can be used in molecular simulations, particularly for the ethanol/Au (111) interface which is the case studied in the present Thesis. Once properly trained, the networks are able to produce, as output, any required number of energy points for accurate interpolations.

FEW phone file system

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

Integrating protein structural information

Dissertação apresentada para obtenção de Grau de Doutor em Bioquímica,Bioquímica Estrutural, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Transactional filesystems

Dissertação de Mestrado em Engenharia Informática

Comportamentos de sexo seguro em individuos infectados por VIH

A investigação científica que se seguiu à descoberta da infecção pelo vírus da imunodeficiência humana (VIH) representou um marco histórico importante, permitindo a instituição de terapêutica e alterando a história natural da infecção, melhorando as expectativas dos indivíduos infectados.Se, por um lado, a terapêutica antirretroviral de alta eficácia (do inglês, Highly Active Antiretroviral Theraphy: HAART), nos países desenvolvidos, teve um enorme impacto na melhoria da qualidade de vida e esperança média de vida dos indivíduos infectados, permitindo-lhes encarar a infecção como uma doença crónica, por outro lado, introduziu-se uma nova dinâmica epidemiológica na transmissão de VIH e um novo desafio para a sua prevenção.Os comportamentos sexuais são o factor-alvo através do qual se pode, de uma forma mais eficaz, prevenir a possibilidade de infectar um qualquer indivíduo na comunidade. Parece, pois, importante haver necessidade de um olhar atento da Saúde Pública sobre a vida sexual dos indivíduos infectados, não só na tentativa de, promover a sua qualidade de vida, como também, de prevenir a disseminação da doença, e, ainda mais importante, prevenir a disseminação do vírus nas suas formas resistentes.O objectivo deste estudo foi analisar a consistência do uso de preservativo/práticas de sexo seguro, em indivíduos infectados por VIH, seguidos em Consulta de Imunodepressão, do Serviço de Doenças Infecciosas, do Hospital de Santa Maria. Pretende-se avaliar, no âmbito da “Educação para a Saúde”, a necessidade de aconselhamento aos indivíduos infectados, relativamente aos seus comportamentos sexuais.Para o efeito, realizou-se um estudo descritivo e transversal. A população envolvida compreendeu todos os indivíduos infectados seguidos na Consulta de Imunodepressão. A amostra foi seleccionada através de aleatorização simples e constituída por 98 elementos. A colheita de dados foi efectuada através do método de entrevista, a qual só teve início após a assinatura do consentimento informado. O estudo decorreu entre 14 de Março e 27 de Junho de 2008.Foram analisados os dados relativamente às variáveis: sócio-demográficas, estado serológico da infecção, história sexual, consumo de substâncias, comportamento sexual e percepção de risco da transmissão da infecção por VIH.Os comportamentos de sexo não seguro foram associados ao número de parceiros sexuais/ano (p=0,007), ter parceiro sexual habitual (p=0,010), ter múltiplos parceiros sexuais ocasionais (p=0,000) e à prática de sexo oral (sexo oral receptivo, p=0,001; sexo oral activo, p=0,006).Os resultados demonstraram a importância da prevenção secundária nos indivíduos infectados por VIH. A necessidade dos centros de atendimento estarem providos de mensagem de prevenção, ensinos e aconselhamento a todas as pessoas infectadas e, também, aos seus parceiros sexuais, aumentando-lhes a qualidade de vida e reduzindo o risco de transmissão da infecção por HIV. ABSTRACT: The scientific research that followed the finding of human immunodeficiency virus (HIV) infection represented an important historical mark, allowing therapeutic institution and changing the natural history of the infection, thus improving the expectations of infected individuals. If by one side the Highly Active Antiretroviral Therapy (HAART) had an enormous impact on the improvement of life quality and life expectancy of the infected individuals on the developed countries, allowing them to face the infection as a chronic disease, on the other side it was introduced a epidemiologic dynamic on the HIV transmission and a new challenge for its prevention. Sexual behaviour is the main factor through which is possible to prevent more efficiently the possibility of infection of a community’s individual. Thus it appears important the need of Public Health to have a careful look into the sexual life of infected individuals, not only to try to promote their life quality but as well to prevent the dissemination of the disease and more importantly prevent the dissemination of the virus in its resistant forms. The objective of this study was to analyse the consistency of the use of condoms/safe sex by individuals infected by HIV that are followed by the Infectious Disease Service of the Santa Maria Hospital through Immune-depression Appointments. The goal was to evaluate the need of advisement to the infected individuals relatively to their sexual behaviours. For that it was done a descriptive and transversal study. The involved population included all infected individuals followed in the Immune-depression Appointments. The sample was selected by simple randomisation and was composed by 98 elements. The data was obtained by interview method, which was initiated after signing the informed consent. The study was took place between 14 March and 27 June 2008. It was analysed the data relative to the variables: socio-demographics, serologic state of the infection, sexual history, substances consumption, sexual behaviour and risk perception on the transmission of HIV infection. The unsafe sexual behaviours were associated to the number of sexual partners/year (p=0,007), having steady partner (p= 0,010), having occasional sexual partners (p=0,000) and oral sex practice (receptive oral sex, p=0,001; active oral sex, p= 0,006).The results demonstrated the importance of the secondary prevention on individuals infected by HIV. It also demonstrated the need of providing the attendance centres with a prevention message, teachings and advises to all infected persons as well as to their sexual partners, increasing their life quality and reducing the transmission risk of HIV infection.

Fisioterapia : influência na qualidade de vida da mulher com cancro da mama : contributo para a qualidade do serviço em oncologia

RESUMO - O cancro da mama é uma preocupação da saúde pública a nível mundial, pela sua incidência, mortalidade e custos económicos associados. As terapias utilizadas no seu tratamento, embora eficazes, conduzem a alterações de todas as dimensões da Qualidade de Vida (QdV) da mulher com cancro da mama. A garantia de uma qualidade de serviço prestado deve ser uma prioridade das organizações de saúde, sendo a QdV uma medida de resultado. Partindo do pressuposto que em Portugal existe uma diferença potencial na forma como as mulheres com cancro da mama recebem o apoio por parte da fisioterapia, importa saber se a fisioterapia tem ou não influência na QdV da mulher com cancro da mama, o que, no caso de ser afirmativo, poderá constituir uma mais-valia para a qualidade do serviço prestado em oncologia. O Objectivo deste trabalho é construir um modelo de análise no sentido de responder à questão inicial de investigação: “Será que a fisioterapia contribui para a melhoria da Qualidade de Vida das mulheres com cancro da mama submetidas a cirurgia e outras terapias oncológicas?”. Neste sentido o trabalho de projecto dividiu-se por etapas. Inicialmente foi realizado um enquadramento teórico, através de uma revisão de literatura e da realização de entrevistas exploratórias, permitindo desta forma ter um conhecimento actual das temáticas que definem as variáveis e o objecto de estudo. Na etapa seguinte, foi feita uma análise crítica sobre o conhecimento actual do tema em estudo, que permitiu definir as variáveis a estudar, escolher o instrumento de medida a utilizar, ter conhecimento dos procedimentos a seguir. Após a definição do objectivo geral (avaliar se a fisioterapia tem influência na QdV das mulheres submetidas a cirurgia e outras terapias oncológicas) e dos objectivos específicos, iniciou-se o delineamento da metodologia tida como adequada para responder às questões de investigação levantadas (tipo de estudo, as variáveis, a unidade de análise, os métodos e técnicas de recolha de dados, os procedimentos e a metodologia de tratamento de dados). No âmbito do trabalho de projecto está definida a colocação em campo de um caso de estudo efectivo que permita dar um contributo real no delineamento da metodologia. Neste trabalho optou-se pela realização de um estudo piloto, que se enquadra nos procedimentos da metodologia e que teve por objectivo retirar algumas conclusões sobre: a aplicabilidade do instrumento de medida; os tempos definidos para a recolha de dados; as características sociodemográficas e clínicas da amostra; as questões de investigação levantadas. O estudo piloto consistiu num estudo pré-experimental, com uma amostra de 35 indivíduos, submetidos a cirurgia a cancro da mama e a outras terapias oncológicas. Foram avaliadas as dimensões do bem-estar físico e actividades quotidianas, bem-estar psicológico, relações sociais, sintomas e características sociodemográficas/clínicas, no início do tratamento individual de fisioterapia e no momento de alta. Utilizou-se como instrumento de medida o questionário EORTC QLQ–30 e o seu questionário complementar EORTC QLQ–23. Tendo sido construída uma ficha para recolha de dados sociodemográficos e clínicos. A significância estatística foi aceite para valores de p<0,05. Para comparação entre grupos e evolução dentro de cada grupo aplicou-se o teste t-student e o teste de Mann-Whitney. A análise dos resultados do estudo piloto permitiu verificar que: - O instrumento de medida proposto (questionário EORTC QLQ30 e BR23) mostrou ser de fácil aplicação, não tendo existido dificuldade por parte das doentes no seu preenchimento. Não houve problemas no cálculo dos scores e na sua interpretação; - Parte considerável das mulheres com cancro da mama será submetida a protocolos que se poderão prolongar por vários meses após a cirurgia (ex: QT+RT+HT). Esta realidade leva-nos a propor que sejam realizados vários momentos de avaliação, para que possam ser avaliadas as dimensões da QdV ao longo dos diferentes protocolos de tratamentos. Pensamos que o ideal seria a realização de 4 momentos de avaliação (3 a 4 semanas após a cirurgia, 3 meses, 6 meses e 9 meses após cirurgia). Sugerimos também que o estudo proposto seja realizado com uma amostra de maior dimensão; - O estudo piloto como recorreu a uma metodologia pré-experimental (ausência de grupo de controlo e apenas dois momentos de avaliação), não permite a consistência dos resultados; no entanto os resultados obtidos podem constituir um indicador de que a fisioterapia tem influência nas diferentes dimensões da QdV da mulher com cancro da mama submetida a cirurgia e a outras terapias oncológicas, podendo constituir uma mais-valia para a qualidade do serviço prestado em oncologia. Os resultados do estudo piloto permitiram redefinir a metodologia tida como adequada para responder à questão de investigação inicial. Apresentamos de seguida a mesma: Estudo quase-experimental, sendo a amostra constituída por dois grupos de 60 mulheres cada, submetidas a cirurgia a cancro da mama e a outras terapias oncológicas. O grupo experimental será submetido a tratamentos individuais de fisioterapia. Serão avaliadas as dimensões do bem-estar físico e actividades quotidianas, bem-estar psicológico, relações sociais e sintomas. A recolha de dados será realizada 3 semanas, 3 meses, 6 meses e 9 meses após a cirurgia. Como instrumento de medida será utilizado o questionário EORTC QLQ–30 e o seu questionário complementar EORTC QLQ–23, serão também recolhidos dados sociodemográficos e clínicos. A significância estatística será aceite para valores de p<0,05. Para comparação entre grupos e evolução dentro de cada grupo serão utilizados testes paramétricos e não paramétricos. A realização de um estudo que seguisse a metodologia acima referida permitiria uma maior consistência dos resultados, podendo eventualmente existir a confirmação de que a fisioterapia pode ter influência na QdV da mulher submetida a cirurgia a cancro da mama e a outras terapias oncológicas. A evidência de que a fisioterapia tem influência na QdV da mulher com cancro da mama, e o facto de a QdV ser um indicador da qualidade do serviço prestado em oncologia, poderão constituir um agente facilitador para a mudança na gestão de recursos humanos em organizações de saúde com a valência de oncologia, levando a uma alteração dos padrões de prática na área da fisioterapia em oncologia em Portugal, que poderá conduzir a uma melhor qualidade de serviço prestado ao doente oncológico. ----- ABSTRACT - Breast Cancer is a worldwide public health concern due to the incidence, mortality and economic costs associated. Although effective, therapies used in its treatment lead to changes in all Quality of Life (QoL) dimensions of a woman suffering from Breast Cancer. QoL is an outcome measure, and the insurance of quality of care provided should be a priority to health organizations. Taking into consideration that in Portugal there is a potential difference in the way women with Breast Cancer are provided with physical therapy, it is important to know whether physical therapy does or does not influence the QoL of women with breast cancer. If it does, it will lead to a health care quality improvement to cancer patients. The goal of the following study is to build an analysis model in order to answer the initial investigation question: “Does Physical Therapy contribute to enhance the Quality of Life of women with breast cancer who underwent surgery and other oncology treatments?” The project was divided in different stages. Initially, a literature revision was elaborated and exploratory interviews were held, which allowed an actual knowledge of the themes that define the variables and the object of study. The next stage included a critical analysis of the theme, which allowed the definition of variables of study, the choice of instrument of measure and the acquisition of some knowledge on how to proceed. After the definition of the general goal (to evaluate the influence of physical therapy on the QoL of women with breast cancer who underwent surgery and other oncology treatments) and specific goals, the choice of a right methodology took place, in order to answer the investigation questions (type of study, variables, unit analysis, methods and techniques on data collection, procedures and data treatment). In the scope of the project, it is decided to put out on the field an effective case-study which assures a real contribution on the choice of te methodology. In this particular work, there was a pilot study, included in the methodology procedures, with the goal of obtaining conclusions on the applicability of the instrument of measure; the length of time to collect data, the socio-demographic and clinical characteristics of the sample; the investigation questions. The pilot study consisted on a one group pretest-postest design, with a sample of 35 individuals who underwent surgery and other oncology treatments. Dimensions such as physical well-being and everyday life activities, psychological well-being, social relationships, symptoms and socio-demographical/clinical characteristics were assessed at the beginning of physical therapy individual treatment and at the moment of release. The instrument of measure used was the EORTC QLQ–30 questionnaire and its complementary questionnaire EORTC QLQ–23. A chart was made in order to collect socio-demographic and clinical data. Statistic significance was accepted for values of p<0,05. To compare between groups and to detect the evolution within each group, the t-student test and the Mann-Whitney test were applied. The outcome analysis of the pilot study allowed to verify that: - The instrument of measure proposed (EORTC QLQ30 and BR23) was easy to apply, and the subjects did not show any difficulty in filling it up. There was also no problem on calculating the scores or interpreting them; - A considerable part of the women with breast cancer will be submitted to protocols that may occur throughout several months after surgery (e.g., QT+RT+HT). This reality leads us to suggest several moments of assessment of the QoL dimensions in various moments of the different protocol treatments. We consider that the ideal number of evaluations would be 4 (3/4 weeks, 3 months, 6 months and 9 months after surgery). We also suggest the use of a larger sample; - Since the pilot study resorted to a one group pretest-postest design (there is an absence of control group and only two moments of assessment), there is no consistency of outcome. However, the results obtained indicate that physical therapy influences the dimensions of QoL on women with breast cancer who underwent surgery and other oncology treatments, which may be an asset to the quality of care provided to cancer patients. The outcome of the pilot study allowed to redefine the methodology given as adequate to answer the initial investigation question. Our suggestion is as follows: quasi-experimental design, with a sample of 120 subjects (2 groups of 60 women) with breast cancer who underwent surgery and other oncology treatments. The experimental group will be submitted to individual treatments of physical therapy. Dimensions such as physical well-being and everyday life activities, psychological well-being, social relationships and symptoms will be assessed. The collection of data will occur at 3 weeks, 3 months, 6 months and 9 months after surgery. The instrument of measure is the EORTC QLQ–30 questionnaire and its complementary questionnaire EORTC QLQ–23, and social-demographic and clinical information will also be collected. The statistic significance will be accepted for values of p<0,05. Parametric and non-parametric tests will be used to compare between groups and to detect the evolution within each group. Carrying out a study that followed the methodology discussed above would allow a better consistency of results, possibly enabling the confirmation that physical therapy influences the QoL of women with breast cancer who underwent surgery and other oncology treatments. The evidence that physical therapy influences the QoL of women with breast cancer, and the fact that QoL is an indicator of quality of care provided to cancer patients, may work as a facilitating agent in the change of human resources management in health organizations associated to oncology, which will lead to a change in oncology physical therapy practice patterns in Portugal, guiding to a health care quality improvement to cancer patients.

Expression of antibodies and retroviralVectors from defined chromosomal sites: strategies towards reliable production systems

Dissertation presented to obtain a Ph.D. degree in Sciences of Engineering and Technology, Cell Technology, at the Instituto de Tecnologia Química e Biológica, Universidade Nova de Lisboa

Extremum estimators and stochastic optimization methods

Submitted in partial fulfillment for the Requirements for the Degree of PhD in Mathematics, in the Speciality of Statistics in the Faculdade de Ciências e Tecnologia

Database repairs with answer set programming

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

Epidemiologia e Saúde Públi

RESUMO - Visa-se explicitar a origem, a razão de ser, a natureza e o que se perspectiva da relação entre a Epidemiologia e a Saúde Pública, através de uma leitura histórica. As duas entidades foram-se definindo e fazendo sentido em conjunto, com sucessos e, também, muita polémica, desde há milénios e até meados do século XIX. Nesta época, uma combinação de circunstâncias proporcionou-lhes uma explosão de crescimento e de definição, de par com várias outras áreas disciplinares. Desde o antigo relato bíblico de como boa alimentação explica o bom estado de saúde, até à valorização científica das condicionantes sociais e económicas da saúde por Marmot e Rose, passando por «miasmas» causando doença e pela deslocação do conceito de risco individual de saúde para o de risco populacional — com as implicações inerentes a essa importante inovação —, este percurso permite identificar as fundações de tão notável simbiose, explicar o estado presente, vê-la evoluir e achar nela o significado do património hoje disponível, e o que ele promete. Algumas discrepâncias quanto à designação dos seus métodos, bem como a contínua discussão quanto à sua verdadeira natureza e orientação futura, atestam a juventude da Epidemiologia como disciplina científica. Entretanto, a Saúde Pública esforça-se por manter a sua essência integradora, à medida que outras disciplinas contribuem mais para que concretize os seus objectivos; é desafiada pela exposição das populações, em larga escala, a factores de doença, por vezes de intensidade mínima, e pelo surgimento de novas doenças ou a ampliação do volume de outras na população, muitas vezes não respeitando fronteiras. A história dessa simbiose mostra bem que conhecer o modo como uma doença se origina permite controlá-la na população, ou mesmo evitá-la, e que é grande o número de problemas que, em sinergia, as duas disciplinas podem clarificar e resolver. Assim, a Epidemiologia oferece à Saúde Pública explicações (olhos, inteligência e linguagem) para os problemas de saúde das populações — o que permite à segunda saber sobre o quê agir —, cenários de possível evolução dos problemas — o que permite aos decisores optarem em função de diferentes pressupostos, sobre como agir — e capacidade de juízo sobre os resultados das acções empreendidas, em simultâneo com a elevação do nível de consciência, de compreensão e de intervenção quanto ao que se está a passar, tanto pelos profissionais, como pela população — transferência do conhecimento. Facilmente se antecipa que a relação entre as duas disciplinas irá evoluir para maior complexidade e, também, solicitação e exigência da Saúde Pública sobre a Epidemiologia, que terá que corresponder em utilidade. E esta, continuando a subespecializar-se e a sofisticar-se tanto nos métodos, como nos enfoques sobre categorias específicas de factores, precisará de progredir muito na gestão da sua consistência enquanto corpo de conhecimento integrado e com peculiaridades metodológicas, à semelhança da Saúde Pública.O modo como evoluirá a relação entre ambas depende ainda da evolução dos próprios problemas, conceitos, teorias e soluções relacionados com a saúde das populações, e ainda do desenvolvimento das demais disciplinas chamadas à integração por ambas, para enfrentarem esses desafios. Nomeadamente, a Epidemiologia terá que gerir com perícia dificuldades já identificadas, como: incorporar métodos qualitativos de investigação na sua fortíssima tradição e cultura quantitativa; operacionalizar satisfatoriamente o conceito de «risco atribuível na população», ao serviço da definição de prioridades de acção dirigida às necessidades de saúde; aperfeiçoar modelos de interpretação causal que respeitem a multicausalidade; aproveitar as técnicas estatísticas de análise multivariada, sem se perder na abstracção dos seus modelos; desenvolver a investigação nas dimensões positivas de saúde, além da doença, para contribuir melhor para a realização da Saúde Pública, sua principal cliente e fornecedora de oportunidades.--------------------------ABSTRACT - The aim of the author is to explicit the origin, the rationale, the nature and the prospects of the relationship between Epidemiology and Public health, through an historic approach. The two entities have been defining and making sense together, by achieving successes, but also with much controversy, since millennia ago, until mid XIX century. A combination of circumstances provided them the opportunity for an explosion of growth and definition, then, alongside several other disciplines. From the ancient biblical report on how good food explains good health, up to the scientific appreciation of both social and economical constraints to health by Marmot and Rose, passing through «miasma» causing disease and through displacing from individual health risk to population risk — with the inherent implications of that important innovation —, this route allows the identification of the foundations of such remarkable symbiosis, the explanation of current status, to see its evolution and find in it the meaning of today’s heritage and what it promises. Some discrepancies on the name of its methods, as well as the continuing discussion about its true nature and future orientation, attest Epidemiology’s youth as a scientific discipline. Meanwhile, Public Health strives to keep its integrating essence, while other disciplines increasingly contribute so that it achieves its objectives; it is challenged by large scale population exposure to disease factors, sometimes with a minimum intensity, and by new diseases emerging in the population or by old ones getting amplified, often not respecting regions boundaries. The history of such a symbiosis shows that knowing the way a disease is generated allows to control it in the population, or even to avoid it, and that the number of problems that the two disciplines are able to clarify and solve together in synergy is considerable. Therefore, Epidemiology offers Public Health explanations (eyes, intelligence and language) for populations’s health problems — allowing that the latter knows on what to act —, scenarios on how problems may tend to evolve — allowing decision-makers to make their choices as a function of different assumptions, on how to act — and judgement capabilities on the results of already undertaken actions, accompanied by the raising of conscience level, understanding and intervention of what is going on by both professionals and the population – knowledge transfer. It is easy to anticipate that the relationship between both disciplines will develop towards increasing complexity and demand from Public Health to Epidemiology, and that this one will have to correspond in usefulness. And the latter, while continuing its subspecialisation and sophistication either in its methods, or in its approaches to specific factor categories, will need to progress in managing its consistency as an integrated body of knowledge having methodological peculiarities, similarly to Public Health. Further, the way the relationship between both will evolve depends on the evolution of the problems themselves, of the concepts, theories and solutions related to the health of populations, and on the development of remaining disciplines called to integration by both, in other to face those problems. Namely, Epidemiology will have to manage with expertise some already known difficulties, as: the inclusion of qualitative research methods in its very strong quantitative tradition and culture; to grant satisfactory operation to the «population attributable risk» concept, in support to the definition of action priorities envisaging health needs; to improve causal interpretation models that comply with multicausality; to take advantage of multivariate statistical techniques, without get

Key-CRDT stores

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

Decision making processes based on innovation indicators: which implications for technology assessment?

Based on the report for “Project IV” unit of the PhD programme on Technology Assessment. This thesis research has the supervision of António Moniz (FCT-UNL and ITAS-KIT) and Manuel Laranja (ISEG-UTL). Other members of the thesis committee are Stefan Kuhlmann (Twente University), Leonhard Hennen (Karlsruhe Institute of Technology-ITAS), Tiago Santos Pereira (Universidade de Coimbra/CES) and Cristina Sousa (FCT-UNL).

A framework for semantic checking of information systems

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores