Abstract
Advanced control, operation, and planning tools of electrical networks with ML are not straightforward. 110 experts were surveyed to show where and how ML algorithms could advance. This paper assesses this survey and research environment. Then, it develops an innovation roadmap that helps align our research community with a goal-oriented realisation of the opportunities that AI upholds. This paper finds that the R&D environment of system operators (and the surrounding research ecosystem) needs adaptation to enable faster developments with AI while maintaining high testing quality and safety. This roadmap serves system operators, academics, and labs advancing next-generation electrical network tools.

Abstract
Widespread adoption of distributed energy resources led to changes in low -voltage power grids, turning prosumers into active members of distribution networks. This incentivized the development of consumercentric energy markets. These markets enable trades between peers without third -party involvement. However, violations in network technical constraints during trades challenges integration of market and grid. The methodology used in this work employs batteries to prevent network violations and improve social welfare in communities. The method uses sequential simulations of market optimization and distribution network power flows, installing batteries if violations are identified. Simulation solves nonlinear deterministic optimization for market trades and results are used in power flow analysis. The main contribution is assessing battery participation in energy markets to solve distribution network violations. Case studies use realistic data from distribution grids in Costa Rica neighborhoods. Results indicate potential gains in social welfare when using batteries, and case -by -case analysis for prevention of network violations.

Abstract
Industry 4.0 has brought modernization to the production system through the network integration of the constituent entities which, combined with the evolution of information technology, has enabled an increase in productivity, product quality, optimization of production costs, and product customization to customer needs. Despite the complexity of human thought, artificial intelligence tries to replicate it in algorithms, creating models capable of processing databases with a high volume of information, and generating valuable information for decision making. Within this area, there are subfields, such as Machine Learning and Deep Learning, which, through mathematical models, define patterns to predict output data from known input data. In addition to this type of algorithm, there are metaheuristic models capable of optimizing the parameters required in Machine Learning and Deep Learning algorithms. These intelligent systems have applications in various areas such as industry, construction, health, logistics processes, and maintenance management, among others. This paper focuses on Artificial Intelligence models addressing Industry 4.0 approach. © 2024 The Author(s). Published by Elsevier B.V.

Abstract
METIS, the Mid-infrared ELT Imager and Spectrograph, will be one of the first instruments to be used at ESO's 39m Extremely Large Telescope (ELT), that is currently under construction. With that, a number of firsts are to be addressed in the development of METIS' single-conjugate Adaptive Optics (SCAO) system: the size of the telescope and the associated complexity of the wavefront control tasks, the unique scientific capabilities of METIS, including high contrast imaging, the interaction with the newly established, integrated wavefront control infrastructure of the ELT, the integration of the near-infrared Pyramid Wavefront Sensor and other key Adaptive Optics (AO) hardware embedded within a large, fully cryogenic instrument. METIS and it's AO system have passed the final design review and are now in the manufacturing, assembly, integration and testing phase. The firsts are approached through a compact hard- and software design and an extensive test program to mature METIS SCAO before it is deployed at the telescope. This program includes significant investments in test setups that allow to mimic conditions at the ELT. A dedicated cryo-test facility allows for subsystem testing independent of the METIS infrastructure. A telescope simulator is being set up for end-to-end laboratory tests of the AO control system together with the final SCAO hardware. Specific control algorithm prototypes will be tested on sky. In this contribution, we present the progress of METIS SCAO with an emphasis on the preparation for the test activities foreseen to enable a successful future deployment of METIS SCAO at the ELT.

Abstract
Anonymity networks like Tor significantly enhance online privacy but are vulnerable to correlation attacks by state-level adversaries. While covert channels encapsulated in media protocols, particularly WebRTC-based encapsulation, have demonstrated effectiveness against passive traffic correlation attacks, their resilience against active correlation attacks remains unexplored, and their compatibility with Tor has been limited. This paper introduces TorKameleon, a censorship evasion solution designed to protect Tor users from both passive and active correlation attacks. TorKameleon employs K-anonymization techniques to fragment and reroute traffic through multiple TorKameleon proxies, while also utilizing covert WebRTC-based channels or TLS tunnels to encapsulate user traffic.

Abstract
In a housing market of Shapley and Scarf, each agent is endowed with one indivisible object and has preferences over all objects. An allocation of the objects is in the (strong) core if there exists no (weakly) blocking coalition. We show that, for strict preferences, the unique strong core allocation respects improvement-if an agent's object becomes more desirable for some other agents, then the agent's allotment in the unique strong core allocation weakly improves. We extend this result to weak preferences for both the strong core (conditional on nonemptiness) and the set of competitive allocations (using probabilistic allocations and stochastic dominance). There are no counterparts of the latter two results in the two-sided matching literature. We provide examples to show how our results break down when there is a bound on the length of exchange cycles. Respecting improvements is an important property for applications of the housing markets model, such as kidney exchange: it incentivizes each patient to bring the best possible set of donors to the market. We conduct computer simulations using markets that resemble the pools of kidney exchange programs. We compare the game-theoretical solutions with current techniques (maximum size and maximum weight allocations) in terms of violations of the respecting improvement property. We find that game-theoretical solutions fare much better at respecting improvements even when exchange cycles are bounded, and they do so at a low efficiency cost. As a stepping stone for our simulations, we provide novel integer programming formulations for computing core, competitive, and strong core allocations.