Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2023

Effectiveness of Secondary Risk-Reducing Strategies in Patients With Unilateral Breast Cancer With Pathogenic Variants of BRCA1 and BRCA2 Subjected to Breast-Conserving Surgery: Evidence-Based Simulation Study (vol 12, e37177, 2022)

Autores
Maksimenko, J; Rodrigues, PP; Nakazawa-Miklasevica, M; Pinto, D; Miklasevics, E; Trofimovics, G; Gardovskis, J; Cardoso, F; Cardoso, MJ;

Publicação
JMIR FORMATIVE RESEARCH

Abstract
In “Effectiveness of Secondary Risk–Reducing Strategies in Patients With Unilateral Breast Cancer With Pathogenic Variants of BRCA1 and BRCA2 Subjected to Breast-Conserving Surgery: Evidence-Based Simulation Study” (JMIR Form Res 2022;6(12):e37144) the authors noted one error. In the originally published article Figure 6 appeared as a duplicate of Figure 5. Figure 6 has been corrected as follows: (Figure Presented) The correction version appeared in the online version of the paper on the JMIR Publications website on January 18, 2023. Because this was made after submission to full-text repositories, the corrected article has also been resubmitted to those repositories. © Jelena Maksimenko, Pedro Pereira Rodrigues, Miki Nakazawa-Miklaševica, David Pinto, Edvins Miklaševics, Genadijs Trofimovics, Janis Gardovskis, Fatima Cardoso, Maria João Cardoso.

2023

An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises

Autores
Barros, M; Ramos, M; Gomes, A; Cunha, A; Pereira, J; Almeida, PS;

Publicação
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023

Abstract
Automatic grading based on unit tests is a key feature of massive open online courses (MOOC) on programming, as it allows instant feedback to students and enables courses to scale up. This technique works well for sequential programs, by checking outputs against a sample of inputs, but unfortunately it is not adequate for detecting races and deadlocks, which precludes its use for concurrent programming, a key subject in parallel and distributed computing courses. In this paper we provide a hands-on evaluation of verification and testing tools for concurrent programs, collecting a precise set of requirements, and describing to what extent they can or can not be used for this purpose. Our conclusion is that automatic grading of concurrent programming exercises remains an open challenge.

2023

Sex and age differences in attitudes and intention to adopt personalised nutrition in a UK sample

Autores
Stewart Knox, BJ; Poínhos, R; Fischer, ARH; Chaudhrey, M; Rankin, A; Davison, J; Bunting, BP; Frewer, LJ; Oliveira, BMPM;

Publicação
JOURNAL OF PUBLIC HEALTH-HEIDELBERG

Abstract
Aim There has been an increase in the development of technologies that can deliver personalised dietary advice. Devising healthy, sustainable dietary plans will mean taking into consideration extrinsic factors such as individual social circumstances. The aim of this study was to identify societal groups more or less receptive to and likely to engage with personalised nutrition initiatives. Sample and methods Volunteers were recruited via a social research agency from within the UK. The resultant sample (N = 1061) was 49% female, aged 18-65 years. Results MANOVA (Tukey HSD applied) indicated that females and younger people (aged 18-29 years) had more favourable attitudes and were more likely to intend to adopt personalised nutrition. There were no differences in attitude toward or intention to adopt personalised nutrition between different education levels, income brackets or occupational groups. Conclusion These results imply that females and younger people may be most likely to adopt personalised nutrition in the future. Initiatives to promote healthy eating should target males and older people.

2023

An Analysis on the Implementation of Secure Web-Related Protocols in Portuguese City Councils

Autores
Junior, J; Carneiro, P; Paiva, S; Pinto, P;

Publicação
INTERNATIONAL JOURNAL OF MARKETING COMMUNICATION AND NEW MEDIA

Abstract
The services supporting the websites, both public and private entities, may support security protocols such as HTTPS or DNSSEC. Public and private entities have a responsibility to ensure the security of their online platforms. Entities in the public domain such as city councils provide their services through their websites. However, each city council has its systems, configurations, and IT teams, and this means they have different standings regarding the security protocols supported. This paper analyzes the status of security protocols on Portuguese city council websites, specifically HTTPS and DNSSEC. The study evaluated 308 city council websites using a script developed for the research, and data was collected from the website of Direcao Geral das Autarquias Locais (DGAL) on December 14, 2022, and the websites were scanned on December 22, 2022. The results of this assessment reveal that around 97% of city council websites use RSA as their encryption algorithm and around 84% use 2048-bit length keys for digital certificate signing. Furthermore, about 53% of the city council websites are still supporting outdated and potentially insecure SSL/TLS versions, and around 95% of the councils are not implementing DNSSEC in their domains. These results highlight potential areas for improvement in cybersecurity measures and can serve as a baseline to track progress toward improving cybersecurity maturity in Portuguese city councils.

2023

Exploring the hidden dimensions of an optical extreme learning machine

Autores
Silva, D; Ferreira, T; Moreira, FC; Rosa, CC; Guerreiro, A; Silva, NA;

Publicação
JOURNAL OF THE EUROPEAN OPTICAL SOCIETY-RAPID PUBLICATIONS

Abstract
Extreme Learning Machines (ELMs) are a versatile Machine Learning (ML) algorithm that features as the main advantage the possibility of a seamless implementation with physical systems. Yet, despite the success of the physical implementations of ELMs, there is still a lack of fundamental understanding in regard to their optical implementations. In this context, this work makes use of an optical complex media and wavefront shaping techniques to implement a versatile optical ELM playground to gain a deeper insight into these machines. In particular, we present experimental evidences on the correlation between the effective dimensionality of the hidden space and its generalization capability, thus bringing the inner workings of optical ELMs under a new light and opening paths toward future technological implementations of similar principles.

2023

Analysis of Boarding Strategies on an Airbus A320 Using Discrete Event Simulation

Autores
Moreira, H; Ferreira, LP; Fernandes, NO; Ramos, AL; Avila, P;

Publicação
SUSTAINABILITY

Abstract
Boarding time constitutes a critical element of turnaround time, which is used to measure the efficiency of airline operations. Therefore, to reduce boarding time, it is imperative to reconsider traditional passenger boarding strategies to make them more efficient. In this sense, this study seeks to analyze the impact of different strategies on boarding times using discrete event simulation on an Airbus 320. Seven boarding strategies have been identified and considered in our study, as follows: random, back-to-front, outside-in, reverse pyramid, blocks, Steffen, and modified optimal. The impact of carrying hand luggage and the presence of priority passengers has been considered, as well as the impact of having a continuous arrival of passengers during the boarding process versus having all passengers available at boarding time. In general, simulation results have pointed out that the outside-in and reverse pyramid strategies are the most effective, improving boarding time by up to 15%, when compared to the random strategy. Moreover, the back-to-front strategy, which is generally implemented by airline companies, has been shown to be the most inefficient strategy. Efficient boarding strategies are expected to contribute to the sustainability of air travel by minimizing the turnaround time, improving operational efficiency, and reducing emissions.

  • 677
  • 4387