Abstract
We present Caos: a programming framework for computer-aided design of structural operational semantics for formal models. This framework includes a set of Scala libraries and a workflow to produce visual and interactive diagrams that animate and provide insights over the structure and the semantics of a given abstract model with operational rules. Caos follows an approach where theoretical foundations and a practical tool are built together, as an alternative to foundations-first design (tool justifies theory) or tool-first design (foundations justify practice). The advantage of Caos is that the tool-under-development can immediately be used to automatically run numerous and sizeable examples in order to identify subtle mistakes, unexpected outcomes, and unforeseen limitations in the foundations-under-development, as early as possible. More concretely, Caos supports the quick creation of interactive websites that help the end-users better understand a new language, structure, or analysis. End-users can be research colleagues trying to understand a companion paper or students learning about a new simple language or operational semantics. We include a list of open-source projects with a web frontend supported by Caos that are used both in research and teaching contexts.

Abstract
Code comprehension is often supported by source code analysis tools that provide more abstract views over software systems, such as those detecting design patterns. These tools encompass analysis of source code and ensuing extraction of relevant information. However, the analysis of the source code is often specific to the target programming language. We propose DP-LARA, a multilanguage pattern detection tool that uses the multilanguage capability of the LARA framework to support finding pattern instances in a code base. LARA provides a virtual AST, which is common to multiple OOP programming languages, and DP-LARA then performs code analysis of detecting pattern instances on this abstract representation. We evaluate the detection performance and consistency of DP-LARA with a few software projects. Results show that a multilanguage approach does not compromise detection performance, and DP-LARA is consistent across the languages we tested it for (i.e., Java and C/C++). Moreover, by providing a virtual AST as the abstract representation, we believe to have decreased the effort of extending the tool to new programming languages and maintaining existing ones.

Abstract
Predicting and controlling crowd dynamics in emergencies is one of the main objectives of simulated emergency exercises. However, during emergency exercises, there is often a lack of sense of danger by the actors involved and concerns about exposing real people to potentially dangerous environments. These problems impose limitations in running an emergency drill, harming the collection of valuable information for posterior analysis and decision-making. This work aims to mitigate these problems by using Agent Based Modelling (ABM) simulator to deepen the comprehension of human actions when exposed to a sudden variation in extensive crowded environmental conditions and how evacuation strategies affect evacuation performance. To assess the impact of the evacuation strategy employed, we propose a modified informed leader-flowing approach and compare it with common evacuation strategies in a simulated environment, replicating stadium benches with narrow corridors leading to different exit points. The objective is to determine the impact of each set of configurations and evacuation strategies and compare them against other established ones. Our experiments determined that agents following the crowd generally lead to a higher number of victims due to the rise of herding phenomena near the exits, which was significantly reduced when agents were guided towards the exit via knowing the exit beforehand or following leader agent with real-time information regarding exit location and exit current state, proving that relevant and controlled information in combination with Follow Leader strategies can be crucial in an emergency evacuation scenario with limited evacuation exit capabi and distribution. © The Author(s) 2024.

Abstract
Health system performance assessment (HSPA) is essential for health planning and to improve population health. One of the HSPA domains is related to effectiveness, which can be represented considering different dimensions. Composite indicators can be used to summarize complex constructs involving several indicators. One example of such efforts is the Healthcare Access and Quality Index from the Global Burden of Diseases Study, in which different causes of mortality amenable to health care are summarized in this index through principal component analysis and exploratory factor analysis. While these approaches use the variance of the indicators, marginal improvement is not considered, that is, the distance to the best practice frontier. In this study we propose an innovative benefit-of-the-doubt approach to combine frontier analysis and composite indicators, using amenable mortality estimates for 188 countries. In particular, we include flexible aggregating weighting schemes and a robust and conditional approach. The dual formulation gives information on the peers and the potential mortality rate reduction targets considering the background conditions. In absolute terms, Andorra and high-income countries are the most effective regarding healthcare access and quality, while sub-Saharan African and South Asian countries are the least effective. North African and Middle Eastern countries benefit the most when epidemiological patterns, geographical proximity, and country development status are considered.

Abstract
This chapter aims to analyze and map the behaviors and strategies employed by organizations recognized for their innovation, with the goal of developing a comprehensive innovation management framework. This framework is designed to merge innovation practices with elements of traditional management, creating a hybrid model to support companies, universities, and research institutes in fostering innovation. Rooted in an understanding of human evolution, the framework will reflect changes in needs, skills, and behaviors over time, enabling institutions to adapt their innovation strategies to align with societal and individual development. Adopting an interdisciplinary approach, it will integrate concepts from innovation, organizational management, and the human sciences to establish a structure that supports sustainable innovation while addressing contemporary challenges. © 2025, IGI Global Scientific Publishing.

Abstract
In this study, we demonstrate the measurement of electric power using an optical ground wire ( OPGW). The tests were conducted on an OPGW cable from a high-voltage transmission line in Sines, Portugal, operating at 400 kV. A buried fiber position, free of 50 Hz and 100 Hz frequency interference, was selected to confirm that the 50 Hz frequency is not due to mechanical perturbation or electronic noise. Additionally, two suspended fiber positions (at 2500 m and 8500 m), where these frequencies were clearly observed, were analyzed. This study also examined the positioning of poles and splice detection between cables.