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

Scaling law in Saddle-node bifurcations for one-dimensional maps: A complex variable approach

The study of transient dynamical phenomena near bifurcation thresholds has attracted the interest of many researchers due to the relevance of bifurcations in different physical or biological systems. In the context of saddle-node bifurcations, where two or more fixed points collide annihilating each other, it is known that the dynamics can suffer the so-called delayed transition. This phenomenon emerges when the system spends a lot of time before reaching the remaining stable equilibrium, found after the bifurcation, because of the presence of a saddle-remnant in phase space. Some works have analytically tackled this phenomenon, especially in time-continuous dynamical systems, showing that the time delay, tau, scales according to an inverse square-root power law, tau similar to (mu-mu (c) )(-1/2), as the bifurcation parameter mu, is driven further away from its critical value, mu (c) . In this work, we first characterize analytically this scaling law using complex variable techniques for a family of one-dimensional maps, called the normal form for the saddle-node bifurcation. We then apply our general analytic results to a single-species ecological model with harvesting given by a unimodal map, characterizing the delayed transition and the scaling law arising due to the constant of harvesting. For both analyzed systems, we show that the numerical results are in perfect agreement with the analytical solutions we are providing. The procedure presented in this work can be used to characterize the scaling laws of one-dimensional discrete dynamical systems with saddle-node bifurcations.

Saúde mental, qualidade de vida e acesso aos cuidados de saúde na comunidade brasileira de Lisboa

Introdução: A utilização de serviços de saúde tem implicações importantes para o estado de saúde das populações. As políticas de imigração adoptadas nos países de destino têm influência no estado de saúde das comunidades imigrantes. Políticas que limitam o acesso de imigrantes aos cuidados de saúde aumentarão a vulnerabilidade e os riscos na saúde. Apesar da imigração promover uma série de rupturas na vida do sujeito, migrar, por si só, não pode ser considerado como factor de risco no âmbito da saúde e da saúde mental. O peso dos determinantes socioeconómicos tem ganho relevância no estudo das migrações, estado de saúde geral e mental. Isto porque, em geral, os imigrantes estão em situação mais precária do que a população autóctone. O estatuto socioeconómico baixo, as condições precárias de habitação e de trabalho, a falta de suporte social e a irregularidade jurídica são indicadores de risco acrescido para a saúde mental. Neste sentido é um desafio de monta os governos estabelecerem medidas sustentadas e, simultaneamente, integradoras dos imigrantes. Em Portugal, considera-se que há escassez de estudos relacionados com a área das migrações e da saúde.Metodologia: Estudo exploratório, descritivo e transversal. A finalidade foi a de identificar o estado de saúde, saúde mental e qualidade de vida da comunidade brasileira residente em Lisboa e o seu acesso aos serviços de saúde. Este estudo teve como principais objectivos a caracterização sociodemográfica, a identificação de variáveis inerentes ao processo migratório, a identificação da auto-apreciação do estado de saúde, a caracterização do acesso aos cuidados de saúde, a identificação do grupo em provável sofrimento psicológico, a comparação entre os resultados dos imigrantes juridicamente regulares e irregulares e a comparação entre a população imigrante e a população portuguesa. Inicialmente, foi prevista a utilização da técnica de amostragem de propagação geométrica ou snowball, pois a amostra tornar-se-ia maior à medida que os próprios inquiridos identificam outros potenciais respondentes. Ao longo do estudo, a metodologia inicial mostrou-se insuficiente para estabelecer uma amostra mais representativa dos imigrantes juridicamente irregulares. Para este feito, foi utilizada a metodologia de amostragem por conveniência e o local escolhido para a recolha da amostra foi o Consulado do Brasil em Lisboa. O instrumento de recolha de dados empregue baseou-se no questionário utilizado no 4º Inquérito Nacional de Saúde. O MHI-5 (Mental Health Index 5) é um instrumento de saúde mental e é parte integrante do inquérito, sendo recomendado pela Organização Mundial de Saúde. Consta de cinco itens relativos à saúde mental e os resultados são classificados através de um indicador que mede a existência de provável sofrimento psicológico. Foram incluídos no estudo 213 brasileiros. De seguida, procedeu-se ao tratamento estatístico dos dados. Resultados: A população inquirida é jovem, a maior parte tem entre 18 e 44 anos. As mulheres representam mais de metade da amostra. A taxa de actividade é elevada e a taxa de desemprego é similar à nacional. A inserção laboral prioritária é nos segmentos pouco qualificados ou de semi-qualificação. Aproximadamente um terço dos inquiridos afirmou ser beneficiário do Sistema Nacional de Saúde. A autoapreciação do estado de saúde é classificada como bastante positiva, assim como a qualidade de vida. O provável sofrimento psicológico, definido no MHI-5 pelo ponto de corte no score 52, atinge 23,3% dos participantes. Os homens apresentam melhores resultados do que as mulheres. Além disso, para os valores mais baixos no MHI-5 foram encontradas relações com as longas jornadas de trabalho e o diagnóstico de doença crónica.Discussão: O presente estudo apresenta limitações em relação à dimensão da amostra e à provável existência de enviesamento pela ausência de aleatorização. Apesar da legislação portuguesa garantir o acesso aos serviços de saúde e garantir a equidade no caso dos imigrantes que fazem descontos para a Segurança Social, apenas um terço referiu ser beneficiário do Sistema Nacional de Saúde. Este dado pode ser justificado por factores como o cumprimento da lei por alguns serviços e, também, pela falta de conhecimento da legislação e da forma de funcionamento do Serviço Nacional de Saúde por parte dos imigrantes. O facto das mulheres representarem o maior grupo em provável sofrimento psicológico é consistente com a literatura. As hipóteses levantadas para explicar este resultado podem ser agrupadas em: artefactos metodológicos, causalidade biológica e determinação social. Em relação ao instrumento, é possível que o MHI-5 se comporte de forma diferente no que diz respeito ao género.-------------------------------------------Introduction: The utilization of health services has important implications for the health state of the populations. The immigration policies adopted in the destiny countries are going to influence the health state of immigrant communities. Policies that limit the access of immigrants to health care are going to increase the vulnerability and the risk factor in health. Although immigration promotes several disruptive actions in ones life, migrating, on its own, cannot be considered as a risk factor for health and mental health. The preponderance of the socioeconomic factors has gained relevance in the study of migrations and also in the study of general health state and mental health. This happens because, in general, immigrants are in a more unfavorable situation compared with the destiny country population. The low socioeconomic status, the poor working and housing conditions, the lack of social support and the juridical irregularity are indicators of the incremented risk to mental health. Therefore, it is a major challenge for governments to find sustainable, and simultaneously, integrative measures for the immigrants. The studies related with the migrations and health in Portugal were considered to be few.Methods: It is an exploratory, descriptive and transversal study. The purpose is to identify the health state, mental health, quality of life and the access to health care of the Brazilian community resident in Lisbon. In addition, this study has as main goals the sociodemographic characterization, the variables identification inherent to the migrating process, the identification of the self-appreciation of health state, the characterization of the access to health care, the identification of the group in probable psychological suffer, the comparison between the results of regular and irregular immigrants and the comparison between the immigrant population and the Portuguese population. Initially it was predicted the utilization of the geometric propagation or “snowball”, as sampling technique, because the sample becomes larger as one answerer identify other potential answering persons. Along with the study, the methodology has shown insufficient to establish a more representative sample of the irregular immigrants. For this latter case, it was used a convenient sample methodology and the place chosen for the sample gathering was the “Consulate of Brazil in Lisbon”. The instrument was based in the questionnaire used in the “4th National Health Inquiry”. The MHI-5 (Mental Health Index 5) is a mental health instrument which is part of the enquiry and it is recommended by the World Health Organization. There are five items related to mental health and the results are classified through an indicator which measures the existence of a probable psychological suffer. It were included 213 Brazilian in the study. After, the statistical treatment of the data took place.Results: The answering population is young and the majority is between the 18 and 44 years of age. The women represent more than one half of the sample. The activity rate is high and the unemployment rate is similar to the national one. The priority labor insertion is in the few qualified or of semi-qualification segments. Approximately, one third of the answering people has stated to be beneficiary of the National Health System. The self-appreciation of the health state as well as the quality of life are classified as fairly positive ones. The probable psychological suffer, as defined in the MHI-5 through the cut point in the score below or equal to 52, reaches 23,3% of the sample population. Men show the better results than women. Further, for the lower values of MHI-5 it was found a relation with the long work periods and chronic disease diagnostic. Discussion: The present study evidences limitations in relation to the sample dimension and in relation to the existence of biases due to the lack of randomness. Although the Portuguese legislation guarantees the access to health services and the equality in the cases of the immigrants that do their Social Security discounts, only one third has mentioned to be beneficiary of the National Health System. This can be justified by several facts such as the non-fulfillment of law by some national services or the lack of knowledge of the legislation or the functioning process of the National Health System. Women representing the bigger group in probable psychological suffer has been coherent with the literature review. The hypothesis set to explain this result might be grouped in: methodological artifacts, biologic cause and social determination. In relation to the instrument used, it may be that MHI-5 behaves in a different way in respect to gender.

Organização e gestão da segurança contra incêndios

É de extrema importância implementar nos edifícios uma cultura de segurança. Nesse sentido, no presente trabalho intitulado “Organização e Gestão da Segurança Contra Incêndios”, realizado na forma de dissertação, são abordados os diversos aspetos que permitem aos edifícios estar devidamente organizados e geridos para fazer face a situações de emergência. Neste trabalho, inicialmente é formado um enquadramento ao tema da Segurança Contra Incêndios em Edifícios, com uma abordagem ao estado da arte e às medidas de autoproteção exigidas na legislação vigente. Devido à importância e ao dever legal imputado aos edifícios, de possuir uma estrutura interna, capaz de atenuar os prejuízos humanos e materiais decorrentes de uma situação de emergência, esta dissertação detalha as diversas exigências de estruturação e formação dos elementos que detêm responsabilidades na segurança contra incêndios. Para testar as medidas implementadas, criar rotinas de comportamento, assim como para aperfeiçoar os procedimentos de atuação, é essencial a realização periódica de simulacros. Esta temática é abordada neste trabalho de forma consistente, salientando a sua aplicação prática, que deve ser cuidadosamente planeada, executada e avaliada. Para complementar esta dissertação, é apresentado um caso prático, sendo dispostas medidas para a organização e gestão da segurança contra incêndios no Hotel Dom Henrique.

Coordenação e fiscalização de obras de reabilitação urbana - acompanhamento de operações de reabilitação no Morro da Sé

O presente relatório descreve o trabalho desenvolvido durante os 6 meses de estágio curricular no âmbito do mestrado em construções. O estágio decorreu na Porto Vivo, SRU, uma empresa pública responsável pela dinamização social e económica do Centro Histórico do Porto – Património Mundial. Ao longo do estágio foram realizadas tarefas relacionadas com o tema Coordenação e Fiscalização de Obras, integrando a equipa do Núcleo de Execução de Obras (NEO), acompanhando as obras a decorrer no Centro Histórico do Porto, como por exemplo as Operações de Reabilitação e Realojamento no Morro da Sé. Procedeu-se também à realização de várias vistorias (segurança, salubridade e estética, determinação do nível de conservação e vistorias para efeitos de receção provisória de edifícios), embargo de obras e também o estudo do estado de conservação do edificado nas Áreas de Reabilitação Urbana (ARU) em Santos Pousada e Lapa. Desta forma, tornou-se possível reunir uma diversa quantidade de informação para a realização deste relatório, abordando assuntos importantes tais como as adversidades e anomalias observadas nas visitas às Operações de Reabilitação e Realojamento no Morro da Sé, como também a sugestão de um material estrutural alternativo, o Light Steel Framing.

An Enhanced WLAN Security System With FPGA Implementation for Multimedia Applications

Maintaining a high level of data security with a low impact on system performance is more challenging in wireless multimedia applications. Protocols that are used for wireless local area network (WLAN) security are known to significantly degrade performance. In this paper, we propose an enhanced security system for a WLAN. Our new design aims to decrease the processing delay and increase both the speed and throughput of the system, thereby making it more efficient for multimedia applications. Our design is based on the idea of offloading computationally intensive encryption and authentication services to the end systems’ CPUs. The security operations are performed by the hosts’ central processor (which is usually a powerful processor) before delivering the data to a wireless card (which usually has a low-performance processor). By adopting this design, we show that both the delay and the jitter are significantly reduced. At the access point, we improve the performance of network processing hardware for real-time cryptographic processing by using a specialized processor implemented with field-programmable gate array technology. Furthermore, we use enhanced techniques to implement the Counter (CTR) Mode with Cipher Block Chaining Message Authentication Code Protocol (CCMP) and the CTR protocol. Our experiments show that it requires timing in the range of 20–40 μs to perform data encryption and authentication on different end-host CPUs (e.g., Intel Core i5, i7, and AMD 6-Core) as compared with 10–50 ms when performed using the wireless card. Furthermore, when compared with the standard WiFi protected access II (WPA2), results show that our proposed security system improved the speed to up to 3.7 times.

Defining health law or the edgewood syndrome

ABSTRACT - The authors’ main purpose is to present ideas on defining Health Law by highlighting the particularities of the field of Health Law as well as of the teaching of this legal branch, hoping to contribute to the maturity and academic recognition of Health Law, not only as a very rich legal field but also as a powerful social instrument in the fulfillment of fundamental human rights. The authors defend that Health Law has several characteristics that distinguish it from traditional branches of law such as its complexity and multidisciplinary nature. The study of Health Law normally covers issues such as access to care, health systems organization, patients’ rights, health professionals’ rights and duties, strict liability, healthcare contracts between institutions and professionals, medical data protection and confidentiality, informed consent and professional secrecy, crossing different legal fields including administrative, antitrust, constitutional, contract, corporate, criminal, environmental, food and drug, intellectual property, insurance, international and supranational, labor/employment, property, taxation, and tort law. This is one of the reasons why teaching Health Law presents a challenge to the teacher, which will have to find the programs, content and methods appropriate to the profile of recipients which are normally non jurists and the needs of a multidisciplinary curricula. By describing academic definitions of Health Law as analogous to Edgewood, a fiction house which has a different architectural style in each of its walls, the authors try to describe which elements should compose a more comprehensive definition. In this article Biolaw, Bioethics and Human Rights are defined as complements to a definition of Health Law: Biolaw because it is the legal field that treats the social consequences that arise from technological advances in health and life sciences; Bioethics which evolutions normally influence the shape of the legal framework of Health; and, finally Human Rights theory and declarations are outlined as having always been historically linked to medicine and health, being the umbrella that must cover all the issues raised in the area of Health Law. To complete this brief incursion on the definition on Health Law the authors end by giving note of the complex relations between this field of Law and Public Health. Dealing more specifically on laws adopted by governments to provide important health services and regulate industries and individual conduct that affect the health of the populations, this aspect of Health Law requires special attention to avoid an imbalance between public powers and individual freedoms. The authors conclude that public trust in any health system is essentially sustained by developing health structures which are consistent with essential fundamental rights, such as the universal right to access health care, and that the study of Health Law can contribute with important insights into both health structures and fundamental rights in order to foster a health system that respects the Rule of Law.-------------------------- RESUMO – O objectivo principal dos autores é apresentar ideias sobre a definição de Direito da Saúde, destacando as particularidades desta área do direito, bem como do ensino deste ramo jurídico, na esperança de contribuir para a maturidade e para o reconhecimento académico do mesmo, não só como um campo juridicamente muito rico, mas, também, como um poderoso instrumento social no cumprimento dos direitos humanos fundamentais. Os autores defendem que o Direito da Saúde tem diversas características que o distinguem dos ramos tradicionais do direito, como a sua complexidade e natureza multidisciplinar. O estudo do Direito da Saúde abrangendo normalmente questões como o acesso aos cuidados, a organização dos sistemas de saúde, os direitos e deveres dos doentes e dos profissionais de saúde, a responsabilidade civil, os contratos entre instituições de saúde e profissionais, a protecção e a confidencialidade de dados clínicos, o consentimento informado e o sigilo profissional, implica uma abordagem transversal de diferentes áreas legais, incluindo os Direitos contratual, administrativo, antitrust, constitucional, empresarial, penal, ambiental, alimentar, farmacêutico, da propriedade intelectual, dos seguros, internacional e supranacional, trabalho, fiscal e penal. Esta é uma das razões pelas quais o ensino do Direito da Saúde representa um desafio para o professor, que terá de encontrar os programas, conteúdos e métodos adequados ao perfil dos destinatários, que são normalmente não juristas e às necessidades de um currículo multidisciplinar. Ao descrever as várias definições académicas de Direito da Saúde como análogas a Edgewood, uma casa de ficção que apresenta um estilo arquitectónico diferente em cada uma de suas paredes, os autores tentam encontrar os elementos que deveriam compor uma definição mais abrangente. No artigo, Biodireito, Bioética e Direitos Humanos são descritos como complementos de uma definição de Direito da Saúde: o Biodireito, dado que é o campo jurídico que trata as consequências sociais que surgem dos avanços tecnológicos na área da saúde e das ciências da vida; a Bioética cujas evoluções influenciam normalmente o quadro jurídico da Saúde; e, por fim, a teoria dos Direitos Humanos e as suas declarações as quais têm estado sempre historicamente ligadas à medicina e à saúde, devendo funcionar como pano de fundo de todas as questões levantadas na área do Direito da Saúde. Para finalizar a sua breve incursão sobre a definição de Direito da Saúde, os autores dão ainda nota das complexas relações entre este último e a Saúde Pública, onde se tratam mais especificamente as leis aprovadas pelos governos para regular os serviços de saúde, as indústrias e as condutas individuais que afectam a saúde das populações, aspecto do Direito da Saúde que requer uma atenção especial para evitar um desequilíbrio entre os poderes públicos e as liberdades individuais. Os autores concluem afirmando que a confiança do público em qualquer sistema de saúde é, essencialmente, sustentada pelo desenvolvimento de estruturas de saúde que sejam consistentes com o direito constitucional da saúde, tais como o direito universal ao acesso a cuidados de saúde, e que o estudo do Direito da Saúde pode contribuir com elementos

A Review on the Characterization of Signals and Systems by Power Law Distributions

Power laws, also known as Pareto-like laws or Zipf-like laws, are commonly used to explain a variety of real world distinct phenomena, often described merely by the produced signals. In this paper, we study twelve cases, namely worldwide technological accidents, the annual revenue of America׳s largest private companies, the number of inhabitants in America׳s largest cities, the magnitude of earthquakes with minimum moment magnitude equal to 4, the total burned area in forest fires occurred in Portugal, the net worth of the richer people in America, the frequency of occurrence of words in the novel Ulysses, by James Joyce, the total number of deaths in worldwide terrorist attacks, the number of linking root domains of the top internet domains, the number of linking root domains of the top internet pages, the total number of human victims of tornadoes occurred in the U.S., and the number of inhabitants in the 60 most populated countries. The results demonstrate the emergence of statistical characteristics, very close to a power law behavior. Furthermore, the parametric characterization reveals complex relationships present at higher level of description.

Power Law Behavior and Self-similarity in Modern Industrial Accidents

Advances in technology have produced more and more intricate industrial systems, such as nuclear power plants, chemical centers and petroleum platforms. Such complex plants exhibit multiple interactions among smaller units and human operators, rising potentially disastrous failure, which can propagate across subsystem boundaries. This paper analyzes industrial accident data-series in the perspective of statistical physics and dynamical systems. Global data is collected from the Emergency Events Database (EM-DAT) during the time period from year 1903 up to 2012. The statistical distributions of the number of fatalities caused by industrial accidents reveal Power Law (PL) behavior. We analyze the evolution of the PL parameters over time and observe a remarkable increment in the PL exponent during the last years. PL behavior allows prediction by extrapolation over a wide range of scales. In a complementary line of thought, we compare the data using appropriate indices and use different visualization techniques to correlate and to extract relationships among industrial accident events. This study contributes to better understand the complexity of modern industrial accidents and their ruling principles.

Cohesive law estimation of adhesive joints in mode II condition

The adhesive bonding technique enables both weight and complexity reduction in structures that require some joining technique to be used on account of fabrication/component shape issues. Because of this, adhesive bonding is also one of the main repair methods for metal and composite structures by the strap and scarf configurations. The availability of strength prediction techniques for adhesive joints is essential for their generalized application and it can rely on different approaches, such as mechanics of materials, conventional fracture mechanics or damage mechanics. These two last techniques depend on the measurement of the fracture toughness (GC) of materials. Within the framework of damage mechanics, a valid option is the use of Cohesive Zone Modelling (CZM) coupled with Finite Element (FE) analyses. In this work, CZM laws for adhesive joints considering three adhesives with varying ductility were estimated. The End-Notched Flexure (ENF) test geometry was selected based on overall test simplicity and results accuracy. The adhesives Araldite® AV138, Araldite® 2015 and Sikaforce® 7752 were studied between high-strength aluminium adherends. Estimation of the CZM laws was carried out by an inverse methodology based on a curve fitting procedure, which enabled a precise estimation of the adhesive joints’ behaviour. The work allowed to conclude that a unique set of shear fracture toughness (GIIC) and shear cohesive strength (ts0) exists for each specimen that accurately reproduces the adhesive layer’ behaviour. With this information, the accurate strength prediction of adhesive joints in shear is made possible by CZM.

Contract law

Livro editado para celebrar dos 10 anos da Faculdade de Direito da UNL

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

2008 Portuguese tobacco law: What are the effects on smoking rates?

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