Abstract
Associated with the exploitation of metallic minerals in Europe during the 20th century, several mining areas were abandoned without adequate environmental intervention. Furthermore, these areas lack studies to characterize the impact of pollution on the hydrogeological system. The area surrounding the tungsten mine of Regoufe, in northern Portugal, is one such area exploited during the Second World War. The accumulation of sulfide-rich tailings may have caused an acid mine drainage (AMD), where the leaching processes caused by seepage water led to soil contamination, evidenced by its acid character and anomalous concentrations of some Potentially Toxic Elements (PTE) reported in previous studies. The present research proposes an innovative approach that seeks the integration of different geophysical techniques to characterize the impact of mining activity on the subsurface. Electrical resistivity (ER) and electromagnetic (EM) were used to measure subsurface electrical properties. In addition, seismic refraction and Multichannel Analysis of Surface Waves (MASW) were performed to characterize the geometry, depth, and geomechanical behavior of the soil and rock bodies. The integration of these techniques allowed the interpretation of hydrogeological sections and a 3D resistivity volume to gain insight into the distribution of potentially contaminating fluids and tailings material present in the mining valley.

Abstract

Abstract
Despite advancements in interaction with immersive Virtual Reality (VR) systems, using hand gestures for all interactions still imposes some challenges, especially in interactions with graphical user interfaces that are usually performed with point-and-click interfaces. Therefore, exploring the use of alternative hands-free methods for selection is essential to overcome usability problems and provide natural interaction for users. The results and insights gained from this exploration can lead to enhanced user experiences in VR applications. This study aims to contribute to the literature with the evaluation of the usability of the most commonly used hands-free methods for selection and system control tasks in immersive VR and their impact on standard and validated experience and usability metrics, namely the sense of presence, cybersickness, system usability, workload, and user satisfaction. A Fitts' selection task was performed using a within-subjects design by nine participants experienced in VR. The methods evaluated were the handheld controllers, the head gaze, eye gaze, and voice commands for pointing at the targets, and dwell time and voice commands to confirm the selections. Results show that the methods provide similar levels of sense of presence and low cybersickness while showing low workload values and high user satisfaction, matching the experience of traditional handheld controllers for non-multimodal approaches. The assisted eye gaze with dwell was the preferred hands-free method and the one with the highest values of usability. Still, developers should minimize the number of gaze movements to reduce fatigue. The evaluation also showed that using a multimodal approach for selections, especially using the voice, decreases user satisfaction and increases users' frustration.(c) 2023 The Author(s). Published by Elsevier Ltd. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).

Abstract
Continuous Integration and Continuous Deployment (CI/CD) pipelines play a vital role in the DevOps process, enabling developers to automate and enhance software delivery. However, the existence of multiple technologies, such as GitHub Actions, GitLab CI/CD, or Jenkins, poses challenges due to their lack of interoperability and the use of different programming languages for pipeline construction. To address these challenges and improve the CI/CD process, our objective is to develop a block-based language specifically designed for representing CI/CD pipelines. With our language, we intend to empower users to more easily create correct pipelines. Through an interactive and user-friendly process, our approach guides users in constructing pipelines, ensuring accuracy and reducing errors. Additionally, our language will facilitate seamless transitions between different pipeline technologies, providing users with flexibility and ease of adoption.

Abstract
Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence either holds or does not hold. In this paper we explore the idea of equivalence taking values in a quantale V, which covers the cases of (in)equations and (ultra)metric equations among others.Our main result is the introduction of a V-equational deductive system for linear lambda-calculus together with a proof that it is sound and complete. In fact we go further than this, by showing that linear lambda-theories based on this V-equational system form a category equivalent to a category of autonomous categories enriched over 'generalised metric spaces'. If we instantiate this result to inequations, we get an equivalence with autonomous categories enriched over partial orders. In the case of (ultra)metric equations, we get an equivalence with autonomous categories enriched over (ultra)metric spaces. Additionally, we show that this syntax-semantics correspondence extends to the affine setting.We use our results to develop examples of inequational and metric equational systems for higher-order programming in the setting of real-time, probabilistic, and quantum computing.

Abstract
This article proposes the use of social representation theory to validate the structural model of structural equation modeling, thereby enhancing the understanding of the research object. To achieve this, it was employed action research to construct, implement, and confirm the practical feasibility of the metho-dological procedures described herein. This was accomplished through their practical application in a case analysis. It was possible to validate the structural model used in structural equation modeling by applying the proposed methodological procedures to a case involving the governance system construct. This validation opens the possibility for future research to use these procedures in conjunction to validate theoretical models and the causal relationships between their constructs. Therefore, the primary theoretical contribution of this paper is the proposition of a research methodology that combines social representation theory with structural equation modeling to validate the structural model. This approach reduces the risk of using the statistical method to confirm or refute a theoretical model whose causal relationships may not represent a reality supported by practice.