Abstract
Nowadays, all kinds of sensors generate data, and more metrics are being measured. These large quantities of data are stored in large data centers and used to create datasets to train Machine Learning algorithms for most different areas. However, processing that data and training the Machine Learning algorithms require more time, and storing all the data requires more space, creating a Big Data problem. In this paper, we propose simple techniques for reducing large time series datasets into smaller versions without compromising the forecasting capability of the generated model and, simultaneously, reducing the time needed to train the models and the space required to store the reduced sets. We tested the proposed approach in three public and one private dataset containing time series with different characteristics. The results show, for the datasets studied that it is possible to use reduced sets to train the algorithms without affecting the forecasting capability of their models. This approach is more efficient for datasets with higher frequencies and larger seasonalities. With the reduced sets, we obtain decreases in the training time between 40 and 94% and between 46 and 65% for the memory needed to store the reduced sets.

Abstract

Abstract
The increasing level of sophistication of cyber attacks which are employing cross-cutting strategies that leverage multi-domain attack surfaces, including but not limited to, software defined networking poisoning, biasing of machine learning models to suppress detection, exploiting software (development), and leveraging system design deficiencies. While current defensive solutions exist, they only partially address multi-domain and multi-stage attacks, thus rendering them ineffective to counter the upcoming generation of attacks. More specifically, we argue that a disruption is needed to approach separated knowledge domains, namely Intrusion Tolerant systems, cybersecurity, and machine learning. We argue that current solutions tend to address different concerns/facets of overlapping issues and they tend to make strong assumptions of supporting infrastructure, e.g., assuming that event probes/metrics are not compromised. To address these issues, we present Skynet, a platform that acts as a secure overseer that merges traditional roles of SIEMs with conventional orchestrators while being rooted on the fundamentals introduced by previous generations of intrusion tolerant systems. Our goal is to provide an open-source intrusion tolerant platform that can dynamically adapt to known and unknown security threats in order to reduce potential vulnerability windows.

Abstract
The increase of tissue transparency through sequential optical immersion clearing treatments and treatment reversibility have high interest for clinical applications. To evaluate the clearing reversibility in a broad spectral range and the magnitude of the transparency created by a second treatment, the present study consisted on measuring the spectral collimated transmittance of lung tissues during a sequence of two treatments with electronic cigarette (e-cig) fluid, which was intercalated with an immersion in saline. The saline immersion clearly reverted the clearing effect in the lung tissue in the spectral range between 220 and 1000 nm. By a later application of a second treatment with the e-cig fluid, the magnitude of the optical clearing effect was observed to be about the double as the one observed in the first treatment, showing that the molecules of the optical clearing agent might have converted some bound water into mobile water during the first treatment.

Abstract
This document presents the case study for the ABZ 2023 conference. The case study introduces a safety critical interactive system called AMAN (Arrival MANager), which is a partly-autonomous scheduler of landing sequences of aircraft in airports. This interactive systems interleaves Air Traffic Controllers activities with automation in AMAN. While some AMAN systems are currently deployed in airports, we consider here only a subset of functions which represent a challenge in modelling and verification.

Abstract
The optimal management of distributed energy resources (DERs) and renewable-based generation in multi -energy systems (MESs) is crucial as it is expected that these entities will be the backbone of future energy sys-tems. To optimally manage these numerous and diverse entities, an aggregator is required. This paper proposes the self-scheduling of a DER aggregator through a hybrid Info-gap Decision Theory (IGDT)-stochastic approach in an MES. In this approach, there are several renewable energy resources such as wind and photovoltaic (PV) units as well as multiple DERs, including combined heat and power (CHP) units, and auxiliary boilers (ABs). The approach also considers an EV parking lot and thermal energy storage systems (TESs). Moreover, two demand response (DR) programs from both price-based and incentive-based categories are employed in the microgrid to provide flexibility for the participants. The uncertainty in the generation is addressed through stochastic pro-gramming. At the same time, the uncertainty posed by the energy market prices is managed through the application of the IGDT method. A major goal of this model is to choose the risk measure based on the nature and characteristics of the uncertain parameters in the MES. Additionally, the behavior of the risk-averse and risk -seeking decision-makers is also studied. In the first stage, the sole-stochastic results are presented and then, the hybrid stochastic-IGDT results for both risk-averse and risk-seeker decision-makers are discussed. The pro-posed problem is simulated on the modified IEEE 15-bus system to demonstrate the effectiveness and usefulness of the technique.