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.

Reducing the number of membership functions in linguistic variables

Dissertation presented at Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia in fulfilment of the requirements for the Masters degree in Mathematics and Applications, specialization in Actuarial Sciences, Statistics and Operations Research

Novel functions of the cohesin accessory factor dPDS5 uncover a new meiotic checkpoint

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

Manipulation of host cell functions by Salmonella: the role of the bacterial effector protein SteA

Salmonella enterica serovars are Gram-negative facultative intracellular bacterial pathogens that infect a wide variety of animals. Salmonella infections are common in humans, causing usually typhoid fever and gastrointestinal diseases. Salmonella enterica serovar Typhimurium (S. Typhimurium), which is a leading cause of human gastroenteritis, has been extensively used to study the molecular pathogenesis of Salmonella, because of the availability of sophisticated genetic tools, and of suitable animal and tissue culture models mimicking different aspects of Salmonella infections.(...)

Unravelling the role of alpha 2,6 sialic acid on mouse dentritic cells functions

RESUMO: As células dendríticas (CDs) são fundamentais na imunomodulação e iniciação de respostas imunes adaptativas, enquanto os ácidos siálicos (Sias) são potenciais imunomoduladores. Estas células expressam níveis elevados da sialiltransferase ST6Gal-1, que transfere Sias para a posição terminal de oligossacáridos. De facto, a maturação de CDs está associada a uma diminuição da sialilação na sua superfície celular. Apesar de ter função biológica desconhecida, a forma solúvel, extracelular de ST6Gal-1 aumenta em cancros e inflamação. Ainda assim, esta foi recentemente identificada como moduladora da hematopoiese. Considerando o importante papel das CDs na iniciação de respostas anticancerígenas, uma ligação entre a sialilação extrínseca induzida por ST6Gal-1 extracelular e o seu papel na modulação de CDs deve ser identificada. Neste trabalho hipotetizou-se que a sialilação α2,6 extrínseca de CDs diminui o seu perfil de maturação mediante ativação por lipopolissacarídeo (LPS). O objetivo principal foi sialilar extrinsecamente em α2,6 CDs da medula óssea de murganhos, avaliando os seus perfis de maturação e de libertação de citocinas, após estimulação com LPS (por Citometria de Fluxo e ELISA, respetivamente). Ao contrário da hipótese, o perfil celular não foi modulado, usando várias abordagens. Por outro lado, a consequência da falta de α2,6 Sias na maturação de CDs foi avaliada analisando: 1) CDs da medula óssea de murganhos tratadas com sialidase, 2) CDs da medula óssea e 3) CDs das vias aéreas, ambas de murganhos deficientes em ST6Gal-1, comparando com a estirpe selvagem. Estes resultados sugerem que a perta total de α2,6 Sias se relaciona com o aumento da expressão do complexo de histocompatibilidade principal de classe II. Apesar de controverso, é provável existirem mecanismos inerentes à ativação por LPS, reduzindo a eficácia de ST6Gal-1 extracelular. Por outro lado, a modificação no perfil de CDs de murganhos deficientes em ST6Gal-1 poderá relacionar-se com uma predisposição para um estado inflamatório severo. Com isto, o trabalho desenvolvido abriu futuras linhas de investigação, nomeadamente explorar outros fatores envolvidos na (de)sialilação α2,6 de CDs, podendo ter impacto em imunoterapia com uso de CDs.--------------------------ABSTRACT: Dendritic cells (DCs) are vital for immunomodulation and the initiation of adaptive immune responses, whereas sialic acids (Sias) are potential immunomodulators. These cells express high levels of sialyltransferase ST6Gal-1, responsible for transferring Sias to the terminal position of oligosaccharide chains. Indeed, DCs’ maturation is associated with decreased cell surface sialylation. Although its biological significance is unknown, the soluble, extracellular form of ST6Gal-1 increases in cancers and inflammation. However, extracellular ST6Gal-1 was recently identified as modulator of hematopoiesis. Considering that DCs play a crucial role in the initiation of a productive anti-cancer immune response, a link between extrinsic sialylation by the extracellular ST6Gal-1 on DC function needs to be investigated. We hypothesize that extrinsic α2,6 sialylation of DCs diminishes their maturation features upon lipopolysaccharide (LPS) stimulation. The main goal was to extrinsically α2,6 sialylate mice bone marrow derived DCs (BMDCs) and to evaluate their maturation and cytokine profiles upon LPS stimulation (by Flow Cytometry and ELISA, respectively). Unlike the hypothesis, we observed that BMDCs’ profile is not modulated, even using several approaches. In contrast, the consequence of lacking cell surface α2,6 Sias in DC maturation was assessed by analysing: 1) sialidase treated BMDCs, 2) BMDCs from mice lacking ST6Gal-1 and 3) DCs from mice airways, comparing wild type with ST6Gal-1 knockout mice. These results suggest that overall lack in α2,6 Sias is related with increased expression of major histocompatibility class II (MHC-II). Although appearing to be controversial findings, other intracellular mechanisms might be occurring upon LPS-induced BMDC activation, probably reducing extracellular ST6Gal-1 effect. In opposite, the modification observed in DC profile of ST6Gal-1 knockout mice might be related to its predisposition to a more severe inflammatory status. With this, the developed work opened future lines of investigation, namely exploring other factors involved in α2,6 (de)sialylation of DC, which might have influence in immunotherapy using DCs.