Abstract
Aggregators are acknowledged as key agents to enable the active participation of household and commercial distributed energy resources (DER) in electricity markets. In recent years, many researchers and practitioners have been working on the development of diverse network-secure and network-insecure bidding strategies to support the participation of DER aggregators in electricity markets. An example of this is the extensive work developed by the authors of this paper in various R&D projects with industry. This paper builds on the experience gained in previous works and its main contribution is a thorough comparison between these strategies, resulting in an extensive discussion of their pros and cons. The discussion compares the economic and network security performance of the strategies, as well as their communication, computational, and data privacy requirements. To discuss and quantify these aspects, we formulate, implement, and test various bidding strategies on a real-world MV-LV distribution network with 2 aggregators and 522 customers for multiple DER scenarios. The discussion of the results provides realistic and valuable information on the pros and cons of each strategy, helping energy system stakeholders to understand which strategy may better fit their needs.

Abstract
Anode-less batteries are a promising innovation in energy storage technology, eliminating the need for traditional anodes and offering potential improvements in efficiency and capacity. Here, we have fabricated and tested two types of anode-less pouch cells, the first using solely a copper negative current collector and the other the same current collector but coated with a nucleation seed ZnO layer. Both types of cells used the same all-solid-state electrolyte, Li2.99Ba0.005ClO composite, in a cellulose matrix and a LiFePO4 cathode. Direct and indirect methods confirmed Li metal anode plating after charging the cells. The direct methods are X-ray photoelectron spectroscopy (XPS) and laser-induced breakdown spectroscopy (LIBS), a technique not divulged in the battery world but friendly to study the surface of the negative current collector, as it detects lithium. The indirect methods used were electrochemical cycling and impedance and scanning electron microscopy (SEM). It became evident the presence of plated Li on the surface of the current collector in contact with the electrolyte upon charging, both directly and indirectly. A maximum average lithium plating thickness of 2.9 mu m was charged, and 0.13 mu m was discharged. The discharge initiates from a maximum potential of 3.2 V, solely possible if an anode-like high chemical potential phase, such as Li, would form while plating. Although the ratings and energy densities are minor in this study, it was concluded that a layer of ZnO, even at 25 degrees C, allows for higher discharge power for more hours than plain Cu. It was observed that where Li plates on ZnO, Zn is not detected or barely detected by XPS. The present anode-less cells discharge quickly initially at higher potentials but may hold a discharge potential for many hours, likely due to the ferroelectric character of the electrolyte.

Abstract
[No abstract available]

Abstract
In this paper we present the first formally verified implementations of Kyber and, to the best of our knowledge, the first such implementations of any post-quantum cryptosystem. We give a (readable) formal specification of Kyber in the EasyCrypt proof assistant, which is syntactically very close to the pseudocode description of the scheme as given in the most recent version of the NIST submission. We present high-assurance open-source implementations of Kyber written in the Jasmin language, along with machine-checked proofs that they are functionally correct with respect to the EasyCrypt specification. We describe a number of improvements to the EasyCrypt and Jasmin frameworks that were needed for this implementation and verification effort, and we present detailed benchmarks of our implementations, showing that our code achieves performance close to existing hand-optimized implementations in C and assembly.

Abstract
Context: Mock objects are commonly used in unit tests to isolate a class from its dependencies by substituting a dependency class instead of the original. Problem: However, in addition to the use of mock objects in the vast majority of OO applications, there are some discrepancies in their use. Solution: This work aims to present a case study of an industry application regarding the use of mock objects. The application in question is part of a private flight management system. IS Theory: We conceived this work based on the General Systems Theory, specifically to evaluate a microservicebased system’s use of testing doubles during testing automation. Method: In the analyzed application, mock object implementations are highly related to the system design. For example, the number of dependencies in a production class is directly related to the number of mocks in the respective test class. As a consequence, poor design choices are harmful to intrinsic quality factors such as the maintainability of the application tests. Our study uses metrics to analyze this practice. The research will consider factors of this system, aiming mainly to contribute to the improvement of test doubles by the test team. Summary of Results: Application of simulated objects in a similar system indicates that developers are making immature use of the technique, possibly due to system design problems. This study concludes that theory and practice are misaligned. Contributions and Impact in the IS area: The main contribution is to indicate points to improving software testing practice by using mocks correctly.

Abstract
The deep-sea covers over 70% of the Earth’s surface and harbors predominantly uncharacterized bacterial communities. Actinobacteria are the major prokaryotic source of bioactive natural products that find their way into drug discovery programs, and the deep-sea is a promising source of biotechnologically relevant actinobacteria. Previous studies on actinobacteria in deep-sea sediments were either regionally restricted or did not combine a community characterization with the analysis of their bioactive potential. Here we characterized the actinobacterial communities of upper layers of deep-sea sediments from the Arctic and the Atlantic (Azores and Madeira) ocean basins, employing 16S rRNA metabarcoding, and studied the biosynthetic potential of cultivable actinobacteria retrieved from those samples. Metabarcoding analysis showed that the actinobacterial composition varied between the sampled regions, with higher abundance in the Arctic samples but higher diversity in the Atlantic ones. Twenty actinobacterial genera were detected using metabarcoding, as a culture-independent method, while culture-dependent methods only allowed the identification of nine genera. Isolation of actinobacteria resulted on the retrieval of 44 isolates, mainly associated with Brachybacterium, Microbacterium, and Brevibacterium genera. Some of these isolates were only identified on a specific sampled region. Chemical extracts of the actinobacterial isolates were subsequently screened for their antimicrobial, anticancer and anti-inflammatory activities. Extracts from two Streptomyces strains demonstrated activity against Candida albicans. Additionally, eight extracts (obtained from Brachybacterium, Brevibacterium, Microbacterium, Rhodococcus, and Streptomyces isolates) showed significant activity against at least one of the tested cancer cell lines (HepG2 and T-47D). Furthermore, 15 actinobacterial extracts showed anti-inflammatory potential in the RAW 264.4 cell model assay, with no concomitant cytotoxic response. Dereplication and molecular networking analysis of the bioactive actinobacterial extracts showed the presence of some metabolites associated with known natural products, but one of the analyzed clusters did not show any match with the natural products described as responsible for these bioactivities. Overall, we were able to recover taxonomically diverse actinobacteria with different bioactivities from the studied deep-sea samples. The conjugation of culture-dependent and -independent methods allows a better understanding of the actinobacterial diversity of deep-sea environments, which is important for the optimization of approaches to obtain novel chemically-rich isolates. Copyright © 2023 Ribeiro, Antunes, Alexandrino, Tomasino, Almeida, Hilário, Urbatzka, Leão, Mucha and Carvalho.