Abstract
Methane (CH4) detection plays a crucial role in atmospheric monitoring, industrial safety, global climate assessments, and environmental sensing. Laser absorption spectroscopy techniques have become the gold standard for achieving fast, selective, and highly sensitive CH4 measurements across a wide range of conditions. This review summarizes the main spectroscopic methods used for methane detection, their operating principles, performance characteristics, and practical implementation considerations. Emphasis is placed on tunable diode laser absorption spectroscopy (TDLAS), wavelength modulation spectroscopy (WMS), dual-comb spectroscopy (DCS), cavity-enhanced methods such as cavity ring-down spectroscopy (CRDS), photoacoustic and photothermal techniques including quartz-enhanced photoacoustic spectroscopy (QEPAS) and hollow-core fiber photothermal interferometry, and emerging mid-infrared (MIR)/quantum-cascade-based approaches.

Abstract
Similarity is a key property across two or more interactive systems. Indeed, interacting with similar systems can bring benefits (e.g., reduced learning efforts and training time) but may also raise issues (e.g., interference errors and higher cognitive load). Interactive systems may be similar, as they correspond to the same work and tasks performed with different underlying systems, such as the pilots’ tasks in the cockpit of an Airbus A320 and a Boeing 737. They may also be similar by design, as they belong to the same suite as, for instance, the Microsoft Office software suite, where several tools are designed to be used concurrently by the same users. Previous work on similarity has focused on the visual presentation of interactive applications, highlighting commonalities and differences in terms of layout, shape, colours and other features of the user interface. This paper proposes a systematic and formal approach to analyse and assess the similarity between several interactive systems, focusing on their behaviours. To this end, we propose a tool-supported process that exploits both interactive formal system behaviour models and user task models. These models are analysed with the help of formal tools (model checking) to identify commonalities and differences in their exhibited behaviours. Beyond, we compare the specific and generic behavioural properties of each model, which provide semantic and meaningful information about how similar they are and how they differ. The approach is applied to two similar critical command and control interactive systems for flight safety operations in the space domain. © 2026 Copyright held by the owner/author(s).

Abstract
Wikipedia is the largest and most globally well-known online encyclopedia, but its collaborative nature leads to a significant disparity in article quality. In this work, we explore real-time and automatic quality assessment within Wikipedia through machine-learning. We first constructed a dataset of 36,000 English articles and 145 features, then compared the performance of multiple classification and regression algorithms and studied how the number of classes and features affects the model's performance. The six-class experiments achieved a classifier accuracy of 64% and a mean absolute error of 0.09 in regression methods, which matches or beats most state-of-the-art approaches. Our model produces similar results on some non-English Wikipedias, but the error is slightly higher on other versions. We have also determined that the features measuring the article's content and revision history bring the largest performance boost.

Abstract
This paper proposes a vision-based framework for the intelligent control of mobile Open Radio Access Network (O-RAN) base stations (gNBs) operating in dynamic wireless environments. The framework comprises three innovative components. The first is the introduction of novel Service Models (SMs) within a vision-enabled O-RAN architecture, termed VisionRAN. These SMs extend state-of-the-art O-RAN-based architectures by enabling the transmission of vision-based sensing data and gNB positioning control messages. The second is an O-RAN xApp, VisionApp, which fuses vision and radio data, and uses this information to control the position of a mobile gNB, using a Deep Q-Network (DQN). The third is a digital twin environment, VisionTwin, which incorporates vision data and can emulate realistic wireless scenarios; this digital twin was used to train the DQN running in VisionApp and validate the overall system. Experimental results, obtained using real vision data and an emulated radio, demonstrate that the proposed approach reduces the duration of Line-of-Sight (LoS) blockages by up to 75% compared to a static gNB. These findings confirm the viability of integrating multimodal perception and learning-based control within RANs.

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).