Internship in arrhythmology

The arrhythmology focuses on the diagnosis and treatment of heart rhythm disorders and their complications, and has undergone a dramatic evolution over the past two decades. The widespread use of catheter ablation, the introduction of implantable cardioverter defibrillators for the prevention of sudden cardiac death and, finally, the development of cardiac resynchronization therapy led to a gradual loss of the impact of antiarrhythmic drugs as a therapeutic approach. This report was performed as a result of an internship performed in Cardiac Physiology with the duration of 400 hours. The main goal of the internship was to strengthen theoretical knowledge and acquire practical experience in the varied fields of arrhythmology, especially in the areas of Cardiac Pacing and Electrophysiology. During the internship were performed 41 electrophysiologic studies, where Atrioventricular Node Reentrant Tachycardia and Atrial Fibrillation were the most observed arrhythmias. New technologies such as three-dimensional mapping for electrophysiology studies are developing quickly and being use on a daily basis, as they prove to have safe and higher success rates. The proof is that in approximately half of the studies, one of the two mapping systems available, Carto or NavX, was used. In addition, were interrogated 283 pacemakers during the pacing clinics, being the dual chamber with DDD pacing mode the most encountered device. A large number of devices with Cardiac Resynchronization Therapy and/or Implantable Cardioverter Defibrillators were also observed. This report is divided into three chapters. Chapter I is constituted by a revision of the literature and includes concepts such as definition and mechanisms of cardiac arrhythmias; a brief description of the varied diagnostic tools and its recommendations; and a presentation of the different therapeutic approaches available and its indications. The second chapter is a descriptive drawing of the activity performed in the modules of Electrophysiology and Pacing. Lastly, the chapter III presents two clinical cases in Electrophysiology considered interesting from a clinical point of view

Análise de estabilidade e percolação em barragens de terra: estudo de caso em um dique de terra homogênea

TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Engenharia Civil.O presente estudo propõe uma análise de segurança, com foco nos aspectos de estabilidade e percolação, de um dique de terra homogênea já executado, cujos dados de instrumentação piezométrica aferidos em campo foram utilizados para calibrar o modelo numérico de percolação elaborado, de forma a permitir uma análise de segurança precisa sobre a situação atual do barramento construído. Neste caso, o estudo contemplou diferentes condições de carregamento, sendo elas: regime permanente (percolação estável), rebaixamento rápido do reservatório, análise sísmica e elevação da linha freática. De posse dos dados do Projeto Básico e do Projeto Executivo do empreendimento, foram analisadas as investigações geológico-geotécnicas executados, com vistas a conhecer as propriedades geomecânicas do maciço da barragem. Em seguida, foram selecionadas três seções do barramento, Seção A (região central do Dique), Seção B (ombreira direita) e Seção C (ombreira esquerda), em virtude de sua posição, por representarem diferentes condições de zoneamento e de fundação. Com base na modelagem das seções selecionadas, foram executadas análises de percolação, que permitiram obter as poropressões e vazões no maciço do dique. Além disso, foram executadas análises de estabilidade, para as diferentes condições de carregamento, visando atestar a segurança em relação às situações potenciais de ruptura. Face ao exposto, com base nos resultados obtidos, concluiu-se que o barramento se apresenta estável para todas as condições impostas, e que as condições menos favoráveis são aquelas relacionadas ao rebaixamento rápido do reservatório e à elevação da linha freática, para os taludes de montante e de jusante, respectivamente. Adicionalmente, foi apresentada uma carta de segurança para a barragem, que contém os níveis de atenção, alerta e emergência, em termos de cotas piezométricas, que podem ser utilizados em campo para constatação da segurança da barragem

A iluminação pública em Lisboa e a problemática da história das técnicas

Tese de mestrado em Ciências Sociais, apresentada à Universidade de Lisboa, através do Instituto de Ciências Sociais em 2007Propomos fazer uma análise da história das tecnologias de iluminação que priviligie o seu uso, diferenciado-as de acordo com a sua fonte de energia primária. Concentramos a atenção exclusivamente na iluminação pública do século XIX até meio do século XX, em Lisboa. Estendemos a análise a locais fora da capital por forma a compreendê-la no contexto do país, pois a partir do início do século XIX existia uma variedade significativa de sistemas de iluminação artificial e de padrões de uso dos mesmos. Só depois da década de trinta do século XX é que a electricidade começa a ser a forma quase exclusiva de iluminação pública das vias.Enquanto a maioria das histórias da iluminação que lidam com este período se concentram nas iluminações modernas' do gás e da electricidade e raramente abordam mais do que as fases iniciais da sua adopção, nós tentamos, em contrapartida, capturar a totalidade dos tipos de iluminação em uso. Tal significa que temos em consideração a utilização de: óleos animais (e.g. azeite de peixe') e vegetais (e.g. azeite de oliveira, de purgueira), o querosene, o acetileno, e o muito neglicenciado 'candeeiro de paróquia' (i.e. o luar). Propomo-nos avaliar a sua importância relativa e uso tanto no espaço urbano como no rural (não deixando assim a maioria da população fora da história, pois a maioria vivia [fora das grandes cidades] num contexto não urbano até bem avançado o século XX). Para isso abordamo-los ao longo da totalidade dos seus ciclos de vida, fazendo com que as segundas metades, após os picos de uso, das vidas úteis destas tecnologias não permaneçam obscuras. A incursão em diferentes escalas espaciais de análise permite observar diferentes facetas da extensão dos usos: uma geografia do uso, diferente da geografia da invenção e da inovação.Defendemos que a observação das tecnologias-em-uso, por contraposição ao enfoque habitual em cronologias centraWe propose to analyse the history of lighting technologies in use, differentiated according to their primary energy source. Our focus will be on street lighting from the XIXth century till the mid XXth century, in Lisbon. From the beginning of the XIXth century there was a significant variety of energy systems available for obtaining artificial lighting in Portugal and it is only after the 1930s that electric lighting starts to become the almost exclusive way of lighting the streets.Whereas most histories of lighting that deal with this time period only tell about the modernenergies' of gas or electricity and focus mostly in the beginning phases of their adoption, wetry: to grasp the whole of the types of lighting in use (which means animal (e.g. whale) andvegetable (e.g. olive) oils, kerosene, acetylene, and the much neglected parish lamp', i.e.moonlight, have their due attention); to assess their relative importance and significance inboth town and country (this way the majority of the population is not placed out of history -most lived in a non-urban context till late in the XXth century); and to picture them throughoutthe whole of their use life-cycles' (so that the second halves, after peak use moments, of theuse-life's of these technologies do not stay in the dark). We argue that looking at technologies-in-use instead of focusing on innovation centred timelines brings fecund results and research paths that may allow for enlightened links between the history of technology and general history

Risk Management and VaR: Comparison of the accuracy of risk measurement for different assets

This paper investigates the performance of VaR models for seven categories of assets traded in Brazilian market. Six different VaR methodologies are tested: Normal Delta, EWMA, GARCH, Historical Simulation (HS), Monte Carlo Simulation (MC) and CVaR, which have as main differences the treatment given to volatility and the inference about the returns distribution. For the statistical results validation, are applied the Kupiec test, to evaluate the proportion of violations, and the Christoffersen test, to verify the adjustment speed of the model against market oscillations. Two analyses are made; the first one considerate an estimation window of 1000 days and the second one 252 days. For both, GARCH and CVaR have the highest number of accurately violation ratio (VR) having the good performance validated by backtesting tests. Among the assets, IFIX and IMA-B have the best performance for first analyse and Ibov for the second one. The models have low accurately loss forecast for private bond and commodities indices, which indicates that methodologies focused on market risk are not appropriate for these assets categories. The results also suggest that a smaller estimation window tends to favour the estimation of loss for high volatility assets.This paper investigates the performance of VaR models for seven categories of assets traded in Brazilian market. Six different VaR methodologies are tested: Normal Delta, EWMA, GARCH, Historical Simulation (HS), Monte Carlo Simulation (MC) and CVaR, which have as main differences the treatment given to volatility and the inference about the returns distribution. For the statistical results validation, are applied the Kupiec test, to evaluate the proportion of violations, and the Christoffersen test, to verify the adjustment speed of the model against market oscillations. Two analyses are made; the first one considerate an estimation window of 1000 days and the second one 252 days. For both, GARCH and CVaR have the highest number of accurately violation ratio (VR) having the good performance validated by backtesting tests. Among the assets, IFIX and IMA-B have the best performance for first analyse and Ibov for the second one. The models have low accurately loss forecast for private bond and commodities indices, which indicates that methodologies focused on market risk are not appropriate for these assets categories. The results also suggest that a smaller estimation window tends to favour the estimation of loss for high volatility assets

UMA ETNOGRAFIA NA ESCOLA: GÊNERO E SEXUALIDADE ENTRE JOVENS EM FLORIANÓPOLIS

TCC (graduação) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Curso de Ciências Sociais.A pesquisa teve como objetivo perceber como os/as estudantes se apropriam da escola e constroem sua experiência e suas identidades no espaço escolar e compreender como as relações de gênero e sexualidades são vividas e construídas pelos/as jovens estudantes e professores/as no cotidiano de uma escola da região metropolitana de Florianópolis, a partir de minha presença como professor gay nesta escola. Como metodologia utilizou-se a etnografia e a observação participante, como professor de sociologia de trinta horas semanais por três meses além de encontros e conversas formais e informais com meus informantes. Conclui-se que, não obstante a relação estreita que o contexto de uma escola tem com a realidade política e cultural macro do país e de suas políticas educacionais, no âmbito micro da vivência desta escola percebeu-se que a visibilidade de sujeitos não heterossexuais, em consonância com uma escola plural que permite a reflexão sobre as diferenças, além dos conflitos que despertam a participação política do alunado, refletem em uma escola melhor para todos/as.The research aimed to perceive how students appropriate the school and build their experience and their identities in the school space and to understand how gender relations and sexualities are lived and built by young students and teachers in the everyday of a school in the metropolitan area of Florianópolis, from my presence as a gay teacher at this school. As a methodology, ethnography and observation were used as sociology professor of thirty hours a week for three months, as well as formal and informal meetings and conversations with my informants. It is concluded that, nevertheless, a close relation that the context of a school has with the macro political and cultural reality of the country and its educational policies, is not a microphone of social communication, in consonance with a plural school that allows a reflection on the differences, besides the conflicts that despair a political participation of the student, reflect in a better school for all

Software requirements classification using machine learning algorithms

Trabalho de conclusão de curso (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2020.A classificação correta de requisitos tornou-se uma tarefa essencial dentro da engenharia de software. Este estudo mostra uma comparação entre as técnicas de extração de fea- tures para textos, e entre algoritmos de aprendizado de máquina para o problema de classificação de requisitos de software para responder as duas questões principais “Qual a melhor técnica (Bag of Words (BoW) vs. Term Frequency – Inverse DocumentFrequency (TF-IDF ) vs. Chi Squared (CHI2 ))) para classificar Requisitos de Software em Requisi- tos Funcionais (FR) e Requisitos Não Funcionais (NF), e as subclasses de Requisitos Não Funcionais? ” e “Qual Algoritmo de Aprendizado de Máquina fornece o melhor desem- penho para a tarefa de classificação de requisitos?”. O dataset utilizado para realizar a pesquisa foi o PROMISE_exp, um conjunto de dados criado recentemente que expande o já conhecido repositório PROMISE, um repositório que contém requisitos de software rotulados. Todos os documentos do banco de dados foram limpos com um conjunto de etapas de normalização e as duas técnicas de feature extraction, e a técnica de feature selection usadas foram BoW, TF-IDF e CHI2 respectivamente. Os algoritmos utiliza- dos para classificação foram Regressão Logística (LR), Support Vector Machine (SVM), Multinomial Naive Bayes (MNB) e k-vizinhos mais próximos (kNN). O diferencial do nosso trabalho se encontra nos dados utilizados para a realização do experimento, no de- talhamento das etapas utilizadas para reproduzir a classificação e na comparação entre BoW, TF-IDF e CHI2 para este repositório, que até o presente momento não foi abordada por outros estudos. Este trabalho servirá de referência para a comunidade de engenharia de software e ajudará outros pesquisadores a entenderem o processo de classificação de requisitos. Notamos que o uso de TF-IDF seguido do uso de LR teve um melhor resultado de classificação para diferenciar os requisitos, com um F1-score de 0,91 na classificação binária (vinculada com SVM nesse caso), 0,74 na classificação de NF e 0,78 em uma clas- sificação geral. Como trabalhos futuros, pretendemos comparar mais algoritmos e novas formas de melhorar a precisão de nossos modelos.The correct classification of requirements has become an essential task within software engineering. This study shows a comparison among the text feature extraction tech- niques, and machine learning algorithms to the problem of requirements engineer classi- fication. Our aim is to answer two major questions “Which works best (Bag of Words (BoW) vs. Term Frequency–Inverse Document Frequency (TF-IDF) vs. Chi Squared (CHI2 )) for classifying Software Requirements into Functional Requirements (FR) and Non-Functional Requirements (NF), and the sub-classes of Non-Functional Requirements?” and “Which Machine Learning Algorithm provides the best performance for the require- ments classification task?”. The data used to perform the research was the PROMISE_exp, a recently made dataset that expands the already known PROMISE repository, a repos- itory that contains labeled software requirements. All the documents from the database were cleaned with a set of normalization steps and the two feature extractions, and the feature selection techniques used were BoW, TF-IDF and CHI2 respectively. The al- gorithms used for classification were Logist Regression (LR), Support Vector Machine (SVM), Multinomial Naive Bayes (MNB) and k-Nearest Neighbors (kNN). The novelty of our work is the data used to perform the experiment, the details of the steps used to reproduce the classification, and the comparison between BoW, TF-IDF and CHI2 for this repository not having been covered by other studies. This work will serve as a reference for the software engineering community and will help other researchers to understand the requirement classification process. We noticed that the use of TF-IDF followed by the use of LR had a better classification result to differentiate requirements, with an F-measure of 0.91 in binary classification (tying with SVM in that case), 0.74 in NF classification and 0.78 in general classification. As future work we intend to compare more algorithms and new forms to improve the precision of our models

Mammalian prion protein (PrP) forms conformationally different amyloid intracellular aggregates in bacteria

Altres ajuts: ICREA Academia 2009 to S.VBackground: An increasing number of proteins are being shown to assemble into amyloid structures that lead to pathological states. Among them, mammalian prions outstand due to their ability to transmit the pathogenic conformation, becoming thus infectious. The structural conversion of the cellular prion protein (PrP), into its misfolded pathogenic form (PrP) is the central event of prion-driven pathologies. The study of the structural properties of intracellular amyloid aggregates in general and of prion-like ones in particular is a challenging task. In this context, the evidence that the inclusion bodies formed by amyloid proteins in bacteria display amyloid-like structural and functional properties make them a privileged system to model intracellular amyloid aggregation. - Results: Here we provide the first demonstration that recombinant murine PrP and its C-terminal domain (90-231) attain amyloid conformations inside bacteria. Moreover, the inclusions formed by these two PrP proteins display conformational diversity, since they differ in fibril morphology, binding affinity to amyloid dyes, stability, resistance to proteinase K digestion and neurotoxicity.- Conclusions: Overall, our results suggest that modelling PrP amyloid formation in microbial cell factories might open an avenue for a better understanding of the structural features modulating the pathogenic impact of this intriguing protein

Análise e optimização de sistemas de abastecimento de água

Mestrado em Engenharia MecânicaOs res entes onsumos de água geram preo upações rela ionadas om a sua distribuição. A ne essidade de fazer hegar a água a entros popula ionais impli a elevados ustos energéti os e nan eiros, pois não existe ontrolo so- bre o bombeamento de água para torres de abaste imento ou reservatórios, a partir das quais se disponibiliza água a uma população, serviços ou indústria. A adaptação do bombeamento de água às tarifas energéti as pode permitir poupanças avultadas a quem exe uta esse bombeamento. Este trabalho é parte integrante de um proje to de desenvolvimento de um software apaz de, através de modelação hidráuli a e ferramentas matemáti as, minimizar os ustos de bombeamento e ontrolar as bombas do sistema de abaste - imento de água. Nesta dissertação foram implementados e testados dois algoritmos de optimização para omparar a apa idade de minimização de ustos rela ionados om o bombeamento da água. Os métodos de optimiza- ção sele ionados foram o algoritmo L-BFGS-B (Limited memory algorithm for bound onstrained optimisation), um método de optimização lássi o, e o algoritmo εDE (epsilon onstrained Di erential Evolution), um método metaheurísti o. Os algoritmos sele ionados foram testados em funções de teste, tendo o algoritmo εDE obtido bons resultados em todas as funções testadas, enquanto que o algoritmo L-BFGS-B in orreu em di uldades em funções mais omplexas. Os dois algoritmos foram testados em duas redes ben hmark distintas. Uma rede, denominada Rede Bási a, de nida apenas pelos elementos essen iais e uma rede malhada denominada rede Walski 489, mais omplexa, que in lui duas bombas. Em ambas as redes ben h- mark testadas foram obtidas reduções de ustos por ambos os algoritmos implementados. O algoritmo L-BFGS-B provou ser o mais rápido dos al- goritmos implementados, enquanto que o algoritmo εDE obteve resultados superiores para a rede mais omplexa (rede Walski). Este algoritmo, devido ao fa to de testar a violação das restrições em primeiro lugar este tem maior tendên ia a produzir resultados que não violem essas ondições. Foi riada uma interfa e grá a que permite o ontrolo do pro esso e a apresentação de dados resultantes das optimizações efe tuadas.In reasing water onsumption generates growing on ern mainly related to its distribution. The need to get the water to population entres implies high energy onsumptions and osts, be ause there is no ontrol over the pumping of water to supply water towers and reservoirs, from whi h water is distributed to the population and other servi es or industry. Suiting the pumping of water having into a ount energeti tari s would allow for high nan ial savings to those who pump water. The present work is part of a urrent e ort to develop a software to a hieve the alter, through modula- tion of a Water Supply System and mathemati al tools, minimizing pumping osts via ontrol of the pumps of the so alled Water Supply System. In this dissertation were implemented and tested two optimisation algorithms to ompare the ability to minimize the osts asso iated with pumping water. The sele ted optimisation methods were the L-BFGS-B (Limited memory algorithm for bound onstrained optimisation), a lassi al optimisation algo- rithm, and the εDE (epsilon onstrained Di erential Evolution), a heuristi method. Both algorithms were tested in ben hmarked fun tions, with the εDE able to provide good results in all fun tions, while the L-BFGS-B algo- rithm inferred problems with the more omplex fun tions. Both algorithms were tested in pre-existent ben hmarked water networks. One of the net- works, denominated Basi Network, simple in nature and with only one pump. The other network, denominated Walski Network, more omplex, and with 2 water pumps. Cost redu tions were attained with both methods in both ben hmarked water networks. The L-BFGS-B algorithm was the fastest of the ompared algorithms, while the εDE algorithm obtained better results than the L-BFGS-B in the Walski Network. The εDE algorithm is the more assuring to respe t the onstrains imposed to the networks, as it testes the onstraint violations separately. A Graphi al User Interfa e was reated to ontrol the pro ess and display the results obtained from optimisation