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
Introduction: Surveys are a key method for collecting data, used in contexts ranging from national censuses to customer satisfaction assessments. Despite their clear utility, recent literature highlights their inaccessibility to people with disabilities. Objective: This paper outlines the development of a survey completion tool accessible to people with disabilities. Methodology: Key steps included identifying requirements for designing an accessible survey completion tool, implementing them, testing the tool with people with disabilities, and refning it based on identifed issues and suggested changes. Results: Overall, the tool was found to be accessible to people with diverse disabilities.

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