Abstract
Logs are still the primary resource for debugging distributed systems executions. Complexity and heterogeneity of modern distributed systems, however, make log analysis extremely challenging. First, due to the sheer amount of messages, in which the execution paths of distinct system components appear interleaved. Second, due to unsynchronized physical clocks, simply ordering the log messages by timestamp does not suffice to obtain a causal trace of the execution. To address these issues, we present Horus, a system that enables the refinement of distributed system logs in a causally-consistent and scalable fashion. Horus leverages kernel-level probing to capture events for tracking causality between application-level logs from multiple sources. The events are then encoded as a directed acyclic graph and stored in a graph database, thus allowing the use of rich query languages to reason about runtime behavior. Our case study with TrainTicket, a ticket booking application with 40+ microservices, shows that Horus surpasses current widely-adopted log analysis systems in pinpointing the root cause of anomalies in distributed executions. Also, we show that Horus builds a causally-consistent log of a distributed execution with much higher performance (up to 3 orders of magnitude) and scalability than prior state-of-the-art solutions. Finally, we show that Horus' approach to query causality is up to 30 times faster than graph database built-in traversal algorithms.

Abstract
In mobile robotics, since no requirements have been defined regarding accuracy for Battery Management Systems (BMS), standard approaches such as Open Circuit Voltage (OCV) and Coulomb Counting (CC) are usually applied, mostly due to the fact that employing more complicated estimation algorithms requires higher computing power; thus, the most advanced BMS algorithms reported in the literature are developed and verified by laboratory experiments using PC-based software. The objective of this paper is to describe the design of an autonomous and versatile embedded system based on an 8-bit microcontroller, where a Dual Coulomb Counting Extended Kalman Filter (DCC-EKF) algorithm for State of Charge (SOC) estimation is implemented; the developed prototype meets most of the constraints for BMSs reported in the literature, with an energy efficiency of 94% and an error of SOC accuracy that varies between 2% and 8% based on low-cost components.

Abstract
Data quality plays a crucial role in the context of smart buildings. Meanwhile, missing data is relatively common in acquired datasets from sensors within the smart buildings. Poor data could result in a big bias in forecasting, control and operational services. Despite the common techniques to handle missing data, it is essential to systematically select the most appropriate approach for such missing values. This paper aims to focus on the lift systems as one of the essential parts in the smart buildings by exploring the most appropriate data imputation methods to handle missing data and to provide its service and allow a better understanding of patterns to issue the correct control actions based on forecasted models. The imputed data is not only investigated statistically but also modelled through machine learning algorithm to explore the impact of selecting inappropriate imputation techniques. Seven imputation techniques deployed on datasets with three level of missing values including 10%, 20% and 30% and the performance of methods examined through the normalized root mean square error (NRMSE) approach. In addition, the interaction between imputation techniques and a machine learning algorithm, namely random forest were examined. Findings from this paper can be employed in identifying an appropriate imputation technique not only within the lift datasets, but smart building context.

Abstract
A multi-stage optimization framework is proposed in this paper for the resilient electric distribution system expansion planning problem. The Non-utility Distributed Energy Resources (NDERs) can deliver their electricity to the distribution system in normal and external shock conditions. However, the NDERs bidding strategies in external shock conditions are an important issue and they can withhold their electricity generation in a contingent condition. The distribution system must tolerate the external shocks and determine the optimal contribution scenarios of NDERs in these conditions. The proposed algorithm determines the initial topology and system parameters of the planning horizon, at the first stage of optimization. Then, it explores the bidding strategies of NDERs in the second stage. At the third stage, the procedure calculates different market power indices to determine the optimal price of NDERs contributions in its different operational conditions and contracts with the selected NDERs. The problem has different sources of uncertainty that are modelled in the proposed algorithm. To assess the proposed method, 21-bus and 123-bus test systems are considered and the introduced procedure reduced the aggregated investment and operational costs of systems by about 11.82% and 23.74%, respectively, in comparison with the custom expansion planning exercise.

Abstract
This work presents an experimental study on the effects of gamma radiation on Long Period Fiber Gratings (LPFGs) in a low-dose test campaign to evaluate their eventual degradation. The study was carried out with standard single-mode fibers where the grating was inscribed using the Electric-Arc Discharge (EAD) technique. Before the gamma campaign, a detailed optical characterization was performed with repeatability tests to verify the accuracy of the setup and the associated error sources. The gamma-induced changes up to a dose of 200 krad and the recovery after radiation were monitored with the Dip Wavelength Shift (DWS). The results show that the gamma sensitivity for a total dose of 200 krad is 11 pm/krad and a total DWS of 2.3 nm has been observed with no linear dependence. Post-radiation study shows that recovery from radiation-induced wavelength shift is nearly complete in about 4000 h. Experimental results show that the changes suffered under gamma irradiation of these LPFGs are temporary making them a good choice as sensors in space applications.

Abstract
Citizen engagement in building user-curated narratives of complex or long-lasting news stories has been the key foundation of the design and implementation of the Acropolis virtual environment. Previous user studies have shown, by positive evidence, that this goal can be pragmatically achieved, but the challenge now lies in assessing: a) the extent to which an environment like Acropolis can be used to empower citizens; and b) whether and how the tool could be used to support the work of professional curators. Findings from a focus group study highlighted the tool's potential to engage citizens with news, the usefulness of the environment to build virtual memories, and the convenience of using Acropolis to support professional journalistic work.