Abstract
The need for more flexible and robust models to reason about systems in the presence of conflicting information is becoming more and more relevant in different contexts. This has prompted the introduction of paraconsistent transition systems, where transitions are characterized by two pairs of weights: one representing the evidence that the transition effectively occurs and the other its absence. Such a pair of weights can express scenarios of vagueness and inconsistency. . This paper establishes a foundation for a compositional and structured specification approach of paraconsistent transition systems, framed as paraconsistent institution. . The proposed methodology follows the stepwise implementation process outlined by Sannella and Tarlecki.

Abstract
Directed Energy Deposition (DED) is a free-form metal additive manufacturing process characterized as toolless, flexible, and energy-efficient compared to traditional processes. However, it is a complex system with a highly dynamic nature that presents challenges for modeling and optimization due to its multiphysics and multiscale characteristics. Additionally, multiple factors such as different machine setups and materials require extensive testing through single-track depositions, which can be time and resource-intensive. Single-track experiments are the foundation for establishing optimal initial parameters and comprehensively characterizing bead geometry, ensuring the accuracy and efficiency of computer-aided design and process quality validation. We digitized a DED setup using the Robot Operating System (ROS 2) and employed a thermal camera for real-time monitoring and evaluation to streamline the experimentation process. With the laser power and velocity as inputs, we optimized the dimensions and stability of the melt pool and evaluated different objective functions and approaches using a Response Surface Model (RSM). The three-objective approach achieved better rewards in all iterations and, when implemented in areal setup, allowed to reduce the number of experiments and shorten setup time. Our approach can minimize waste, increase the quality and reliability of DED, and enhance and simplify human-process interaction by leveraging the collaboration between human knowledge and model predictions.

Abstract
This paper contributes to developing a Method for Creating Persona Templates (MCPT), addressing a significant gap in user-centred design methodologies. Utilising qualitative data collection and analysis techniques, MCPT offers a systematic approach to developing robust and context-oriented persona templates. MCPT was created by applying the Design Science Research (DSR) methodology, and it incorporates multiple iterations for template refinement and validation among project stakeholders; all of the proposed steps of this method were based on theoretical contributions. Furthermore, MCPT was tested and refined within a real-life R&D project focusing on developing a digital platform e-marketplace for short agrifood supply chains in two iteration cycles. MCPT fills a critical void in persona research by providing detailed instructions for each step of template development. By involving the target audience, users, and project stakeholders, MCPT adds rigour to the persona creation process, enhancing the quality and relevance of personae casts. This paper contributes to the body of knowledge by offering an initial proposal of a comprehensive method for creating persona templates within diverse projects and contexts. Further research should explore MCPT’s adaptability to different settings and projects, thus refining its effectiveness and extending its utility in user-centred design practices. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

Abstract
Scientific research in digital transformation is expanding in scope, quantity, and relevance, bringing forth diverse perspectives on which factors and specific dimensions-such as organizational structure, culture, and technological readiness-affect the success of digital transformation initiatives. Numerous studies have proposed mechanisms to assess an organization's maturity through digital transformation across various models. Some of these models focus on external influences, others on internal factors, or both. Although these assessments provide valuable insights into a company's transformation state, they often lack consistency, and recent research highlights key gaps. Specifically, many models primarily reflect the views of senior management on the general progress of digital transformation rather than on measurable outcomes. Moreover, these models tend to target large enterprises, overlooking small and medium enterprises (SMEs), which are crucial to economic growth yet face unique challenges, such as limited resources and expertise. Our study addresses these gaps by concentrating on SMEs and introducing a novel approach to assessing digital transformation readiness-a metric that reflects how prepared an organization is to optimize transformation outcomes. Following design science research methodology, we develop a model that centers on the perspectives of general employees, offering companies an in-depth view of their readiness across 20 dimensions. Each dimension is evaluated through behaviors indicative of the highest level of digital transformation readiness, helping companies identify areas to maximize potential benefits. Our model focuses not on technological quality but on the degree to which behaviors essential for leveraging technology and innovative business models are integrated within the organization.

Abstract
Spectral Imaging techniques such as Laser-induced Breakdown Spectroscopy (LIBS) and Raman Spectroscopy (RS) enable the localized acquisition of spectral data, providing insights into the presence, quantity, and spatial distribution of chemical elements or molecules within a sample. This significantly expands the accessible information compared to conventional imaging approaches such as machine vision. However, despite its potential, spectral imaging also faces specific challenges depending on the limitations of the spectroscopy technique used, such as signal saturation, matrix interferences, fluorescence, or background emission. To address these challenges, this work explores the potential of using techniques from conventional RGB imaging to enhance the dynamic range of spectral imaging. Drawing inspiration from multi-exposure fusion techniques, we propose an algorithm that calculates a global weight map using exposure and contrast metrics. This map is then used to merge datasets acquired with the same technique under distinct acquisition conditions. With case studies focused on LIBS and Raman Imaging, we demonstrate the potential of our approach to enhance the quality of spectral data, mitigating the impact of the aforementioned limitations. Results show a consistent improvement in overall contrast and peak signal-to-noise ratios of the merged images compared to single-condition images. Additionally, from the application perspective, we also discuss the impact of our approach on sample classification problems. The results indicate that LIBS-based classification of Li-bearing minerals (with Raman serving as the ground truth), is significantly improved when using merged images, reinforcing the advantages of the proposed solution for practical applications.

Abstract
Electricity generation from wind energy is one of the main drivers of decarbonization in energy systems. However, installing wind farm facilities may have beneficial and harmful impacts on the habitat of living beings. This study reviews the literature based on economic analysis to identify the main externalities related to the installation of wind farms and the economic methodologies used to assess these externalities, filling an existent literature gap. A systematic literature review followed the Preferred Reporting Items on Systematic Reviews and Meta-analysis standards. A total of 33 studies were identified, most of them carried out in Europe. The studies cover 24 years, between 1998 and 2022. The externalities associated with wind electricity generation are classified into three categories: the impact on well-being, the impact of wind turbines, and the impacts of avoided externalities. Most studies (24 out of 33) determine economic values by stated preference methods through choice experiments, discrete choice experiments, and contingent valuation. Revealed preference methods were identified in 5 studies using hedonic pricing and travel cost techniques. The challenges and limitations of this analysis in terms of externalities identification and their assessment are also discussed, concluding that additional updated review studies are needed since the latest ones were published in 2016 and 2017. Moreover, it gives insights to policymakers and academics on a more complete approach they can use to evaluate the impacts of decarbonization, which, apart from the technological view, also considers and estimates the socio-economic and environmental perspectives.