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.

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.

Abstract
This article presents the development of a vision system designed to enhance the autonomous navigation capabilities of robots in complex forest environments. Leveraging RGBD and thermic cameras, specifically the Intel RealSense 435i and FLIR ADK, the system integrates diverse visual sensors with advanced image processing algorithms. This integration enables robots to make real-time decisions, recognize obstacles, and dynamically adjust their trajectories during operation. The article focuses on the architectural aspects of the system, emphasizing the role of sensors and the formulation of algorithms crucial for ensuring safety during robot navigation in challenging forest terrains. Additionally, the article discusses the training of two datasets specifically tailored to forest environments, aiming to evaluate their impact on autonomous navigation. Tests conducted in real forest conditions affirm the effectiveness of the developed vision system. The results underscore the system's pivotal contribution to the autonomous navigation of robots in forest environments.

Abstract
This paper provides an overview on recent work on Team Automata, whereby a network of automata interacts by synchronising actions from multiple senders and receivers. We further revisit this notion of synchronisation in other well known concurrency models, such as Reo, BIP, Choreography Automata, and Multiparty Session Types. We address realisability of Team Automata, i.e., how to infer a network of interacting automata from a global specification, taking into account that this realisation should satisfy exactly the same properties as the global specification. In this analysis we propose a set of interesting directions of challenges and future work in the context of Team Automata or similar concurrency models.

Abstract
Collaborative robots (cobots) are emerging in manufacturing as a response to the current mass customization production paradigm and the fifth industrial revolution. Before adopting this technology in production processes and benefiting from its advantages, manufacturers need to analyze the investment. Therefore, this study aims to develop a decision -making framework for cobot adoption, incorporating a comprehensive set of quantitative and qualitative criteria, to be used by decision -makers in manufacturing companies. To achieve that objective, a qualitative study was conducted by collecting data through interviews with key actors in the cobot (or advanced manufacturing technologies) adoption decision process in manufacturing companies. The main findings of this study include, firstly, an extensive list of decision criteria, as well as some indicators to be used by decisionmakers, some of which are new to the literature. Secondly, a decision -making framework for cobot adoption is proposed, as well as a set of guidelines to use it. The framework is based on a weighted scoring method and can be customizable by the manufacturing company depending on its specific context, needs, and resources. The main contribution of this study consists in assisting decision -makers of manufacturing companies in performing more complete and sustained decision analyses regarding cobots adoption.

Abstract
Manufacturing industry is experiencing another revolution towards the digitalization of industrial processes. Different value chain actors must share specific and sensitive data according to business and data requirements. Digital architectures must ensure seamless and comprehensive communications between actors according to agreed-upon vocabularies. The digital representation of machines and other types of equipment, including crucial information about their static and dynamic operational data, is made possible by the ontological modelling of Asset Administration Shells (AAS), which is proposed in this paper as modular and semantically interoperable resources. These Cognitive Digital Twins are herein defined with de facto domain ontologies that model the semantics of the current operation, status and configurations of assets. This paper reports a proof-of-concept technical implementation that demonstrates an innovative digital architecture that connects and communicates active and modular Digital Twin of a machine in a bi-directional, connecting this asset to a digital manufacturing service provider.