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

Changing environmental behaviors through smartphone-based augmented experiences

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

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

Enhancing physical activity coaching through personalized motivational strategies and self-adaptive goal-setting: development of self-adaptive processes in a monitoring and coaching smartphone application

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

Plataforma smartphone para biossensores de espectroscopia de infravermelho próximo

O tema “Plataforma smartphone para biossensores de Espectroscopia de Infravermelho Próximo”, surge no âmbito da instrumentação médica, na área das BCI – Brain Computer Interfaces, devido à necessidade de encontrar um dispositivo portátil, de custo acessível e elevada performance que permita obter informação acerca da actividade neuronal do córtex motor no decorrer duma determinada tarefa. O objectivo do trabalho consiste no desenvolvimento duma sonda capaz de detectar as alterações hemodinâmicas que ocorrem no córtex, bem como toda a instrumentação inerente à aquisição do sinal e transmissão dos dados para um computador, a análise dos dados e por fim o desenvolvimento de uma aplicação em Android para visualização dos resultados. Foi desenvolvida uma banda para a cabeça, composta pela sonda NIRS: LEDs (Light-Emiting Diodes) de 940nm e 660nm e os respectivos fototransístores de detecção, bem como toda a electrónica de condicionamento do sinal captado. Num módulo à parte, alimentado por duas baterias de 9V, encontram-se os circuitos electrónicos onde é possível regular ganhos de amplificação e offsets. Os dados foram adquiridos pelo microcontrolador Arduíno Uno, usando uma taxa de amostragem de 50Hz em cada um dos dois canais utilizados. O controlo do Arduíno foi feito utilizando o LabVIEW. Para o processamento dos dados, visualização e cálculo das concentrações de oxi e desoxi-hemoglobina no sangue recorreu-se ao Matlab. O sistema foi calibrado com recurso a um oxímetro de pulso clínico usado em cinco indivíduos saudáveis. Finalmente o sistema foi testado ao colocar-se o sensor NIRS sobre o córtex motor esquerdo de nove indivíduos saudáveis destros, fazendo-se uma aquisição de dados durante dois minutos. Utilizou-se um paradigma de 10s de repouso seguido de 10s a abrir e fechar a mão. O sistema NIRS conseguiu medir as alterações que ocorrem nas concentrações de oxi e desoxi-hemoglobina devido à actividade motora de abrir e fechar a mão. Dado o princípio físico ser o mesmo do dos oxímetros convencionais, conseguiu-se ainda medir com sucesso a frequência cardíaca e a saturação percentual de oxigénio após a calibração do sensor. As medidas podem ser visualizadas numa aplicação desenvolvida para o Android. Os resultados sugerem que com esta abordagem, este tipo de dispositivo pode estar disponível a baixo custo quer para doentes quer para indivíduos saudáveis, por exemplo em aplicações de telemóvel.

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.

Opportunities and threats for the launch of a smartphone app

Field lab: Entrepreneurial and innovative ventures

Future lending income and security value

I test the Duffie, Gârleanu, and Pedersen hypothesis that security prices incorporate expected future securities lending income. To determine whether institutional investors anticipate gains from future lending of securities, I examine their trading behavior around loan-fee increases. The evidence suggests that institutions buy shares in response to an increase in lending fees, and that this could explain the premium associated with high- lending-fee stocks. Expected future lending income affects stock prices, although the effect seems to be attenuated by the negative information that arises from short selling.

A wave of change: Labor market and social security impacts of the EU refugee inflow

The recent massive inflow of refugees to the European Union (EU) raises a number of unanswered questions on the economic impact of this phenomenon. To examine these questions, we constructed an overlapping-generations model that describes the evolution of the skill premium and of the welfare benefit level in relevant European countries, in the aftermath of an inflow of asylum-seekers. In our simulation, relative wages of skilled workers increase between 8% and 11% in the period of the inflow; their subsequent time path is dependent on the initial skill premium. The entry of migrants creates a fiscal surplus of about 8%, which can finance higher welfare benefits in the subsequent periods. These effects are weaker in a scenario where refugees do not fully integrate into the labor market.