Design and implementation of a behaviorally typed programming system for web services

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 Informática.

Design of a tool to study the fate of Chlamydia trachomatis infected cells

Chlamydia trachomatis has a unique obligate intracellular developmental cycle that ends by the lysis of the cell and/or the extrusion of the bacteria in order to allow for re-infections. While Chlamydia trachomatis infections are often asymptomatic the diagnosis of Chlamydia trachomatis is usually late, occurring after manifestation of persistency. Investigations on the consequences of long-term infections and the molecular mechanisms behind it will reveal light to what extent bacteria can modulate host cell function and what the ultimate fate of host cells after clearance of an infection is. Such studies on the host cell fate could be greatly facilitated if the infected cells become permanently marked during and after the infection. Therefore, this project intends to develop a new genetic tool that would allow permanently labeling of Chlamydia trachomatis host cells. The plan was to generate a Chlamydia trachomatis strain that encodes a recombinant CRE recombinase, fused to a secretory effector function of the Chlamydia type 3 secretion system (T3SS). Upon translocation into the host cell, this recombinant CRE enzyme could then, owing to its site-specific recombination function, switch a reporter gene contained in the host cell genome. To this end, the reporter line carried a membrane-tagged tdTomato (mT) gene flanked by two LoxP sequences followed by a GFP gene. The translocation of the recombinant CRE recombinase into this cell line was designed to trigger the recombination of the LoxP sites whereby the cells would turn from red fluorescence to green as an irreversible label of the infected cells. Successful execution of this mechanism would allow to draw a direct link between Chlamydia trachomatis infection and the subsequent fate of the infected cell.

Prognostic modelling of breast cancer patients: a benchmark of predictive models with external validation

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores – Sistemas Digitais e Percepcionais pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Evaluating Dynamic Signage for Emergency Evacuation using an Immersive Video Environment

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Type System for the ComponentJ Programming Language

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 Informática.

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Design of a balanced scorecard-type management system for a back-office department in a bank

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Evaluation of long term persistence of Diabetes Mellitus Type II treatment newly diagnosed patients in Lisbon and Tagus health administration region : a three year follow up study

RESUMO: Raional: A persistência à terapêutica é o tempo em qualquer antidiabético oral, desde o seu início até à descontinuação de todas as medicações ou até ao fim do período do estudo. Os objetivos deste estudo foi a análise da persistência à terapêutica no segundo e terceiro anos após início do tratamento em doentes adultos diagnosticados na região de Lisboa e Vale do Tejo e determinar o efeito de determinadas variáveis na persistência a longo prazo. Métodos: Um estudo retrospetivo não interventivo foi desenhado com base nos dados a obter do SIARS (prescrições e aquisições na farmácia) e Pordata. A persistência foi quantificada como a percentagem de doentes que continuam a adquirir pelo menos um antidiabético oral ao segundo e terceiro anos após a compra da primeira receita. A associação entre a persistência e o segundo e terceiro anos com cada uma das co-variáveis foi aferido pelo teste qui-quadrado e os odd ratios foram calculados com recurso a um modelo de regressão logística. Resultados: A persistência à terapêutica obtida foi de 80% e 62% para o segundo e terceiro anos após início da terapêutica. Odd ratios para primeiro e segundo ano: número de grupos farmacoterapêuticos diferentes (OR = 2.167, 1.807 – 2.598, p = 0.000 / OR = 1.863, 1.621 – 2.142, p = 0.000); idade (OR = 0.914, 0.772 – 1.081, p = 0.294 / OR = 0.875, 0.764 – 1.002, p = 0.054); sexo (OR = 1.163, 0.983 – 1.377, p = 0.079); número de diferentes prescritores (OR = 3.594, 3.030 – 4.262, p = 0.000 / OR = 2.167, 1.886 – 2.491, p = 0.000); instituição de prescrição (OR = 0.725, 0.698 – 0.753, p = 0.000 / OR = 0.683, 0.650 – 0.717, p = 0.000); grupo farmacoterapêutico (OR = 1.056, 1.043 – 1.069, p = 0.000 / OR = 1.077, 1.060 – 1.095, p = 0.000); relação com o médico (OR = 0.834, 0.816 – 0.852, p = 0.000 / OR = 0.799, 0.777 – 0.821, p = 0.000) e custo médio mensal por grupo farmacoterapêutico (OR = 0.954, 0.942 – 0.968, p = 0.000 / OR = 0.930, 0.914 – 0.947, p = 0.000). Conclusões: O valor da persistência à terapêutica no segundo ano é ligeiramente acima do que é mencionado na literatura e não existem dados para comparar os resultados do terceiro ano. Relativamente ao efeito das co-variáveis no segundo e terceiro anos após o início do tratamento, os resultados são sobreponíveis, sendo que o sexo não está associado à persistência ao terceiro ano.----------------------------------ABSTRACT: Background: Therapy persistence is the time on any antidiabetic medication, from initiation of therapy to discontinuation of all medications or the end of the study period. The aim of the study was to analyse the therapy persistence in the second and third years after treatment initiation in newly diagnosed adult patients in the Lisbon and Tagus Valley region and to determine the effect of several co-variables in the long term persistence. Methods: A retrospective non-interventional study based on SIARS data (drug prescriptions and acquisitions) and Pordata was designed. Persistence was quantified as the percentage of patients that continued to purchase at least one type of antidiabetic at year 2 and 3 after the date of first prescription acquisition. Association between persistence at second and third years with each of the other co-variables were verified by using the Chi-Square test and odds ratio were calculated using a regression logistic model. Results: Therapy persistence obtained was 80% and 62% for the second and third years after treatment initiation. Odd ratios for second and third years: number of different pharmacotherapeutic groups (OR = 2.167, 1.807 – 2.598, p = 0.000 / OR = 1.863, 1.621 – 2.142, p = 0.000); age (OR = 0.914, 0.772 – 1.081, p = 0.294 / OR = 0.875, 0.764 – 1.002, p = 0.054); gender (OR = 1.163, 0.983 – 1.377, p = 0.079); number of different prescribers (OR = 3.594, 3.030 – 4.262, p = 0.000 / OR = 2.167, 1.886 – 2.491, p = 0.000); institution of prescription (OR = 0.725, 0.698 – 0.753, p = 0.000 / OR = 0.683, 0.650 – 0.717, p = 0.000); pharmacotherapeutic group (OR = 1.056, 1.043 – 1.069, p = 0.000 / OR = 1.077, 1.060 – 1.095, p = 0.000); relationship with the physician (OR = 0.834, 0.816 – 0.852, p = 0.000 / OR = 0.799, 0.777 – 0.821, p = 0.000) and average cost per month and per pharmacotherapeutic group (OR = 0.954, 0.942 – 0.968, p = 0.000 / OR = 0.930, 0.914 – 0.947, p = 0.000). Conclusions: Second year therapy persistence value is slightly above of what is referenced in literature and no data was found to compare the third year value. Regarding the effect of the co-variables analysed at second and third years after treatment initiation, the results were overlapping with gender being not associated with persistence at the third year.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.