Casualties distribution in human and natural hazards

Catastrophic events, such as wars and terrorist attacks, big tornadoes and hurricanes, huge earthquakes, tsunamis, floods, and landslides, are always accompanied by a large number of casualties. The size distribution of these casualties have separately been shown to follow approximate power law (PL) distributions. In this paper, we analyze the number of victims of catastrophic phenomena, in particular, terrorism, and find double PL behavior. This means that the data set is better approximated by two PLs instead of one. We have plotted the two PL parameters corresponding to all terrorist events occurred in every year, from 1980 to 2010. We observe an interesting pattern in the chart, where the lines, that connect each pair of points defining the double PLs, are roughly aligned to each other.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Incêndios urbanos no concelho da Amadora. O risco de incêndio nas freguesias da Mina e Venteira

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território, Área de Especialização em Ambiente e Recursos Naturais.

Estudo da corrosão provocada pelo cloro e procura de materiais alternativos

Muitas instalações municipais são alvo de manutenção permanente, devido ao uso de produtos químicos que provocam a corrosão e degradação dos mais diversos materiais. Esta degradação acarreta custos elevados para os municípios e privação de uso de algumas instalações devido a manutenção curativa ou preventiva. Um estudo adequado do efeito dos produtos utilizados, poderia conduzir à utilização de materiais mais nobres, que aumentasse significativamente o tempo de vida dos produtos mais atacados pela degradação por corrosão, através de estudos que permitissem avaliar a relação custo-benefício e, caso esta fosse favorável, proceder à substituição de determinados componentes em materiais relativamente fracos, por outros com uma maior capacidade para resistir aos ataques produzidos pelo meio em que estão inseridos. Este estudo foi efectuado com vista a estudar a degradação de determinados materiais expostos essencialmente à acção do Cloro em instalações municipais, permitindo assim seleccionar novos materiais que permitissem uma vida útil dos componentes mais alargada, estudando convenientemente a relação custo-benefício. Foi possível observar que a introdução de alguns materiais mais nobres, poderá reduzir drasticamente as operações de manutenção, diminuindo os custos e reduzindo também o tempo de indisponibilidade dos equipamentos municipais.

Framework development for providing accessibility to qualitative spatial calculi

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

Spatial analysis of suicide attack incidences in Kabul City

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

Estudo de vulnerabilidades em aplicações web e o seu reflexo em domínios Portugueses

Muito se tem falado sobre revolução tecnológica e do aparecimento constante de novas aplicações Web, com novas funcionalidades que visam facilitar o trabalho dos utilizadores. Mas será que estas aplicações garantem que os dados transmitidos são tratados e enviados por canais seguros (protocolos)? Que garantias é que o utilizador tem que mesmo que a aplicação utilize um canal, que prevê a privacidade e integridade de dados, esta não apresente alguma vulnerabilidade pondo em causa a informação sensível do utilizador? Software que não foi devidamente testado, aliado à falta de sensibilização por parte dos responsáveis pelo desenvolvimento de software para questões de segurança, levam ao aumento de vulnerabilidades e assim exponenciam o número de potenciais vítimas. Isto aliado ao efeito de desinibição que o sentimento de invisibilidade pode provocar, conduz ao facilitismo e consequentemente ao aumento do número de vítimas alvos de ataques informáticos. O utilizador, por vezes, não sabe muito bem do que se deve proteger, pois a confiança que depõem no software não pressupõem que os seus dados estejam em risco. Neste contexto foram recolhidos dados históricos relativos a vulnerabilidades nos protocolos SSL/TLS, para perceber o impacto que as mesmas apresentam e avaliar o grau de risco. Para além disso, foram avaliados um número significativo de domínios portugueses para perceber se os mesmos têm uma vulnerabilidade específica do protocolo SSL/TLS.

Hyper-IgD and Periodic Fever Syndrome: a New MVK Mutation (p.R277G) Associated with a Severe Phenotype

Hyperimmunoglobulinemia D and periodic fever syndrome (HIDS; MIM#260920) is a rare recessively-inherited autoinflammatory condition caused bymutations in the MVK gene, which encodes for mevalonate kinase, an essential enzyme in the isoprenoid pathway. HIDS is clinically characterized by recurrent episodes of fever and inflammation. Herewe report on the case of a 2 year-old Portuguese boy with recurrent episodes of fever, malaise, massive cervical lymphadenopathy and hepatosplenomegaly since the age of 12 months. Rash, arthralgia, abdominal pain and diarrhea were also seen occasionally. During attacks a vigorous acute-phase response was detected, including elevated erythrocyte sedimentation rate, C-reactive protein, serum amyloid A and leukocytosis. Clinical and laboratory improvement was seen between attacks. Despite normal serum IgD level, HIDS was clinically suspected. Mutational MVK analysis revealed the homozygous genotype with the novel p.Arg277Gly (p.R277G) mutation, while the healthy non consanguineous parents were heterozygous. Short nonsteroidal anti-inflammatory drugs and corticosteroid courses were given during attacks with poor benefits, where as anakinra showed positive responses only at high doses. The p.R277Gmutation here described is a novel missense MVK mutation, and it has been detected in this casewith a severe HIDS phenotype. Further studies are needed to evaluate a co-relation genotype, enzyme activity and phenotype, and to define the best therapeutic strategies.

Multipath inter-domain policy routing

Dissertação submetida para a obtenção do grau de Doutor em Engenharia Electrotécnica e de Computadores

Evaluating Dynamic Signage for Emergency Evacuation using an Immersive Video Environment

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

Infrequency of asymptomatic malaria in an endemic area in Amazonas, Brazil

A malaria survey was conducted in an area of high transmission (Costa Marques, Rondonia, Brazil) to determine the prevalence of asymptomatic parasitemia and its clinical significance. Most of the people surveyed were immigrants who had lived in the endemic area < 5 years. The people had easy access to free diagnostic and treatment services at the Malaria Clinic in the town of Costa Marques. The prevalence of plasmodial parasitemia in 344 people was 22%. There were 36 individuals with asymptomatic infections among the 77 parasitemic patients. During the two days following the initial examination, 19 ofthe 36 individuals: with asymptomatic infections developed malaria. Among the 17 patients who remained asymptomatic for > 2 days, 4 had only gametocytes, 1 had taken inadequate anti-malarial treatment, 3 were under treatment and 2 moved. Six asymptomatic patients denied the use of anti-malarial drugs and they developed malaria 3-6 days after the initial parasitological diagnosis. The final patient remained asymptomatic during the 7 day observation period. He had a history of > 40 malaria attacks and denied the use of antimalarial treatment. With the exception of the latter all of the other asymptomatic patients, were either in the incubation period or had been treated It is concluded that asymptomatic malaria is rare in the Costa Marques area and that it is necessary to treat all individuals with plasmodial parasitemia.

Contribuição para o estudo do despacho técnico-económico no sistema electroprodutor em Moçambique

Dissertação para obtenção do Grau de Mestre em Energias Renováveis – Conversão Eléctrica e Utilização Sustentáveis

The hemorrhagic syndrome of leptospirosis: an experimental study in guinea pigs

The hemorrhagic syndrome of leptospirosis was studied in guinea pigs. The study correlates hematological, histopathological and immunohistochemical alterations in sixty animals inoculated by the intraperitoneal route with lml of the culture of virulent strain of Leptospira interrogans serovar copenhageni. Leptospirae antigens were detected by immunoperoxidase, chiefly in liver, kidney and heart muscle capillaries. Possible pathogenic mechanisms responsible for hemorrhagic syndrome are discussed with emphasis on toxic and anoxic attacks causing damage to endothelia, platelet depletion and alterations to hemostasia rates: prothrombin time [FT], partial thromboplastin time [PIT] and fibrinogen concentrations. Tide clinical-laboratoiy picture is compatible with the histopathological observation of disseminated intravascular coagulation [D1C] in most of the guinea pigs from day 4 of infection.

Multipath policy routing in packet switched networks

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Intrusion tolerant routing with data consensus in wireless sensor networks

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