Abstract
Digital marketing has become an integral part of the modern business landscape, revolutionizing the way companies promote their products and interact with their customers. In this essay, we aim to demonstrate how it can be related to an increased tendency for mental health problems and other societal complications, as well as developing insights into its evolution using the latest breakthroughs in technology. This study will provide an overview of the impacts of digital marketing on companies, and in society, resorting to classical literature, as well as recent studies and articles conducted on the matter. An online survey was developed to support our research, reaching 112 Portuguese participants. The scientific methodology used was the Chi-Square test, with a confidence margin of 95% targeting two focus groups, one with their ages comprised within 16-25 years old and the other from 35 to 50 years old. We perceived that there would be behavioral differences between people who were born in the digital marketing age and those who had to adapt to it. We also provided some possible solutions to the problems raised by digital marketing and explained how these issues could be exacerbated with the renaissance technology is facing recently.

Abstract
Jasmin is a programming language for high-speed and high-assurance cryptography. Correctness proofs of Jasmin programs are typically carried out deductively in EasyCrypt. This allows generality, modularity and composable reasoning, but does not scale well for low-level architecture-specific routines. CryptoLine offers a semi-automatic approach to formally verify algebraically-rich low-level cryptographic routines. CryptoLine proofs are self-contained: they are not integrated into higher-level formal verification developments. This paper shows how to soundly use CryptoLine to discharge subgoals in functional correctness proofs for complex Jasmin programs. We extend Jasmin with annotations and provide an automatic translation into a CryptoLine model, where most complex transformations are certified. We also formalize and implement the automatic extraction of the semantics of a CryptoLine proof to EasyCrypt. Our motivating use-case is the X-Wing hybrid KEM, for which we present the first formally verified implementation. © 2025 Copyright held by the owner/author(s).

Abstract
E-commerce growth is driving the need for novel, more sustainable last-mile delivery strategies. One potential strategy is based on setting up a mobile-depot from where last-mile deliveries are conducted using cargo bikes. This research explores the impacts of this strategy through a microscopic traffic simulation based on a medium-sized European city. The strategy was evaluated at three levels: operational (route length and duration), energy consumption, and emissions. The results showed that adopting a last-mile delivery strategy based on a mobiledepot and cargo bikes leads to significant benefits in terms of energy consumption and emission, which decrease by more than 80 %, but imply lengthier (+49 %) and more time-consuming (+14 %) routes compared to a traditional parcel delivery strategy.

Abstract
Corporate Social Responsibility (CSR) is increasingly shaping the pathways of Small Medium-sized Enterprises (SMEs). This study presents an entity-relationship diagram (ERD) approach to 184 determinants of SME internationalization success, in order to provide structured inputs for Deep Learning (DL) Recommenders that can support CSR-aligned internationalization strategies. Employing Visual Paradigm 17.2 Professional software for modeling, the research synthesizes state-of-the-art findings on foreign market entry, and export performance, into ERDs. Then the market adoption drivers for such a DL tool are explored through semi-structured interviews with twelve stakeholders. The results reveal a propensity to adopt the DL recommender, with experts highlighting essential features for engagement, pricing, and implementation. The discussion contextualizes these findings, while the conclusion addresses gaps and future directions. The study's focus in Portugal/Germany may limit worldwide extrapolation, yet it advances knowledge by consolidating success determinants, validating platform requirements, exposing gaps, and suggesting research in both CSR, AI and SME internationalization.

Abstract

Abstract
This study examines the factors that motivate viewers to financially support streamers on the Twitch digital platform. It proposes a conceptual framework that combines the uses and gratifications theory (UGT) with Michel Foucault's concept of the practice of freedom (PF). Using a cross-sectional quantitative survey of 560 Portuguese Twitch users, the model investigates how three core constructs from UGT-entertainment, socialization, and informativeness-affect the intention to donate, with PF acting as a mediating variable. Structural equation modeling confirms that all three UGT-based motivations significantly influence donation intentions, with socialization exhibiting the strongest mediated effect through PF. The findings reveal that Twitch donations go beyond mere instrumental or playful actions; they serve as performative expressions of identity, autonomy, and ethical subjectivity. By framing PF as a link between interpersonal engagement and financial support, this study provides a contribution to media motivation research. The theoretical integration enhances our understanding of pro-social behavior in live streaming environments, challenging simplistic, transactional interpretations of viewer contributions vis-& agrave;-vis more political ones and the desire to freely dispose of what is ours to give. Additionally, this study may lay the groundwork for future inquiries into how ethical self-formation is intertwined with monetized online participation, offering useful insights for academics, platform designers, and content creators seeking to promote meaningful digital interactions.