Characterization of molybdenum and tungsten formate dehydrogenases from sulfate reducing bacteria

Dissertação apresentada para a obtenção do Grau de Doutor em Bioquímica, especialidade Bioquímica-Física pela Universidade Nova de Lisboa, Faculdade de Ciências e TecnologiaFundação para a Ciência e Tecnologia - funding (Grant SFRH/BD/32478/2006)

Conhecimento das medidas de autoproteção e seus dispositivos : um estudo na Universidade dos Açores

Dissertação de Mestrado, Ambiente, Saúde e Segurança, 08 de março de 2019, Universidade dos Açores.Qualquer utilizador de um espaço está sujeito a diversos riscos. É fundamental que numa situação potencial de emergência, haja um conhecimento prévio de dispositivos e procedimentos desde o alerta até à evacuação e à resolução da situação. Para isso está demonstrado que é essencial a preparação e formação de todos os utilizadores, bem como a realização de treinos e simulacros. O objetivo geral deste estudo é assim avaliar o conhecimento dos utilizadores dos edifícios da Universidade dos Açores (UAc), polo de Ponta Delgada, em relação às medidas de autoproteção e dispositivos de Segurança contra incêndios em edifícios (SCIE). Foi assim realizado um estudo exploratório e descritivo, através de um questionário, a uma amostra por conveniência de utilizadores destas instalações. Participaram neste estudo 234 indivíduos, de ambos os sexos, sendo cerca de 83% alunos e os restantes diversos utilizadores da UAc. Foram colocadas questões relacionadas com plantas de emergência, extintores, carreteis e botões de alarme, sinalização de emergência, procedimentos de evacuação, pontos de encontro, e história prévia de ações de formação ou simulacros. A análise estatística de dados, através do programa SPSS22, revelou que a maioria dos utilizadores da UAc desconhece a localização e o procedimento de utilização dos dispositivos de SCIE, bem como os procedimentos de evacuação, as saídas de emergência dos edifícios que frequentam e os pontos de encontro da instituição. São discutidos os resultados e as implicações no domínio da segurança dos ocupantes das instalações alvo do estudo.ABSTRACT: Anyone who uses a space is someone submitted to risks. According to that, it’s fundamental that, within an imminent emergency situation, any individual has prior information on safety procedures, in order to respond to an alert signal or an evacuation order. Moreover, it is granted that preparedness and training are essential, particularly when concerning fire drills. The general goal of the present study is to evaluate how much students, professors and workers of the Universidade dos Açores, Campus of Ponta Delgada, have the proper knowledge on fire prevention procedures as well to operate fire safety devices. The present work supports on an inquiry that was presented to all kind of users of the campus spaces and had the participation of 234 individuals, from both gender, 83% of which were students. The queries were, in general, related to how to cope with emergency plans, fire extinguishers, fire hose reels, fire alarm, safety signs or evacuation procedures, as well as to reach meeting points or even any background on safety issues. With the help of the SPSS22 software, a statistical analysis was made. The results showed that most of the Ponta Delgada campus population isn’t aware of most of those mentioned issues. Results were discussed as well as its implications in matters of fire safety

Formal verification of kLIBC with the WP frama-C plug-in

This paper presents our results in the formal verification of kLIBC, a minimalistic C library, using the Frama-C/WP tool. We report how we were able to completely verify a significant number of functions from and . We discuss difficulties encountered and describe in detail a problem in the implementation of common functions, for which we suggest alternative implementations. Our work shows that it is presently already viable to verify low-level C code, with heavy usage of pointers. Although the properties proved tend to be shallower as the code becomes of a lower-level nature, it is our view that this is an important direction towards real-world software verification, which cannot be attained by focusing on deep properties of cleaner code, written specifically to be verified.This work is funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-020486

Second Degree Atrioventricular Block Mobitz Type I after Administration of Benzathine Penicillin. Case Report

SummaryBackground and objectivesSecond degree atrioventricular block Mobitz type I is seen as a transitory change in the presence of inferior wall myocardial infarction or drug intoxication. The objective of this report was to present a case of second degree atrioventricular block Mobitz type I after administration of benzathine penicillin.Case reportThe patient had a syncopal episode and sudoresis after administration of benzathine penicillin. On physical exam, he presented diaphoresis, bradycardia, and irregular heart rate. The electrocardiogram (ECG) showed second degree atrioventricular block Mobitz type I. Intravenous atropine, 0.5 mg, was administered. An ECG done one hour later was normal. The patient remained asymptomatic and, and after six hours he was discharged.ConclusionsThe patient developed second degree atrioventricular block Mobitz type I after the administration of benzathine penicillin

A generic and highly efficient parallel variant of Borůvka's algorithm

This paper presents (i) a parallel, platformindependent variant of Borůvka's algorithm, an efficient Minimum Spanning Tree (MST) solver, and (ii) a comprehensive comparison of MST-solver implementations, both on multi-core CPU-chips and GPUs. The core of our variant is an effective and explicit contraction of the graph. Our multi-core CPU implementation scales linearly up to 8 threads, whereas the GPU implementation performs considerably better than the optimal number of threads running on the CPU. We also show that our implementations outperform all other parallel MST-solver implementations in (ii), for a broad set of publicly available roadnetwork graphs.info:eu-repo/semantics/publishedVersio

Projecto de um Centro Cultural Japonês

A presente dissertação assenta na realização de uma proposta para um Centro Cultural Japonês, localizado no centro de Tóquio, como forma de resposta e adaptação de um programa atribuído no site de concursos BeeBreeders. Falar numa intervenção numa cidade ancestral como Tóquio, implica falar da sua História, do seu quotidiano, da sua herança cultural e da interação desta com o resto do Mundo. Os acontecimentos históricos que mais contribuíram para a abertura desta cidade do Império do Sol Nascente ao mundo, ocorreram sobretudo a partir dos finais do século XIX, intensificaramse no período pós-guerra e conduziram a uma modernização e interacção com novas culturas, como a ocidental. Por sua vez, esta expansão cultural despertou interesse e curiosidade pelo estudo das diversas características e peculiaridades próprias deste povo. Pretende-se conhecer e explorar alguns elementos conceptuais, simbologia e significados de aspectos da cultura e estética japonesas, e reflectir sobre a temática do Jardim e do lugar onde está inserido, adaptando-os para o campo da arquitectura. Desta forma, a presente dissertação surge como uma proposta para um Centro Cultural Japonês, sito no “coração” de Tóquio, mais propriamente no distrito de Chiyoda. Tem como base um local de intervenção e um programa atribuídos no site de concursos BeeBreeders, onde se pretende a realização de um espaço lúdico. Como consequência da envolvente do local de intervenção, o tema foi adaptado e ampliado de forma a que se pudesse entender melhor o “Jardim” e a sua relação com o “Espaço e o Lugar” que o circunscreve.This dissertation consists in a project proposal for the development of a Japanese Cultural Center, located in the center of Tokyo, as a way of reusing and adapting a program retrieved from the BeeBreeders contest website. When considering any type of intervention in a city like Tokyo, it is required first to understand its history, its lifestyle, its cultural heritage and its interaction with the rest of the world. The historical events that contributed the most to an opening of the city of the Empire of the Rising Sun to the world, took place mostly after the latest years of the XIX century, and gained bigger proportions in the post-war period. This has led to the modernization of the city of Tokyo and also allowed the interaction with new cultures, such as the Western one. This cultural expansion triggered the interest and curiosity for the study of the diverse characteristics and peculiarities of the Japanese culture. This dissertation aims to describe and explore some conceptual elements and symbols of the Japanese culture and aesthetic, as well to address the thematic of the Garden and the place where it is inserted, adapting it to the architecture field. This dissertation constitutes a proposal for a Japanese Culture Center, located in the “heart” of the city of Tokyo, namely in the Chiyoda district. It is based on a place of intervention and a program assigned on the site BeeBreeders contests, where it is intended the realization of a playful space. As a consequence of the surroundings of the place of intervention, the theme was adapted and expanded so that one could better understand the "Garden" and its relation with the "Space and Place" that circumscribes it

Direitos humanos: uma questão de alteridade: a nova concepção de deficiência e os reflexos nos direitos e na invisibilidade social das pessoas com deficiência, um devir humano

Trata-se de pesquisa acadêmica pautada no estudo das concepções da deficiência como um devir humano, um conceito que se confunde com a própria história da humanidade, e dos “Direitos Humanos” como uma questão de alteridade, bem assim de outras concepções e matrizes discursivas – espirituais, instrumentais, organicistas ou médicas, inclusivista ou sociais. Ao longo da pesquisa, busca-se desvelar os reflexos projetados pela concepção contemporânea de deficiência, alavancada pelo construído de Direitos Humanos, detidamente pela Convenção da ONU Sobre os Direitos das Pessoas com Deficiência, que foi internalizada pelo Brasil com lastro de Emenda Constitucional. Para tanto, remonta-se recorte histórico sobre as matrizes discursivas predominantes em cada época da humanidade (paradigmas) – da Grécia antiga – mitológica – baseada em uma sociedade ideal e de perfeição estética; passando pela Idade Média, onde as pessoas com deficiência já foram concebidas como: fruto de maldição e pecado, relegadas ao conceito de coisa, objeto de caridade e assistencialismo; ou encaradas como uma anomalia ou anormalidade; até a atualidade – era da concepção contemporânea –, após longo histórico de lutas, violações, atrocidades, eliminação e invisibilidade social, passaram a ser enxergadas como sujeitos de direito, tendo como apogeu dos avanços o Pós-Guerra e a Revolução Industrial. Desse modo, a base fundante e cerne da pesquisa pairam nos reflexos projetados pelos Marcos de Ação, Pactos, Tratados Internacionais e demais instrumentos normativos internos cingidos em favor das pessoas com deficiência e da concepção contemporânea da deficiência, tais como o Estatuto da Pessoa com Deficiência

Aveleda em 1758: memória paroquial, toponímia e património (2.ª parte)

Com este artigo dá-se continuidade ao estudo da Memória Paroquial da freguesia de Aveleda que se havia iniciado no Suplemento do Património do passado mês de maio. Agora, nas linhas que se seguem, propomos, ao leitor, um rápido percurso pelos topónimos enumerados pelo pároco em 1758, fazendo, sempre que possível, uma análise à sua origem etimológica. Também se pretende deixar algumas notas acerca do património relevante e assinalado no texto setecentista. A qualidade das informações e a extensão desta memória levam-nos a remeter para um próximo artigo a parte restante relativa ao património e toda a secção de personalidades.info:eu-repo/semantics/publishedVersio