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 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.

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

Phylogeny and phenotypic characterization of pathogenic cryptococcus species and closely related saprobic taxa in the tremellales

Eukaryotic Cell, Vol.8, Nº3

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.

Alterações da substância branca cerebral relacionadas com o envelhecimento

INTRODUÇÃO: Estudos prévios, com técnicas de imagem, documentam de forma consistente a existência de alterações da substância branca cerebral relacionadas com o envelhecimento (ASBRE). Tais alterações poderão ter um papel importante no declínio funcional do idoso, reflectindo‐se sobretudo no desempenho motor e cognitivo, com repercussão evidente na prática clínica. Apesar disso, a caracterização em definitivo dos fenótipos clínicos e da evolução das ASBRE continua por esclarecer, possivelmente pelas dificuldades metodológicas de que se reveste o seu estudo, incluindo: a adequação das baterias neuropsicológicas, a utilização de amostras de doentes com diferentes graus de severidade e de envolvimento regional, as limitações das diferentes escalas e a sensibilidade dos diferentes métodos de imagem. A Ressonância Magnética (RM) de difusão tem revelado grande sensibilidade para as alterações isquémicas, admitindo‐se que poderá permitir uma melhor caracterização das ASBRE e deste modo possibilitar uma correlação mais precisa com as variáveis cognitivas e motoras, permitindo avaliar ainda a substância branca aparentemente normal (SBAN). OBJECTIVOS: Descrever a evolução imagiológica das ASBRE no intervalo de um ano e analisar a sua expressão clínica e impacto funcional; identificar factores preditivos de progressão das ASBRE e de declínio funcional associado. Descrever a expressão clínica e perfil evolutivo dos doentes com ASBRE com envolvimento preferencial da região parieto‐occipital; comparar este grupo de doentes com os doentes com ASBRE, sem envolvimento preferencial desta região. Medir os coeficientes de difusão aparente (CDA), utilizando regiões de interesse (RDI), em diferentes localizações da substância branca, incluindo substância branca lesada e SBAN, descrever sua evolução temporal no intervalo de um ano e determinar suas correlações clínicas e imagiológicas. MÉTODOS: Utilizando uma amostra de conveniência, foram estudados 30 doentes, com mais de 65 anos, sem incapacidade funcional ou com incapacidade mínima, avaliada pela escala de actividades instrumentais da vida diária (IADL), apresentando ASBRE em TC. Foi utilizado um protocolo exaustivo de avaliação clínica (com particular destaque para as funções motoras e cognitivas) e imagiológica, em dois momentos de avaliação separados por um ano de intervalo (t0 e t1). As ASBRE foram avaliadas com escalas visuais, escala ARWMC e escala de Fazekas, e os doentes foram estudados em função do grau de severidade (ligeiro versus moderado a grave na escala de Fazekas) e de um envolvimento preferencial posterior (definido como 2 ou mais pontos na escala ARWMC na região parieto‐occipital por comparação com a região frontal). Os CDA foram avaliados mediante estudo de RDI, na substância branca frontal lesada (SBFL) e SBAN frontal, parieto‐occipital e dos pedúnculos cerebelosos. Para verificar diferenças na ordem de distribuição das variáveis foi usado o teste de Mann‐Whitney e para comparação de proporções, o teste exacto de Fisher. Na comparação entre a avaliação em t0 e t1 foi usado o teste Wilcoxon Signed Ranks na comparação da distribuição da ordem das variáveis e o teste McNemar na análise de frequências. Na análise correlacional foram utilizados os testes de T para variáveis emparelhadas e as correlações entre estas foram efectuadas com o coeficiente de correlação de Spearman ou de Pearson. O trabalho foi aprovado pela Comissão de Ética do hospital onde foi realizado e todos os doentes incluídos assinaram um consentimento informado. RESULTADOS: A idade média da população estudada foi 72,5 anos (17 doentes eram do sexo masculino). No final de um ano, 1 doente tinha falecido e 3 doentes não completaram a avaliação imagiológica. Registou‐se uma progressão significativa das ASBRE segundo a escala ARWMC (t0: 8,37 / t1: 9,65 ; p<0,001). Na análise funcional, motora e cognitiva, não houve um agravamento significativo. Avaliando os doentes em t0 e t1 segundo o grau de severidade das ASBRE, o grupo com atingimento moderado a grave (ASBRE2) comparado com o grupo com atingimento ligeiro (ASBRE1) apresentava: maior extensão de lesão da substância branca (ARWMC t0: 11,9 / 4,8 ; p<0.001 ; t1: 14,0 / 5,9 ; p<0,001); tendência a pior desempenho funcional (IADL t0: 90,7 / 99,2 ; p=0,023; t1: 86,4 / 96,7 ; p=n.s.) e motor (SPPB t0: 9,8 / 10,3 ; p=n.s. ; t1: 9,5 / 10,5 ; p=0,058); tendência a maior compromisso do humor (Escala Cornell t0: 6,7 / 3,5 ; p=0,037; t1: 6,2 / 4,5 ; p=n.s.). Analisando a evolução, de t0 para t1, de cada um dos grupos (ASBRE2 e ASBRE1) registou‐se: aumento da extensão da lesão da substância branca em ambos (ASBRE2: 12,0 / 14,0;z=‐2,687 ; p=0,007; ASBR1: 4,8 / 5,9 ; z=‐2,724 ; p=0,006); variação não significativa funcional e motora; tendência ao agravamento em ambos na prova de Cancelamento de dígitos (ASBRE2: 17,5 / 17,4 ; p=n.s. ; ASBRE1: 19,9 / 16,9 ; z=‐2,096 ; p=0,036);tendência à melhoria em ambos no MMS (ASBRE2: 25,7 / 27,5 ; z=‐2,155 ; p=0,031; ASBRE1: 27,5 / 28,2 ; p=n.s). Avaliando os doentes em t0 e t1 em função do padrão de distribuição das ASBRE, os doentes com um envolvimento preferencial posterior (ASBREP) comparados com os restantes (ASBREnP), apresentavam: maior extensão da lesão (ARWMC t0: 10,8 / 6,9 ; p=0,025; t1: 12,9 / 7,6 ; p=0,011); diferenças não significativas no desempenho motor; tendência a melhor desempenho na prova dos Labirintos (t0: 8,1 / 11,8 ; p=0,06; t1: 8,7 / 9,5 ; p=n.s.) e Cancelamento de dígitos (t0: 20,9 / 17,4 ; p=0,045; t1: 18,5 / 16,3 ; p=n.s.); tendência a maior compromisso depressivo na GDS (t0: 5,0 / 3,68 ; p=n.s. ; t1: 5,7 / 3,3 p=0,033). Analisando o perfil evolutivo de t0 para t1, registou‐se: aumento da extensão da lesão nos dois grupos (ASBREP: 10,8 / 12,9 ; z=‐2,555 ; P=0,011; ASBREnP: 6,4 / 7,6 ; z=‐2,877 ; p=0,04); variação em sentidos diferentes com melhoria funcional no grupo ASBREP (91,0 / 95,5 ; z=‐0,926 ; p=0,036) e agravamento no grupo ASBREnP (96,7 / 89,8 ; z=‐2,032 ; p=0,042); variação sem sentidos diferentes, com agravamento significativo no grupo ASBREnP no item estação de pé do SPPB (ASBREP 3,8/3,9 p=n.s.; ASBREnP 3,9/3,6; z=‐2,236 ; p=0,025); tendência à melhoria nos dois grupos no MMS (ASBREP: 27,2 / 28,2 ; p=n.s.; ASBREnP: 26,3 / 27,7 ; z=‐2,413 ; p=0,016) e tendência em sentidos diferentes no Trail Making, com eventual melhoria no grupo ASBREP (113,9 / 91,6 ; p=n.s.) e agravamento no grupo ASBREnP (113,7 / 152,0 ; z=‐2,155 ; p=0,031). Na análise da imagem, utilizando a escala ARWMC e o estudo dos CDA, na avaliação transversal na inclusão, a comparação entre as pontuações médias da escala ARWML nas diferentes regiões mostrava diferenças significativas (F=39,54 , p<0,0001). A análise comparativa post‐hoc de Bonferroni mostrou valores significativamente mais altos para as regiões frontais e parieto‐occipitais (p<0,0001). Os valores médios dos CDA eram significativamente diferentes entre regiões (F=44,56; p<0,0001), sendo mais altos na SBFL (p<0,0001). Não existia diferença significativa entre os valores registados na SBAN nas regiões frontais e parieto‐occipitais. As pontuações regionais da escala ARWMC e os valores médios dos CDA correlacionavam‐se todos de forma positiva. A pontuação da escala ARWMC na região frontal correlacionava‐se significativamente com os valores do CDA da SBFL (r=0,467 ; p=0,012). Existia tendência para uma correlação positiva entre as pontuações da escala ARWMC na região frontal e os valores médios dos CDA na SBAN frontal (r=0,276 ; p=0,155). As pontuações da escala ARWMC e os CDA correlacionavam‐se de forma positiva com a idade e com a tensão arterial (TA). Foram encontradas correlações significativas entre: idade e SBAN frontal (r=0,440 ; p=0,019); TA diastólica e SBFL (r=0,386 ; p=0,034); TA sistólica e SBAN Parieto‐occipital (r=0,407 ; P=0,032). Na avaliação motora e cognitiva, dado elevado número de variáveis, foi efectuada uma análise de factor principal. Registou‐se uma tendência global negativa na correlação entre as pontuações da escala visual na região frontal, os valores dos CDA, e o desempenho motor e cognitivo. Na análise evolutiva, (n=19), registou‐se variação significativa dos CDA, com aumento na SBFL (Direita: z=‐2,875 ; p=0,004 ; Esquerda: z=‐2,113 ; p=0,035) e diminuição na SBAN dos pedúnculos cerebelosos (Direita: z=‐2,094 ; p=0,036 ; Esquerda: z=‐1,989 ; p=0,047). Foi observada uma correlação negativa entre a variação do CDA na SBAN dos pedúnculos cerebelosos e na SBFL contralateral (SBAN pedúnculo cerebeloso Esquerdo / SBFL Direita: r=‐0,133 ; p=n.s.; SBAN pedúnculo cerebeloso Direito / SBFL Esquerda: r=‐0,561 ; p=0,012). Os valores dos CDA à direita correlacionavam‐se de forma positiva com a velocidade da marcha (r=0,562 ; p=0,012). CONCLUSÕES: A progressão das ASBRE pode ser observada com uma escala visual detalhada no intervalo de um ano. Contudo, o eventual agravamento da incapacidade funcional, motora e cognitiva, não parece ser apreciável em igual intervalo de tempo. A maior severidade das ASBRE associa‐se a uma tendência para um maior compromisso funcional, motor e possivelmente do humor. A questão da progressão em escalas simplificadas, de um estádio ligeiro para um estádio moderado a grave, não é elucidada pelos resultados do presente trabalho. Os doentes com um envolvimento preferencial da região parieto‐occipital poderão constituir um subgrupo distinto que, apesar de ter maior extensão de lesão, parece ter um melhor desempenho motor e cognitivo. O perfil evolutivo destes doentes parece igualmente ser distinto, não se observando a tendência ao agravamento funcional, motor e cognitivo (sobretudo em provas de função executiva) que se encontra nos restantes doentes. A análise transversal na inclusão, utilizando uma escala visual e o estudo dos CDA, sugere que a severidade das ASBRE se correlaciona com o compromisso motor e cognitivo, bem como com a idade e com a TA. Uma maior vulnerabilidade da substância branca frontal à lesão vascular parece ter um papel importante no compromisso motor e na disfunção executiva, (essencialmente à custa do compromisso da atenção), possivelmente associada à desconexão dos circuitos fronto‐subcorticais. A análise dos CDA sugere que isso é válido igualmente para a SBAN e sublinha que, as imagens de RM convencional poderão não traduzir a verdadeira extensão da lesão e consequentemente do compromisso motor e cognitivo. A relação entre a progressão da doença vascular em lesões frontais constituídas e a redução do CDA no pedúnculo cerebeloso contralateral poderá estar associada a um pior desempenho motor. A disrupção dos circuitos fronto‐cerebelosos, determinando hipometabolismo e diminuição da perfusão no cerebelo, poderá ser responsável pela diminuição do CDA no cerebelo. ABSTRACT INTRODUCTION: Previous studies, with new imaging techniques, have consistently documented the presence of age‐related white matter lesions (ARWML), emphasizing their role in agerelated functional decline, mainly related to motor and cognitive impairment, and inherent consequences in clinical practice. However clinical significance of ARWML remains to be elucidated, probably on account of methodological difficulties such as: specific neuropsychological batteries, utilization of samples with different degrees of severity and regional involvement, utilization of different imaging scales and different sensitivity of imaging techniques. Recently, Diffusion Weighted Magnetic Ressonance imaging (DWI) has shown a higher sensitivity to ischemic lesions, suggesting it might be superior for characterization of ARWML, allowing more precise correlation with motor and cognitive variables, and evaluating also normal appearing white matter (NAWM). OBJECTIVES: To describe imagiologic evolution of ARWML within one year interval and to analyse its clinical and functional significance. To identify predictors of ARWML progression and associated functional impairment. To describe clinical characteristics and evolution profile of patients with predominantly posterior lesions; to compare this group of patients with patients without predominantly posterior lesions. To study average Apparent Diffusion Coeficcients (ADC) in different white matter regions using regions of interest (ROI); to analyse their evolution profile and to determine their clinical and imagiologic correlations. METHODS: A sample of 30 patients older than 65 years, without functional impairment or with minimal impairment, according to the Instrumental Activities of Daily Lliving scale, with ARWML on CT scan, were studied in a cross‐sectional design. An extensive clinical(with detailed motor and cognitive evaluation) and imagiologic protocol was applied in two one‐year interval separate moments (t0 and t1). ARWML were studied using visual scales, ARWMC and Fazekas’s scale, and patients were studied according to degree of severity (Fazekas scale mild versus moderate / severe) and preferential involvement of the posterior region (defined as 2 or more points in the ARWMC scale in the parietooccipital region compared with frontal region). Evaluation of ADC was performed using ROI in frontal lesioned white matter (FLWM) and NAWM (frontal, parieto‐occipital and cerebellar regions). To study differences in the distribution of variables the Mann‐Whitney test was used and to compare proportions the exact Fisher Test was used. To compare temporal evolution profile between t0 and t1, the Wilcoxon Signed ranks Test was used to analyse the distribution of variables and the Mc Nemar Test to analyse frequencies. Correlation analysis was performed using Spearman or Pearson tests. The study was approved by the local Ethics Committee and all patients signed an informed consent. RESULTS: Mean age was 72.5 years (17 patients were male). By the end of the study, one patient was dead and 3 patients did not undergo brain imaging. There was a higher extent of ARWML evaluated with the ARWMC scale (t0: 8.37 / t1: 9.65 ; p<0.001). Functional, motor and cognitive performance did not progress significantly. Evaluating patients in t0 and t1 according to the degree of severity (Fazekas scale), the moderate / severe group of patients (WML2), compared with the mild group (WML1), showed: higher extent of lesion (ARWMC scale t0: 11.9 / 4.8 ; p<0.001 ; t1: 14.0 / 5.9 ; p<0.001); tendency to worse functional (IADL t0: 90.7 / 99.2 ; p=0.023; t1: 86.4 / 96.7 ; p=n.s.) and motor (SPPB t0: 9.8 / 10.3 ; p=n.s. ; t1: 9.5 / 10.5 ; p=0.058) performance; tendency to higher depressive scores (Cornell Scale t0: 6.7 / 3.5 ; p=0.037; t1: 6.2 / 4.5; p=n.s.). Analysing the evolution profile from t0 to t1 of each group (WML2 and WML1), there was a higher extent of lesion (ARWMC scale) in both (WML2: 12.0 / 14.0; z=‐2.687 ; p=0.007; WML1: 4.8 / 5.9 ; z=‐2.724 ; p=0.006); non‐significant variation in functional and motor performances; tendency to worse performance on the Digit Cancelling (WML2: 17.5 / 17.4 ; p=n.s. ; WML1: 19.9 / 16.9 ; z=‐2.096 ; p=0,036) and to better performance on the MMS (WML2: 25.7 / 27.5 ; z=‐2.155 ; p=0.031; WML1: 27.5/ 28.2 ; p=n.s). Evaluating patients in t0 and t1 according to the regional distribution of ARWML, patients with predominantly posterior lesions (WMLP) compared with the rest of the group (WMLnP), showed: higher extent of lesion (ARWMC scale t0: 10.8 / 6.9 ; p=0.025; t1:12.9 / 7.6 ; p=0.011); non significant differences on motor evaluation; tendency to a better performance on Maze (t0: 8.1 / 11.8 ; p=0.06; t1: 8.7 / 9.5 ; p=n.s.) and Digit cancelling (t0: 20.9 / 17.4 ; p=0.045; t1: 18.5 / 16.3 ; p=n.s.) tests;tendency to higher scores on GDS (t0: 5.0 / 3.68 ; p=n.s. ; t1: 5.7 / 3.3 p=0.033). Analysing the evolution profile from t0 to t1 of each group (WMLP and WMLnP), there was: higher extent of lesion (ARWMC scale) in both groups (WMLP: 10.8 / 12.9 ;z=‐2,555 ; P=0,011; WMLnP: 6.4 / 7.6 ; z=‐2.877; p=0.04); variation in different directions with better functional performance in the group WMLP (91.0 / 95.5 ;z=‐0.926 ; p=0.036) and worse in WMLnP (96.7 / 89.8 ; z=‐2.032 ; p=0.042); variation in different directions with worse motor performance in one SPPB item (total stands) in the group WMLnP (WMLP 3.8/3.9 p=n.s.; ASBREnP 3.9/3.6; z=‐2.236 ; p=0.025);tendency to improvement in both groups in MMS (WMLP: 27.2 / 28.2 ; p=n.s.; WMLnP:26.3 / 27.7 ; z=‐2.413 ; p=0.016); tendency to a variation in different directions in the Trail Making Test, with possible improvement in the group WMLP (113.9 / 91.6 ;p=n.s.) and worsening in the group WMLnP (113.7 / 152.0 ; z=‐2.155 ; p=0.031). Imaging analysis in the inclusion, using the ARWMC scale and ADC evaluation, showed significant differences in different regions (F=39.54, p<0.0001). Comparative post‐hoc Bonferroni analysis showed significantly higher scores in the frontal and parieto‐occipital regions (p<0.0001. ADC values were significantly different between regions (F=44.56; p<0.0001), being higher in FLWM (p<0‐0001). There was no significant difference between ADC in NAWM in frontal and parieto‐occipital regions. ARWMC scores and ADC values correlated positively. Significant correlations were found between frontal ARWMC score and FLWM ADC values (r=0.467 ; p=0.012). ARWMC scores and ADC values correlated positively with age and blood pressure. Significant correlations were: age and frontal NAWM (r=0.440 ; p=0.019); Diastolic blood pressure and FLWM (r=0.386 ; p=0.034); sistolic blood pressure and parietooccipital NAWM (r=0.407 ; P=0.032). Due to the higher number of motor and cognitive variables a preliminary study was done, using principal component analysis. A global tendency to a negative correlation was found between ARWMC scores, ADC values and motor and cognitive performances. Evolutive analysis of ADC (n=19), showed a significant variation, with higher values in t1 in FLWM (Right: z=‐2.875 ; p=0.004 ; Left: z=‐2.113 ; p=0.035) and lower values in t1 in cerebellar NAWM (Right: z=‐2.094 ; p=0.036 ; Left: z=‐1.989 ; p=0.047). A negative correlation was found between ADC variation in cerebellar NAWM and contralateral FLWM (Left cerebellar NAWM / Right FLWM: r=‐0.133 ; p=n.s.; Right cerebellar NAWM/ Left FLWM: r=‐0.561 ; p=0.012). ADC values on the right correlated positively with walking speed (r=0,562 ; p=0,012). CONCLUSIONS: Progression of ARWML can be documented with a detailed visual scale in a one year interval. However, functional, motor and cognitive impairment, do not seem to progress significantly within the same period. A higher severity of ARWML is associated with a tendency to a worse functional and motor performance (and possibly to higher scores in depression scales). The issue of progression in a simplified visual scale from a mild to a moderate / severe degree of ARWML is not further elucidated. Patients with predominantly posterior lesions may be a subset of ARWML patients, with a different profile, that despite higher extent of lesion, seem to fair better than the rest of the group, namely with better performance on motor and cognitive tests. Evolution profile of this subset of patients also seems to be different, without a clearcut tendency to worsening functional, motor and cognitive (particularly for executive function tests) performance that is observed in the rest of the group. Imaging analysis, with a visual scale and ADC evaluation, suggests that severity of ARWML correlates negatively with cognitive and motor performance and positively with age and blood pressure. A higher vulnerability of frontal white matter to vascular disease seems to play an important role in motor and cognitive dysfunction, mainly determined by impairment of attention skills associated with frontal‐subcortical disconnection. DWI results, suggest that this may also be true for NAWM, underlining that conventional MR images may not represent the true extent of cognitive decline. The relation between vascular disease progression inside frontal lesions and ADC reduction in contralateral cerebellar peduncles, may be associated with a worse motor performance. Disruption of fronto‐cerebellar cicuits, with associated regional hypometabolism, may be responsible for the reduction of cerebellar ADC.

A proteomic approach toward the selection of proteins with enhanced intrinsic conformational stability

Journal of Proteome Research (2006)5: 2720-2726

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

Hybrid systems biology: application to Escherichia coli

Dissertation presented to obtain a Master degree in Biotechnology