Fatores associados à soropositividade do teste ML Flow em pacientes e contatos de pacientes com hanseníase menores de 18 anos

Estudo transversal em menores de 18 anos, sendo 115 casos novos de hanseníase e 1.011 contatos intradomiciliares. Determinaram-se as proporções da soropositividade do ML Flow e fatores associados ao teste positivo. Observou-se soropositividade em 21,7% dos pacientes e 19,7% dos contatos. Nos pacientes, a regressão logística indicou associação com baciloscopia positiva e número de lesões cutâneas maior que cinco. A análise por árvore de decisão mostrou associação com baciloscopia, classificação de Madri, número de nervos acometidos e idade. Nos contatos, as duas análises indicaram as mesmas associações: classificação do caso-índice, idade e tipo de serviço de saúde. As variáveis que explicaram melhor a soropositividade, em menores de 18 anos, são aquelas associadas à maior carga bacilar. Assim, o teste ML Flow poderia ser utilizado também na infância para ajudar na correta classificação dos pacientes para tratamento e na identificação dos contatos com maior risco de desenvolver hanseníase.

Uso do teste ML Flow em escolares diagnosticados com hanseníase no município de Paracatu, Minas Gerais

A detecção da hanseníase no município de Paracatu é elevada em menores de quinze anos, abrangendo cerca de 6,8/10.000 hab. em 2003 e é classificada como hiperendêmica. O estudo objetiva analisar a aplicação do teste sorológico do PGL-1 (ML Flow) em 56 de 68 pacientes escolares da rede pública, diagnosticados com hanseníase através da busca ativa de casos no município de Paracatu - MG (2004 a 2006), sendo 71%, paucibacilares. Cerca de 85,2% dos pacientes residiam na área urbana, 55,8% eram do sexo feminino e a doença predominava no grupo de 10 a 14 anos (IC95%:0,49-0,89%) e χ²=7,376, sendo que 15 (26,7%) com resultado do ML Flow positivo. Cinco pacientes tinham incapacidades do Grau 1, da forma clínica Dimorfa (40% ML Flow positivo). O percentual de casos de hanseníase entre os contatos intradomiciliares foi de 46,4%, sendo que 44,9% deles com resultado do teste do ML Flow positivo. O estudo sugere incorporar o teste ML Flow nos serviços de saúde, uma vez que o mesmo auxilia na classificação operacional da doença, controle de contatos intradomiciliares com resultado do teste positivo, visando à detecção precoce dos casos suspeitos de hanseníase.

Numerical modelling of compound channel flow

Fundação para a Ciência e a Tecnologia (FCT) - SFRH/BD/64337/2009 ; projects PTDC/ECM/70652/2006, PTDC/ECM/117660/2010 and RECI/ECM-HID/0371/2012

PV systems linked to the grid: parameter identification with a heuristic procedure

This paper focuses on a PV system linked to the electric grid by power electronic converters, identification of the five parameters modeling for photovoltaic systems and the assessment of the shading effect. Normally, the technical information for photovoltaic panels is too restricted to identify the five parameters. An undemanding heuristic method is used to find the five parameters for photovoltaic systems, requiring only the open circuit, maximum power, and short circuit data. The I–V and the P–V curves for a monocrystalline, polycrystalline and amorphous photovoltaic systems are computed from the parameters identification and validated by comparison with experimental ones. Also, the I–V and the P–V curves under the effect of partial shading are obtained from those parameters. The modeling for the converters emulates the association of a DC–DC boost with a two-level power inverter in order to follow the performance of a testing commercial inverter employed on an experimental system.

A method to correct the flow distortion of offshore wind data using CFD simulation and experimental wind tunnel tests

The assessment of wind energy resource for the development of deep offshore wind plants requires the use of every possible source of data and, in many cases, includes data gathered at meteorological stations installed at islands, islets or even oil platforms—all structures that interfere with, and change, the flow characteristics. This work aims to contribute to the evaluation of such changes in the flow by developing a correction methodology and applying it to the case of Berlenga island, Portugal. The study is performed using computational fluid dynamic simulations (CFD) validated by wind tunnel tests. In order to simulate the incoming offshore flow with CFD models a wind profile, unknown a priori, was established using observations from two coastal wind stations and a power law wind profile was fitted to the existing data (a=0.165). The results show that the resulting horizontal wind speed at 80 m above sea level is 16% lower than the wind speed at 80 m above the island for the dominant wind direction sector.

Severity of atopic dermatitis and Ascaris lumbricoides infection: an evaluation of CCR4+ and CXCR3+ helper T cell frequency

INTRODUCTION: Ascaris lumbricoides-infected patients present lower prevalence of severe atopic dermatitis. METHODS: Peripheral blood of infected children with atopic dermatitis was assessed by flow cytometry of the frequency of Th1 and Th2 cells through the expression of CXCR3 and CCR4 chemokine receptors, respectively. RESULTS: Helminth-free patients with atopic dermatitis presented a high frequency of CCR4+Th2 cells. Parasitized patients with atopic dermatitis showed a lower frequency of CXCR3+Th1 cells compared to infected individuals only. CONCLUSIONS: Ascariasis modifies the blood traffic of Th2 cells in atopic dermatitis patients, while the allergic disease down-regulates the traffic of Th1 cells in parasitized patients.

Almirante: Evaluating the board game: Board game, startup, discounted cash flow, venture capital method, real options

This thesis evaluates a start-up company (Jogos Almirante Lda) whose single asset is a board game named Almirante. It aims to conclude whether it makes sense to create a company or just earn copyrights. The thesis analyzes the board game’s market, as part of the general toy’s market, from which some data exists: European countries as well as the USA. In this work it is analyzed the several ways to finance a start-up company and then present an overview of the valuation of the Jogos Almirante based on three different methods: Discounted Cash Flow, Venture Capital Method and Real Options.

How can Impresa increase the traffic of expresso website?

This report aims at describing the project developed in the Customer Relationship Management Field Lab, under a partnership established between Nova SBE and the group IMPRESA. The major goal was to elaborate on possible initiatives to increase the traffic on the website of Expresso, which were supported by evidences found through structured interviews and the company’s internal data. As the main findings are the increasing role of mobile devices and social media on the news’ consumption habits. These encourage an integrated improvement of the overall digital offer of Expresso, in a perspective of brand and audience development that should be a goal for the whole company.

Does direct cash flow presentation help in predicting future operating cash flow?

Research literature and regulators are unconditional in pointing the disclosure of operating cash flow through direct method a section of unique information. Besides the intuitive facet, it is also consistent in forecasting future operating cash flows and a cohesive piece to financial statement puzzle. Bearing this in mind, I produce an analysis on the usefulness and predictive ability on the disclosure of gross cash receipts and payments over the disclosure of reconciliation between net income and accruals for two markets with special features, Portugal and Spain. Results validate the usefulness of direct method format in predicting future operating cash flow. Key

The flow-performance relationship around the world

We use a new dataset to study how mutual fund flows depend on past performance across 28 countries. We show that there are marked differences in the flow-performance relationship across countries, suggesting that US findings concerning its shape do not apply universally. We find that mutual fund investors sell losers more and buy winners less in more developed countries. This is because investors in more developed countries are more sophisticated and face lower costs of participating in the mutual fund industry. Higher country-level convexity is positively associated with higher levels of risk taking by fund managers.

Perfil imunológico de grávidas atópicas versus grávidas saudáveis

RESUMO: A prevalência das doenças atópicas tem vindo a aumentar, em especial ao nível dos países ocidentalizados. Vários fatores têm sido apontados para justificar este aumento de prevalência,destacando-se o reduzido tamanho das famílias, o elevado uso de antibióticos, a melhoria das condições sanitárias, bem como a diminuição quer das infeções de helmintas, quer da contaminação orofecal. Alguns estudos têm também avaliado a influência do ambiente pré-natal no desenvolvimento de atopia e asma. Da análise da literatura, parece inegável a importância deste período para o desenvolvimento do sistema imunitário. Neste âmbito, a transmissão de atopia à descendência em mulheres atópicas, e concretamente com asma alérgica, poderá ser moldada desde este período. A possibilidade de identificar marcadores de risco precoces para o desenvolvimento de atopia poderá ser o primeiro passo para o desenvolvimento de estratégias de prevenção para os indivíduos em risco. Este trabalho pretendeu abordar o sistema imunitário materno de forma a enriquecer a sua caraterização desde o terceiro trimestre da gravidez até ao fim do puerpério. Para além da exploração de perfis celulares e citocínicos maternos (nos quais se incluiu sobretudo a avaliação de diferentes populações de células T e B, com funções efetoras e reguladoras), foi também considerada a sua eventual relação com o desenvolvimento de atopia nas crianças. Foram recrutadas 135 mulheres com critérios para serem incluídas num dos 4 grupos do estudo: grávidas atópicas – GA (n=24), não grávidas atópicas – NGA (n=32), grávidas saudáveis – GS (n=44) e não grávidas saudáveis – NGS (n=35). Foram caraterizadas por Citometria de Fluxo populações de leucócitos e linfócitos, com particular interesse nos perfis maturativos de linfócitos T e B, bem como nas subpopulações de células T e B reguladoras. Foi ainda efetuada uma análise funcional, para avaliar a capacidade de produção de citocinas pelos linfócitos T e B. Foram igualmente avaliadas as concentrações de citocinas séricas por ensaios imunoenzimáticos. Estes parâmetros imunológicos maternos foram acompanhados desde o terceiro trimestre de gestação, até depois do puerpério (primeiras 6 semanas pós parto), e aos seis meses de idade, foi efetuada uma avaliação clínica das crianças. As mulheres não grávidas atópicas apresentaram contagens celulares mais elevadas para a generalidade das populações leucocitárias e linfocitárias (em relação a mulheres não grávidas saudáveis). Destaca-se ainda uma maior presença de eosinófilos nas mulheres NGA (p=0,0009; teste de Mann-Whitney U), que tinham igualmente os seus compartimentos linfocitários T e B mais ricos em células de memória, em relação às mulheres NGS. Para os perfis de regulação, verificou-se que as células T reguladoras se encontravam percentualmente aumentadas (p≤0,003; teste de Mann-Whitney U), tal omo as células T produtoras de IL10 após estimulação (p≤0,03; teste de Mann-Whitney U) em mulheres NGA. Também se observou uma maior expressão de Foxp3 (p=0,0002; teste de Mann-Whitney U), e ainda a diminuição dos níveis séricos de IFN-γ nas mulheres NGA (p=0,0019; teste de Mann-Whitney U), em relação a mulheres NGS. De um modo geral, as alterações verificadas nos parâmetros imunológicos de mulheres grávidas atópicas no terceiro trimestre da gravidez foram semelhantes às observadas em mulheres grávidas saudáveis. Comparadas com mulheres NGA, nas mulheres grávidas atópicas ocorreu uma alteração substancial da fórmula leucocitária, com um importante incremento de neutrófilos (p<0,0001; teste de Mann-Whitney U) e diminuição dos valores das restantes populações leucocitárias. A diminuição nas contagens de linfócitos totais estendeu-se a grande parte das subpopulações linfocitárias caraterizadas. Nos compartimentos linfocitários T e B foi possível observar uma diminuição das subpopulações de células de memória. Verificou-se igualmente na gravidez uma menor expressão de Foxp3 em mulheres GA (p<0,0001; teste de Mann-Whitney U) e ainda menos células B CD24HiCD38Hi circulantes (p=0,0012; teste de Mann-Whitney U). Ocrreu ainda uma diminuição relativa das células T CD4 produtoras de IFN-γ em mulheres GA (p≤0,024; teste de Mann-Whitney U), e uma maior presença de células T CD8 produtoras de IL17 (p=0,0172; teste de Mann-Whitney U), em relação ao observado em mulheres NGA. Depois do puerpério, no compartimento T de mulheres do grupo GA, verificou-se um aumento das populações de células de memória. Em comparação com a gravidez, após o puerpério o compartimento B, apresentou nas mulheres GA um aumento significativo da subpopulação de células B de transição (p<0,0001; teste de Wilcoxon). Verificou-se, igualmente em mulheres GA após o puerpério, uma maior expressão de Foxp3 nas células T reguladoras (p<0,0001; teste de Wilcoxon) e o aumento das populações de células T circulantes produtoras de IFN-γ (p≤0,0234; teste de Wilcoxon). As modulações das populações T e B desde a gravidez até depois do puerpério ocorreram de forma semelhante nas mulheres dos grupos GA e GS. Apesar de as mulheres GA manterem um perfil imunológico próximo do das mulheres GS depois do puerpério, aconteceu também neste período um processo de reaproximação ao perfil observado nas mulheres NGA. As mulheres GA com manifestações de risco para atopia na descendência (comparadas com mulheres GA sem manifestações de risco para atopia na descendência até aos 6 meses de vida) apresentaram uma maior proporção de células T e menor proporção de células B, percentagens mais elevadas de células T CD8 de memória efetoras, de células B de transição e de células B CD24HiCD38Hi, e contagens mais baixas de células B de memória. Na avaliação destes parâmetros como marcadores de risco para o desenvolvimento de atopia verificou-se que o parâmetro com melhor desempenho foi a percentagem de células B de transição, com uma Odds-Ratio de 54,0 [IC 95%: 4,2-692,9; (p=0,0005)], sensibilidade de 90,0% [IC 95%: 55,5 – 99,8] e especificidade de 85,7% [IC 95%: 57,2 – 98,2]. Este estudo foi pioneiro em Portugal, e no mundo, no que se refere ao acompanhamento do compartimento linfocitário B circulante, abordando o seu perfil de maturação, e em particular as células B com funções reguladoras, desde a gravidez até ao fim do puerpério, em mulheres atópicas e não atópicas. A este nível, encontram-se estudos na literatura a documentar a alteração do compartimento B durante a gravidez. O presente trabalho reporta agora que alterações, como a diminuição do número de células B em circulação, são impostas também na mulher atópica. Em suma, demonstrou-se a existência de um perfil imunológico caraterístico em mulheres atópicas, que sofre alterações significativas durante a gravidez, tendendo os parâmetros imunológicos a normalizar após o puerpério. O compartimento T, para o qual a literatura é mais rica em estudos e abordagens, demonstrou também neste trabalho oscilações caraterísticas entre o período pré e pós-natal. Verificaram-se sobretudo variações nos compartimentos de células T de memória, sem grandes alterações ao nível das células Treg no que se refere à sua presença em circulação. Apenas a registar a menor expressão de Foxp3 nas células Treg durante a gestação observada em mulheres atópicas, tal como em mulheres saudáveis (como também já foi relatado em estudos anteriores). Apesar de muitos dos dados se encontrarem em concordância com a literatura, quer no que se refere às subpopulações de células de memória, quer no que se refere às células Treg, também se encontram resultados discordantes, por exemplo documentando variações numéricas nas células Treg em circulação em mulheres atópicas e mulheres atópicas grávidas. A importância de harmonizar protocolos e fenótipos, parece crucial na abordagem de estudos futuros. Ao nível do risco para a atopia na descendência de mulheres atópicas, acrescentou-se ainda a possibilidade de definir marcadores não invasivos para a criança, em particular as células B de transição. Estas células, cuja maior presença em circulação no recém-nascido foi recentemente associada com manifestações alérgicas subsequentes, são agora apontadas já na mulher atópica, grávida do terceiro trimestre, como um elemento de risco para o desenvolvimento de atopia. Os marcadores de risco descritos, para além de facilmente poderem vir a ser englobados no âmbito dos normais rastreios maternos durante a gravidez, apresentam ainda a vantagem da precocidade do diagnóstico, permitindo não só a possibilidade de prevenção pós-natal, mas estendendo esta possibilidade ao período gestacional.----------------------------ABSTRACT: The prevalence of atopic diseases has been increasing, especially in Westernized countries. Several factors have been suggested to justify this increase in prevalence, as the small size of families, the high use of antibiotics, the improvement in sanitation conditions, as well as the reduction of both helminth infections, and orofecal contamination. A few studies have adressed the influence of prenatal environment on the development of atopy and asthma. From literature, it seems undeniable the importance of the prenatal period for the development of the immune system. In this context, the transmission of atopy to the progeny in atopic women, and specifically in women with allergic asthma, can be modulated from this period on. The ability to detect early risk markers for the development of atopic diseases may be the first step in the development of prevention strategies for individuals at risk. This study aimed to approach the maternal immune system in order to enrich its characterization from the third trimester of pregnancy until the end of the puerperium period. In addition to the evaluation of the maternal cellular profiles (in which, mostly, diferente populations of T and B cells with effector and regulatory functions were included) and citokines, the relation between these profiles and the development of atopy in the progeny was also assessed. 135 women were recruited for this study, and fullfiled the inclusion criteria necessary to be included in one of the four groups preset: atopic pregnant women - GA (n = 24), atopic nonpregnant women - NGA (n = 32), healthy pregnant women - GS (n = 44) and healthy nonpregnant women - NGS (n = 35). Populations of leukocytes and lymphocytes, and particularty maturation profiles of T and B lymphocytes, as well as subpopulations of T and B cells with regulatory functions, were characterized by flow cytometry. Functional assays were also performed, to assess the ability of cytokine production by T and B lymphocytes. Serum cytokine concentrations were assessed as well by enzymatic immunoassays. These maternal imune parameters were monitored since the third trimester of pregnancy until the end of the puerperium period (first six weeks after delivery). A clinical evaluation of all the newborn children was performed at the age of six months. Non-atopic pregnant women presented higher cell counts for most leukocyte and lymphocyte populations (compared to healthy non-pregnant women). We should also highlight the increased presence of eosinophils in NGA women (p = 0,0009; Mann-Whitney U test). Again compared to NGS women, NGA women showed increased memory cells within the circulating T and B lymphocyte compartments. Considering the regulatory profiles, NGA women presented higher percentages of regulatory T cells (p≤0,003; Mann-Whitney U test) and IL10 producing T cells after stimulation (p≤0,03; Mann Whitney U), as well as increased expression of Foxp3 (p = 0,0002; Mann-Whitney U test), and also decreased serum levels of IFN-γ (p = 0,0019; test Mann-Whitney U test) compared to NGS women. In general, the changes observed in immune parameters of atopic pregnant women in the third trimester of gestation were similar to those observed in healthy pregnant women. Comparing pregnant and non-pregnant atopic women, an important change in leukocyte subsets was observed, with a significant increase of neutrophils (p <0,0001; Mann-Whitney U test) and the consequent diminution of the remaining leukocyte populations in the GA group. The decrease in total lymphocyte counts was extended to most of the lymphocyte subsets characterized. It was possible to detect a decrease in memory cell subsets within the T and B lymphocyte compartments, also. During pregnancy, a lower expression of Foxp3 was reported in GA women (p <0,0001; Mann-Whitney U test) and, besides, lesser CD24HiCD38Hi B cells were present in circulation in these women, compared to NGA women (p = 0,0012; Mann-Whitney U test). There was still a decrease in the percentages of IFN-γ-producing CD4 T cells in GA women (p≤0,024; Mann-Whitney U test) and a greater presence of IL17-producing CD8 T cells (p = 0,0172; Mann-Whitney U test), compared to the levels observed in NGA women. At the end of the puerperium, there was an increase in memory cell subpopulations within the T cell compartment of GA women. Compared with the pregnancy evaluation, after puerperium, the B cell compartment showed a significant increase in the transitional subpopulation (p<0,0001; Wilcoxon test), in GA women. Moreover, after puerperium, GA women exhibited a greater expression of Foxp3 in Treg cells (p <0,0001; Wilcoxon test) and there was an increase in circulating IFN-γ-producing T cells (p≤0,0234; Test Wilcoxon). The modulations of T and B cell subpopulations from pregnancy until the end of puerperium were similar in women of GA and GS groups. Although at the end of puerperium, GA women still kept an immune profile close the one observed in GS women, at this time point, there were also signs of rapprochement between the immune profiles observed in women of GA and NGA groups. GA women with atopic manifestations in the offspring (compared to GA women without atopic manifestations in the offspring at the age of 6 months) presented higher proportions of T cells and lower proportions of B cells, higher percentages of effector memory CD8 T cells, transitional B cells and CD24HiCD38Hi B cells, and, finally, lower absolute counts of memory B cells. In the evaluation of these parameters as risk markers for the development of atopy, the parameter which presented the best performance was the percentage of transitional B cells, with an Oddsratio of 54,0 [95% CI: 4,2 to 692,9; (p = 0,0005)], sensitivity of 90,0% [95% CI: 55,5 to 99,8] and a specificity of 85,7% [95% CI: 57,2 to 98,2]. This study was a pioneer in Portugal, and in the world, in what concerns the monitoring of the circulating B cell compartment, addressing not only the maturation profile, but, in particular, B cells with regulatory functions, from pregnancy untill after puerperium, in atopic and non-atopic women. Literature presents evidence of a typical change in circulating B cells during pregnancy. This study now reports that changes, such as the decrease in the number of circulating B cells,/ are also imposed by pregnancy in atopic woman. In brief, it demonstrated the existence of a characteristic immune profile in atopic women, which undergoes significant alterations during pregnancy, tending to normalize after the puerperium. As for the T cell compartment, for which the literature is richer in studies and approaches, this study also showed characteristic fluctuations between the pre- and postnatal periods. There were variations mostly in the memory subsets within the T cell compartment, without major changes in regulatory T cells regarding their presence in circulation. Only the expression of Foxp3 in Treg cells presented lower levels during pregnancy, in both atopic and healthy women (as previously reported in other studies). Although much of the data now reported are in agreement with literature, regarding either memory cell subsets or regulatory T cells, there are also conflicting results, for example documenting changes in the numbers of regulatory T cells circulating in atopic pregnant and atopic non-pregnant women. The importance of harmonizing protocols and phenotypes seems crucial for the establishement of future studies. Considering the risk for atopy in the offspring of atopic women, this study added the possibility to define non-invasive markers for the child, in particular transitional B cells. These cells, whose greater presence in circulation in newborns has recently been associated with subsequent allergy development, are here identified in atopic pregnant women in the third trimester of gestation as a risk factor in the development of atopy in their progeny. The risk factors described, besides having the capacity to easily become integrated within the normal maternal screening protocols during pregnancy, also have the advantage of an early diagnosis, allowing not only the possibility of postnatal prevention but extending this possibility to the prenatal period.

The effect of energy and traffic light labeling on parents purchasing decisions of cereals for their children

Objective: Nutritional labeling systems are considered a tool to fight obesity since they aim to contribute for more informed food choices as well as assist consumers to make healthier nutrition options and in this manner, contribute to a decrease in the obesity rate. This study intends to analyze the effect of different types of labeling systems on parents’ purchasing decisions for their children on a specific product: breakfast cereals. More precisely, how labels affect parents’ perception of healthiness regarding cereals and if the nutritional information has an effect on intended purchases for their children. Participants and methods: We conducted a study with 135 Portuguese parents of children aged 4 to12 years. Parents answered a questionnaire with one of three hypothetical cereals menus. Menus only differed in their nutritional labeling technique: no labels (control group), reference intake labels or traffic light labels. In addition, we conducted 20 face-to-face interviews to a different group of parents in order to perform a recall task. Findings: This paper provides no evidence to suggest that energy labeling or traffic light labeling systems alone were successful in helping parents making healthy purchases of cereals for their children. Therefore, there is the need to promote supplementary policies to encourage the consumption of healthier food and help fight obesity.

Adductor policis muscle: a new anthropometric parameter

PURPOSE: To measure the thickness of adductor pollicis muscle in healthy adults. This measurement will be used as a nutritional anthropometric parameter in further studies. SUBJECTS AND METHOD: Four hundred and twenty-one healthy adults were studied, 209 men and 212 women, with ages ranging from 18 to 87 years, living in Rio de Janeiro. The adductor pollicis muscle was also studied in the human anatomy lab as well as in normal healthy volunteers using CAT scans and nuclear magnetic resonance imaging to ensure that only the adductor pollicis was included in measurement of muscle thickness with a Lange caliper. To standardize the measurement, the methodology was detailed, with subjects sitting with the dominant hand dangling over the homolateral thigh and the elbow bent at approximately a 90° angle. The Lange caliper was applied at a pressure of 10 g/mm², pinching the adductor pollicis muscle at the vertex of an imaginary angle between the thumb and the index finger. The average of 3 consecutive measurements was considered to be the muscle thickness. RESULTS: This study provides the first estimates of adductor pollicis thickness in normal healthy subjects as an anthropometric parameter. The normal values in the dominant hand for men were 12.5 ± 2.8 mm (mean ± SD), median 12 mm, and for women were 10.5 ± 2.3 mm, median 10 mm.

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/.

Reporting cash flow evidence from campanies listed in the Euronext Lisbon

Based on the 2013 and 2014 consolidated statements of cash flows of companies listed in Euronext Lisbon, this Work Project analyses the cash flow disclosures, namely if they are in accordance with International Accounting Standards 7, specifically the format, the choice of classification interests, dividends paid and received and the composition of cash and cash equivalents. Additionally, quality of income ratio is analyzed due to its importance for users of financial statements. The results show evidence of uniformity and consistency in the use of the direct method for reporting operational activities in both years, but there are some differences regarding the disclosure of interests and dividends, paid and received, respectively.