Abstract
The textile industry faces economic and environmental challenges due to low recycling rates and contamination from fasteners like buttons, rivets, and zippers. This paper proposes an Red, Green, Blue (RGB) vision system using You Only Look Once version 11 (YOLOv11) with a sliding window technique for automated fastener detection. The system addresses small object detection, occlusion, and fabric variability, incorporating Grounding DINO for garment localization and U2-Net for segmentation. Experiments show the sliding window method outperforms full-image detection for buttons and rivets (precision 0.874, recall 0.923), while zipper detection is less effective due to dataset limitations. This work advances scalable AI-driven solutions for textile recycling, supporting circular economy goals. Future work will target hidden fasteners, dataset expansion and fastener removal.

Abstract
Supporting sustainability through modelling and analysis has become an active area of research in Software Engineering. Therefore, it is important and timely to survey the current state of the art in sustainability in Cyber-Physical Systems (CPS), one of the most rapidly evolving classes of complex software systems. This work presents the findings of a Systematic Mapping Study (SMS) that aims to identify key primary studies reporting on CPS modelling approaches that address sustainability over the last 10 years. Our literature search retrieved 2209 papers, of which 104 primary studies were deemed relevant fora detailed characterisation. These studies were analysed based on nine research questions designed to extract information on sustainability attributes, methods, models/meta-models, metrics, processes, and tools used to improve the sustainability of CPS. These questions also aimed to gather data on domain-specific modelling approaches and relevant application domains. The final results report findings for each of our questions, highlight interesting correlations among them, and identify literature gaps worth investigating in the near future.

Abstract
We show how (well-established) type systems based on non-idempotent intersection types can be extended to characterize termination properties of functional programming languages with pattern matching features. To model such programming languages, we use a (weak and closed) lambda-calculus integrating a pattern matching mechanism on algebraic data types (ADTs). Remarkably, we also show that this language not only encodes Plotkin's CBV and CBN lambda-calculus as well as other subsuming frameworks, such as the bang-calculus, but can also be used to interpret the semantics of effectful languages with exceptions. After a thorough study of the untyped language, we introduce a type system based on intersection types, and we show through purely logical methods that the set of terminating terms of the language corresponds exactly to that of well-typed terms. Moreover, by considering non-idempotent intersection types, this characterization turns out to be quantitative, i.e. the size of the type derivation of a term t gives an upper bound for the number of evaluation steps from t to its normal form.

Abstract
This paper examines the role of digital twins (DTs) in promoting sustainability within seaport operations and logistics. DTs have emerged as promising tools for enhancing seaport performance. Despite the recognized potential of DTs in seaports, there is a paucity of research on their practical implementation and impact on seaport sustainability. Through a systematic literature review, this study seeks to elucidate how DTs contribute to the sustainability of seaports and to identify future research and practical applications. We reviewed and categorized 68 conceptual and practical digital applications into ten core areas that effectively support economic, social, and environmental objectives in seaports. Furthermore, this paper proposes five preliminary potential applications for DTs where practical implementations are currently lacking. The primary findings indicate that DTs can enhance seaport sustainability by facilitating real-time monitoring and decision-making, improving safety and security, optimizing resource utilization, enhancing collaboration and communication, and supporting the development of the seaport ecosystem. Additionally, this study addresses the challenges associated with DT implementation, including high costs, conflicting stakeholder priorities, data quality and availability, and model validation. The paper concludes with a discussion of the implications for seaport managers and policymakers.

Abstract
E-commerce popularity has increased the challenges of parcel deliveries, highlighting the urgency in addressing the sustainability of the last-mile, which is considered the most ineffective part of the supply chain and a source of environmental and social issues. Although different alternative last-mile technologies have already been proposed, they all imply complex trade-offs. This study explores how synergies between delivery technologies could improve last-mile logistics. It evaluates the trade-offs between electric vans, cargo bikes, and parcel lockers, and takes into account factors such as package size, consumer requirement, and urban context. The adoption of a combined delivery strategy suggests environmental and social benefits like the mitigation of congestion and emissions while ensuring advantages for companies due to streamlined operations and offering consumers a broader range of choices.

Abstract
The advent of new technologies has led to significant changes in the field of marketing, demanding a rethinking of existing knowledge and skills. This research proposes a set of transversal curricula in digital marketing. The methodology employed included an exploratory analysis of digital marketing courses offered at universities and major online platforms, focus groups, and interviews, conducted in four countries. The countries included in the study were Finland, Poland, the Netherlands, and Portugal. The findings indicated that an introductory course and specialization blocks would be beneficial. Social media, analytics, digital advertising, search engine optimization (SEO), digital marketing strategies, web content, e-mail marketing, customer experience, landing pages, user experience, leads, conversion rate optimization, and E-commerce were identified as the key subjects of study for the introductory course in digital marketing.