Abstract
Telecommunication operators compete not only for new clients, but, above all, to maintain current ones. The modelling and prediction of the top-up behaviour of prepaid mobile subscribers allows operators to anticipate customer intentions and implement measures to strengthen customer relationship. This research explores a data set from a Portuguese operator, comprising 30 months of top-up events, to predict the top-up monthly frequency and average value of prepaid subscribers using offline and online multi-target regression algorithms. The offline techniques adopt a monthly sliding window, whereas the online techniques use an event sliding window. Experiments were performed to determine the most promising set of features, analyse the accuracy of the offline and online regressors and the impact of sliding window dimension. The results show that online regression outperforms the offline counterparts. The best accuracy was achieved with adaptive model rules and a sliding window of 500,000 events (approximately 5 months). Finally, the predicted top-up monthly frequency and average value of each subscriber were converted to individual date and value intervals, which can be used by the operator to identify early signs of subscriber disengagement and immediately take pre-emptive measures.

Abstract
Public lighting is crucial for maintaining the safety and well-being of communities. Current inspection methods involve examining the luminaires during the day, but this approach has drawbacks, including energy consumption, delay in detecting issues, and high costs and time investment. Utilising deep learning based automatic detection is an advanced method that can be used for identifying and locating issues in this field. This study aims to use deep learning to automatically detect burnt-out street lights, using Seville (Spain) as a case study. The study uses high-resolution night time imagery from the JL1-3B satellite to create a dataset called NLight, which is then divided into three subsets: NL1, NL2, and NT. The NL1 and NL2 datasets are used to train and evaluate YOLOv5 and YOLOv7 segmentation models for instance segmentation of streets. And then, distance outliers were detected to find the lights off. Finally, the NT dataset is used to evaluate the effectiveness of the proposed methodology. The study finds that YOLOv5 achieved a mask mAP of 57.7%, and the proposed methodology had a precision of 30.8% and a recall of 28.3%. The main goal of this work is accomplished, but there is still space for future work to improve the methodology.

Abstract

Abstract
[No abstract available]

Abstract
This paper presents the goals and components of a quantitative energy balance assessment framework to define PEDs flexibly in three important contexts: the context of the district's density and RES potential, the context of a district's location, induced mobility and the context of the dis-trict's future environment and its decarbonized energy demand or supply. It starts by introducing the practical goals of this definition approach: achievable, yet sufficiently ambitious to be inline with Paris 2050 for most urban and rural Austrian district typologies. It goes on to identify the main design parts of the definition: system boundaries, balancing weights and balance targets and argue how they can be linked to the definition goals in detail. In particular we specify three levels of system boundaries and argue their individual necessity: operation, including everyday mobili-ty, including embodied energy and emissions. It argues that all three pillars of PEDs, energy effi-ciency, onsite renewables and energy flexibility can be assessed with the single metric of a prima-ry energy balance when using carefully designed, time-dependent conversion factors. Finally, it is discussed how balance targets can be interpreted as information and requirements from the sur-rounding energy system, which we identify as a "context factor". Three examples of such context factors, each corresponding to the balance target of one of the previously defined system bounda-ries operation, mobility and embodied emissions are presented: Density (as a context of opera-tion), sectoral energy balances and location (as a context for mobility) and an outlook of a person-al emission budgets (as a context for embodied emissions). Finally, the proposed definition framework is applied to seven distinct district typologies in Austria and discussed in terms of its design goals.

Abstract
We show that recent approaches to static analysis based on quantitative typing systems can be extended to programming languages with global state. More precisely, we define a call-by-value language equipped with operations to access a global memory, together with a semantic model based on a (tight) multi-type system that captures exact measures of time and space related to evaluation of programs. We show that the type system is quantitatively sound and complete with respect to the operational semantics of the language.