Maintaining the correctness of transactional memory programs

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

Reordenação de documentos através de técnicas de aprendizagem automática

Sistemas de gestão documental e de recuperação de informação são hoje ferramentas essenciais para aceder aos grandes volumes de informação disponíveis. O exemplo mais popular deste cenário é o motor de pesquisa Google, que se estimava possuir cerca de 45 milhares de milhões de páginas Web, em Março de 2013 [14]. Uma vez que a maioria das pessoas, apenas consultam os primeiros dez resultados duma pesquisa, torna-se crucial conseguir uma boa ordenação das respostas, de forma a permitir que o utilizador veja os resultados contendo informação diversificada, de acordo com as suas preferências e indo ao encontro daquilo que escreveu na pesquisa. Além do objetivo de ordenação segundo a query escrita pelo utilizador, também foi tido como objetivo a remoção de documentos similares do topo dos resultados das pesquisas. Nesta tese, pretendemos investigar o uso de algoritmos de aprendizagem de ordenação de resultados, por forma a aumentar a qualidade dos resultados de topo das pesquisas e analisar algumas maneiras para aumentar a diversidade de informação no topo dos resultados das pesquisas. Uma aplicação foi desenvolvida no contexto desta tese e foi aplicada a um sistema de pesquisa que foi desenvolvido em contexto empresarial com a Quidgest S.A, sendo que posteriormente irá ser integrada numa plataforma de desenvolvimento rápido de aplicações.

Planning and verification of multipath routing protocols

Conventionally the problem of the best path in a network refers to the shortest path problem. However, for the vast majority of networks present nowadays this solution has some limitations which directly affect their proper functioning, as well as an inefficient use of their potentialities. Problems at the level of large networks where graphs of high complexity are commonly present as well as the appearing of new services and their respective requirements, are intrinsically related to the inability of this solution. In order to overcome the needs present in these networks, a new approach to the problem of the best path must be explored. One solution that has aroused more interest in the scientific community considers the use of multiple paths between two network nodes, where they can all now be considered as the best path between those nodes. Therefore, the routing will be discontinued only by minimizing one metric, where only one path between nodes is chosen, and shall be made by the selection of one of many paths, thereby allowing the use of a greater diversity of the present paths (obviously, if the network consents). The establishment of multi-path routing in a given network has several advantages for its operation. Its use may well improve the distribution of network traffic, improve recovery time to failure, or it can still offer a greater control of the network by its administrator. These factors still have greater relevance when networks have large dimensions, as well as when their constitution is of high complexity, such as the Internet, where multiple networks managed by different entities are interconnected. A large part of the growing need to use multipath protocols is associated to the routing made based on policies. Therefore, paths with different characteristics can be considered with equal level of preference, and thus be part of the solution for the best way problem. To perform multi-path routing using protocols based only on the destination address has some limitations but it is possible. Concepts of graph theory of algebraic structures can be used to describe how the routes are calculated and classified, enabling to model the routing problem. This thesis studies and analyzes multi-path routing protocols from the known literature and derives a new algebraic condition which allows the correct operation of these protocols without any network restriction. It also develops a range of software tools that allows the planning and the respective verification/validation of new protocols models according to the study made.

Relação entre o consumo de medicamentos do aparelho cardiovascular e os internamentos

RESUMO - Objetivos: Caracterizar a evolução do consumo de medicamentos da área cardiovascular entre 2002 e 2011. Caracterizar a evolução dos internamentos com diagnóstico principal cardiovascular, da taxa de mortalidade intra-hospitalar e da idade média dos doentes no episódio de internamento. Estabelecer relação entre o consumo de medicamentos e os episódios de internamento. Metodologia: Por consulta à base de dados do Infarmed, determinar a evolução do consumo de medicamentos por distrito de Portugal continental, medido em embalagens consumidas/1000 habitantes. Por consulta à base de dados de GDH, determinar a evolução do nº de internamentos por doença cardiovascular dos residentes em cada distrito, determinado em internamentos/1000 habitantes. Determinar a evolução da taxa de mortalidade dos episódios, avaliada em mortes/ 100 episódios. Determinar a evolução da idade média. Correlação estatística entre o consumo e nº internamentos, mortalidade e idade. Regressão linear simples entre o consumo e nº internamentos, mortalidade e idade. Resultados: O consumo de cardiotónicos e antiarrítmicos diminuiu, -26,45% e -16,48%, respetivamente. O consumo de anti hipertensores, vasodilatadores e antidislipidémicos aumentou, respetivamente, 78,73%; 11,18% e 180,91%. A incidência de EAM aumentou 0,03%, a de IC 0,97% e a de AVC diminuiu -21,42%. A mortalidade diminuiu para EAM, IC e AVC, respetivamente, -31,48%; -18,03% e -15,06%. A idade média de ocorrência de EAM manteve-se, a de IC aumentou 2,2 anos e a de AVC aumentou 1,5 anos. 23,9% da variação da incidência de AVC pode ser explicada pelo consumo. A variação da taxa de mortalidade por EAM, IC e AVC que pode ser explicada pelo consumo é de 30,9%; 13,0% e 32,9%. O consumo explica 48,3% e 73,5%, da variação da idade média de ocorrência de internamentos por IC e AVC, respetivamente. Os anti hipertensores e os antidislipidémicos são as subclasses com correlação estatisticamente significativa mais relevante com a diminuição da taxa de mortalidade e aumento da idade média. Conclusão: O consumo explica sensivelmente 50% do aumento da idade média, e em menor percentagem a evolução do nº de internamentos e da taxa de mortalidade. As subclasses dos anti hipertensores e dos antidislipidémicos são as principais responsáveis pelo aumento do consumo, mas também são as que tem correlação estatisticamente significativa mais forte com os ganhos em saúde.

Prevalence of Chagas disease in blood donors at the Uberaba Regional Blood Center, Brazil, from 1995 to 2009

INTRODUCTION: A retrospective study was conducted to assess the occurrence of blood donations that were ineligible due to Chagas disease infection from 1995 to 2009 at the Uberaba Regional Blood Center (HRU), Brazil, verify the tendency of this ineligibility, and describe the epidemiologic profile of the donors. METHODS: Retrospective studies of serological ineligibility due to Chagas disease, statistical analysis by means of the chi-square test and odds ratio, study of the tendencies using a dispersion graph and the linear correlation coefficient (r) were performed. RESULTS: In the period under study, a 0.2% serum prevalence of ineligibility due to Chagas disease was found, with a significant drop in ineligible donations from 2001 to 2009. Among the serum positive-donors, there was a significant predominance among those aged 30 years or above and non-single individuals. CONCLUSIONS: The results show a rate of occurrence that is lower than that described in literature, as well as a progressive drop during the 15 years under assessment. Such results are a consequence of systematic combat of the vector since the 70s and the progressive and consistent increase of returning donors, resulting in a drop of the contamination risk factor by means of blood transfusion and in the improvement of the quality of hemotherapy practices in the HRU.

Relatório de estágio no departamento central de investigação e acção penal

The means of obtaining evidence, the amount of evidence obtained, the number of defendants related to each criminal case and the gravity of the crimes for which the magistrates of the Department are holders of penal action, define its real importance to the Rule of Law. I have deeply studied the subject of the institution of hierarchical intervention required by the assistant and the application of an opening statement by the defendant, starting from a hypothetical case, provided when the query of an investigation with the subject of the crime of active corruption, where this institution was called as a reaction to the archiving dispatch delivered by the Public Ministry. I have study about the implementation of the institution of provisional suspension of the process, specifically in the scope of fiscal criminality, analyzing the effective satisfaction of the purposes of the sentences in two slopes: general prevention and special prevention. I went for my first time to a Central Court of Criminal Instruction, where I attended the measures of inquiry and instructive debate of a process that culminated with the prosecution and pronunciation of the defendants. In addition to this criminal experience, I have deepened and consolidated the academic knowledge with the study of various criminal cases from various fields in the scope of criminality investigated by the Department. I could therefore check the basis of procedural delays, regarding to our legal system, especially in this type of crime, raising issues that I analyzed and discussed, always in a critical and academic way. I had the opportunity to attend and witness a seminar in the Lisbon Directorate of Finance as well of entering the Centre for Judicial Studies to attend a conference on the International Anti-Corruption Day. Focus on the investigatory importance of the international judicial cooperation, through the various organs, with special interest to EUROJUST. I comprehended the organization and functioning of these communitarian organs and means of communication of procedural acts, in particular, the rogatory letters and european arrest warrants. This involvement is motivated by the moratorium factor of the investigations where rogatory letters are necessary for the acquisition of evidence or information relevant to the good continuation of the process. For this reason the judicial cooperation through the relevant communitarian organs, translates a streamlined response between the competent judicial authorities of the Member States, through the National Member that integrates EUROJUST. This report aims to highlight some of the difficulties and procedural issues that Public Prosecutors of DCIAP and criminal police bodies that assist them, face in combating violent and organized crime, of national and transnational nature, of particular complexity, according to the specifics of criminal types.

Aprendizagem baseada na resolução de problemas: uma experiência pedagógica com alunos de um Curso de Especialização Tecnológica

Relatório de estágio de mestrado em Ensino de Informática

Monitoring and analysis of queries in distributed databases

Dissertação de Mestrado em Engenharia Informática

Temporal analysis of CHAVE collection

Lecture Notes in Computer Science, 9309

Concurrency detection on finish-to-start activity precedence networks

We explore the finish-to-start precedence relations of project activities used in scheduling problems. From these relations, we devise a method to identify groups of activities that could execute concurrently, i.e. activities in the same group can all execute in parallel. The method derives a new set of relations to describe the concurrency. Then, it is represented by an undirected graph and the maximal cliques problem identifies the groups. We provide a running example with a project from our previous studies in resource constrained project cost minimization together with an example application on the concurrency detection method: the evaluation of the resource stress.

Palinologia holocênica do testemunho Bom Jesus, margem leste da ilha do Marajó, Pará, Amazônia

A porção superior (1,25m) do testemunho de sondagem Bom Jesus (TBJ), coletado no limite campo-mangue da Fazenda Bom Jesus, município de Soure, ilha do Marajó, Pará, Brasil, foi estudada através de análise palinológica de alta resolução objetivando a determinação da composição, abundância e diversidade de tipos polínicos bioindicadores de modificações na paleovegetação durante o Holoceno. 16 amostras sedimentares de 2cm³ foram tratadas de acordo com metodologia padrão em palinologia. Os programas Tilia e Tilia Graph foram utilizados para a construção dos diagramas palinológicos de abundância e concentração. A base do testemunho foi datada por 14C em 2730 ± 40 anos A.P. Foram definidas três zonas palinológicas. A presença de pólen de Rhizophora com abundância máxima de 88% apontou dominância de mangue ao longo de todo o testemunho sedimentar. Variações recorrentes na hidrodinâmica da baía do Marajó, caracterizadas por pulsos erosivos de curto período, parecem ter provocado redução na dominância de mangue. O incremento na abundância de tipos polínicos bioindicadores de campo inundável associados a elementos de restinga e floresta, evidenciam a migração do campo inundável sobre o manguezal. Os dados indicam correlação com outros registros polínicos holocênicos de transgressão marinha para a costa norte amazônica no Holoceno Superior.

Column-based databases: estudo exploratório no âmbito das bases de dados NoSQL

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Document-based databases: estudo comparativo no âmbito das bases de dados NoSql

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Dificuldades de expansão da infografia interativa: um problema de produção e receção

Dissertação de mestrado em Media Interativos