10 documents found, page 1 of 1
Surgical Technique and Chronic Postoperative Inguinal Pain in Patients Undergoi...
Santos , Irène; F. F. Simões, Joana; Dias, Cláudia Camila; Sampaio Alves, Mafalda; Azevedo, José; Cunha , Miguel; Alagoa João, AnaIntroduction: Evidence about the advantage of Lichtenstein’s repair, the guidelines’ recommended technique, is scarce regarding postoperative chronic inguinal pain (CPIP). The primary aim of this study was to compare CPIP in patients undergoing Lichtenstein versus other techniques. Methods: Prospective multicentric cohort study including consecutive adults undergoing elective inguinal hernia repair in Portugues...
Trauma Injuries Associated with Rope Bullfights in the Azores: A Cross-Sectiona...
Vieira, Bárbara; Taranu, Viorel; Vieira, Ana; Soares, Duarte; Soares, Ana; Silva, Anaísa; Galvão, Diogo; Bagnari, Inês; Melo, Débora; Pimentel, FernandoIntroduction: The aim of the study was to describe trauma injuries associated with rope bullfights in the Azores, Portugal, regarding the cause of the incident, trauma mechanism, most affected anatomical areas, and injury severity.Methods: Two-year cross-sectional study in the local hospital with prospective data collection. Patients who were consecutively admitted to the local hospital’s emergency department w...
Surgical technique and chronic postoperative inguinal pain in patients undergoi...
Santos, Irène; Simões, Joana F. F.; Dias, Cláudia Camila; Alves, Mafalda Sampaio; Azevedo, José; Cunha, Miguel; João, Ana Alagoa; Nobre, José GuilhermeIntroduction: Evidence about the advantage of Lichtenstein’s repair, the guidelines’ recommended technique, is scarce regarding postoperative chronic inguinal pain (CPIP). The primary aim of this study was to compare CPIP in patients undergoing Lichtenstein versus other techniques. Methods: Prospective multicentric cohort study including consecutive adults undergoing elective inguinal hernia repair in Portugues...
Integração de DSD e CAD/CAM no planejamento e execução de um procedimento de re...
Santos, Marina Medeiros Toste Coelho dos; Relvas, Adriano; Vieira, Bárbara; Ventura, Renata; Segundo, Ângelo Raphael; Saraiva, SérgioThis article presents a clinical case involving the integrated application of CAD/CAM and DSD. DSD – Digital Smile Design – assists in obtaining a treatment plan adjusted to the patient’s facial features, achieving the best aesthetic potential. The integration between DSD and CAD/CAM allows for greater fidelity in respect to the original plan. A patient received a rehabilitation with veneers milled out of leuci...
Relatório de Estágio Curricular – Gim tónico, ginásio (Aveiro)
Vieira, BárbaraO presente relatório descreve as atividades desenvolvidas no Estágio Curricular integrado na Licenciatura de Desporto, no ginásio Gim tónico em Aveiro. O estágio decorreu ao longo de nove meses e teve como principais objetivos a aplicação de conhecimentos anteriormente adquiridos nas diversas unidades curriculares e a agregação de condições no estagiário que lhe permitisse lecionar uma aula de grupo autonomamen...
Marketing viral ao serviço de marcas globais: o caso da pepsi max
Marques, Alzira; Francisco, Ana; Vieira, Bárbara; Ferreira, Pedro; Simões, TâniaNuma economia essencialmente digital como a actual, o consumidor é um forte promotor das marcas e é nesse contexto que o marketing viral se pode assumir como uma estratégia importante, na medida em que permite que uma mensagem se dissemine rapidamente, alcançando um considerável número de indivíduos. No entanto, a imprevisibilidade associada a este conceito pode ditar o insucesso de uma campanha promocional, co...
Formal verification of side-channel countermeasures using self-composition
Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraFormal verification of cryptographic software implementations poses significant challenges for off-the-shelf tools. This is due to the domain-specific characteristics of the code, involving aggressive optimizations and non-functional security requirements, namely the critical aspect of countermeasures against side-channel attacks. In this paper, we extend previous results supporting the practicality of self-com...
Formal verification of side channel countermeasures using self-composition
Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraFormal verification of cryptographic software implementations poses significant challenges for off-the-shelf tools. This is due to the domain-specific characteristics of the code, involving aggressive optimisations and non-functional security requirements, namely the critical aspect of countermeasures against side-channel attacks. In this paper we extend previous results supporting the practicality of self-comp...
Deductive verification of cryptographic software
Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraWe apply state-of-the art deductive verification tools to check security-relevant properties of cryptographic software, including safety, absence of error propagation, and correctness with respect to reference implementations. We also develop techniques to help us in our task, focusing on methods oriented towards increased levels of automation, in scenarios where there are clear obvious limits to such automatio...
Verifying cryptographic software correctness with respect to reference implemen...
Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraThis paper presents techniques developed to check program equivalences in the context of cryptographic software development, where specifications are typically reference implementations. The techniques allow for the integration of interactive proof techniques (required given the difficulty and generality of the results sought) in a verification infrastructure that is capable of discharging many verification con...