Reconstrução/processamento de imagem médica com GPU em tomossíntese

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

A shared-disk parallel cluster file system

Dissertação apresentada para obtenção do Grau de Doutor em Informática Pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Aceleração GPU da animação de superfícies deformáveis

Dissertação de Mestrado em Engenharia Informática

SENSITIVITY ANALYSIS OF TRACK VIBRATIONS DUE TO VERTICAL STIFFNESS VARIATION IN HIGH-SPEED RAILWAYS

High speed trains, when crossing regions with abrupt changes in vertical stiffness of the track and/or subsoil, may generate excessive ground and track vibrations. There is an urgent need for specific analyses of this problem so as to allow reliable esimates of vibration amplitude. Full understanding of these phenomena will lead to new construction solutions and mitigation of undesirable features. In this paper analytical transient solutions of dynamic response of one-dimensional systems with sudden change of foundation stiffness are derived. Results are expressed in terms of vertical displacement. Sensitivity analysis of the response amplitude is also performed. The analytical expressions presented herein, to the authors’ knowledge, have not been published yet. Although related to one-dimensional cases, they can give useful insight into the problem. Nevertheless, in order to obtain realistic response, vehicle- rail interaction cannot be omitted. Results and conclusions are confirmed using general purpose commercial software ANSYS. In conclusion, this work contributes to a better understanding of the additional vibration phenomenon due to vertical stiffness variation, permitting better control of the train velocity and optimization of the track design.

Software languages engineering: experimental evaluation

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

Artificial Intelligence in geospatial analysis: applications of self-organizing maps in the context of geographic information science.

A thesis submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Information Systems.

A diabetes mellitus como determinante em saúde e envelhecimento: o conhecimento do diabético e a presença de complicações da doença

RESUMO: O aumento da longevidade humana é um facto prevalente na actualidade mas, a requerer grandes esforços na promoção da saúde e prevenção de doenças, estando, ainda, as pessoas idosas sob riscos elevados de desenvolver doenças à medida que envelhecem. Assim, é importante o contributo dos próprios indivíduos no sentido minorar estes riscos e retardar a evolução e agudizações das doenças uma vez manifestadas. Nesse sentido, o objectivo geral deste estudo é descrever de que modo os conhecimentos do diabético, podem estar relacionados com a presença de complicações da doença. Realizámos um estudo exploratório descritivo, no Hospital Nossa Senhora do Rosário E.P.E, em pessoas idosas residentes no concelho do Barreiro que frequentaram o Hospital Dia de Diabetologia, após as consultas médicas e de enfermagem. O método utilizado para a selecção da amostra foi a amostragem não probabilística por conveniência (n=50). O instrumento utilizado na colheita de dados foi um questionário, aplicado sob a forma de inquérito, para colheita de dados sócio-demográficos, saúde em geral, estado mental, dados sobre a diabetes e comorbilidades. Os dados foram tratados informaticamente, recorrendo ao programa estatístico S.P.S.S. e a análise de conteúdo. Os resultados obtidos demonstraram que os participantes possuíam conhecimentos sobre a sua doença. Verificámos que os inquiridos que já tiveram complicações devido à diabetes responderam correctamente à questão acerca da medicação ser mais importante que a dieta e o exercício físico para controlar a diabetes, do que os que nunca tiveram complicações devido à diabetes, que responderam incorrectamente ou desconheciam a resposta à questão.----------- ABSTRACT: The increase in human longevity is a fact prevalent nowadays, but to require great efforts on health promotion and disease prevention and is also in the elderly high risk of developing illnesses as they age. It is therefore important contribution of the individuals themselves towards mitigating these risks and delaying the development and exacerbations of disease once manifested. Thus, the general purpose of this study is to describe how the knowledge of diabetes, may be related to complications of the disease. We conducted an exploratory study in the Hospital Nossa Senhora do Rosario EPE, in elderly people living in the county of Barry, who attended the hospital Diabetes Day, after the medical and nursing care. The method used for the sampling was not probabilistic by convenience sampling (n = 50). The instrument used for data collection was a questionnaire applied in the form of survey to collect socio-demographic data, general health, mental state, data on diabetes and comorbidities. The data were processed by computer, using the SPSS and content analysis. The results showed that participants had knowledge about their disease. We found that respondents who have had complications due to diabetes responded correctly to questions about the medication is more important than diet and exercise to control diabetes than those who never had complications due to diabetes, who answered incorrectly or did not know the answer the question.

Linguagem intermédia tipificada para concorrência em memória partilhada

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

Utilização de GPGPUs para a identificação de objectos em imagens tomográficas

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

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

Multi-GPU support on the marrow algorithmic skeleton framework

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

Partial replication in distributed software transactional memory

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

Studies on the wine spoilage yeast Brettanomyces bruxellensis: 4-ethylphenol production and improved detection

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

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Scaling In-Memory databases on multicores

Current computer systems have evolved from featuring only a single processing unit and limited RAM, in the order of kilobytes or few megabytes, to include several multicore processors, o↵ering in the order of several tens of concurrent execution contexts, and have main memory in the order of several tens to hundreds of gigabytes. This allows to keep all data of many applications in the main memory, leading to the development of inmemory databases. Compared to disk-backed databases, in-memory databases (IMDBs) are expected to provide better performance by incurring in less I/O overhead. In this dissertation, we present a scalability study of two general purpose IMDBs on multicore systems. The results show that current general purpose IMDBs do not scale on multicores, due to contention among threads running concurrent transactions. In this work, we explore di↵erent direction to overcome the scalability issues of IMDBs in multicores, while enforcing strong isolation semantics. First, we present a solution that requires no modification to either database systems or to the applications, called MacroDB. MacroDB replicates the database among several engines, using a master-slave replication scheme, where update transactions execute on the master, while read-only transactions execute on slaves. This reduces contention, allowing MacroDB to o↵er scalable performance under read-only workloads, while updateintensive workloads su↵er from performance loss, when compared to the standalone engine. Second, we delve into the database engine and identify the concurrency control mechanism used by the storage sub-component as a scalability bottleneck. We then propose a new locking scheme that allows the removal of such mechanisms from the storage sub-component. This modification o↵ers performance improvement under all workloads, when compared to the standalone engine, while scalability is limited to read-only workloads. Next we addressed the scalability limitations for update-intensive workloads, and propose the reduction of locking granularity from the table level to the attribute level. This further improved performance for intensive and moderate update workloads, at a slight cost for read-only workloads. Scalability is limited to intensive-read and read-only workloads. Finally, we investigate the impact applications have on the performance of database systems, by studying how operation order inside transactions influences the database performance. We then propose a Read before Write (RbW) interaction pattern, under which transaction perform all read operations before executing write operations. The RbW pattern allowed TPC-C to achieve scalable performance on our modified engine for all workloads. Additionally, the RbW pattern allowed our modified engine to achieve scalable performance on multicores, almost up to the total number of cores, while enforcing strong isolation.