Abstract
In geo-replicated distributed systems, data is redundantly stored across nodes at different geographical sites, increasing fault tolerance and ensuring low access latency by placing data closer to the end user. With data being concurrently updated across sites, replicas should converge to a consistent view of the data, which leads toward adopting fine-tuned consistency models, namely causal consistency (CC). On the one hand, CC respects the causality between operations, resulting in intuitive outcomes for end users and programmers. On the other hand, it avoids the latency penalty of stronger consistency models and bypasses their availability constraints in the presence of network partitions. Furthermore, when coupled with read-only transactions (ROTs) capable of extracting a unified view of the data, CC avoids the anomalies of weaker consistency models. ROTs, however, cause additional coordination overhead compared to non-transactional reads. This overhead is particularly unwelcome considering the prevalence of read operations in real-world applications, and hence the impact of ROTs on the overall performance of read-heavy systems. With this in mind, there has been a growing effort to optimize the latency and throughput of causally consistent ROTs and to understand how the design of existing systems impacts their performance. In light of these recent developments, the present work surveys the state-of-the-art of causally consistent distributed systems, summarizing and comparing their core characteristics and tradeoffs and examining how their design decisions impact the performance of ROTs. To this end, it first defines some key concepts and presents two impossibility results concerning the properties of ROT algorithms. It then reviews several causally consistent systems with ROT support by identifying their recurring strategies to ensure causality and summarizing each of their designs and properties, stressing their implications on the performance of ROTs. It also surveys two architectural approaches to CC, which present progress toward a standard implementation for causally consistent systems. Finally, it discusses the open challenges identified in the literature.

Abstract
The main objective of this work is to identify the most efficient methodologies for transmitting energy generated onshore to offshore gas extraction platforms. Initially, a case study was carried out to determine the most suitable transmission method, AC or DC, with DC being the most suitable. Subsequently, theoretical research was carried out into the type of cable that should be used in this project, resulting in static and dynamic cables. The authors also propose a mathematical optimization model to determine which type of cable section should be used, minimizing the installation cost, power losses and ensuring that the voltage drop is lower than the regulatory limits. Two scenarios were considered in this optimization, one taking power losses into account and the other not. A more positive result was found with the 1000 mm2 section cable, because even though the initial investment is higher, the financial return is superior. © 2025 IEEE.

Abstract
The application of digital twin technology to the ocean is often referred to as Digital Twins of the Ocean (DTO). One notable initiative funded under Horizon Europe programs - Green Deal is the ILIAD - Digital Twin of the Ocean project. One of the objectives of ILIAD is to establish interoperable, data-intensive, and cost-effective DTO pilots. This paper focuses on one such pilot dedicated to environmental monitoring and water quality assessment associated with the OceanLab infrastructure in the Trondheim Fjord, Norway. This paper outlines the architecture and concept of the pilot while providing detailed insights into its application for various what-if scenarios. The scenario presented in this paper is a case study that analyzes the impact of a hypothetical oil spill at the Trondheim terminal. It focuses on the spread of surface oil over a 30-hour period using various pilot modules. The paper also discusses the potential replication of this study in another geographical location.

Abstract
Introduction: Together with sociodemographic and clinical features, locus of control and self-efficacy may impact the processes underlying changes in eating habits. Objectives: To study the relationships of sociodemographic and clinical characteristics, locus of control, general self-efficacy and eating self-efficacy with the perception of adherence to healthy eating among patients undergoing treatment for overweight. Methodology: A convenience sample of 74 overweight (BMI = 25.0 kg/m2) individuals (77.0% females, mean age = 41 years, SD = 11) attending nutrition consultations was studied regarding sociodemographic and clinical data, stages of change towards healthy eating, health locus of control (Health Locus of Control Scale), eating self-efficacy (General Eating Self-Efficacy Scale) and general self-efficacy (Self-Concept Clinical Inventory’s self-efficacy factor). Results: Approximately two-thirds (67.6%) of participants were in the “Action/Maintenance” stage towards healthy eating. In the total locus of control scale, general self-efficacy and eating self-efficacy, participants showed average scores slightly higher than the midpoint of the respective scales. In a binary logistic regression model, sociodemographic, clinical, locus of control and self-efficacy variables significantly predicted being in the action/maintenance stage towards healthy eating (p < 0.001; Nagelkerkle’s R2 = 48.4%). A higher proportion of weight loss (adjusted Exp(ß) = 1.074, p = 0.017) and higher eating self-efficacy (adjusted Exp(ß) = 1.317, p = 0.005) were significantly associated with higher odds of being in the “Action/Maintenance” stage. Conclusions: Most participants attending nutrition consultations to treat overweight considered following a healthy diet. Higher eating self-efficacy and greater weight loss associated to being in the “Action/Maintenance” stage towards healthy eating.

Abstract
Background: The study aims to present and explain the development stages of a mobile app designed to improve health literacy for self-management of oncological diseases. Through the integration of gamification, the app aims to enhance patient engagement and education in an interactive manner. Methods: The methodology of Design Science in Information Systems and Software Engineering was employed, which included stages of needs identification, requirements definition, prototyping, and iterative validation of the developed artifact. A total of 132 participants, consisting of patients and healthcare professionals, were involved in the development of the PocketOnco application. The subsequent implementation of the App, PocketOnco, involved usability testing, System Usability Scale assessment, and the collection of qualitative feedback. Results: The usability testing analysis revealed excellent acceptance of PocketOnco, with the gamified elements such as quizzes and reward systems being particularly appreciated for their ability to consistently engage and motivate users. Conclusion: The various stages in the development of this resource ensure the quality of its purpose. The application proved to be a viable and attractive solution for both patients and healthcare professionals, suggesting a promising path for future digital interventions in the field of oncology.

Abstract
Quality inspection inspection systems are critical for maintaining product integrity. Being a repetitive task, when performed by operators only, it can be slow and error-prone. This paper introduces an automated inspection system for quality assessment in casting aluminum parts resorting to a robotic system. The method comprises two processes: filing detection and hole inspection. For filing detection, five deep learning modes were trained. These models include an object detector and four instance segmentation models: YOLOv8, YOLOv8n-seg, YOLOv8s-seg, YOLOv8m-seg, and Mask R-CNN, respectively. Among these, YOLOv8s-seg exhibited the best overall performance, achieving a recall rate of 98.10%, critical for minimizing false negatives and yielding the best overall results. Alongside, the system inspects holes, utilizing image processing techniques like template-matching and blob detection, achieving a 97.30% accuracy and a 2.67% Percentage of Wrong Classifications. The system improves inspection precision and efficiency while supporting sustainability and ergonomic standards, reducing material waste and reducing operator fatigue.