Estimation of infection rate in epidemic models with multiple populations

Dissertação para obtenção do Grau de Mestre em Matemática e Aplicações Especialização em Actuariado, Estatística e Investigação Operacional

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

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.

Auxiliary mechanisms for telerobotics

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Integrando problem frames com aspectos

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

A new approach to the initial value problem

5th Portuguese Conference on Automatic Control, September, 5-7, 2002, Aveiro, Portugal

A pattern language for parallelizing irregular algorithms

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Integrated ecological-economic modelling and assessment aproach for coastal ecosystem management

Thesis submitted to the Faculty of Sciences and Technology, New University of Lisbon, for the degree of Doctor of Philosophy in Environmental Sciences

Multiple sequence alignment correction using constraints

Trabalho apresentado no âmbito do European Master in Computational Logics, como requisito parcial para obtenção do grau de Mestre em Computational Logics

Bridging environmental conflicts with social metabolism : forestry expansion and socioeconomic change

Dissertação apresentada para obtenção do Grau de Doutor em Ciências do Ambiente, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Positive Epistasis Drives the Acquisition of Multidrug Resistance

The evolution of multiple antibiotic resistance is an increasing global problem. Resistance mutations are known to impair fitness, and the evolution of resistance to multiple drugs depends both on their costs individually and on how they interact-epistasis. Information on the level of epistasis between antibiotic resistance mutations is of key importance to understanding epistasis amongst deleterious alleles, a key theoretical question, and to improving public health measures. Here we show that in an antibiotic-free environment the cost of multiple resistance is smaller than expected, a signature of pervasive positive epistasis among alleles that confer resistance to antibiotics. Competition assays reveal that the cost of resistance to a given antibiotic is dependent on the presence of resistance alleles for other antibiotics. Surprisingly we find that a significant fraction of resistant mutations can be beneficial in certain resistant genetic backgrounds, that some double resistances entail no measurable cost, and that some allelic combinations are hotspots for rapid compensation. These results provide additional insight as to why multi-resistant bacteria are so prevalent and reveal an extra layer of complexity on epistatic patterns previously unrecognized, since it is hidden in genome-wide studies of genetic interactions using gene knockouts.

Alteração do paradigma da gestão dos cuidados à pessoa com infecção VIH : um modelo centrado nos cuidados de saúde primários

RESUMO - A infecção por VIH é reconhecida mundialmente como um problema de saúde pública, apesar de todos os esforços e recursos despendidos e dos avanços científicos conseguidos nos últimos anos. Portugal, apesar do registo da diminuição de novos casos de infecção VIH, encontra-se no 4.º lugar (dos países da União Europeia) em termos de incidência de infecção por VIH (dados de 2008). Esta situação, juntamente com a crescente constatação dos custos elevados para o tratamento desta infecção, da variabilidade de práticas e a fragmentação dos cuidados, motivou a reflexão sobre modelos alternativos de organização de cuidados, inspirados em modelos de gestão da doença e idealmente centrados nos cuidados de saúde primários. O presente trabalho teve como objectivos analisar os modelos de organização de cuidados prestados à pessoa com VIH, nos países desenvolvidos, a nível dos cuidados de saúde primários e compreender o nível de adequação dos resultados encontrados, para a realidade portuguesa. Para os alcançar foi realizada uma revisão da literatura e a realização de entrevistas a profissionais de saúde. Nos artigos analisados na revisão da literatura, verificou-se consenso em torno de um modelo baseado em cuidados partilhados, entre os prestadores primários e os diferenciados. Foram ainda referenciados múltiplos factores e condições que terão de ser assegurados para uma possível implementação do modelo. Quanto aos entrevistados verificou-se uma opinião favorável em relação ao modelo de cuidados partilhados, mostrando-se expectantes e despertos para a necessidade de mudança, perspectivando uma maior integração do actual estado de organização dos cuidados para a pessoa com VIH. Estes indícios reflectem a relevância de maior investigação sobre o modelo de cuidados partilhados.

Hybrid systems biology: application to Escherichia coli

Dissertation presented to obtain a Master degree in Biotechnology

Single operation multiple data - paralelismo de dados ao nível da sub-rotina

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

Linear amplification with multiple nonlinear devices

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