Multi-GPU support on the marrow algorithmic skeleton framework

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

Distributed replicated macro-components

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

Machine learning Gaussian short rate

Dissertação para obtenção do Grau de Doutor em Estatística e Gestão do Risco

Machine diagnosis based on artificial immune systems

Nowadays, many of the manufactory and industrial system has a diagnosis system on top of it, responsible for ensuring the lifetime of the system itself. It achieves this by performing both diagnosis and error recovery procedures in real production time, on each of the individual parts of the system. There are many paradigms currently being used for diagnosis. However, they still fail to answer all the requirements imposed by the enterprises making it necessary for a different approach to take place. This happens mostly on the error recovery paradigms since the great diversity that is nowadays present in the industrial environment makes it highly unlikely for every single error to be fixed under a real time, no production stop, perspective. This work proposes a still relatively unknown paradigm to manufactory. The Artificial Immune Systems (AIS), which relies on bio-inspired algorithms, comes as a valid alternative to the ones currently being used. The proposed work is a multi-agent architecture that establishes the Artificial Immune Systems, based on bio-inspired algorithms. The main goal of this architecture is to solve for a resolution to the error currently detected by the system. The proposed architecture was tested using two different simulation environment, each meant to prove different points of views, using different tests. These tests will determine if, as the research suggests, this paradigm is a promising alternative for the industrial environment. It will also define what should be done to improve the current architecture and if it should be applied in a decentralised system.

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Assessment of climate change statistical downscaling methods: Application and comparison of two statistical methods to a single site in Lisbon

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

New fluorescent chemosensors based on bio-inspired ligands and macrocycles: from single molecules to nanoparticles

Dissertação apresentada para obtenção do grau de Doutor em Biotecnologia pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia. A presente dissertação foi preparada no âmbito do protocolo de acordo bilateral de educação avançada (ERASMUS) entre a Universidade de Vigo e a Universidade Nova de Lisboa

Produção de SCO (Single Cell Oil) para biodiesel a partir da microalga Chlorella protothecoides em diversos bioreactores com troca simbiótica de correntes gasosas

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Recommending media content based on machine learning methods

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

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

Speed control of induction machine based on direct torque control method

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

Caracterização de estirpes Mycobacterium Tuberculosis da família Lisboa: análise de regiões de diferença e single nucleotide polymorphisms

Dissertação apresentada para a obtenção do Grau de Mestre em Genética Molecular e Biomedicina, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

A nanopore-based stochastic detection method: Single molecule characterisation of nanoparticles using ()- hemolysin

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

Caracterização de múltiplos polimorfismos de Pneumocystis Jirovecii por multiplex-PCR/Single base extension

Pneumocystis jirovecii é conhecido por causar infecções específicas no aparelho respiratório de seus hospedeiros, principalmente em doentes imunocomprometidos, manifestando-se por uma pneumonia grave e por vezes fatal, normalmente designada por pneumonia por Pneumocystis. A caracterização da diversidade genética de P. jirovecii tem demonstrado que determinados polimorfismos de base única poderão ser reconhecidos como marcadores moleculares de eleição para o estudo da distribuição geográfica, vias de transmissão, resistência/susceptibilidade a fármacos, factores de virulência e genética populacional de subtipos genéticos. Este estudo teve como objectivo a caracterização de polimorfismos de P. jirovecii, através da metodologia PCR multiplex/Extensão de base única (do inglês single base extension), com a principal finalidade de constatar eventuais associações entre polimorfismos de base única, genótipos multilocus, e dados clínicos e demográficos da infecção. Sessenta e seis espécimes pulmonares, previamente considerados positivos para P. jirovecii, obtidos entre 2001 e 2012, a partir de doentes portugueses imunocomprometidos, foram seleccionados de forma aleatória para este estudo multilocus. PCR multiplex foi utilizada para a amplificação simultânea de três regiões genómicas: subunidade grande do rRNA mitocondrial, superóxido dismutase e dihidropteroato sintetase. Cinco polimorfismos de base única, previamente correlacionados com parâmetros da doença, foram genotipados por extensão de base única: mt85, SOD110, SOD215, DHPS165 e DHPS171. Um total de 330 polimorfismos de base única e 29 genótipos multilocus putativos de P. jirovecii foram identificados e caracterizados nos espécimes pulmonares analisados. Os padrões de distribuição dos polimorfismos foram analisados, sendo considerada a variação temporal e/ou geográfica das suas formas alélicas. Constatou-se grande diversidade genotípica entre os isolados de P. jirovecii que poderá ter influência a nível epidemiológico. Foram observadas associações estatísticas entre mt85/genótipos multilocus e parâmetros demográficos e clínicos. A correlação mais importante verificou-se entre mt85C e cargas parasitárias baixas a moderadas, enquanto mt85T foi associado com cargas parasitárias altas; MLG5, MLG9 e MLG13 foram associados com cargas parasitárias baixas, moderadas e altas, respectivamente. Tais associações demonstram que potenciais marcadores moleculares da infecção por P. jirovecii poderão existir e que polimorfismos/genótipos específicos poderão determinar perfis epidemiológicos da pneumonia por Pneumocystis. A análise genética cruzada permitiu verificar associações entre polimorfismos de base única. Os polimorfismos SOD110T e SOD215C, SOD110C e SOD215T, DHPS165A e DHPS171C, DHPS165G e DHPS171T foram associados estatisticamente. Os genótipos multilocus mais prevalentes foram considerados para o teste recombinatório d1. Dois genótipos multilocus (MLG7 e MLG9) foram observados com elevada frequência, e a análise genética indicou que estes se encontravam sobre-representados na população de P. jirovecii estudada. Estas evidências indicam que o fenómeno de desequilíbrio de ligação e a propagação clonal de subtipos genéticos é frequente, considerando que a espécie P. jirovecii poderá ser representada por uma população com estrutura epidémica. O presente trabalho confirmou a importância do estudo de polimorfismos em P. jirovecii, sugerindo que a caracterização multilocus poderá fornecer informação relevante para a compreensão dos padrões, causas e controlo da infecção, melhorando assim a investigação deste importante patogéneo.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.