19 documents found, page 1 of 2
Acromioclavicular Dislocation: Development of a Rehabilitation Protocol through...
Couto, Paulo; Romeiro, Ana Isabel; Martins Azevedo, Sofia; Guimarães, Bruno; Barreto, José; Pereira, Vitor; Tomé, Sónia; Moreira, JorgeAcromioclavicular dislocations (ACD) are common injuries among both athletes and the general population. Given the increasing number of patients with ACD referred to the Physical and Rehabilitation Medicine (PRM) department, it became necessary to understand how the Rockwood classification and the type of treatment (conservative versus surgical reduction aiming to restore alignment and stability of the acromioc...
Assessing awareness of human identification techniques among professionals and ...
Guimarães, Maria Inês; Ferraz, Hugo; Guedes, Beatriz; Loibl, Beatriz; Pereira, Vitor; Castro, Inês; Soares Monteiro, Pedro; Lopes Cardoso, InêsBackground: The identification of cadavers is one of the main areas of Forensic Medicine (FM), particularly in cases of advanced decomposition or mass disasters [1]. The use of radiographs can also be useful, as it allows us to observe changes that would otherwise not be visible [2]. Primary identification methods include DNA, fingerprint analysis, and dental examination. In the case of Forensic Dentistry (FD),...
A formal treatment of the role of verified compilers in secure computation
Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles; Pacheco, Hugo; Pereira, Vitor; Portela, BernardoSecure multiparty computation (SMC) allows for complex computations over encrypted data. Privacy concerns for cloud applications makes this a highly desired technology and recent performance improvements show that it is practical. To make SMC accessible to non-experts and empower its use in varied applications, many domain-specific compilers are being proposed.We review the role of these compilers and provide a...
Machine-checked ZKP for NP relations: formally verified security proofs and imp...
Almeida, José Bacelar; Barbosa, Manuel; Correia, Manuel L.; Eldefrawy, Karim; Graham-Lengrand, Stéphane; Pacheco, Hugo; Pereira, VitorMPC-in-the-Head (MitH) is a general framework that enables constructing efficient zero-knowledge (ZK) protocols for NP relations from secure multiparty computation (MPC) protocols. In this paper we present the first machine-checked implementations of MitH. We begin with an EasyCrypt formalization that preserves the modular structure of the original construction and can be instantiated with arbitrary MPC protoco...
Optimizing NFV deployment in segment routing
Camaz, Gonçalo; Pereira, Vitor; Rocha, Miguel; Sousa, PedroSegment Routing (SR) is an implementation of Software-Defined Networking (SDN) for traffic routing. It derives from a source routing paradigm where each node, at the network's periphery, adds a list of labels to the packet's header defining explicitly the path each traffic flow should follow to its destination. Each label is a segment that identifies a topological instruction, a service, or even a processing in...
Liver Phenotypes of European Adults Heterozygous or Homozygous for Pi∗Z Variant...
Schneider, Carolin V.; Hamesch, Karim; Gross, Annika; Mandorfer, Mattias; Moeller, Linda S.; Pereira, Vitor; Pons, Monica; Kuca, PawelHomozygosity for the Pi∗Z variant of the gene that encodes the alpha-1 antitrypsin peptide (AAT), called the Pi∗ZZ genotype, causes a liver and lung disease called alpha-1 antitrypsin deficiency. Heterozygosity (the Pi∗MZ genotype) is a risk factor for cirrhosis in individuals with liver disease. Up to 4% of Europeans have the Pi∗MZ genotype; we compared features of adults with and without Pi∗MZ genotype among ...
Clube Português do Pâncreas Recommendations for Chronic Pancreatitis: Etiology,...
Rodrigues-Pinto, Eduardo; Caldeira, Ana; Soares, João Bruno; Antunes, Teresa; Carvalho, Joana Rita; Costa-Maia, José; Oliveira, Pedro; Azevedo, RichardChronic pancreatitis (CP) is a heterogeneous disease, with different causes and often a long delay between onset and full classic presentation. Clinical presentation depends on the stage of the disease. In earlier stages, recurrent episodes of acute pancreatitis are the major signs dominating clinical presentation. As the inflammatory process goes on, less acute episodes occur, and pain adopts different aspects...
Ensaios experimentais e simulação numérica de vestuário de proteção individual ...
Pereira, Vitor; Piloto, Paulo A.G.; Khedouma, Nechab; Benarous, AbdallahNeste artigo é apresentado um estudo de avaliação do comportamento de um conjunto muito significativo, de tecidos para proteção individual de segurança de bombeiros, quando submetidos a uma fonte de calor radiante. São apresentados ensaios experimentais desenvolvidos na Universidade de Tsinghua (TU, China) e no Instituto Politécnico de Bragança (IPB, Portugal). São apresentados os resultados de 84 ensaios exper...
Numerical validation of the fire performance of fire fighter clothing and exper...
Pereira, Vitor; Piloto, P.A.G.; Benarous, AbdallahThis investigation is focused on the numerical modelling of experimental tests to evaluate the thermal performance of the fire fighter clothing. First a 2D numerical validation is presented to asset the thermal model and materials properties. This numerical model solves a nonlinear transient thermal analysis under low thermal radiation [1]. The numerical validation is based on the bench scale cone calorimeter e...
Numerical validation of the fire performance of fire fighter clothing and exper...
Pereira, Vitor; Piloto, P.A.G.; Benarous, AbdallahThe Fire Protection Clothe (FPC) of firefighters have been investigated over the last years in several terms to improve the safety of their users. FPC are designed to save the firefighters from excessive heat and fire conditions, allowing for a period of time, usually required for a rescue mission, fighting fire, or withdrawing from direct flame contact. The FPC fabrics are design in order to settle a certain d...