Abstract

Abstract
Explainable Artificial Intelligence (XAI) aims to enhance the interpretability of Artificial Intelligence (AI) systems for humans. The goal is to ensure that algorithmic decisions and underlying data are understandable to non-technical stakeholders. Advanced Machine Learning (ML) models, such as deep neural networks, enable AI systems to process vast data and extract intricate patterns, akin to the human brain, but this complicates XAI development. Complex ML models require substantial data for training, exacerbating the challenge. Consequently, this paper proposes a novel approach to improve XAI for complex ML models, particularly those with large data needs. Using K-Means clustering, the paper proposes to identify relevant data instances to create similarity clusters. This filtering process focuses XAI on essential information, even with complex models, reducing the data set to find patterns and explanations, so that, using the same approach, only the best explanations are filtered efficiently. The paper proposes to implement and test this model with a case study on ML for PV generation forecasting in buildings. Results show that the proposed approach is able to generate explanations that are very similar to those generated when using the entire available data, in only a portion of the execution time, leveraging from the identification of a small number of representative data points. This approach, therefore, enhances the efficiency of XAI by achieving promising results with a smaller dataset. It also facilitates the development of more understandable and fastly provided solutions, which is essential for real-world XAI users such as electric mobility users that need PV forecasting explanations as support for their vehicles charging management.

Abstract
Sustainable initiatives play a crucial role in promoting digital health equity by addressing barriers to access and ensuring equitable use of digital health technologies and services. These initiatives may arise in various contexts, including local collaborative networks that emerge in the municipal context. This study aims to identify and characterize the municipal initiatives that have been developed in Portugal to promote digital health equity. It adopts a mixed methods approach to initially quantify the distribution of these projects in the Portuguese territory and, at a later stage, to understand the level of influence of these projects, considering their impact on individual, interpersonal, community, and societal levels. The findings identified 22 municipal sustainable initiatives and concluded that there is a strong relationship between the areas of community and individual influence. The results of this study are relevant to deepening the knowledge of bottom-up innovation in the digital health field and establishing public policies to increase the impact of these projects at the territorial level, the communities involved, and the social objectives addressed, contributing to greater social cohesion.

Abstract
The Eurasian grapevine (Vitis vinifera L.) is the most widely grown horticultural crop in the world and is important for the economy of many countries. In the wine production chain, grape varieties play an important role as they directly influence the authenticity and classification of the product. Identifying the different grape varieties is therefore fundamental for quality control and inspection activities, as well as for regulating production. Currently, ampelography and molecular analysis are the main approaches to identifying grape varieties. However, both methods have limitations. Ampelography is subjective and prone to errors and is experiencing enormous difficulties as ampelographers are increasingly scarce. On the other hand, molecular analyses are very demanding in terms of cost and time. In this scenario, Deep Learning (DL) and Machine Learning (ML) methods have emerged as a classification alternative to deal with the scarcity of ampelographs and avoid molecular analyses. In this study, the most recent and current methods for identifying grapevine varieties using DL classification-based approaches are presented through a systematic literature review. The classification pipeline of the 31 studies found in the literature was described, highlighting its pros and cons. Most of the studies used DL-based models trained with leaf images acquired in a controlled environment at a maximum distance of 1.2 metres to classify grape varieties. In addition, there is a large gap between practical applications and the datasets used: a great lack of varieties, limited data acquired in the field and a lack of tests on plants under adverse conditions. Potential directions for improving this area of research were also presented.

Abstract
In Portugal, more than 98% of domestic cooking oil is disposed of improperly every day. This avoids recycling/reconverting into another energy. Is also may become a potential harmful contaminant of soil and water. Driven by the utility of recycled cooking oil, and leveraging the exponential growth of ubiquitous computing approaches, we propose an IoT smart solution for domestic used cooking oil (UCO) collection bins. We call this approach SWAN, which stands for Smart Waste Accumulation Network. It is deployed and evaluated in Portugal. It consists of a countrywide network of collection bin units, available in public areas. Two metrics are considered to evaluate the system's success: (i) user engagement, and (ii) used cooking oil collection efficiency. The presented system should (i) perform under scenarios of temporary communication network failures, and (ii) be scalable to accommodate an ever-growing number of installed collection units. Thus, we choose a disruptive approach from the traditional cloud computing paradigm. It relies on edge node infrastructure to process, store, and act upon the locally collected data. The communication appears as a delay-tolerant task, i.e., an edge computing solution. We conduct a comparative analysis revealing the benefits of the edge computing enabled collection bin vs. a cloud computing solution. The studied period considers four years of collected data. An exponential increase in the amount of used cooking oil collected is identified, with the developed solution being responsible for surpassing the national collection totals of previous years. During the same period, we also improved the collection process as we were able to more accurately estimate the optimal collection and system's maintenance intervals.

Abstract
Choreographic languages describe possible sequences of interactions among a set of agents. Typical models are based on languages or automata over sending and receiving actions. Pomsets provide a more compact alternative by using a partial order to explicitly represent causality and concurrency between these actions. However, pomsets offer no representation of choices, thus a set of pomsets is required to represent branching behaviour. For example, if an agent Alice can send one of two possible messages to Bob three times, one would need a set of 2 x 2 x 2 distinct pomsets to represent all possible branches of Alice's behaviour. This paper proposes an extension of pomsets, named branching pomsets, with a branching structure that can represent Alice's behaviour using 2 + 2 + 2 ordered actions. We compare the expressiveness of branching pomsets with that of several forms of event structures from the literature. We encode choreographies as branching pomsets and show that the pomset semantics of the encoded choreographies are bisimilar to their operational semantics. Furthermore, we define well-formedness conditions on branching pomsets, inspired by multiparty session types, and we prove that the well-formedness of a branching pomset is a sufficient condition for the realisability of the represented com-munication protocol. Finally, we present a prototype tool that implements our theory of branching pomsets, focusing on its applications to choreographies. (c) 2023 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons .org /licenses /by /4 .0/).