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

Framework for a business interoperability quotient measurement model

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova da Lisboa para obtenção do grau de Mestre em Engenharia e Gestão Industrial (MEGI)

Measurement of lead concentration in biological tissues by atomic spectroscopy techniques

Dissertation for the degree of Doctor of Philosophy in Physics

Evaluation of thermometers for ear temperature measurement at the wards in a university hospital

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

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

The impact of large-scale mortgage backed security purchases

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

The impact of the measurement unit of unit price on consumer preference and choice

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

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

Atomic force microscopy assisted with electron and ion beam microscopy for the direct measurement of biostructures and DNA samples

Dissertation to obtain a Master degree in Biotechnology

Maritime Security in the Gulf of Guinea: Issues and Solutions for the 21st Century

A producer of 5.4 M bbl/d, totalling almost half of the consumption of the entire European Union, the Gulf of Guinea is a fundamental lifeline and maritime link between Europe, the Americas and Africa. Geographically positioned as a staging post for transit originating in Latin America and coupled with its relatively porous borders, the region is also the perfect stepping stone for contraband heading to European shores. While blessed with an enviable wealth of marine and mineral resources, the region is also plagued by an ever-increasing spectre of maritime piracy; accounting for around 30% of incidents in African waters from 2003 to 2011. It is for these reasons that this research centres around the issues of maritime security in the Gulf of Guinea, with a particular focus on the first two decades of the 21st century. This research looks to examine the overall picture of the present state of play in the area, before going on to provide an analysis of potential regional developments in maritime security. This research begins with the analysis of concepts/phenomena that have played a notable role in the shaping of the field of maritime security, namely Globalisation and security issues in the post-Cold War era. The ensuing chapter then focuses in on the Gulf of Guinea and the issues dominating the field of maritime security in the region. The penultimate chapter presents a SWOT analysis, undertaken as part of this research with the aim of correlating opinions from a variety of sectors/professions regarding maritime security in the Gulf of Guinea. The final chapter builds upon the results obtained from the abovementioned SWOT analysis, presenting a series of potential proposals/strategies that can contribute to the field of maritime security in the region over the coming years. This research draws to a close with the presentation of conclusions taken from this particular investigation, as well as a final overview of the earlier presented proposals applicable to the field of maritime security during the second decade of the 21st century.

Determinants of social security pensions expenditure in Portugal

In most European countries Social Security (SS) systems are characterized as Pay-asyou- go systems. Their sustainability is being challenged with demographic changes, namely population ageing. Portugal’s population is ageing rapidly being one of the countries where this problem is more critical. With the growing debate on this topic several public choice models have been developed so as to explain SS size. In this work project there is an attempt to understand whether these models contribute to better explain Social security expenditure with pensions (SSEP) and to establish the need of finding ways to reduce present commitment with pension expenditure in Portugal.

Fair value measurement: Is the debate around level II and level III assets and liabilities relevant

Double Degree. 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 and a Masters Degree in Business Engineering from Louvain school of Management

Designing and implementing a performance measurement system in Auto Ribeiro, Lda.

In any business it is very important to measure the performance and it helps to select key information to make better decisions on time. This research focuses on the design and implementation of a performance measurement system in a Portuguese medium size firm operating in the specialized health care transformation vehicles industry. From the evidence that outputs from Auto Ribeiro’s current information system is misaligned with the company’s objectives and strategy, this research tries to solve this business problem through the development of a Balanced Scorecard analysis, although there are some issues, which deserve further development.

A abolição da dupla incriminação no mandado de detenção europeu

This essay presents the European Arrest Warrant and its relationship with the principle of double criminality, which was abolished in 2002 with the new Framework Decision (FD). This instrument was essential to implement the principle of mutual recognition and strengthen the police and judicial cooperation in criminal matters in the newly created space of freedom, security and justice. It was urgent to create mechanisms to combat cross-border crime, that alone States have struggled to counter. An analysis of the FD No 2002/584/JHA is made. The execution of warrants and the non-mandatory and optional grounds of refusal are studied in detail. As it is the implementation issue. The role of mutual recognition in practice is studied as well. The procedure is to introduce the principle of double criminality, to explain the concept and its abolition, warning for the consequences derived from them, related to the principle of legality and fundamental rights. The analysis of the European Arrest Warrant in practice in Portugal and in comparison with other Member States allows the measurement of the consequences from the abolition of dual criminality and the position of States on this measure. With the abolition of double criminality, the cooperation in judicial and criminal matters departs from what was intended by the European Council of Tampere. And without cooperation, fundamental rights of citizens are unprotected, so the states have to adopt measures to remedy the "failures" of the European Law.

Cylindrical spinning rotor gauge — A new approach for vacuum measurement

The spinning rotor gauge (SRG) is one of the most interesting vacuum gauges ever made, covering a pressure range of over seven orders of magnitude, with minimal gas interference (no pumping, ionization or heating of the measured gas), and a great stability of less than 1% drift per year. But despite its remarkable properties, apparently the SRG has not been further developed since the eighties, when it gained commercial interest. In this context, this dissertation aims at providing a starting point for a new line of investigation regarding this instrument, focused on the rotor itself. A brief study of different rotor geometries is provided, including a comparison between a cylindrical rotor and a spherical one. A cylindrical spinning rotor gauge (CSRG) is then proposed, based on the original SRG, but requiring a completely new lateral damping system. A prototype was built and tested against a non calibrated reference gauge.