Controlo de acesso móvel

O mercado de smartphones tem vindo a crescer massivamente nos últimos anos, bem como a diversi cação das suas funcionalidades no dia-a-dia de cada pessoa. O mercado aberto de aplicações para estes equipamentos também tem sofrido uma forte evolução o que permite uma maior qualidade e competitividade pela apresentação de produtos. O conceito de casas inteligentes está cada vez mais presente e é algo que as pessoas se estão a acomodar de forma gradual. Para acompanhar tal feito, é necessário desenvolver as capacidades dos equipamentos que estas pessoas mais usam para que estes possam dar resposta a estas necessidades. Para o caso atual irão ser estudadas as fechaduras inteligentes. Os sistemas comercializados atualmente, são tipicamente sistemas proprietários e apresentam algumas limitações ou faltas (ex: ao nível da segurança, incapacidade de abranger um largo número de dispositivos móveis ou mesmo ao nível do preço). Neste contexto, e com base na caracterização das soluções de controlo de acesso atuais, foi estudada a viabilidade de, usando uma abordagem assente em tecnologias não proprietárias (i.e., abertas), desenvolver soluções de controlo de acesso com características comparáveis com os sistemas proprietários actuais e, eventualmente, ultrapassando os limites e falhas identi cados. Dadas estas premissas o sistema de controlo de acesso móvel pensado envolve um computador BeagleBone Black e a tecnologia sem os Bluetooth. Este sistema permite a fácil integração do computador com qualquer smartphone atual e é dotado de fortes características de segurança e privacidade. O sistema foi concebido inicialmente para ser implementado em fechaduras de portas mas com possibilidade de expansão para outros equipamentos. Além disso, o sistema permitirá também o acesso a terceiros após a devida autorização do dono.

Leveraging facebook’s open graph to develop an environmental persuasive application

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

Personalization platform for multimodal ubiquitous computing applications

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

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.

Humor and the framing of the public sphere and public opinion in Portugal (1797-1834)

In his Answer to the Question: What is Enlightenment (1784), Kant puts forward his belief that the vocation to think freely, which humankind is endowed with, is bound to make sure that “the public use of reason” will at last act “even on the fundamental principles of government and the state [will] find it agreeable to treat man – who is now more than a machine – in accord with his dignity”. The critical reference to La Mettrie (1747), by opposing the machine to human dignity, will echo, in the dawn of the 20th century, in Bergson’s attempt to explain humor. Besides being exclusive to humans, humor is also a social phenomenon. Freud (1905) assures that pleasure originated by humor is collective, it results from a “social process”: jokes need an audience, a “third party”, in order to work and have fun. Assuming humor as a social and cultural phenomenon, this paper intends to sustain that it played a role in the framing of the public sphere and of public opinion in Portugal during the transition from Absolute Monarchy to Liberalism. The search for the conditions which made possible the critical exercise of sociability is at the root of the creation of the public sphere in the sense developed by Habermas (1962), whose perspective, however, has been questioned by those who point 2 out the alleged idealism of the concept – as opposed, for example, to Bakhtin (1970), whose work stresses diversity and pluralism. This notwithstanding, the concept of public sphere is crucial to the building of public opinion, which is, in turn, indissoluble from the principle of publicity, as demonstrated by Bobbio (1985). This paper discusses the historical evolution of the concept of public opinion from Ancient Greece doxa, through Machiavelli’s “humors” (1532), the origin of the expression in Montaigne (1580) and the contributions of Hobbes (1651), Locke (1690), Swift (1729), Rousseau (1762) or Hume (1777), up to the reflection of Lippman (1922) and Bourdieu’s critique (1984). It maintains that humor, as it appears in Portuguese printed periodicals from 1797 (when Almocreve de Petas was published for the first time) to the end of the civil war (1834) – especially in those edited by José Daniel Rodrigues da Costa but also in O Piolho Viajante, by António Manuel Policarpo da Silva, or in the ones written by José Agostinho de Macedo, as well as in a political “elite minded” periodical such as Correio Braziliense –, contributed to the framing of the public sphere and of public opinion in Portugal.

Resilience of logistic service providers facing a port strike: a case study

The purpose of this thesis is to study the impact of a port strike on companies that perform as logistic service providers in a supply chain (SC), here denominated 3PL (third-party logistic providers). These companies are highly dependent on ports to perform their activity, since they provide international services. Consequently, a disruption in a port can seriously impair their business. A stevedores’ strike is one of the possible disruptions that can affect ports. This study aims to analyze the negative effects caused by this disruption, and what strategies 3PLs may implement in order to keep their performance levels stable and have a quick recovery time. Within this objective, the first step will be to establish a theoretical context about the maritime port’s sector and 3PLs in a SC context, to then expand the concept of a resilient SC, and finally to develop a theoretical framework in order to better contextualize the case study. Subsequently, the impact of a port strike will be quantified by using a case study comprising three companies, covering the areas of land and sea distribution and port operations. Information from primary sources was assembled in two phases: first via e-mail and, in a second phase, through a personal interview. The information from secondary sources was obtained through television news, internet and conferences, enabling its cross-analysis. Finally, by analyzing the collected data, it will be possible to draw conclusions about the measures carried out by each company to minimize the negative effects of the strike, thus contributing to a more resilient SC. As a conclusion, a stevedores’ strike will create a snow-ball of negative effects in the SC, degrading all relevant KPIs (key performance indicators) of the 3PLs under study. No mitigation and contingency strategies available proved really effective to reduce the negative effects of a port strike disruption.

Assessing the community needs of mental health residential care service users in Republic of Moldova

RESUMO: Background: Problemas de saúde mental são um grande problema clínico e social na República da Moldávia, representando uma quota significante de deficiência, sendo classificada no top cinco das dez linhas na hierarquia das condições. A taxa de incidência tem sido crescente na República da Moldávia, atingindo cerca de 15.000 por ano (14,655 em 2011), ou seja, 411,4 por 100 mil habitantes, e uma taxa de prevalência de 97.525 pessoas em 2011, ou seja, 2,737.9 por 100 mil habitantes. Sistema de atendimento psiquiátrico fornece serviços de saúde mental escassos a nível da comunidade, visando principalmente terapia hospitalar, centralizada, através de uma rede de três hospitais psiquiátricos, com 1.860 camas e 4 sanatórios psico- neurológicos com 1890 camas, assim alimentando-se a estigmatização do paciente. Objetivos: O objetivo deste estudo foi a avaliação das necessidades individuais dos beneficiários e do seu nível de autonomia dentro de cuidados residenciais, para o planeamento de reformas de saúde mental e desinstitucionalização na República da Moldávia. Este estudo foi encomendado pelo Ministério do Trabalho, Proteção Social e da Família e pelo Ministério da Saúde, com o apoio da Organização Mundial da Saúde, para determinar o cumprimento eficaz do artigo 19 da Convenção da ONU. O estudo tem os seguintes objetivos: Avaliar o nível de autonomia dos residentes nos hospitais psiquiátricos e sanatórios psico-neurológico, usando uma amostra representativa de 10 por ce nto do número total de pacientes/residentes e comparação cruzada; Para avaliar quatro sanatórios psico-neurológicos para adultos e três hospitais psiquiátricos; Para desenvolver recomendações para o planeamento da desinstitucionalização das pessoas com problemas de saúde mental e colocação na comunidade com base nos resultados do estudo. Metodologia e resultados: O estudo fez uso de duas ferramentas globais: questionário para a avaliação individual dos residentes do estabelecimento de saúde mental, e questionário de avaliação institucional. Todos os entrevistados foram divididos em quatro categorias conforme com o grau de dependência e preparação de viver de forma independente na comunidade. Apenas 1,2% dos entrevistados de PNHB eram totalmente dependentes de terceiros ou serviços especializados, tornando-se a categoria 4, que necessitam de cuidados e apoio contínuo. No PH esta categoria de pessoas é ausente. Conclusões: A condição dos entrevistados foi pior em PNBH que em PH. No entanto, ainda, aqueles que estão prontos para ser desinstitucionalizados correspondem com a maior parte dos entrevistados. Todos os hospitais tinham o consentimento do utente para admissão e tratamento, enquanto não houve consentimento qualquer em PNBH. É bastante óbvio que tanto os hospitais como também a sistema de assistência residencial não atingem a sua finalidade, o que significa que a maioria dos utentes pode ser desinstitucionalizados, sem qualquer terapia de suporte.------------------ABSTRACT: Background: Mental health problems are a major clinical and social issue in the Republic of Moldova,accounting for a significant share of disability and ranking in top five of the ten lines in the hierarchy of conditions. The incidence rate has been growing in the Republic of Moldova to reach approximately 15 thousand a year (14,655 in 2011), i.e. 411.4 per 100 thousand population, and a prevalence rate of 97,525 thousand people in 2011, i.e. 2,737.9 per 100 thousand population. Psychiatric care system provides for scanty mental health services at community level, aiming mainly at centralized hospital-based therapy through a network of three psychiatric hospitals tallying up 1,860 beds and 4 psycho-neurological boarding houses with 1,890 beds, thus fuelling up patient stigmatization. Objectives: The purpose of this study was to assess the individual needs of beneficiaries and their level of autonomy within residential care for the planning of mental health system reforms and deinstitutionalization in the Republic of Moldova. This study was commissioned by the Ministry of Labour, Social Protection and Family and by the Ministry of Health, with the World Health Organization support, to provide for effective enforcement of article 19 of the UN CRPD. The study pursued the following goals: To evaluate the level of autonomy of the psychiatric hospital and psycho-neurological boarding house residents by using a representative sample of 10 per cent of the total number of patients / residents and cross-comparison; To evaluate four psycho-neurological boarding houses for adults and three psychiatric hospitals; To develop recommendations for planning the deinstitutionalization of people with mental health problems and community placement based on the study findings.Methodology and results: The study made use of two global tools: questionnaire for individual assessment of mental health facility residents, and institutional assessment questionnaire. All interviewees were divided into four categories by one’s degree of dependence and readiness to live independently in the community. Only 1.2% of respondents from PNHB were fully dependent on a third party or specialized services, making up category 4, requiring continuous care and support. In PH this category of people is absent.Conclusions: The condition of respondents was worse in PNBH than in PH. However, yet, those ready to be deinstitutionalized accounted for most of respondents there. All hospitals had the resident’s consent to admission and treatment, whereas there was no consent in PNBH whatsoever. It is quite obvious that both the hospitals and residential care system do not achieve their intended purpose, meaning that the majority of residents may be deinstitutionalized without any support therapy.

“The impact of online ratings on video game sales”

Online third-party reviews have been grown over the last decade and they now play an important role as a tool for helping customers evaluate products and services that in many cases offer more than tangible features. This study intends to quantify the impact online ratings have over video game sales by conducting a linear regression analysis on 300 titles for the previous console generation (PlayStation® 3 and Xbox® 360) using a data from the video game industry to understand the existing influence on this particular market. The findings showed that these variables have a weak linear relationship thus suggesting that quality of a title explains little the commercial success of a video game and instead this should cover a wider range of factors. Afterwards, we compare results to previous ones and discuss the managerial implications for upcoming gaming generations.

Critical analysis of the allocation policy for liver transplantation in Brazil

Liver transplantation is now the standard treatment for end-stage liver disease. Given the shortage of liver donors and the progressively higher number of patients waiting for transplantation, improvements in patient selection and optimization of timing for transplantation are needed. Several solutions have been suggested, including increasing the donor pool; a fair policy for allocation, not permitting variables such as age, gender, and race, or third-party payer status to play any role; and knowledge of the natural history of each liver disease for which transplantation is offered. To observe ethical rules and distributive justice (guarantee to every citizen the same opportunity to get an organ), the "sickest first" policy must be used. Studies have demonstrated that death has no relationship with waiting time, but rather with the severity of liver disease at the time of inclusion. Thus, waiting time is no longer part of the United Network for Organ Sharing distribution criteria. Waiting time only differentiates between equally severely diseased patients. The authors have analyzed the waiting list mortality and 1-year survival for patients of the State of São Paulo, from July 1997 through January 2001. Only the chronological criterion was used. According to "Secretaria de Estado da Saúde de São Paulo" data, among all waiting list deaths, 82.2% occurred within the first year, and 37.6% within the first 3 months following inclusion. The allocation of livers based on waiting time is neither fair nor ethical, impairs distributive justice and human rights, and does not occur in any other part of the world.

Avaliação do desempenho ambiental do aglomerado negro de cortiça

Dissertação de mestrado integrado em Engenharia Civil

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

A eficácia da Mediação Familiar no contexto das Responsabilidades Parentais

Dissertação de mestrado em Direito das Crianças, Família e Sucessões

Selecting negotiation processes with Health Care

We address the question of how a third-party payer (e.g. an insurer) decides what providers to contract with. Three different mechanisms are studied and their properties compared. A first mechanism consists in the third-party payer setting up a bargaining procedure with both providers jointly and simultaneously. A second mechanism envisages the outcome of the same simultaneous bargaining but independently with every provider. Finally, the last mechanism is of different nature. It is the so-called "any willing provider" where the third-party payer announces a contract and every provider freely decides to sign it or not. The main finding is that the decision of the third-party payer depends on the surplus to be shared. When it is relatively high the third-party payer prefers the any willing provider system. When, on the contrary, the surplus is relatively low, the third-party payer will select one of the other two systems accor ing to how bargaining power is distributed.

Negotiation advantages of professional associations in health care

In several instances, third-party payers negotiate prices of health care services with providers. We show that a third-party payer may prefer to deal with a professional association than with the sub-set constituted by the more efficient providers, and then apply the same price to all providers. The reason for it is the increase in the bargaining position of providers. The more efficient providers are also the ones with higher profits in the event of negotiation failure. This allows them to ext act a higher surplus from the third-party payer.

Organisational structure, communication and group ethics

This paper investigates experimentally how organisational decision processes affect the moral motivations of actors inside a firm that must forego profits to reduce harming a third party. In a "vertical" treatment, one insider unilaterally sets the harm-reduction strategy; the other can only accept or quit. In a "horizontal" treatment, the insiders decide by consensus. Our 2-by-2 design also controls for communication effects. In our data, communication makes vertical firms more ethical; voice appears to mitigate "responsibility-alleviation" in that subordinates with voice feel responsible for what their firms do. Vertical firms are then more ethical than the horizontal firms for which our bargaining data reveal a dynamic form of responsibility-alleviation and our chat data indicate a strong "insider-outsider" effect.