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.

The role of arl13b in cilia length regulation and in zebrafish development

RESUMO: Arl13b é uma importante proteína ciliar, presente em cílios primários e cílios móveis. Ratinhos mutantes para Arl13b têm comprimento dos cílios reduzido e defeitos nos B-túbulos dos cílios. Como consequência destes fenótipos, deficiências na Arl13b originam, em modelos animais, várias doenças congénitas, incluindo problemas no estabelecimento do eixo esquerda-direita, malformações cerebrais e deformações corporais. Nos seres humanos, deficiências na Arl13b levam a uma doença crónica congénita chamada Síndrome de Joubert. Por outro lado, a sobreexpressão de Arl13b origina cílios mais longos, no entanto existe uma ausência da caracterização dos fenótipos celulares e durante o desenvolvimento embrionário. Neste trabalho, quisemos explorar o efeito da sobre-expressão de Arl13b em embriões de peixezebra. Descobrimos que, ao nível ciliar, a sobre-expressão de Arl13b nas células aumenta o comprimento ciliar em cílios primários e móveis, no entanto, a esses cílios falta adequada acetilação da alfa-tubulina no citoesqueleto feito por microtúbulos. Os nossos resultados mostraram que esse efeito é específico de Arl13b sobre-expressão e quando se manipularam as enzimas responsáveis pela acetilação (Mec17) e pela de-acetilação (HDAC6) encontrámos uma sinergia potencial com ambas. Testámos ainda, que o aumento no comprimento ciliar não estava causalmente relacionado com a falta de acetilação, ou seja, os cílios com menos acetilação não eram necessariamente os mais longos. Também mostrámos que a sobre-expressão de Arl13b é capaz de restaurar o comprimento dos cílios em mutantes com cílios curtos e como isso pode ser explorado para um futuro potencial papel terapêutico para Arl13b. Em seguida, foi avaliado o impacto do aumento da quantidade de Arl13b no desenvolvimento embrionário do peixe-zebra. Observou-se que a sobre-expressão de Arl13b apresentava fenótipos muito fracos, quando comparados com a perda de função dos mutantes de Arl13b. Focados no inesperado fenótipo leve no estabelecimento do eixo esquerda-direita abordámos a questão através do estabelecimento de uma colaboração com matemáticos, descobrimos que os cílios mais longos que potencialmente têm a capacidade de movimentar mais fluido são atenuados por amplitudes de batimento menores, e, como resultado, estes longos cílios não prejudicam o movimento do fluido e consequentemente não afetam o estabelecimento dos padrões de esquerda-direita. Sugerimos assim que a Arl13b é um regulador chave, do comprimento ciliar. Descobrimos uma nova interação com as enzimas de acetilação/de-acetilação e levantamos novas hipóteses quanto aos mecanismos moleculares da função da Arl13b. Propomos um novo modelo para o mecanismo molecular da Arl13b na regulação do comprimento dos cílios onde podemos integrar os nossos resultados com os relatados na literatura. Este trabalho adiciona mais conhecimento para o mecanismo de ação da Arl13b e, portanto, fornece uma importante contribuição para o campo da investigação em cílios.---------------------------------------------------------------------------------------------------------------------- ABSTRACT: Arl13b is an important ciliary protein, present in primary and motile cilia. arl13b-/- mouse mutants have reduced cilia length and cilia B-tubule defects. As a consequence of these phenotypes, Arl13b loss of function animal models suffer from several congenital disorders including left-right problems, brain malformations and body deformations. In humans Arl13b depletion leads to a congenital chronic disease called Joubert Syndrome. On the other hand, overexpressing Arl13b leads to longer cilia but the characterization of the cellular and developmental phenotypes was missing. In this work we explore the effect of Arl13b overexpression in zebrafish embryos. We found that, at the ciliary level, Arl13b overexpression from 1 cell stage produces longer primary and motile cilia, but these cilia lack proper alpha tubulin acetylation of their microtubule cytoskeleton. Our results showed that this effect is specific from Arl13b overexpression and when we manipulated the enzymes responsible for acetylation, Mec17, and de-acetylation, HDAC6, we found a potential synergy of both mec17 knockdown and HDAC6 activity with Arl13b overexpression. We tested that the ciliary increase in length was not causally related to the lack of acetylation, meaning the more de-acetylated cilia were not necessarily the longer ones. We also showed that Arl13b overexpression is able to restore cilia length in short cilia mutants and how that may be explored to a potential future therapeutic role for Arl13b. Next, we evaluated the impact of increasing the amount of Arl13b in zebrafish embryonic development. We observed that Arl13b overexpression presented very mild phenotypes when compared to the loss of function mutants. We focused on the unexpected left-right mild phenotype and by establishing a mathematical modeling collaboration, we found out that the longer cilia generated force was attenuated by smaller beating amplitudes, and as a result, these long cilia were not impairing the cilia generated flow and the establishment of left-right patterning. We suggest that Arl13b is one key cilia length regulator. We disclosed a novel interaction with the acetylation / de-acetylation enzymes and raised new hypothesis as to the mechanisms of Arl13b function. We propose a new model for the Arl13b molecular mechanism of cilia length regulation where we integrate our findings with those reported in the literature. This work adds more knowledge to the Arl13b mechanism of action and therefore provides an important contribution to the cilia research field.

The impact of poor power quality in solar photovoltaic microgeneration: technical problems and losses of revenue

This paper presents a critical and quantitative analysis of the influence of the Power Quality in grid connected solar photovoltaic microgeneration installations. First are introduced the main regulations and legislation related with the solar photovoltaic microgeneration, in Portugal and Europe. Next are presented Power Quality monitoring results obtained from two residential solar photovoltaic installations located in the north of Portugal, and is explained how the Power Quality events affect the operation of these installations. Afterwards, it is described a methodology to estimate the energy production losses and the impact in the revenue caused by the abnormal operation of the electrical installation. This is done by comparing the amount of energy that was injected into the power grid with the theoretical value of energy that could be injected in normal conditions. The performed analysis shows that Power Quality severally affects the solar photovoltaic installations operation. The losses of revenue in the two monitored installations M1 and M2 are estimated in about 27% and 22%, respectively.

Cross-delisting, financial constraints and investment sensitivities

We investigate the impact of cross-delisting on firms’ financial constraints and investment sensitivities. We find that firms that cross-delisted from a U.S. stock exchange face stronger post-delisting financial constraints than their cross-listed counterparts, as measured by investment-to-cash flow sensitivity. Following a delisting, the sensitivity of investment-to-cash flow increases significantly and firms also tend to save more cash out of cash flows. Moreover, this increase appears to be primarily driven by informational frictions that constrain access to external financing. We document that information asymmetry problems are stronger for firms from countries with weaker shareholders protection and for firms from less developed capital markets.

Project management: evaluation of the problems in the portuguese construction industry

During recent decades it has been possible to identify several problems in construction industry project management, related with to systematic failures in terms of fulfilling its schedule, cost and quality targets, which highlight a need for an evaluation of the factors that may cause these failures. Therefore, it is important to understand how project managers plan the projects, so that the performance and the results can be improved. However, it is important to understand if other areas beyond cost and time management that are mentioned on several studies as the most critical areas, receive the necessary attention from construction project managers. Despite the cost and time are the most sensitive areas/fields, there are several other factors that may lead to project failure. This study aims at understand the reasons that may cause the deviation in terms of cost, time and quality, from the project management point of view, looking at the knowledge areas mentioned by PMI (Project Management Institute).

Dispersion and re-agglomeration of graphite nanoplates in polypropylene melts under controlled flow conditions

The kinetics of GnP dispersion in polypropylene melt was studied using a prototype small scale modular extensional mixer. Its modular nature enabled the sequential application of a mixing step, melt relaxation, and a second mixing step. The latter could reproduce the flow conditions on the first mixing step, or generate milder flow conditions. The effect of these sequences of flow constraints upon GnP dispersion along the mixer length was studied for composites with 2 and 10 wt.% GnP. The samples collected along the first mixing zone showed a gradual decrease of number and size of GnP agglomerates, at a rate that was independent of the flow conditions imposed to the melt, but dependent on composition. The relaxation zone induced GnP re-agglomeration, and the application of a second mixing step caused variable dispersion results that were largely dependent on the hydrodynamic stresses generated.

Analytical and numerical study of the electro-osmotic annular flow of viscoelastic fluids

In this work we present semi-analytical solutions for the electro-osmotic annular flow of viscoelastic fluids modeled by the Linear and Exponential PTT models. The viscoelastic fluid flows in the axial direction between two concentric cylinders under the combined influences of electrokinetic and pressure forcings. The analysis invokes the Debye-Hückel approximation and includes the limit case of pure electro-osmotic flow. The solution is valid for both no slip and slip velocity at the walls and the chosen slip boundary condition is the linear Navier slip velocity model. The combined effects of fluid rheology, electro-osmotic and pressure gradient forcings on the fluid velocity distribution are also discussed.

Annular flow of viscoelastic fluids: Analytical and numerical solutions

This work provides analytical and numerical solutions for the linear, quadratic and exponential Phan–Thien–Tanner (PTT) viscoelastic models, for axial and helical annular fully-developed flows under no slip and slip boundary conditions, the latter given by the linear and nonlinear Navier slip laws. The rheology of the three PTT model functions is discussed together with the influence of the slip velocity upon the flow velocity and stress fields. For the linear PTT model, full analytical solutions for the inverse problem (unknown velocity) are devised for the linear Navier slip law and two different slip exponents. For the linear PTT model with other values of the slip exponent and for the quadratic PTT model, the polynomial equation for the radial location (β) of the null shear stress must be solved numerically. For both models, the solution of the direct problem is given by an iterative procedure involving three nonlinear equations, one for β, other for the pressure gradient and another for the torque per unit length. For the exponential PTT model we devise a numerical procedure that can easily compute the numerical solution of the pure axial flow problem

Using the GPU to design complex profile extrusion dies

In the present work the benefits of using graphics processing units (GPU) to aid the design of complex geometry profile extrusion dies, are studied. For that purpose, a3Dfinite volume based code that employs unstructured meshes to solve and couple the continuity, momentum and energy conservation equations governing the fluid flow, together with aconstitutive equation, was used. To evaluate the possibility of reducing the calculation time spent on the numerical calculations, the numerical code was parallelized in the GPU, using asimple programing approach without complex memory manipulations. For verificationpurposes, simulations were performed for three benchmark problems: Poiseuille flow, lid-driven cavity flow and flow around acylinder. Subsequently, the code was used on the design of two real life extrusion dies for the production of a medical catheter and a wood plastic composite decking profile. To evaluate the benefits, the results obtained with the GPU parallelized code were compared, in terms of speedup, with a serial implementation of the same code, that traditionally runs on the central processing unit (CPU). The results obtained show that, even with the simple parallelization approach employed, it was possible to obtain a significant reduction of the computation times.

Weld lines in extrusion: Understanding the role of the flow conditions

This work reports the implemen tation and verification of a new so lver in OpenFOAM® open source computational library, able to cope w ith integral viscoelastic models based on the integral upper-convected Maxwell model. The code is verified through the comparison of its predictions with anal ytical solutions and numerical results obtained with the differential upper-convected Maxwell model

High strain rate constitutive modeling forhistorical structures subjected to blast loading

Doctoral Thesis Civil Engineering

Development of an integral viscoelastic flow solver in OpenFOAM®

The usual high cost of commercial codes, and some technical limitations, clearly limits the employment of numerical modelling tools in both industry and academia. Consequently, the number of companies that use numerical code is limited and there a lot of effort put on the development and maintenance of in-house academic based codes. Having in mind the potential of using numerical modelling tools as a design aid, of both products and processes, different research teams have been contributing to the development of open source codes/libraries. In this framework, any individual can take advantage of the available code capabilities and/or implement additional features based on his specific needs. These type of codes are usually developed by large communities, which provide improvements and new features in their specific fields of research, thus increasing significantly the code development process. Among others, OpenFOAM® multi-physics computational library, developed by a very large and dynamic community, nowadays comprises several features usually only available in their commercial counterparts; e.g. dynamic meshes, large diversity of complex physical models, parallelization, multiphase models, to name just a few. This computational library is developed in C++ and makes use of most of all language capabilities to facilitate the implementation of new functionalities. Concerning the field of computational rheology, OpenFOAM® solvers were recently developed to deal with the most relevant differential viscoelastic rheological models, and stabilization techniques are currently being verified. This work describes the implementation of a new solver in OpenFOAM® library, able to cope with integral viscoelastic models based on the deformation field method. The implemented solver is verified through the comparison of the predicted results with analytical solutions, results published in the literature and by using the Method of Manufactured Solutions.