The emergence of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) has led the medical and scientific community to explore the pathogenesis and clinical manifestations of coronaviruses. In felines, a widespread coronavirus known as feline coronavirus (FCoV) can lead to feline infectious peritonitis (FIP), a highly fatal disease characterised by severe systemic inflammation. Diagnosing FCoV remains ch...
This study explores the integration of sustainable mobility and universal design principles in creating accessible public transportation infrastructure. The research focuses on the co-design of a bus stop at Faro International Airport, engaging diverse stakeholders, including older tourists and adults with disabilities, through surveys, group reflections, walk-throughs, and workshops. The methodology incorporat...
Sexually transmitted infections (STIs) constitute one of the leading causes of disease burden worldwide, leading to considerable morbidity, mortality, health expenditures, and stigma. Of note are the most common bacterial STIs, chlamydial and gonococcal infections, whose etiological agents are Chlamydia trachomatis (CT) and Neisseria gonorrhoeae (NG), respectively. Despite being usually asymptomatic, in some ca...
Background: Information on vaccine effectiveness in a context of novel variants of concern (VOC) emergence is of key importance to inform public health policies. This study aimed to estimate a measure of comparative vaccine effectiveness between Omicron (BA.1) and Delta (B.1.617.2 and sub-lineages) VOC according to vaccination exposure (primary or booster). Methods: We developed a case-case study using data on ...
We estimated comparative primary and booster vaccine effectiveness (VE) of SARS-CoV-2 Omicron BA.5 and BA.2 lineages against infection and disease progression. During April-June 2022, we implemented a case-case and cohort study and classified lineages using whole-genome sequencing or spike gene target failure. For the case-case study, we estimated the adjusted odds ratios (aORs) of vaccination using a logistic ...
Prover9/Mace4 were the most popular automated theorem provers (ATP) among mathematicians. They had a number of peculiarities that made them especially helpful for research and for teaching. When their author, Bill McCune, died the programs’ destiny was sealed and that was a great loss for many mathematicians throughout the world. The goal of this thesis was to rescue those programs, to add to them new features ...
Background: Information on vaccine effectiveness in a context of novel variants of concern (VOC) emergence is of key importance to inform public health policies. This study aimed to estimate a measure of comparative vaccine effectiveness between Omicron (BA.1) and Delta (B.1.617.2 and sub-lineages) VOC according to vaccination exposure (primary or booster). Methods: We developed a case–case study using data on ...
Neste artigo é descrito o desenvolvimento de uma metodologia para a avaliação do desempenho em serviço de estruturas de betão armado, em fase de projeto, com base na informação presente em modelos BIM. Esta informação, comunicada a um programa de análise estrutural não‑linear, com base no método dos elementos finitos, permite a avaliação do comportamento da estrutura naquilo que se pode considerar como um ensai...
User experience can be affected by the amount and intensity of information presented. Four scenarios were developed to assess the insertion of information elements (chronometer and hint system) and tested with 37 users to find out if they affected the user's sense of presence and symptoms of cybersickness. In order to instruct users and using virtual reality using the Unity 3D game engine, we created a virtual ...