Abstract
The widespread adoption of distributed energy resources (DER) is creating an opportunity for aggregators to transform DER flexibility into electricity market services. In a scenario of high DER integration, aggregators will need to coordinate the optimisation of DER with the distribution system operator (DSO) in order to avoid congestion and voltage incursions in the distribution networks. This coordination task is notably complex since both network and DER operation are impacted by multiple sources of uncertainty. To address these challenges, this paper proposes a new bidding strategy for aggregators of prosumers to make robust network-secure bidding decisions in day-ahead energy and reserve markets. The bidding strategy computes robust network-secure bids without jeopardising the data privacy of aggregators and the DSO. The data privacy is preserved by using the alternating direction method of multipliers (ADMM) to decompose a stochastic network-secure bidding problem into bidding and network subproblems and solve them separately and in parallel. The uncertainty of the prosumers is incorporated in the bidding problem through scenarios of load, renewable generation, and DER preferences. Our experiments show that the proposed bidding strategy computes robust bids against distribution network problems, outperforming deterministic and stochastic state-of-the-art bidding strategies in terms of cost and network observability.

Abstract
Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge representation, simulation of biological systems, or quantum computation, inconsistency has to be addressed in a precise and controlled way. This paper generalises Belnap-Dunn four-valued logic, introducing paraconsistent transition systems (PTS), endowed with positive and negative accessibility relations, and a metric space over the lattice of truth values, and their modal logic.

Abstract
When developing mobile applications, developers often have to decide when to acquire and when to release resources. This leads to resource leaks, a kind of bug where a resource is acquired but never released. This is a common problem in Android applications that can degrade energy efficiency and, in some cases, can cause resources to not function properly. In this paper, we present an extension of EcoAndroid, an Android Studio plugin that improves the energy efficiency of Android applications, with an inter-procedural static analysis that detects resource leaks. Our analysis is implemented using Soot, FlowDroid, and Heros, which provide a static-analysis environment capable of processing Android applications and performing inter-procedural analysis with the IFDS framework. It currently supports the detection of leaks related to four Android resources: Cursor, SQLite-Database, Wakelock, and Camera. We evaluated our tool with the DroidLeaks benchmark and compared it with 8 other resource leak detectors. We obtained a precision of 72.5% and a recall of 83.2%. Our tool was able to uncover 191 previously unidentified leaks in this benchmark. These results show that our analysis can help developers identify resource leaks.

Abstract
In this paper we present findings from a bibliometric evaluation of scientific publications on human-AI systems, indexed in the Dimensions database over the past five years (2018 to 2022). The study maps the research landscape in this burgeoning area, as it relates to the topic of collaboration. To this end, we assessed publication and citation counts over time, authorship-level indicators, and keyword occurrence frequency. We also examined funding information as an indicator of research priorities, alongside usage-based statistics and alternative metrics such as social media mentions, recommendations, and reads. Our preliminary findings highlight a significant focus on aspects like trust, explainability, transparency, and autonomy in highly complex scenarios through the use of generative models and hybrid interaction techniques. The results also reveal a growth in the number of publications and funding grants, although a certain lack of maturity is observable in terms of citation patterns and coherence of thematic clusters. © 2022 IEEE.

Abstract
With the increased penetration of renewables, energy storage has become a critical issue in microgrid and small household applications. Accordingly, this paper undertakes a feasability study the varying limitations from conventional batteries in residential buildings, such as capacity-loss over time and aging, as well as the alternative application and challenges of hydrogen-based storage for the domestic sector. The paper considers a test case study where an analysis is performed on the practicality of hydrogen-based storage, in addition to lithium-ion battery storage. Various scenarios are considered based on solar installation sizes, self-consumption, battery capacity, autonomy rates and grid extraction. A detailed analysis is carried out on both thermal and electrical demands of a residential household, which also includes the energy performance and applications of heat pumps. While the obtained results from various scenarios are compared and analysed, these anticipate that the potential integration of hydrogen can improve the autonomy rate of residential buildings, The cost of hydrogen storage is expected to reduce significantly, opening opportunities for hydrogen application.

Abstract
In this article, a proof-of-concept study on the use of a hybrid design technique to reduce the number of phase shifters of a beam-scanning reflectarray (RA) is presented. An extended hemispherical lens antenna with feeds inspired by the retrodirective array is developed as a reflecting element, and the hybrid design technique mixes the lenses with the microstrip patch elements to realize a reflecting surface. Compared to the conventional designs that only use microstrip antennas to realize a reflecting surface, given a fixed aperture size the presented design uses 25 percent fewer array elements while shows comparable beam-steering performance. As a result of using fewer elements, the number of required phase shifters or other equivalent components such as RF switches and tunable materials is reduced by 25 percent, which leads to the reduction of the overall antenna system's complexity, cost, and power consumption. To verify the design concept, two passive prototypes with a center frequency at 12.5 GHz were designed and fabricated. The reflecting surface was fabricated by using standard PCB manufacturing and the lenses were fabricated using 3D printing. Good agreement between the simulation and measurement results is obtained. The presented design concept can be extended to the design of RAs operating at different frequency bands including millimetre-wave frequencies with similar radiation performances. The presented design method is not limited to the microstrip patch reflecting elements and can also be applied to the design of the hybrid RAs with different types of reflecting elements.