Abstract
Recent advances in embedded systems, wireless communication, and IoT technologies have driven the development of Wearable Health Devices (WHDs), enabling continuous monitoring of biosignals with low power consumption and high data transmission rates. Among various wireless communication protocols, Bluetooth Low Energy (BLE) stands out due to its energy efficiency and high transmission rate, making it the preferred choice for developing compact and high-performance wearables. However, achieving precise time synchronization across multiple BLE-enabled devices remains a challenge, particularly in distributed systems where sensor nodes operate independently. In this work, we present the WeSync(BLE) our reference synchronization architecture developed for multiple wearable BLE-based biomedical devices intended to streamline the use of numerous wearable devices and synchronize the data acquired across them. A proof-of-concept of this reference synchronization architecture was made using proprietary BLE wearables (used for acquiring motion data). This demonstrated effective synchronization with minimal implementation and latency, achieving an absolute mean and standard deviation of 9.2 ± 6.7 milliseconds, at 1 hour of testing. This work paves the way for a more robust real-time wearable systems synchronization, advancing the analysis and study of biosignals.

Abstract
Discerning between quantum and classical correlations is of great importance. Bell polytopes are well established as a fundamental tool for such a purpose. In this paper, we extend this line of inquiry by applying resource theory within the context of network scenarios, to a Quantum Key Distribution (QKD) protocol, BBM92. To achieve this, we consider the causal structure P3 to describe the protocol, and we aim to develop useful statistical tests to assess it. Our objectives are twofold: firstly, to utilise the underlying causal structure of the QKD protocol to produce a geometrical analysis of the resulting nonconvex polytope, with a focus on the classical behaviours, and secondly to devise a test within this framework to evaluate the distance between any two behaviours within the generated polytope. This approach offers a unique perspective, linking deviations from expected behaviour directly to the quality of the quantum resource involved or the residual nonclassicality in protocol execution.

Abstract
Building on the work carried out in the context of both the master's thesis and the EUGLOH Tromso Idea Camp 2024, this paper proposes to explore somatic relationships that could help to develop a grammar of practical applicability that specifies which properties pertain to each the three dimensions of Emotional Design presented by Donald Norman. Thus, a proto-ontology affecting some of these factors is presented. The validity of this proposal was methodologically tested mainly through the use of Cultural Probes, along with other methodological tools, which were used to collect emotionally relevant artifacts owned by the participants. This data was submitted through both Content Analysis and Artifact Analysis in order to determine which properties of the artifacts made them meaningful to the users. Different preliminary data related to the three dimensions of Emotional Design emerged: in the first visceral dimension, elements of a perceptual-sensory nature; in the behavioral dimension, some preliminary factors relating to the prevalence of both feedback and image schemas stood out; lastly, the reflective aspect proved to be the one where the most properties were determined, mainly related to symbolic properties.

Abstract
The Abstraction and Reasoning Corpus (ARC-AGI) is an Artificial General Intelligence benchmark that is currently unsolved. It demands strong generalization and reasoning capabilities, which are known to be weaknesses of Neural Network based systems. In this work, we propose a Program synthesis system to solve it, which casts an ARC-AGI task as a sequence of Inductive Logic Programming tasks. We have implemented a simple Domain Specific Language that corresponds to a small set of object-centric abstractions relevant to the benchmark. This allows for adequate representations to be used to create logic programs, which provide reasoning capabilities to our system. When solving each task, the proposed system can generalize from a few training pairs of input-output grids. The obtained logic programs are able to generate objects present in the output grids and can transform the test input grid into the output grid solution. We developed our system based on some ARC-AGI tasks that do not require more than the small number of primitives that we implemented and showed that our system can solve unseen tasks that require different reasoning.

Abstract
Digitalisation is mandatory for today’s companies. Living in the Era of Industry 4.0, the phenomenon of digital transformation cannot be ignored. Intending to support manufacturing companies in their digitalisation processes, the present paper reflects the work that has been carried on, to support the digital transition for manufacturing companies in the region of Tâmega e Sousa. This region is considered to be an industrial region located in the North of Portugal, but lagging in terms of digital technology adoption. In a theoretical framework, it is expected to identify the most relevant factors to promote a successful digital strategy. Supported by a Science Design methodology, a platform was developed to support the measurement of the maturity or digital companies’ readiness levels. To collect the necessary data were performed questionnaires. First, in a face-to-face approach and later through the platform developed. The (preliminary) results are based on a sample of 53 companies (pilot test). From this data, it was possible to identify some trends: 1) some behaviours indicate that the region is still in the digitisation phase; 2) the digitisation focus is in the processes dimension; 3) even performing a digital transition, companies do not invest in in-house IT solutions. Copyright © 2025 Inderscience Enterprises Ltd.

Abstract