Interpretation of the presence of IgM and IgG antibodies in a rapid test for dengue: analysis of dengue antibody prevalence in Fortaleza City in the 20th year of the epidemic

INTRODUCTION: The diagnosis of dengue and the differentiation between primary and secondary infections are important for monitoring the spread of the epidemic and identifying the risk of severe forms of the disease. The detection of immunoglobulin (Ig)M and IgG antibodies is the main technique for the laboratory diagnosis of dengue. The present study assessed the application of a rapid test for dengue concerning detection of new cases, reinfection recognition, and estimation of the epidemic attack rate. METHODS: This was a retrospective, cross-sectional, descriptive study on dengue using the Fortaleza Health Municipal Department database. The results from 1,530 tested samples, from 2005-2006, were compared with data from epidemiological studies of dengue outbreaks in 1996, 2003, and 2010. RESULTS: The rapid test confirmed 52% recent infections in the tested patients with clinical suspicion of dengue: 40% detected using IgM and 12% of new cases using IgG in the non-reactive IgM results. The positive IgM plus negative IgG (IgM+ plus IgG-) results showed that 38% of those patients had a recent primary dengue infection, while the positive IgG plus either positive or negative IgM (IgG+ plus IgM+/-) results indicated that 62% had dengue for at least a second time (recent secondary infections). This proportion of reinfections permitted us to estimate the attack rate as >62% of the population sample. CONCLUSIONS: The rapid test for dengue has enhanced our ability to detect new infections and to characterize them into primary and secondary infections, permitting the estimation of the minimal attack rate for a population during an outbreak.

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.

Microvascularização arterial da cóclea

RESUMO: Na descrição deste estudo foi utilizada a terminologia anatómica da Sociedade Brasileira de Anatomia adaptada ao português por J. A. Esperança-Pina de acordo com o tratado Anatomia Humana da Relação. Os actuais estudos sobre hipoacusia sensorioneural implicam um grupo crescente de situações, em que a lesão se situa ao nível da microvascularização coclear, daí que o conhecimento exacto da angiomorfologia normal se torne essencial na fase actual do conhecimento. A autora tem vindo a estudar, desde 1986, a angiomorfologia do ouvido Interno no modelo experimental, o Cobaio, utilizando várias técnicas microvasculares. sendo dado enfâse particular neste estudo à técnica de microscopia electrónica de varrimento em moldes vasculares. Os animais usados no presente estudo pertencem à espécie cavia porcellus, cobaio, por serem considerados na comunidade cientifica internacional como o melhor modelo experimental para estudo do ouvido interno, pelo facto de a morfologia coclear ser muito semelhante à do Homem e por isso ser um modelo fiável para cirurgia experimental e microdissecção. Este estudo foi realizado em 100 cobaios, cavia porcellus, de ambos os sexos com peso médio de 450g. A vascularização do ouvido interno, no cobaio como no homem, faz-se através dos ramos de divisão da artéria auditiva interna ou labiríntica. A artéria labiríntica origina-se como ramo colateral da artéria cerebelosa ântero-inferior a qual tem origem na artéria basilar ou na artéria vertebral. Embora no homem a artéria auditiva interna possa também destacar-se da artéria basilar e até da artéria vertebral, no cobaio em todos os casos estudados a sua origem verificou-se sempre na artéria cerebelosa ântero-inferior. A artéria labiríntica, ao passar abaixo do meato auditivo interno, divide-se na artéria vestibular anterior e na artéria coclear comum.A artéria vestibular anterior dirige-se para o nervo vestibular, emite vasa nervorum para este nervo e vasculariza o utrículo e os canais semicirculares. A artéria coclear comum origina dois ramos principais, a artéria vestíbulo‑coclear ou vestibular posterior no cobaio, a qual se destaca junto à espira basal da cóclea e a artéria coclear, como ramo terminal, que passa a denominar-se de artéria modiolar ou espiralada, após entrar no modíolo. A artéria modiolar ascende no modíolo promovendo através dos seus ramos colaterais e dos seus ramos terminais a microvascularização coclear, numa vascularização de órgão de tipo terminal. Ao longo do seu trajecto verificou‑se de modo constante uma redução gradual de calibre em cada uma das espiras, por emissão de ramos colaterais, sendo que o calibre da artéria na base da cóclea apresenta um valor que diminui gradualmente até ao ápice. A artéria modiolar origina em todo o seu trajecto ramos colaterais, cujo número diminui em valor absoluto da base para o ápice: Arteríolas radiárias internas, arteríolas de trajecto flexuoso que caminham junto às estruturas sensorioneurais da parede interna da cóclea, junto ao lábio timpânico da lâmina espiral óssea e na parede do próprio modíolo, que se relacionam intimamente com este. As arteríolas radiárias internas originam‑se no flanco da artéria modiolar espiralada. Contam‑se dez a doze em cada espira, extraordinariamente flexuosas desde a sua origem. As arteríolas radiárias internas originam como ramos colaterais, vários grupos de arteríolas de menor calibre, que vascularizam distintas regiões da parede interna da cóclea, as arteríolas do gânglio espiral, a rede espiral interna, as arteríolas de origem dos glomérulos de Schwalbe e a arteríola da lâmina basilar. As arteríolas radiárias externas importantes ramos colaterais da artéria modiolar espiralada promovem a vascularização de importantes estruturas da parede externa. Ao atingir o limite externo do ligamento espiral, as arteríolas radiárias externas dividem‑se em vários ramos arteriolares de menor calibre, ao longo da convexidade do limite externo do ligamento espiral, originando a rede capilar pós-estriada que ocupa a porção lateral do ligamento espiral e a rede capilar ad‑ -estriada, na sua porção mais medial em íntima relação com a estria vascular. A espira basal da cóclea apresenta grande riqueza de vascularização, com características particulares apenas a esta espira, a qual é metabolicamente a mais exigente. A arteríola da janela da cóclea aborda a janela da cóclea pela sua convexidade e divide-se numa rica rede vascular da qual emergem arteríolas pré-capilares que se ramificam em capilares, os quais se dirigem em profundidade penetrando a rampa timpânica da cóclea ao nível da espira basal. Importou neste estudo verificar quais as semelhanças em termos de calibre de estruturas análogas, na parede interna e na parede externa da cóclea, com particular incidência na rede capilar. Do estudo estatístico realizado com testes paramétricos de Tamahane e não paramétricos de Mann-Whitney, verifica-se que comparando todas as estruturas consideradas estas têm calibres diferentes, com excepção dos capilares da estria vascular e do ligamento espiral, pertencentes à parede externa da cóclea que têm calibres iguais aos capilares da rede espiral interna e aos capilares da parede interna da cóclea, dependentes das arteríolas da rede espiral interna. As redes capilares dependentes das arteríolas radiárias internas que vascularizam as estruturas sensorioneurais junto á parede interna do modiolo são em tudo semelhantes em termos de calibre às redes capilares da parede externa da cóclea, incluindo os capilares da estria vascular. Esta particularidade traduz num órgão com vascularização de tipo terminal,um mecanismo de controlo do fluxo sanguíneo coclear tão importante na parede interna como na parede externa da cóclea. ------------ ABSTRACT:Current studies on sensorineural hearing loss, imply a growing group of situations in which the lesion is located at the level of the cochlear microvasculature, hence the exact knowledge of normal angiomorfology becomes essential in current state of knowledge. The author has been studying since 1986, the angiomorfology of inner on the experimental model, the guinea pig, using various microvascular techniques being given particular emphasis in this study to the results of the technique of scanning electron microscopy on corrosion casts. The animals used in this study belong to the species cavia porcellus, guinea pig, to be considered in the international scientific community as the best experimental model for the study of the inner ear, the cochlear morphology is very similar to human and therefore a reliable model for experimental surgery and microdissection. This study was performed in 100 guinea pigs of both sexes with average weight of 450g. There shall be a brief description of embryology, anatomy and cochlear physiology in the light of developmental biology, regarding also the spatial location of the cochlea and the determinism of morphogenetic fields in their development and function. The cochlear transduction mechanism converts the sound wave in stimuli sound and so afferent auditory nerve fibres and deafness are closely related to the cochlear microvasculature. Cochlear ischemia is accompanied by immediate hearing loss. The different type of cochlear injury that leads to sensorineural deafness is well studied in presbycusis where an objective link with the audiometric pattern as been established. The sensory type of deafness, is closely related to the degeneracy of the organ of Corti and damage to the outer hair cells at the basal turn of the cochlea. Keeping in mind cochlear tonotopy with location of high frequency sounds at the level of the base of the cochlea, it explains the audiometric pattern with loss in high frequencies. The neural type of deafness, is characterized by neuronal loss with loss of descendant important neuronal afferents, with audiometric translation on a gradually curve with important loss of auditory discrimination. The metabolic type of deafness results in atrophy of the vascular stria, with consequent change in the potential of the endolymph by decreasing the vascular stria cells and changes in K + recycling mechanism. There is also a change in the morphology of the spiral ligament and the audiometric patern as a flattened curve with loss at all frequencies. Bearing in mind cochlear tonotopy and being characterized all types of sensorineural deafness, we may inquire to what extent the cochlear microvasculature, considering not only the cochlea as a whole but different regions of the inner wall and the outer wall of the cochlea, contributes to deafness. We analysed the entire cochlear morphology on scanning electron microscopy with particular emphasis on bone and membranous cochlea. The inner wall of the cochlea and intramodiolar structures such as the spiral ganglion, the morphology of its cell bodies and their axons are analyzed. The morphology of Corti’s organ is described in detail, with description and large detail of the inner and outer hair cells. Is then presented the study of the microvasculature itself. The spiral modiolar artery is observed with the diaphanization technique and the technique of scanning electron microscopy on corrosion vascular casts. After emergence of collateral branches of the greatest importance, the radiating internal and external arterioles, the modiolar artery gives rise to its terminal branches, the arterioles of the cochear apex. Arterial vasa vasorum and vasa nervorum are displayed with a great detail, which was not yet described in such detail in previous microvascular studies. The arterial radiating arterioles originate in the flank of the spiral modiolar artery in number of ten to twelve in each loop, and they vascularize through their branches the inner wall cochlear sensorineural structures located in the modiolus as the spiral ganglion and structures near the organ of Corti. Their caliber is above 20 μm on the basal turn and in the second loop it decreases to values between 12 and 20 μm, decreasing progressively to the apex of the cochlea.They arise near the modiolus or on their way in the spiral lamina forming vascular loops, and divide without presenting vascular constrictions in their divisions, originating new vascular loops of lower caliber. Internal ratiating arterioles originate as collateral branches several groups of smaller caliber arterioles, which vascularize distinct regions of the inner wall of the cochlea namely, the arterioles of the spiral ganglion, the internal spiral network, the arterioles of origin of the glomeruli of Schwalbe and the arterioles of the basilar membrane. The glomeruli of Schwalbe play an important functional role as relay-stations, in hemodynamic terms, to control the cochlear microvasculature. External radiating arterioles have their origin in the spiral modiolar artery, they are directed towards the outer wall of the cochlea and run through the roof of the scala vestibuli. Above the insertion of Reissner’s membrane on the external wall the external radiating arterioles originate the spiral ligament arterioles, which vascularize the spiral ligament, they divide into several arteriolar branches of smaller caliber, along the convexity of the outer edge of the spiral ligament. The connective tissue of the spiral ligament forms a mesh with supporting function of the highly specialized epithelium, where pericytes were identifiable. Next to its base there is the microvascular network of stria vascularis. The adstriated vascular network which is divided into a capillary network, the capillary network of stria vascularis. The stria vascularis, the only vascularized epithelium of the human body, plays an important role, forming an haemato-labyrintine barrier to assure labyrinthine endocochlear potential and transport of ions, essential for the mechanism of transduction of external hair cells. The cochlear basal turn has a special feature on its external wall, the region of the windows, the round windows giving access to scala tympani and the oval window thatleads into scala vestibuli, and so it is metabolic demanding. For their role in cochlear tonotopy the sensorineural structures and those of the external wall of the cochlea, are particularly vulnerable to hypoxia. Although the complementarity of all the techniques was important for three- -dimensional reconstruction of the microvasculature of the cochlea, the scanning electron microscopy technique, especially when we used the system Semafore was fundamental to perform precise morphometric mesures regarding all vascular structures.Regarding the capillaries of the inner and outer wall of the cochlea networks this technique allowed their characterization in morphometric terms. To conclude the capillaries of the inner wall and of the external wall of the cochlea have similar size. So although located at different cochlear regions, with a different functional role, in cochlear physiology these networks consist of capillaries of similar caliber. It seems to translate a cochlear blood flow control mechanism that is so important in the inner wall as in and the external wall of the cochlea to provide for in inner ear homeosthasia.

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.

The new economy: Essays in network economics and two-sided markets

Following the Introduction, which surveys existing literature on the technology advances and regulation in telecommunications and on two-sided markets, we address specific issues on the industries of the New Economy, featured by the existence of network effects. We seek to explore how each one of these industries work, identify potential market failures and find new solutions at the economic regulation level promoting social welfare. In Chapter 1 we analyze a regulatory issue on access prices and investments in the telecommunications market. The existing literature on access prices and investment has pointed out that networks underinvest under a regime of mandatory access provision with a fixed access price per end-user. We propose a new access pricing rule, the indexation approach, i.e., the access price, per end-user, that network i pays to network j is function of the investment levels set by both networks. We show that the indexation can enhance economic efficiency beyond what is achieved with a fixed access price. In particular, access price indexation can simultaneously induce lower retail prices and higher investment and social welfare as compared to a fixed access pricing or a regulatory holidays regime. Furthermore, we provide sufficient conditions under which the indexation can implement the socially optimal investment or the Ramsey solution, which would be impossible to obtain under fixed access pricing. Our results contradict the notion that investment efficiency must be sacrificed for gains in pricing efficiency. In Chapter 2 we investigate the effect of regulations that limit advertising airtime on advertising quality and on social welfare. We show, first, that advertising time regulation may reduce the average quality of advertising broadcast on TV networks. Second, an advertising cap may reduce media platforms and firms' profits, while the net effect on viewers (subscribers) welfare is ambiguous because the ad quality reduction resulting from a regulatory cap o¤sets the subscribers direct gain from watching fewer ads. We find that if subscribers are sufficiently sensitive to ad quality, i.e., the ad quality reduction outweighs the direct effect of the cap, a cap may reduce social welfare. The welfare results suggest that a regulatory authority that is trying to increase welfare via regulation of the volume of advertising on TV might necessitate to also regulate advertising quality or, if regulating quality proves impractical, take the effect of advertising quality into consideration. 3 In Chapter 3 we investigate the rules that govern Electronic Payment Networks (EPNs). In EPNs the No-Surcharge Rule (NSR) requires that merchants charge at most the same amount for a payment card transaction as for cash. In this chapter, we analyze a three- party model (consumers, merchants, and a proprietary EPN) with endogenous transaction volumes and heterogenous merchants' transactional benefits of accepting cards to assess the welfare impacts of the NSR. We show that, if merchants are local monopolists and the network externalities from merchants to cardholders are sufficiently strong, with the exception of the EPN, all agents will be worse o¤ with the NSR, and therefore the NSR is socially undesirable. The positive role of the NSR in terms of improvement of retail price efficiency for cardholders is also highlighted.

Genome-scale metabolic network reconstruction of Polaromonas sp. strain JS666: analysis of cDCE degradation rates and design of experiments for bioremediation improvement

Release of chloroethene compounds into the environment often results in groundwater contamination, which puts people at risk of exposure by drinking contaminated water. cDCE (cis-1,2-dichloroethene) accumulation on subsurface environments is a common environmental problem due to stagnation and partial degradation of other precursor chloroethene species. Polaromonas sp. strain JS666 apparently requires no exotic growth factors to be used as a bioaugmentation agent for aerobic cDCE degradation. Although being the only suitable microorganism found capable of such, further studies are needed for improving the intrinsic bioremediation rates and fully comprehend the metabolic processes involved. In order to do so, a metabolic model, iJS666, was reconstructed from genome annotation and available bibliographic data. FVA (Flux Variability Analysis) and FBA (Flux Balance Analysis) techniques were used to satisfactory validate the predictive capabilities of the iJS666 model. The iJS666 model was able to predict biomass growth for different previously tested conditions, allowed to design key experiments which should be done for further model improvement and, also, produced viable predictions for the use of biostimulant metabolites in the cDCE biodegradation.

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.

Implementation of membrane processes for improvement of the detection of food contaminants

The EM3E Master is an Education Programme supported by the European Commission, the European Membrane Society (EMS), the European Membrane House (EMH), and a large international network of industrial companies, research centres and universities (http://www.em3e.eu)

Understanding multi-asset factor models: Factor exposure interpretation

Field lab: Business project

Decisions of technology innovation: the role of indicators

This work presents research conducted to understand the role of indicators in decisions of technology innovation. A gap was detected in the literature of innovation and technology assessment about the use and influence of indicators in this type of decision. It was important to address this gap because indicators are often frequent elements of innovation and technology assessment studies. The research was designed to determine the extent of the use and influence of indicators in decisions of technology innovation, to characterize the role of indicators in these decisions, and to understand how indicators are used in these decisions. The latter involved the test of four possible explanatory factors: the type and phase of decision, and the context and process of construction of evidence. Furthermore, it focused on three Portuguese innovation groups: public researchers, business R&D&I leaders and policymakers. The research used a combination of methods to collect quantitative and qualitative information, such as surveys, case studies and social network analysis. This research concluded that the use of indicators is different from their influence in decisions of technology innovation. In fact, there is a high use of indicators in these decisions, but lower and differentiated differences in their influence in each innovation group. This suggests that political-behavioural methods are also involved in the decisions to different degrees. The main social influences in the decisions came mostly from hierarchies, knowledge-based contacts and users. Furthermore, the research established that indicators played mostly symbolic roles in decisions of policymakers and business R&D&I leaders, although their role with researchers was more differentiated. Indicators were also described as helpful instruments to conduct a reasonable interpretation of data and to balance options in innovation and technology assessments studies, in particular when contextualised, described in detail and with discussion upon the options made. Results suggest that there are four main explanatory factors for the role of indicators in these decisions: First, the type of decision appears to be a factor to consider when explaining the role of indicators. In fact, each type of decision had different influences on the way indicators are used, and each type of decision used different types of indicators. Results for policy-making were particularly different from decisions of acquisition and development of products/technology. Second, the phase of the decision can help to understand the role indicators play in these decisions. Results distinguished between two phases detected in all decisions – before and after the decision – as well as two other phases that can be used to complement the decision process and where indicators can be involved. Third, the context of decision is an important factor to consider when explaining the way indicators are taken into consideration in policy decisions. In fact, the role of indicators can be influenced by the particular context of the decision maker, in which all types of evidence can be selected or downplayed. More importantly, the use of persuasive analytical evidence appears to be related with the dispute existent in the policy context. Fourth and last, the process of construction of evidence is a factor to consider when explaining the way indicators are involved in these decisions. In fact, indicators and other evidence were brought to the decision processes according to their availability and capacity to support the different arguments and interests of the actors and stakeholders. In one case, an indicator lost much persuasion strength with the controversies that it went through during the decision process. Therefore, it can be argued that the use of indicators is high but not very influential; their role is mostly symbolic to policymakers and business decisions, but varies among researchers. The role of indicators in these decisions depends on the type and phase of the decision and the context and process of construction of evidence. The latter two are related to the particular context of each decision maker, the existence of elements of dispute and controversies that influence the way indicators are introduced in the decision-making process.

O âmbito de aplicação material da legislação de proteção de dados pessoais e o tratamento de imagem por pessoa singular

Images have gained a never before seen importance. Technological changes have given the Information Society extraordinary means to capture, treat and transmit images, wheter your own or those of others, with or without a commercial purpose, with no boundaries of time or country, without “any kind of eraser”. From the several different ways natural persons may engage in image processing with no commercial purpose, the cases of sharing pictures through social networks and video surveillance assume particular relevance. Consequently there are growing legitimate concerns with the protection of one's image, since its processing may sometimes generate situations of privacy invasion or put at risk other fundamental rights. With this in mind, the present thesis arises from the question: what are the existent legal instruments in Portuguese Law that enable citizens to protect themselves from the abusive usage of their own pictures, whether because that image have been captured by a smartphone or some video surveillance camera, whether because it was massively shared through a blog or some social network? There is no question the one's right to not having his or her image used in an abusive way is protected by the Portuguese constitution, through the article 26th CRP, as well as personally right, under the article 79th of the Civil Code, and finally through criminal law, articles 192nd and 193rd of the Criminal Code. The question arises in the personal data protection context, considering that one's picture, given certain conditions, is personal data. Both the Directive 95/46/CE dated from 1995 as well as the LPD from 1998 are applicable to the processing of personal data, but both exclude situations of natural persons doing so in the pursuit of activities strictly personal or family-related. These laws demand complex procedures to natural persons, such as the preemptive formal authorisation request to the Data Protection National Commission. Failing to do so a natural person may result in the application of fines as high as €2.500,00 or even criminal charges. Consequently, the present thesis aims to study if the image processing with no commercial purposes by a natural person in the context of social networks or through video surveillance belongs to the domain of the existent personal data protection law. To that effect, it was made general considerations regarding the concept of video surveillance, what is its regimen, in a way that it may be distinguishable from Steve Mann's definition of sousveillance, and what are the associated obligations in order to better understand the concept's essence. The application of the existent laws on personal data protection to images processing by natural persons has been analysed taking into account the Directive 95/46/CE, the LPD and the General Regulation. From this analysis it is concluded that the regimen from 1995 to 1998 is out of touch with reality creating an absence of legal shielding in the personal data protection law, a flaw that doesn't exist because compensated by the right to image as a right to personality, that anyway reveals the inability of the Portuguese legislator to face the new technological challenges. It is urgent to legislate. A contrary interpretation will evidence the unconstitutionality of several rules on the LPD due to the obligations natural persons are bound to that violate the right to the freedom of speech and information, which would be inadequate and disproportionate. Considering the recently approved General Regulation and in the case it becomes the final version, the use for natural person of video surveillance of private spaces, Google Glass (in public and private places) and other similar gadgets used to recreational purposes, as well as social networks are subject to its regulation only if the images are shared without limits or existing commercial purposes. Video surveillance of public spaces in all situations is subject to General Regulation provisions.

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

A conspiracy theory for clefts : the syntax and interpretation of cleft constructions

O objetivo final deste estudo é contribuir para a discussão sobre qual a medida em que conceitos semânticos e discursivos estão sintaticamente codificados. Mais especificamente, investiga-se se existe alguma correlação consistente entre alguns aspetos interpretativos e sintáticos de quatro construções clivadas do Português Europeu, e como se deve dar conta teoricamente destas potenciais correlações. As clivadas consideradas são as clivadas canónicas, as pseudoclivadas, as clivadas de é que e as clivadas de SER. Sintaticamente podemos distinguir dois tipos: clivadas bioracionais (canónicas e pseudoclivadas) e clivadas mono-oracionais (clivadas de é que e de SER). Todas as estruturas têm um constituinte clivado focalizado que pode constituir tanto um foco informacional como um foco contrastivo, e uma oração clivada que introduz uma pressuposição existencial. Adicionalmente, o constituinte clivado identifica exaustivamente uma posição vazia na oração clivada. Adota-se a semântica alternativa para o foco (Rooth 1985), segundo a qual o foco entoacional contribui uniformemente um conjunto de alternativas na Forma Lógica. Regras pragmáticas operando neste conjunto dão origem a duas implicaturas que podem ser suspensas: pressuposição existencial e exaustividade. Dado que as clivadas de é que e as de SER têm a mesma interpretação que orações não-clivadas, conclui-se que a sua estrutura sintática particular não contribui para estas propriedades interpretativas. Em contrapartida, as clivadas bioracionais, que são orações copulativas especificacionais, têm uma presuposição existencial e uma interpretação exaustiva que não pode ser suspensa, tal como as orações especificacionais não-clivadas. Argumenta-se que isto se deve ao facto de o constituinte clivado identificar uma variável introduzida por uma descrição definida. Demonstra-se que a oração clivada, uma relativa em posição de complemento de um determinador definido nas clivadas canónicas e uma relativa livre nas pseudoclivadas, tem a mesma denotação que um DP definido, e portanto tem uma pressuposição existencial inerente. A interpretação exaustiva deve-se à relação identificacional entre o constituinte clivado e a descrição definida. Além disso, defende-se que em Português Europeu um traço de foco não desencadeia movimento-A’ para um FocP especializado. Os constituintes focalizados movem-se antes por razões independentes do foco. Isto é confirmado pelo facto de apenas o constituinte clivado das clivadas de é que ter propriedades de movimento A’, os outros parecem estar in situ. Propõe-se que o constituinte clivado das clivadas de é que é um tópico com um traço de foco que se move para um TopP. Esta análise dá conta da existência de restrições discursivas semelhantes para tópicos não focalizados e para o constituinte clivado das clivadas de é que. O traço quantificacional de foco arrastado pela topicalização dá origem a efeitos de intervenção, causando a não-recursividade do foco na periferia esquerda e a sua incompatibilidade com movimento de outros constituintes com traços quantificacionais. A análise prediz as restrições de encaixe observadas para as clivadas de é que. Finalmente, desenvolve-se uma análise sintática das clivadas de SER que aproxima estas estruturas das estruturas com partículas de foco. Propõe-se que a cópula é um operador sensível ao foco que é merged juntamente com o constituinte clivado. As restrições distribucionais da cópula devem-se a requisitos selecionais de núcleos.

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.