Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

Adaption of the Creative Commons approach and the roaming concept to spatial data infrastructures (SDI)

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

Avaliação do potencial de cumprimento de regras de segurança numa fábrica de transformadores

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

Welcome to the golden land: sexual and gender-based violence against women refugees from Burma

European Master’s Degree in Human Rights and Democratisation Academic Year 2005/2006

Technology market transfer plan launch of DELIVES to E.U. Market©

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Biotecnologia

Selection of a co-operation agreement between EMOVE – Innovative Technologies and WavEC – Wave Energy Center

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

Maintaining the correctness of transactional memory programs

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

Recognising, measuring and disclosing intangible assets under IAS 38 and IFRIC 12: Evidence from the Portuguese listed companies

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

Is the Lunatic Detention Act of 1917 appropriate for modern Gambia?

RESUMO: OS distúrbios mentais, neurológicos e devidos ao abuso de substâncias tem uma grande prevalência e peso em todo o Mundo. O objetivo principal deste estudo é contribuir para a melhoria dos direitos humanos das pessoas com deficiências mentais na Gâmbia, através de uma revisão e análise críticas de uma obsoleta legislação de saúde mental do País o "Lunatic Act Detention (LDA) de 1917".----- ABSTRACT: Mental, neurological, and substance use disorders are highly prevalente and burdensome worlwide. The violations of human rights directed towards people with this disorders compound the problam. This study mainly aims to contribute do the improvement of human rights of people with mental disabilities in Gambia by doing a critical review and analysis to the countries outdated mental health legislation - Lunatic Detention ct (LDA) from 1917.

Fatores de risco auto reportados associados aos acidentes rodoviários : um estudo sobre os condutores portugueses de veículos ligeiros

RESUMO - Objetivos: Anualmente morrem cerca de 1,3 milhões de pessoas, a nível mundial, devido aos acidentes de viação. Também mais de 20 milhões de pessoas sofrem ferimentos ligeiros ou graves devido aos acidentes de viação que resultam em incapacidade temporária ou permanente. Desta forma, consideram-se os acidentes de viação, um grave problema de saúde pública, com custos elevados para as sociedades afetando a saúde das populações e economias de cada país. Este estudo pretendeu descrever e caracterizar os condutores de veículos ligeiros, residentes em Portugal Continental, abrangendo características sociodemográficas, experiência de condução e questões relativas a atitudes, opiniões e comportamentos. Por outro lado procurou-se analisar a associação entre as opiniões, atitudes e comportamentos, auto reportados e a ocorrência de um acidente de viação nos últimos três anos a fim de construir um modelo final preditivo do risco de sofrer um acidente de viação. Método: Foi realizado um estudo observacional analítico transversal baseado num questionário traduzido para a língua portuguesa e com origem no projeto europeu SARTRE 4. A população-alvo foram todos os condutores de veículos ligeiros possuidores de uma licença de condução e residentes em Portugal Continental, baseado numa amostra de igual dimensão à definida no estudo europeu SARTRE 4 (600 condutores de veículos ligeiros). Das 52 perguntas existentes, selecionaram-se pela análise de componentes principais (ACP) variáveis potencialmente independentes e complementares para as componentes opiniões, atitudes e comportamentos. Para além das medidas descritivas usuais, recorreu-se à regressão logística binária para analisar associações e obter um modelo que permitisse estimar a probabilidade de sofrer um acidente rodoviário em função das variáveis selecionadas referentes às opiniões, atitudes e comportamentos auto reportados. Resultados: Dos 612 condutores inquiridos, 62,7% (383) responderam não ter sofrido nenhum acidente de viação nos últimos três anos enquanto 37,3% (228) respondeu ter estado envolvido em pelo menos um acidente de viação com danos materiais ou feridos, no mesmo período. De uma forma geral, o típico condutor que referiu ter sofrido um acidente nos últimos três anos é homem com mais de 65 anos de idade, com o 1º ensino básico, viúvo e sem filhos, não empregado e reside numa área urbana. Os condutores residentes numa área suburbana apresentaram um risco 5,368 mais elevado de sofrer um acidente de viação em relação aos condutores que habitam numa zona rural (IC 95%: 2,344-12,297; p<0,001). Os condutores que foram apenas submetidos uma vez a um controlo de álcool, nos últimos três anos, durante o exercício da condução apresentaram um risco 3,009 superior de sofrer um acidente de viação em relação aos condutores que nunca foram fiscalizados pela polícia (IC 95%: 1,949-4,647, p<0,001). Os condutores que referiram muito frequentemente parar para dormir quando se sentem cansados a conduzir têm uma probabilidade inferior de 81% de sofrer um acidente de viação em relação aos condutores que nunca o fazem (IC 95%: 0,058-0,620; p=0,006). Os condutores que quando cansados raramente bebem um café/bebida energética têm um risco de 4,829 superior de sofrer um acidente de viação do que os condutores que sempre o referiram fazer (IC 95%:1,807-12,903; p=0,002). Conclusões: Os resultados obtidos em relação aos fatores comportamentais vão ao encontro da maioria dos fatores de risco associados aos acidentes de viação referidos na literatura. Ainda assim, foram identificadas novas associações entre o risco de sofrer um acidente e as opiniões e as atitudes auto reportadas que através de estudos de maiores dimensões populacionais poderão vir a ser mais exploradas. Este trabalho vem reforçar a necessidade urgente de novas estratégias de intervenção, principalmente na componente comportamental, direcionadas aos grupos de risco, mantendo as existentes.

Direito a ser esquecido na internet

With the recent technological development, we have been witnessing a progressive loss of control over our personal information. Whether it is the speed in which it spreads over the internet or the permanent storage of information on cloud services, the means by which our personal information escapes our control are vast. Inevitably, this situation allowed serious violations of personal rights. The necessity to reform the European policy for protection of personal information is emerging, in order to adapt to the technological era we live in. Granting individuals the ability to delete their personal information, mainly the information which is available on the Internet, is the best solution for those whose rights have been violated. However, once supposedly deleted from the website the information is still shown in search engines. In this context, “the right to be forgotten in the internet” is invoked. Its implementation will result in the possibility for any person to delete and stop its personal information from being spread through the internet in any way, especially through search engines directories. This way we will have a more comprehensive control over our personal information in two ways: firstly, by allowing individuals to completely delete their information from any website and cloud service and secondly by limiting access of search engines to the information. This way, it could be said that a new and catchier term has been found for an “old” right.

On and off air: an ethnographic exploration of minority radio in Portugal

Taking a Media Anthropology’s approach to dynamics of mediated selfrepresentation in migratory contexts, this thesis starts by mapping radio initiatives produced by, for and/or with migrants in Portugal. To further explore dynamics of support of initial settlement in the country, community-making, cultural reproduction, and transnational connectivity - found both in the mapping stage and the minority media literature (e.g. Kosnick, 2007; Rigoni & Saitta, 2012; Silverstone & Georgiou, 2005) - a case study was selected: the station awarded with the first bilingual license in Portugal. The station in question caters largely to the British population presenting themselves as “expats” and residing in the Algarve. The ethnographic strategy to research it consisted of “following the radio” (Marcus, 1995) beyond the station and into the events and establishments it announces on air, so as to relate production and consumption realms. The leading research question asks how does locally produced radio play into “expats” processes of management of cultural identity – and what are the specificities of its role? Drawing on conceptualizations of lifestyle migration (Benson & O’Reilly, 2009), production of locality (Appadurai 1996) and the public sphere (Butsch, 2007; Calhoun & et al, 1992; Dahlgren, 2006), this thesis contributes to valuing radio as a productive gateway to research migrants’ construction of belonging, to inscribe a counterpoint in the field of minority media, and to debate conceptualizations of migratory categories and flows. Specifically, this thesis argues that the station fulfills similar roles to other minority radio initiatives but in ways that are specific to the population being catered to. Namely, unlike other minority stations, radio facilitates the process of transitioning between categories along on a continuum linking tourists and migrants. It also reflects and participates in strategies of reterritorialization that rest on functional and partial modes of incorporation. While contributing to sustain a translocality (Appadurai, 1996) it indexes and fosters a stance of connection that is symbolically and materially connected to the UK and other “neighborhoods” but is, simultaneously, oriented to engaging with the Algarve as “home”. Yet, besides reifying a British cultural identity, radio’s oral, repetitive and ephemeral discourse particularly trivializes the reproduction of an ambivalent stance of connection with place that is shared by other “expats”. This dynamic is related to migratory projects driven by social imaginaries fostered by international media that stimulate the search for idealized ways of living, which the radio associates with the Algarve. While recurrently localizing and validating the narrative projecting an idealized “good life”, radio amplifies dynamics among migrants that seem to reaffirm the migratory move as a good choice.

Construção de uma responsabilidade europeia além-fronteiras

The suppression of internal border controls has led the European Union to establish a mechanism for determining the Member State responsible for examining each asylum application, with the main intention of deterring asylum seekers from lodging multiple applications and guaranteeing that it will be assessed by one of the States – the Dublin System. Even though it holds on a variety of criteria, the most commonly used is the country of first entrance in the EU. The growing migrating flows coming mainly from Northern Africa have thus resulted in an incommensurable burden over the border countries. Gradually, countries like Greece, Bulgaria and Italy have lost capability of providing adequate relief to all asylum seekers and the records of fundamental rights violations related to the provision of housing and basic needs or inhuman detention conditions started piling up. To prevent asylum seekers who had already displaced themselves to other Member States from being transferred back to countries where their human dignity is questionable, the European Court of Human Rights and the Court of Justice have developed a solid jurisprudence determining that when there is a risk of serious breach of fundamental rights all transfers to that country must halt, especially when it is identified with systemic deficiencies in the asylum system and procedures. This reflexion will go through the jurisprudence that influenced very recent legislative amendments, in order to identify which elements form part of the obligation not to transfer under the Dublin System. At last, we will critically analyze the new rising obligation, that has clearly proven insufficient in light of the international fundamental rights framework that the Member States and the EU are bound to respect, proposing substantial amendments with a view to reach a future marked by high solidarity and global responsibility from the European Union.

Implementation of WHO Quality Rights assessment in Kabul Mental Health Hospital

RESUMO: Objetivo Avaliar a qualidade dos serviços de saúde mental e a situação dos direitos humanos no Hospital de Saúde Mental de Kabul (KMHH) e fornecer recomendações para o desenvolvimento de um plano de melhoria, actualização e revisão da Política, Estratégia e Plano Nacionais de Saúde Mental,. Métodos A avaliação foi realizada em Janeiro de 2015 no KMHH e na Burn Ward do Hospital Terciário de Isteqlal por uma equipa multidisciplinar usando Qualidade Direitos Tool Kit da OMS. Antes da avaliação, o protocolo foi aprovado pelo Institutional Review Board e obtido o consentimento informado de cada entrevistado. Realizaram-se entrevistas com 16 utentes do serviço, 17 funcionários do hospital e 7 familiares, além da revisão de documentos e da observação das unidades de internamento do KMHH e das interações interpessoais entre funcionários do hospital e utentes do serviço. A comissão de avaliação reviu também a documentação e observou a Unidade de Queimados do Hospital Terciário de Isteqlal, a fim de avaliar e comparar a paridade entre as duas instalações. Após a avaliação, todos os membros da comissão se reuniram e puseram em conjunto todas as conclusões num relatório final. Resultados Encontrámos algumas lacunas graves no nível de prestação de serviços e no respeito pelos direitos humanos dos utentes dos serviços e dos seus familiares. Uma série de políticas, diretrizes e procedimentos relacionados com os direitos humanos dos pacientes estavam ausentes. O ambiente terapêutico e o padrão de vida eram inadequados, existia má qualidade do atendimento e dos serviços prestados, os utilizadores enfrentavam violações do direito ao exercício da capacidade legal e da liberdade pessoal, eram quimica e fisicamente (uso de correntes) contidos e expostos a abusos verbais, físicos e emocionais, e havia grande ênfase no tratamento institucional. Todos estes aspectos foram considerados como extensa violação dos direitos humanos dos utentes de serviço do KMHH. Conclusão Os serviços disponíveis para utentes dos serviços de saúde mental apresentam alguns problemas devido à desconfiança e falta de consciencialização sobre os direitos das pessoas com doença mental e precisam ser alterados de forma positiva. A Lei de Saúde Mental existente difere muito das recomendações da Convenção sobre os Direitos das Pessoas com Incapacidades (CRPD) e requer revisão e adaptação de acordo com esta Convenção. -------------------------------- ABSTRACT: Objective To assess the quality of mental health services and human rights condition in the Kabul Mental Health Hospital (KMHH) and provide recommendations for development of an improvement plan and to update and revise the National Mental Health Policy, Strategy and Plan. Methods The assessment was conducted in January 2015 in the KMHH and the Burn Ward of Isteqlal Tertiary Hospital by a multidisciplinary team using WHO Quality Rights Tool Kit. Before the assessment, Institutional Review Board approval and informed consent from each interviewee were obtained. Interviews were conducted with 16 service users, 17 hospital staffs and 7 family members in addition to documents review and observation of inpatient units of KMHH plus interpersonal interactions between hospital staff and service users. The assessment committee reviewed the documentation and observed the Burn Ward of Isteqlal Tertiary hospital in order to measure and compare parity between the two facilities. After the assessment, all committee members gathered and synchronized all findings into a final report. Results There were some serious gaps on service provision level and respecting human rights of service users and their family members. A series of policies, guidelines and procedures related to patients’ human rights were absent. Inadequate treatment environment and standard of living, poor quality of care and services, violations of the right to exercise legal capacity and personal liberty, being chemically and physically (e.g. chain) restrained, being exposed to verbal, physical and emotional abuse, and emphasis on institutional treatment were all extensive human rights violation that service users were experiencing in KMHH. Conclusion The available services for mental health service users are questionable due to mistrust and lack of awareness about rights of people with disabilities and need to be positively changed. Existing Mental Health Act has a large number of disparities with the CRPD and requires revision and adaptation in accordance to CRPD.

National suicide prevention strategy for Afghanistan (NSPS)

RESUMO: Do suicídio no Afeganistão é uma prioridade de saúde pública. O Afeganistão é um país de baixo rendimento, emergindo de três décadas de conflitos. Há uma alta prevalência de sofrimento psicológico, perturbações mentais e abuso de substâncias. Existem várias questões sociais, tais como, desequilíbrio/violência de género, pobreza, atitudes e costumes obsoletos, rápidas mudanças sócio-culturais, violação dos direitos humanos e especialmente dos direitos das mulheres e das crianças. Estes fatores de risco contribuem para o aumento da vulnerabilidade da população em relação ao suicídio. A relativa alta taxa de suicídio no Afeganistão é especialmente significativa comparada com as taxas baixas em todos os países islâmicos. Os estudos mostraram predominância de suicídio nas mulheres (95%) e em pessoas jovens. Existe, por isso, uma necessidade urgente do país ter uma estratégia de prevenção do suicídio. A estratégia foi desenvolvida pela criação de um grupo técnico/ de assessoria multi-sectorial de diferentes intervenientes tais como governo, ONGs, agências doadoras, as famílias das vítimas e outraas partes interessadas. A estratégia baseia-se os seguintes valores chave:, respeito pelas diversidades; sensibilidade para as questões sócio-cultura-religiosa e de género; promoção da dignidade da sociedade; respeito pelos direitos humanoss.. Os 'seis pontos estratégicos' são: envolvimento das principais partes interessadas e criação de colaboração intersectorial coordenada; fornecimento de cuidados às pessoas que fazem tentativas de suicídio e às suas famílias; melhoria dos serviços para pessoas com doença mental e problemas psicossociais; promover uma comunicação e imagem adequada dos comportamentos suicidas, pelos meios de comunicação; reduzir o acesso aos meios de suicídio e coligir informação sobre as taxas de suicídio, os fatores de risco, os fatores protetores e as intervenções eficazes. A estratégia nacional de prevenção do suicídio será inicialmente implementada por 5 anos, com uma avaliação anual do plano de acção para entender os seus pontos fortes e limitações. Recomendações e sugestões serão incorporadas nos próxima planos anuais para uma intervenção eficaz. Um sistema de monitorização irá medir o progresso na implementação da estratégia.-----------------------------ABSTRACT: Suicide in Afghanistan is a public health priority. Afghanistan is a low-income country, emerging from three decades of conflicts. There is high prevalence of mental distress, mental disorders and substance abuse. There are multiple social issues, such as gender imbalance/violence, poverty, obsolete attitudes and customs, rapid social-cultural changes, human right violations, and especially women and children rights. These risk factors contribute to increase the vulnerability of the population for suicide. The relative high rate of suicide in Afghanistan is especially significant as the rates are low in all Islamic countries. Research studies have shown predominance of suicide in women (95%) and in young age people. There is an urgent need for the country to have a suicide prevention strategy. The strategy has been developed by establishing a multi-sectoral technical/advisory group of different stakeholders from government, NGOs, donor agencies, victim’s families, and interested parties. The strategy is based on the following key values, namely, respect for diversities; sensitiveness to socio-culture-religious and gender issues; promotion of the society dignity and respect for the human rights of people. The six ‘Strategic directions’ are: involving key stakeholders and creating coordinated inter-sectoral collaboration; providing after care for people making a suicide attempt and their families; improving services for people with mental disorders and psycho-social problems; promoting the safe reporting and image of suicidal behaviour by media; reducing access to the means of suicide and gathering information about suicide rates, risk factor, protective factors and effective interventions. The National Suicide Prevention Strategy will be initially implemented for 5 years, with an annual evaluation of the action plan to understand the strengths and limitations. Recommendations and suggestions will be incorporated into the next annual plans for effective intervention. A monitoring framework will measure progress in implementing the strategy.