Abstract
As one of the functions integrating energy management systems, state estimation (SE) is instrumental in monitoring power networks, allowing the best possible use of energy resources. It plays a decisive role in debugging if sufficient data are available, ruined if not. Criticality analysis (CA) integrates SE as a module in which elements of the estimation process-taken one-by-one or grouped (tuples of minimal multiple cardinality)-are designated essential. The combinatorial nature of extensive CA (ExtCA), derestricted from identifying only low-cardinality critical tuples, characterizes its computational complexity and imposes defiant limits in implementing it. This paper presents the methodology for ExtCA and compares algorithms to find an efficient solution for expanding the boundaries of this analysis problem. The algorithms used for comparison are one sequential Branch&Bound (a well-known paradigm for combinatorial optimization recently used in ExtCA) and two new parallels implemented on the central processing unit (CPU) and the graphics processing unit (GPU). The conceived parallel architecture favors evaluating massive combinations of diverse cardinality measuring unit (MU) tuples in ExtCA. The acronym MU refers to the aggregate of devices deployed at substations, such as a remote terminal unit, intelligent electronic device, and phasor measurement unit. The numerical results obtained in the paper show significant speed-ups with the novel parallel GPU algorithm, tested on different and real-scale power grids. Since, the visualization of the ExtCA results is still not a well-explored field, this work also presents a novel way of graphically depicting spots of weak observability using MU-oriented ExtCA.

Abstract

Abstract
AOB is an Adaptive Optics (AO) facility currently designed to feed the Gemini infrared Multi Object Spectrograph (GIRMOS) on the GEMINI North 8m class telescope located in Hawaii. This AO system will be made of two AO modes. A laser tomography AO (LTAO) mode using 4 LGS (laser guide stars) and [1-3] NGS (natural guide stars) for high performance over a narrow field of view (a few a rcsec). The LTAO reconstruction will benefit from the most recent developments in the field, such as the super-resolution concept for the multi-LGS tomographic system, the calibration and optimization of the system on the sky, etc. The system will also operate in Ground Layer Adaptive Optics (GLAO) mode providing a robust solution for homogeneous partial AO correction over a wide 2' FOV. This last mode will also be used as a first s tep of a MOAO (Multi-object adaptive optics) mode integrated in the GIRMOS instrument. Both GLAO and LTAO modes are optimized to provide the best possible sky coverage, up to 60% at the North Galactic Pole. Finally, the project has been designed from day one as a fast-track, cost effective project, aiming to provide a first scientific light on the telescope by 2028 at the latest, with a good balance of innovative and creative concepts combined with standard and well controlled components and solutions. In this paper, we will present the innovative concepts, design and performance analysis of the two AO modes (LTAO and GLAO) of the AOB project.

Abstract
Modern compiled software, written in languages such as C, relies on complex compiler infrastructure. However, developing new transformations and improving existing ones can be challenging for researchers and engineers. Often, transformations must be implemented bymodifying the compiler itself, which may not be feasible, for technical or legal reasons. Source-to-source compilers make it possible to directly analyse and transform the original source, making transformations portable across different compilers, and allowing rapid research and prototyping of code transformations. However, this approach has the drawback of exposing the researcher to the full breadth of the source language, which is often more extensive and complex than the IRs used in traditional compilers. In this work, we propose a solution to tame the complexity of the source language and make source-to-source compilers an ergonomic platform for program analysis and transformation. We define a simpler subset of the C language that can implement the same programs with fewer constructs and implement a set of sourceto-source transformations that automatically normalise the input source code into equivalent programs expressed in the proposed subset. Finally, we implement a function inlining transformation that targets the subset as a case study. We show that for this case study, the assumptions afforded by using a simpler language subset greatly improves the number of cases the transformation can be applied, increasing the average success rate from 37%, before normalisation, to 97%, after normalisation. We also evaluate the performance of several benchmarks after applying a naive inlining algorithm, and obtained a 12% performance improvement in certain applications, after compiling with the flag O2, both in Clang and GCC, suggesting there is room for exploring source-level transformations as a complement to traditional compilers.

Abstract
The Box-Cox (BC) transformation is widely used in data analysis for achieving approximate normality in the transformed scale. The transformation is only possible for non-negative data. This positiveness requirement implies a truncation to the distribution on the transformed scale and the distribution in the transformed scale is truncated normal. This fact has consequences for the estimation of the parameters specially if the truncated probability is high. In the seminal paper Box and Cox proposed to estimate parameters using the normal distribution which in practice means to ignore any consequences of the truncation on the estimation process. In this work we present the framework for exact likelihood estimation on the PN distribution to which we call method m(1) and how to calculate the parameters estimates using consistent estimators. We also present a pseudo-Likelihood function for the same model not taking into account truncation and allowing to replace parameters mu and sigma for their estimates. We call m(2) to this estimation method. We conclude that for cases where the truncated probability is low both methods give good estimation results. However for larger values of the truncated probability the m(2) method does not present the same efficiency.

Abstract
Water is at the core of sustainable development, and its use for human activities, including vehicle washing, should be done in a sustainable way. There are several technical solutions for washing buses offering different performances, making it difficult to choose the one that best meets the requirements of each specific case. The literature on the topic hardly analyzes the choice of the best technical solution for washing buses and does not apply and compare the results of different multicriteria decision-making (MCDM) methods for the problem. The unique information available is from the different suppliers in the market. Whereby, this work intends to give a technical-scientific contribution to fulfill this gaps. Therefore, the main objectives of this work are (1) to select the best sustainable technical solutions for washing buses depending on the specific conditions for a case study and (2) to analyze how different multicriteria decision-making methods behave in the selection process. To achieve these objectives, the problem was approached as a case study in a public transport company in Portugal and the methodology followed the next steps: started with the identification of the different types of commercial technical solutions for washing buses; the company's experts selected four main criteria: water consumption, operating costs, quality of washing, and time spent; the criteria weights were determined using the fuzzy-AHP method; then four representative MCDM methods were selected, namely, AHP, ELECTRE, TOPSIS, and SMART; the ranks obtained for the four methods were compared; and a sensitivity analysis was performed. Considering the input data for the criteria and their weights, the results for all the methods showed that the best and the worst solution was the same, mobile portico with a brush and porticoes with three brushes, respectively. Furthermore, the results of the sensitivity analysis performed with disturbances for the weights of each criterion presented that the results are slightly affected and the similarity in rankings for the four MCDM methods was validated by Spearman's rank correlation coefficient (rs) and Kendall's coefficient of concordance (W). Considering these results, the SMART method, the less complex one, showed no difference from the others. For that reason, simple methods, such as SMART, in line with other works in the literature perform well in most cases. As a final remark of this work, it can be said that the methodology employed in this project can also be deemed applicable to other similar companies seeking technical solutions for bus or truck washing. Furthermore, the application of the SMART method, the less complex one and the most understandable for people, showed no difference from the others, being able to be applied in similar situations.