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

Type-based protocol conformance and aliasing control in concurrent java programs

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

The effects of rent control in Lisbon

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

The influence of menopausal status on bone turnover and disease control in breast cancer patients with metastatic bone disease treated with chemotherapy plus zoledronic acid : an exploratory retrospective cohort study

RESUMO: Introdução: Uma meta-análise recente demonstrou que uso adjuvante de ácido zoledrónico (AZ) em mulheres pós-menopáusicas com cancro da mama precoce (CM) conduz a redução do risco de morte por CM em 17%. Investigámos o efeito do estado hormonal (pré [PrM] vs pós-menopausa tardia [PoM]) na remodelação óssea e controlo de doença em mulheres com CM e metástases ósseas (MO) tratadas com AZ e quimioterapia (QT). Métodos: Neste estudo de coorte retrospetivo, colhemos variáveis clinico-patológicas e quantificámos o telopéptido N-terminal (NTX) urinário e marcadores tumorais (MT) séricos em mulheres com CM e MO tratadas com QT e AZ. As doentes foram divididas em PrM (<45 anos) e PoM (>60 anos). Endpoints do estudo: variação do NTX, CA15.3 e CEA nos meses 3, 6 e 9, tempo até falência de QT de primeira-linha e sobrevivência. Quando apropriado foram usados os testes de Wilcoxon rank-sum, modelo de efeitos lineares mistos, teste log-rank e modelo de Cox. Resultados: Quarenta doentes foram elegíveis para análise (8 PrM e 32 PoM). Depois da introdução de AZ e QT, os níveis de NTX e MT caíram no coorte global. O perfil de resposta não diferiu entre grupos no mês 3 ou em tempos posteriores (valor-p para interação tempo-estado hormonal no mês 3=0.957). Ademais, o perfil de resposta dos MT também não diferiu entre grupos. O tempo mediano até falência de primeira-linha de QT em PrM e PoM foi de 15.2 e 17.4 meses, respetivamente. Não foi identificada diferença significativa entre grupos, quer em análise univariada quer após controlo para envolvimento visceral (p=0.399 e 0.469, respetivamente). Igualmente, não houve diferenças em termos de sobrevivência. Conclusões: Neste coorte, não foram identificadas diferenças no controlo de NTX ou MT em função do estado menopausico. Igualmente, não foi identificada diferença no tempo até falência de primeira-linha de CT ou sobrevivência.----------- ABSTRACT: Background: A recent meta-analysis showed that the adjuvant use of zoledronic acid (ZA) in postmenopausal women with early breast cancer (BC) leads to a reduction in the risk of breast cancer death by 17%. We investigated the effect of the hormonal status (pre [PrM] vs late post menopause [PoM]) on bone turnover and disease control among women with BC and boné metastases (BM) treated with ZA and chemotherapy (CT). Methods: In this retrospective cohort study, we collected clinicopathologic variables, urinary Nterminal telopeptide (NTX) and serum tumor marker levels from women with BC and BM treated with CT and ZA. Patients were divided in PrM (<45 years) and PoM (>60 years). Study endpoints were NTX, CA15.3 and CEA variation at 3, 6 and 9 months, and time to first-line CT failure and survival. We performed multilevel mixed-effects linear regression models to assess the variation of repeated measures and cox regression models for time to event outcomes. Results: Forty patients were eligible for analysis (8 PrM and 32 PoM). After introduction of ZA and CT, NTX and tumor markers declined in the overall cohort. Response profile was similar between menopausal groups at month 3 and at later time points (p-value for time-hormonal status interaction at month 3=0.957). Furthermore, tumor markers response profile was also equal between groups. Median time to first-line CT failure in PrM and PoM women was 15.2 and 17.4 months, respectively. No significant difference between groups was found, either using a univariate analysis or after controlling for visceral disease involvement (p=0.399 and 0.469, respectively). Likewise, no differences in survival were found. Conclusions: In this cohort, no differences were found in terms of NTX or tumor markers control according to menopausal status. Similarly, no difference in time to first-line CT failure or survival was found.

Analysis of metabolic flux distributions in relation to the extracellular environment in Avian cells

Continuous cell lines that proliferate in chemically defined and simple media have been highly regarded as suitable alternatives for vaccine production. One such cell line is the AG1.CR.pIX avian cell line developed by PROBIOGEN. This cell line can be cultivated in a fully scalable suspension culture and adapted to grow in chemically defined, calf serum free, medium [1]–[5]. The medium composition and cultivation strategy are important factors for reaching high virus titers. In this project, a series of computational methods was used to simulate the cell’s response to different environments. The study is based on the metabolic model of the central metabolism proposed in [1]. In a first step, Metabolic Flux Analysis (MFA) was used along with measured uptake and secretion fluxes to estimate intracellular flux values. The network and data were found to be consistent. In a second step, Flux Balance Analysis (FBA) was performed to access the cell’s biological objective. The objective that resulted in the best predicted results fit to the experimental data was the minimization of oxidative phosphorylation. Employing this objective, in the next step Flux Variability Analysis (FVA) was used to characterize the flux solution space. Furthermore, various scenarios, where a reaction deletion (elimination of the compound from the media) was simulated, were performed and the flux solution space for each scenario was calculated. Growth restrictions caused by essential and non-essential amino acids were accurately predicted. Fluxes related to the essential amino acids uptake and catabolism, the lipid synthesis and ATP production via TCA were found to be essential to exponential growth. Finally, the data gathered during the previous steps were analyzed using principal component analysis (PCA), in order to assess potential changes in the physiological state of the cell. Three metabolic states were found, which correspond to zero, partial and maximum biomass growth rate. Elimination of non-essential amino acids or pyruvate from the media showed no impact on the cell’s assumed normal metabolic state.

Control in distribution networks with demand side management

The way in which electricity networks operate is going through a period of significant change. Renewable generation technologies are having a growing presence and increasing penetrations of generation that are being connected at distribution level. Unfortunately, a renewable energy source is most of the time intermittent and needs to be forecasted. Current trends in Smart grids foresee the accommodation of a variety of distributed generation sources including intermittent renewable sources. It is also expected that smart grids will include demand management resources, widespread communications and control technologies required to use demand response are needed to help the maintenance in supply-demand balance in electricity systems. Consequently, smart household appliances with controllable loads will be likely a common presence in our homes. Thus, new control techniques are requested to manage the loads and achieve all the potential energy present in intermittent energy sources. This thesis is focused on the development of a demand side management control method in a distributed network, aiming the creation of greater flexibility in demand and better ease the integration of renewable technologies. In particular, this work presents a novel multi-agent model-based predictive control method to manage distributed energy systems from the demand side, in presence of limited energy sources with fluctuating output and with energy storage in house-hold or car batteries. Specifically, here is presented a solution for thermal comfort which manages a limited shared energy resource via a demand side management perspective, using an integrated approach which also involves a power price auction and an appliance loads allocation scheme. The control is applied individually to a set of Thermal Control Areas, demand units, where the objective is to minimize the energy usage and not exceed the limited and shared energy resource, while simultaneously indoor temperatures are maintained within a comfort frame. Thermal Control Areas are overall thermodynamically connected in the distributed environment and also coupled by energy related constraints. The energy split is performed based on a fixed sequential order established from a previous completed auction wherein the bids are made by each Thermal Control Area, acting as demand side management agents, based on the daily energy price. The developed solutions are explained with algorithms and are applied to different scenarios, being the results explanatory of the benefits of the proposed approaches.