Automatic error detection using program invariants for fault localization

Tese de Mestrado Integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 201

Microwave versus Conventional Sintering of NiTi Alloys Processed by Mechanical Alloying

ABSTRACT: The present study shows a comparison between two sintering processes, microwave and conventional sintering, for the manufacture of NiTi porous specimens starting from powder mixtures of nickel and titanium hydrogenation-dehydrogenation (HDH) milled by mechanical alloying for a short time (25 min). The samples were sintered at 850 degrees C for 15 min and 120 min, respectively. Both samples exhibited porosity, and the pore size results are within the range of the human bone. The NiTi intermetallic compound (B2, R-phase, and B19 ') was detected in both sintered samples through X-ray diffraction (XRD) and electron backscattering diffraction (EBSD) on scanning electron microscopic (SEM). Two-step phase transformation occurred in both sintering processes with cooling and heating, the latter occurring with an overlap of the peaks, according to the differential scanning calorimetry (DSC) results. From scanning electron microscopy/electron backscatter diffraction, the R-phase and B2/B19 ' were detected in microwave and conventional sintering, respectively. The instrumented ultramicrohardness results show the highest elastic work values for the conventionally sintered sample. It was observed throughout this investigation that using mechanical alloying (MA) powders enabled, in both sintering processes, good results, such as intermetallic formation and densification in the range for biomedical applications.info:eu-repo/semantics/publishedVersio

Retrospektivna studija o oralnoj i maksilofacijalnoj traumi u portugalskoj populaciji

Objective: The increasing significance of medicolegal evaluation following maxillofacial traumatic events constitutes a complex issue. This clinical research aimed to assess the current etiology of oral and maxillofacial injuries in Portuguese population. Material and methods: An epidemiological clinical observational study was conducted in Centro Hospitalar Lisboa Norte on a sample of 384 subjects diagnosed with oral and maxillofacial trauma, between 2018 and 2020. Data were collected through clinical reports and analyzed using SPSS version 27. Results: Women and men were nearly identical in the number and distribution, with 49.5% females and 50.5% males. In 2020, there was a decrease in the number of traumatic incidents compared to other years. Falls or accidental descents were found to be the most common cause of injury, accounting for 44.3%, followed by assaults accounting for 24.7%. A total of 84 subjects exhibited soft tissue injuries related to periodontal region. The upper central incisors (174) were the most frequently affected teeth with uncomplicated fractures, and the predominant form of treatment was the administration of pain medication. Conclusion: A correlation between falls or accidental descents, female subjects, and advancing age, as well as between assaults, male subjects, and adults, has been established. Falls or accidental descents and assault were the predominant etiologies, and the year 2020 exhibited a decrease in the incidents of traumatic events.Cilj: Sve veće značenje sudsko-medicinske evaluacije nakon maksilofacijalnih traumatskih događaja složeno je pitanje. Autorima ovoga kliničkoga istraživanja cilj je bio procijeniti trenutačnu etiologiju oralnih i maksilofacijalnih ozljeda u portugalskoj populaciji. Materijal i metode: Epidemiološ-ka klinička opservacijska studija provedena je između 2018. i 2020. godine u Kliničkome bolničkom centru Lisabon-sjever na uzorku od 384 ispitanika s dijagnosticiranom oralnom i maksilofacijalnom traumom. Podatci su prikupljeni iz kliničkih izvješća i analizirani u SPSS verziji 27. Rezultati: Muški i ženski ispitanici bili su gotovo izjednačeni u broju i distribuciji – sudjelovalo je 49,5 % žena i 50,5 % muškaraca. U 2020. godini zabilježen je pad broja traumatskih incidenata u odnosu prema ostalim godinama. Ustanovljeno je da su padovi ili slučajna spuštanja najčešći uzrok ozljeda – čine 44,3 %, a slijede napadi koji čine 24,7 %. Ukupno 84 ispitanika imalo je ozljede mekog tkiva u parodontnoj regiji. Gornji središnji sjekutići (174) bili su najčešće zahvaćeni kad je riječ o nekompliciranim prijelomima, a prevladavajući oblik liječenja bili su lijekovi protiv bolova. Zaključak: Utvrđena je korelacija između padova ili slučajnih silazaka, ženskih subjekata i starije dobi, te između napada muških subjekata i odraslih. Padovi ili slučajni padovi i napadi bili su dominantni uzroci, a u 2020. godini smanjio se broj traumatskih događaja

Teses e dissertações

Resumos das teses de doutoramento em Educação e das dissertações de mestrado em ciências da Educação e em Educação Especial, domínio cognitivo  e motor, defendidas na Universidade Lusófona

SARS-CoV-2 introductions and early dynamics of the epidemic in Portugal

Genomic surveillance of SARS-CoV-2 in Portugal was rapidly implemented by the National Institute of Health in the early stages of the COVID-19 epidemic, in collaboration with more than 50 laboratories distributed nationwide. Methods By applying recent phylodynamic models that allow integration of individual-based travel history, we reconstructed and characterized the spatio-temporal dynamics of SARSCoV-2 introductions and early dissemination in Portugal. Results We detected at least 277 independent SARS-CoV-2 introductions, mostly from European countries (namely the United Kingdom, Spain, France, Italy, and Switzerland), which were consistent with the countries with the highest connectivity with Portugal. Although most introductions were estimated to have occurred during early March 2020, it is likely that SARS-CoV-2 was silently circulating in Portugal throughout February, before the first cases were confirmed. Conclusions Here we conclude that the earlier implementation of measures could have minimized the number of introductions and subsequent virus expansion in Portugal. This study lays the foundation for genomic epidemiology of SARS-CoV-2 in Portugal, and highlights the need for systematic and geographically-representative genomic surveillance.We gratefully acknowledge to Sara Hill and Nuno Faria (University of Oxford) and Joshua Quick and Nick Loman (University of Birmingham) for kindly providing us with the initial sets of Artic Network primers for NGS; Rafael Mamede (MRamirez team, IMM, Lisbon) for developing and sharing a bioinformatics script for sequence curation (https://github.com/rfm-targa/BioinfUtils); Philippe Lemey (KU Leuven) for providing guidance on the implementation of the phylodynamic models; Joshua L. Cherry (National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health) for providing guidance with the subsampling strategies; and all authors, originating and submitting laboratories who have contributed genome data on GISAID (https://www.gisaid.org/) on which part of this research is based. The opinions expressed in this article are those of the authors and do not reflect the view of the National Institutes of Health, the Department of Health and Human Services, or the United States government. This study is co-funded by Fundação para a Ciência e Tecnologia and Agência de Investigação Clínica e Inovação Biomédica (234_596874175) on behalf of the Research 4 COVID-19 call. Some infrastructural resources used in this study come from the GenomePT project (POCI-01-0145-FEDER-022184), supported by COMPETE 2020 - Operational Programme for Competitiveness and Internationalisation (POCI), Lisboa Portugal Regional Operational Programme (Lisboa2020), Algarve Portugal Regional Operational Programme (CRESC Algarve2020), under the PORTUGAL 2020 Partnership Agreement, through the European Regional Development Fund (ERDF), and by Fundação para a Ciência e a Tecnologia (FCT).info:eu-repo/semantics/publishedVersio

O que as revisões sistemáticas dizem sobre o impacto da cirurgia robótica na neurocirurgia?

Introduction: Neurosurgery, with its intricate complexities and demands for extreme precision, has been shaped and transformed over the years by the constant evolution of medical technology. Methodology: The methodology adopted for this work involved a systematic literature review focused on specific MESH descriptors, conducted in the PUBMED database. The period considered for article searches spanned from 2017 to 2023, aiming to capture the latest contributions to the topic. The selected MESH descriptors to outline the research were "Robotic Surgical Procedures," "Neurosurgery," and "Minimally Invasive Surgical Procedures." Results: Systematic reviews present a comprehensive overview of recent advances in robotic surgery and its applications in various areas. The promising landscape outlined by these analyses not only validates the progress made but also underscores the ongoing need for research and development to further enhance surgical practices. Conclusion: The learning curve, the need for specialized training, and economic considerations are crucial aspects shaping the practical implementation of robotic surgery in the neurosurgical scenario.Introdução: A neurocirurgia, com suas complexidades intricadas e demandas por precisão extrema, tem sido moldada e transformada ao longo dos anos pela constante evolução da tecnologia médica. Metodologia: A metodologia adotada para este trabalho compreendeu uma revisão sistemática de literatura, focada em descritores MESH específicos, realizada no banco de dados PUBMED. O período considerado para a busca de artigos abrangeu de 2017 a 2023, visando capturar as mais recentes contribuições à temática. Os descritores MESH selecionados para delinear a pesquisa foram "Robotic Surgical Procedures", "Neurosurgery" e "Minimally Invasive Surgical Procedures". Resultado: As revisões sistemáticas apresentam um panorama abrangente dos avanços recentes na cirurgia robótica e suas aplicações em diversas áreas. O cenário promissor delineado por essas análises não apenas valida os progressos alcançados, mas também ressalta a necessidade contínua de pesquisa e desenvolvimento para aprimorar ainda mais as práticas cirúrgicas. Conclusão: A curva de aprendizado, a necessidade de treinamento especializado e as considerações econômicas são aspectos cruciais que moldam a implementação prática da cirurgia robótica no cenário neurocirúrgico

Nationwide access to endovascular treatment for acute ischemic stroke in portugal

Publisher Copyright: Copyright Ordem dos M dicos 2021.Introduction: Since the publication of endovascular treatment trials and European Stroke Guidelines, Portugal has re-organized stroke healthcare. The nine centers performing endovascular treatment are not equally distributed within the country, which may lead to differential access to endovascular treatment. Our main aim was to perform a descriptive analysis of the main treatment metrics regarding endovascular treatment in mainland Portugal and its administrative districts. Material and Methods: A retrospective national multicentric cohort study was conducted, including all ischemic stroke patients treated with endovascular treatment in mainland Portugal over two years (July 2015 to June 2017). All endovascular treatment centers contributed to an anonymized database. Demographic, stroke-related and procedure-related variables were collected. Crude endovascular treatment rates were calculated per 100 000 inhabitants for mainland Portugal, and each district and endovascular treatment standardized ratios (indirect age-sex standardization) were also calculated. Patient time metrics were computed as the median time between stroke onset, first-door, and puncture. Results: A total of 1625 endovascular treatment procedures were registered. The endovascular treatment rate was 8.27/100 000 inhabitants/year. We found regional heterogeneity in endovascular treatment rates (1.58 to 16.53/100 000/year), with higher rates in districts closer to endovascular treatment centers. When analyzed by district, the median time from stroke onset to puncture ranged from 212 to 432 minutes, reflecting regional heterogeneity. Discussion: Overall endovascular treatment rates and procedural times in Portugal are comparable to other international registries. We found geographic heterogeneity, with lower endovascular treatment rates and longer onset-to-puncture time in southern and inner regions. Conclusion: The overall national rate of EVT in the first two years after the organization of EVT-capable centers is one of the highest among European countries, however, significant regional disparities were documented. Moreover, stroke-onset-to-first-door times and in-hospital procedural times in the EVT centers were comparable to those reported in the randomized controlled trials performed in high-volume tertiary hospitalspublishersversionpublishe

Acesso a Tratamento Endovascular para Acidente Vascular Cerebral Isquémico em Portugal

Introduction: Since the publication of endovascular treatment trials and European Stroke Guidelines, Portugal has re-organized stroke healthcare. The nine centers performing endovascular treatment are not equally distributed within the country, which may lead to differential access to endovascular treatment. Our main aim was to perform a descriptive analysis of the main treatment metrics regarding endovascular treatment in mainland Portugal and its administrative districts. Material and Methods: A retrospective national multicentric cohort study was conducted, including all ischemic stroke patients treated with endovascular treatment in mainland Portugal over two years (July 2015 to June 2017). All endovascular treatment centers contributed to an anonymized database. Demographic, stroke-related and procedure-related variables were collected. Crude endovascular treatment rates were calculated per 100 000 inhabitants for mainland Portugal, and each district and endovascular treatment standardized ratios (indirect age-sex standardization) were also calculated. Patient time metrics were computed as the median time between stroke onset, first-door, and puncture. Results: A total of 1625 endovascular treatment procedures were registered. The endovascular treatment rate was 8.27/100 000 inhabitants/year. We found regional heterogeneity in endovascular treatment rates (1.58 to 16.53/100 000/year), with higher rates in districts closer to endovascular treatment centers. When analyzed by district, the median time from stroke onset to puncture ranged from 212 to 432 minutes, reflecting regional heterogeneity. Conclusion: The overall national rate of EVT in the first two years after the organization of EVT-capable centers is one of the highest among European countries, however, significant regional disparities were documented. Moreover, stroke-onset-to-first-door times and in-hospital procedural times in the EVT centers were comparable to those reported in the randomized controlled trials performed in high-volume tertiary hospitals.Introdução: A aprovação do tratamento endovascular para o acidente vascular cerebral isquémico obrigou à reorganização dos cuidados de saúde em Portugal. Os nove centros que realizam tratamento endovascular não estão distribuídos equitativamente pelo território, o que poderá causar acesso diferencial a tratamento. O principal objetivo deste estudo é realizar uma análise descritiva da frequência e métricas temporais do tratamento endovascular em Portugal continental e seus distritos. Material e Métodos: Estudo de coorte nacional multicêntrico, incluindo todos os doentes com acidente vascular cerebral isquémico submetidos a tratamento endovascular em Portugal continental durante um período de dois anos (julho 2015 a junho 2017). Foram colhidos dados demográficos, relacionados com o acidente vascular cerebral e variáveis do procedimento. Taxas de tratamento endovascular brutas e ajustadas (ajuste indireto a idade e sexo) foram calculadas por 100 000 habitantes/ano para Portugal continental e cada distrito. Métricas de procedimento como tempo entre instalação, primeira porta e punção foram também analisadas. Resultados: Foram registados 1625 tratamentos endovasculares, indicando uma taxa bruta nacional de tratamento endovascular de 8,27/100 000 habitantes/ano. As taxas de tratamento endovascular entre distritos variaram entre 1,58 e 16,53/100 000/ano, com taxas mais elevadas nos distritos próximos a hospitais com tratamento endovascular. O tempo entre sintomas e punção femural entre distritos variou entre 212 e 432 minutos. Conclusão: Portugal continental apresenta uma taxa nacional de tratamento endovascular elevada, apresentando, contudo, assimetrias regionais no acesso. As métricas temporais foram comparáveis com as observadas nos ensaios clínicos piloto

A list of land plants of Parque Nacional do Caparaó, Brazil, highlights the presence of sampling gaps within this protected area

Brazilian protected areas are essential for plant conservation in the Atlantic Forest domain, one of the 36 global biodiversity hotspots. A major challenge for improving conservation actions is to know the plant richness, protected by these areas. Online databases offer an accessible way to build plant species lists and to provide relevant information about biodiversity. A list of land plants of “Parque Nacional do Caparaó” (PNC) was previously built using online databases and published on the website "Catálogo de Plantas das Unidades de Conservação do Brasil." Here, we provide and discuss additional information about plant species richness, endemism and conservation in the PNC that could not be included in the List. We documented 1,791 species of land plants as occurring in PNC, of which 63 are cited as threatened (CR, EN or VU) by the Brazilian National Red List, seven as data deficient (DD) and five as priorities for conservation. Fifity-one species were possible new ocurrences for ES and MG states