2024
Authors
Almeida, R; Campos, R; Jorge, A; Nunes, S;
Publication
CoRR
Abstract
2024
Authors
Vaz, B; Figueira, Á;
Publication
ACM Transactions on Multimedia Computing, Communications, and Applications
Abstract
2024
Authors
Cunha, A; Macedo, N; Liu, C;
Publication
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Abstract
This paper reports on the development and validation of a formal model for an automotive adaptive exterior lights system (ELS) with multiple variants in Alloy 6, which is the most recent version of the Alloy lightweight formal specification language that supports mutable relations and temporal logic. We explore different strategies to address variability, one in pure Alloy and another through an annotative language extension. We then show how Alloy and its Analyzer can be used to validate systems of this nature, namely by checking that the reference scenarios are admissible, and to automatically verify whether the established requirements hold. A prototype was developed to translate the provided validation sequences into Alloy and back to further automate the validation process. The resulting ELS model was validated against the provided validation sequences and verified for most of requirements for all variants.
2024
Authors
Rufino, J; Ramírez, JM; Aguilar, J; Baquero, C; Champati, J; Frey, D; Lillo, RE; Fernández Anta, A;
Publication
HELIYON
Abstract
In this paper, we evaluate the performance and analyze the explainability of machine learning models boosted by feature selection in predicting COVID-19-positive cases from self-reported information. In essence, this work describes a methodology to identify COVID-19 infections that considers the large amount of information collected by the University of Maryland Global COVID-19 Trends and Impact Survey (UMD-CTIS). More precisely, this methodology performs a feature selection stage based on the recursive feature elimination (RFE) method to reduce the number of input variables without compromising detection accuracy. A tree-based supervised machine learning model is then optimized with the selected features to detect COVID-19-active cases. In contrast to previous approaches that use a limited set of selected symptoms, the proposed approach builds the detection engine considering a broad range of features including self-reported symptoms, local community information, vaccination acceptance, and isolation measures, among others. To implement the methodology, three different supervised classifiers were used: random forests (RF), light gradient boosting (LGB), and extreme gradient boosting (XGB). Based on data collected from the UMD-CTIS, we evaluated the detection performance of the methodology for four countries (Brazil, Canada, Japan, and South Africa) and two periods (2020 and 2021). The proposed approach was assessed in terms of various quality metrics: F1-score, sensitivity, specificity, precision, receiver operating characteristic (ROC), and area under the ROC curve (AUC). This work also shows the normalized daily incidence curves obtained by the proposed approach for the four countries. Finally, we perform an explainability analysis using Shapley values and feature importance to determine the relevance of each feature and the corresponding contribution for each country and each country/year.
2024
Authors
Ribeiro, N; Tavares, P; Ferreira, C; Coelho, A;
Publication
PATIENT EDUCATION AND COUNSELING
Abstract
Objectives: The purpose of this study was to field-test a recently developed AR-based serious game designed to promote SSE self-efficacy, called Spot. Methods: Thirty participants played the game and answered 3 questionnaires: a baseline questionnaire, a second questionnaire immediately after playing the game, and a third questionnaire 1 week later (follow-up). Results: The majority of participants considered that the objective quality of the game was high, and considered that the game could have a real impact in SSE promotion. Participants showed statistically significant increases in SSE self-efficacy and intention at follow-up. Of the 24 participants that had never performed a SSE or had done one more than 3 months ago, 12 (50.0%) reported doing a SSE at follow-up. Conclusions: This study provides supporting evidence to the use of serious games in combination with AR to educate and motivate users to perform SSE. Spot seems to be an inconspicuous but effective strategy to promote SSE, a cancer prevention behavior, among healthy individuals. Practice implications: Patient education is essential to tackle skin cancer, particularly melanoma. Serious games, such as Spot, have the ability to effectively educate and motivate patients to perform a cancer prevention behavior.
2024
Authors
Rahmani, Z; Pinto, AHMN; Barbosa, LMDCS;
Publication
QUANTUM INFORMATION PROCESSING
Abstract
Secure multiparty computation (SMC) provides collaboration among multiple parties, ensuring the confidentiality of their private information. However, classical SMC implementations encounter significant security and efficiency challenges. Resorting to the entangled Greenberger-Horne-Zeilinger (GHZ) state, we propose a quantum-based two-party protocol to compute binary Boolean functions, with the help of a third party. We exploit a technique in which a random Z-phase rotation on the GHZ state is performed to achieve higher security. The security and complexity analyses demonstrate the feasibility and improved security of our scheme compared to other SMC Boolean function computation methods. Additionally, we implemented the proposed protocol on the IBM QisKit and found consistent outcomes that validate the protocol's correctness.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.