Abstract
Este artigo investiga as interseções entre place branding, comunicação estratégica, cidadania e turismo. Exploramos a relação dinâmica entre esses conceitos, considerando particularmente o tensionamento entre políticas públicas voltadas para a melhoria do bem-estar dos cidadãos em cidades brasileiras e a tematização de demandas que ainda permanecem sem respostas. Argumentamos que as escolhas estratégicas de comunicação feitas pelas administrações municipais priorizam a promoção das cidades como bens de consumo, distanciando-se de práticas discursivas voltadas para a comunicação pública que prioriza os interesses coletivos. Pensar a marca de lugar enquanto comunicação estratégica envolve promover as cidades como destinos turísticos e, sobretudo, construir processos cooperativos de comunicação pública que priorizem o reconhecimento da legitimidade das demandas populares e o desenvolvimento geral do território, sem desconsiderar a polifonia do diálogo e sem tentar universalizar aquilo que dificilmente pode ser generalizado.

Abstract
A generation of interoperable devices is emerging in control systems. Devices can be controlled by users at multiple levels. The devices that are controlled may be certified as safe by their vendors, but new issues may arise from their integration and remote use, as new interaction pathways will be enabled that are simply not possible when the device is used as a stand-alone system. This paper is concerned with modelling concrete interfaces that are designed to enable use of these systems. It builds on previous work concerned with proving use-centred safety properties across the interoperable system. The concern of this paper however is describing the relationship between an abstract model and a concrete interface that reflects more concretely the tasks that the users are intended to perform. In the example used in this paper, a menu interface is built on top of the abstract interface. The primary concern of the paper is describing the relationship between the abstract interface and the specified concrete interface. Properties of the interface that were discussed in previous work are proved of the concrete interface. This paper uses, as an example, use-centred safety properties of integrated clinical environments for remote medical care. Four properties are considered briefly: consistency, completeness, feedback and reversibility with an understanding of the tasks that users may perform. More detail will be given to the first two with a particular focus on the relation between the abstract interaction model and a concrete menu based model. The properties are formalised in the language of the PVS verification system. They are mechanically verified using the PVS proof assistant for a model of a realistic prototype of an integrated clinical environment. The presented analysis is intended to be performed during system design and development, and before the actual system is deployed, to increase confidence that the design complies with important use-centred safety properties that capture design guidelines discussed in usability engineering standards. It is envisaged that such an analysis could help inform a safety assessment of the integrated system. © 2026 Copyright held by the owner/author(s).

Abstract
This paper presents a literature review of consumer decision factors influencing the purchase of sustainable products. Drawing from 338 peer-reviewed studies across various sectors, the review identifies and categorises key behavioural decision factors into internal and external dimensions. The analysis is supported by established theories, including the Theory of Planned Behaviour (TPB), the Value-Belief-Norm (VBN) theory, and the Theory of Consumption Values (TCV). The findings consolidate fragmented knowledge into a coherent framework that enhances understanding of sustainable consumption behaviour. The results of this study serve as a foundational input for the BioShoes4All project, which aims to promote sustainability in the footwear industry. This review provides valuable direction for future empirical research and the development of targeted interventions to encourage sustainable consumer choices. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2026.

Abstract
Synthetic datasets are essential for the development and benchmarking of machine learning methods in biomedicine, as they help overcome the pervasive data scarcity in biomedical research. In fields such as immunomics, genomics and proteomics, they enable the development of prediction algorithms, including methods for immune receptor-antigen binding prediction. When generated with transparent and fully specified parameters, synthetic datasets serve as rule-based systems for reproducible and interpretable model testing, an essential step towards digital twins that emulate biological systems for diagnosis and therapy design. A key obstacle, however, is the 'simulation to reality' (sim2real) gap, which describes the uncertainty about whether performance on synthetic data is predictive of performance on experimental data. Divergent statistical and biological properties may erode generalizability and clinical relevance. The lack of standardized sim2real benchmarks impedes validation and widespread adoption. We argue that multilayered validation frameworks, incorporating techniques such as domain adaptation and hybrid validation, and grounded in biological realism, are essential to ensuring that synthetic datasets faithfully capture biological complexity. Closing the sim2real gap will unlock the full translational potential of synthetic data, accelerating diagnostic and therapeutic discovery, guiding clinical decision-making, and advancing the development of predictive digital twins.

Abstract

Abstract