The African studies course of the Instituto de Estudos Superiores Militares. An analysis of the correlations and conflictive character inside the triangle - Development, environment and security - in Africa’s Nigeria

Relatório de Estágio de Mestrado em Ciência Política e Relações Internacionais Globalização e Ambiente

Carbon prices. Dynamic analysis of European and Californian markets

Dissertação para obtenção do Grau de Doutor em Alterações Climáticas e Políticas de Desenvolvimento Sustentável

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 Logic and tool for local reasoning about security protocols

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

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

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

Production of recombinant protein hLIF in static and dynamic systems of animal cell culture

Thesis for the Degree of Master of Science in Biotechnology Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

SENSITIVITY ANALYSIS OF TRACK VIBRATIONS DUE TO VERTICAL STIFFNESS VARIATION IN HIGH-SPEED RAILWAYS

High speed trains, when crossing regions with abrupt changes in vertical stiffness of the track and/or subsoil, may generate excessive ground and track vibrations. There is an urgent need for specific analyses of this problem so as to allow reliable esimates of vibration amplitude. Full understanding of these phenomena will lead to new construction solutions and mitigation of undesirable features. In this paper analytical transient solutions of dynamic response of one-dimensional systems with sudden change of foundation stiffness are derived. Results are expressed in terms of vertical displacement. Sensitivity analysis of the response amplitude is also performed. The analytical expressions presented herein, to the authors’ knowledge, have not been published yet. Although related to one-dimensional cases, they can give useful insight into the problem. Nevertheless, in order to obtain realistic response, vehicle- rail interaction cannot be omitted. Results and conclusions are confirmed using general purpose commercial software ANSYS. In conclusion, this work contributes to a better understanding of the additional vibration phenomenon due to vertical stiffness variation, permitting better control of the train velocity and optimization of the track design.

Spatial analysis of suicide attack incidences in Kabul City

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

Information flow analysis using data-dependent logical propositions

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

Sustainability of systems interoperability in dynamic business networks

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Obama's law : analysis of a breakthrough law on healthcare access and lessons for the Portuguese health system management

ABSTRACT - The Patient Protection and Affordable Care Act shook the foundations of the US health system, offering all Americans access to health care by changing the way the health insurance industry works. As President Obama signed the Act on 23 March 2010, he said that it stood for “the core principle that everybody should have some basic security when it comes to their health care”. Unlike the U.S., the Article 64 of the Portuguese Constitution provides, since 1976, the right to universal access to health care. However, facing a severe economic crisis, Portugal has, under the supervision of the Troika, a tight schedule to implement measures to improve the efficiency of the National Health Service. Both countries are therefore despite their different situation, in a conjuncture of reform and the use of new health management measures. The present work, using a qualitative research methodology examines the Affordable Care Act in order to describe its principles and enforcement mechanisms. In order to describe the reality in Portugal, the Portuguese health system and the measures imposed by Troika are also analyzed. The intention of this entire analysis is not only to disclose the innovative U.S. law, but to find some innovative measures that could serve health management in Portugal. Essentially we identified the Exchanges and Wellness Programs, described throughout this work, leaving also the idea of the possibility of using them in the Portuguese national health system.

The impacts of the Cape Verde self-employed social security scheme

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 fitting of the German yield curve: A dynamic approach using latent, macroeconomic and stock market variables

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

Earth-based repair mortars: experimental analysis with different binders and natural fibers

RESTAPIA 2012 - Int. Conf. on Rammed Earth Conservation, Valencia, 21-23 June 2012

Adjusting to external imbalances within the EMU, the case of Portugal

From 1995 to 2010 Portugal has accumulated a negative international asset position of 110 percent of GDP. In a developed and aging economy the number is astonishing and any argument to consider it sustainable must rely on extremely favorable forecasts on growth. Portuguese policy options are reduced in number: no autonomous monetary policy, no currency to devaluate, and limited discretion in changing fiscal deficits and government debt. To start the necessary deleveraging a remaining possible policy is a budget-neutral change of the tax structure that increases private saving and net exports. An increase in the VAT and a decrease in the employer’s social security contribution tax can achieve the desired outcome in the short run if they are complemented with wage moderation. To obtain a substantial improvement in competitiveness and a large decrease in consumption, the changes in the tax rates have to be large. While a precise quantitative assessment is difficult, the initial increase in the effective VAT rate needed to allow the social security tax to decrease by 16 percentage points (pp) is approximately 10 pp. Such a large increase in the effective VAT rate could be obtained by raising most of the reduced VAT rates to the new general VAT rate of 23 percent. The empirical analysis shows that over time the suggested tax swap could generate surpluses and improve the trade balance. A temporary version of the suggested tax-swap has the attractiveness to achieve a sharper increase in the private saving rate maintaining the short run gains in competitiveness. Finally, the temporary version of the fiscal devaluation could be the basis for an automatic stabilizer to external imbalances within a monetary union.Portugal has been running large current account deficits every year since 1995. These deficits have accumulated to an astonishing 110 percent of GDP negative external asset position. The sustainability of such a large external position is questionable and must rely on fantastic productivity growth expectations. The recent global financial crisis appears to have anticipated the international investors reality check on those future expectations with the result of a large increase in the cost of external financing. Today the rebalancing of the current account through an increase in national savings and an improvement in competitiveness must be at the top of the Portuguese authorities “to do” list as the cost of a pull out from international investors is of the order of 10% of GDP. The external rebalancing is difficult as the degrees of freedom of the Portuguese authorities are limited in number: they have no autonomous monetary policy, no currency to devaluate, and little discretion in fiscal policy as deficit limits and debt targets are set by the Stability Growth Pact and the postcrisis consensus on medium-term fiscal consolidation. One possibility that remains is to change the fiscal policy mix for a given budget deficit. The purpose of this paper is to explore the effects of a “fiscal devaluation”1 obtained through a tax swap between employers’ social security contributions and taxes on consumption2. The paper begins by illustrating Portugal’s current account evolution during the euro period. The second section section lays out a model to offer a qualitative assessment of the dynamic outcomes of the the tax swap. I show that the suggested tax swap can in theory achieve the desired outcomes in terms of competitiveness and consumption if complemented with moderation (stickiness) in wages. I also study the effects of a temporary version of the tax swap and show that it achieves a sharper improvement in the current account that accelerate the rebalancing. The third section moves to the empirical analysis and estimates the likely effects of the tax swap for the Portuguese economy. The fourth section concludes.