Abstract

Abstract
Designing and optimizing applications for energy-efficient High Performance Computing systems up to the Exascale era is an extremely challenging problem. This paper presents the toolbox developed in the ANTAREX European project for autotuning and adaptivity in energy efficient HPC systems. In particular, the modules of the ANTAREX toolbox are described as well as some preliminary results of the application to two target use cases.(1)

Abstract
Dams require continuous security and monitoring programs, integrated with visual inspection and testing in dam surveillance programs. New approaches for dam monitoring focus on multi-sensor integration, taking into account emerging technologies such as GNSS, optic fiber, TLS, InSAR techniques, GBInSAR, GPR, that can be used as complementary data in dam monitoring, eliciting causes of dam deformation that cannot be assessed with traditional techniques. This paper presents a Multi-temporal InSAR (MT-InSAR) monitoring of La Viñuela dam (Málaga, Spain), a 96 m height earth-fill dam built from 1982 to 1989. The presented MT-InSAR monitoring system comprises three C-band radar (~5,7 cm wavelength) datasets from the European satellites ERS-1/2 (1992-2000), Envisat (2003-2008), and Sentinel-1A/B (2014-2018). ERS-1/2 and Envisat datasets were processed using StaMPS. In the case of Sentinel-1A/B, two different algorithms were applied, SARPROZ and ISCE-SALSIT, allowing the comparison of the estimated LOS velocity pattern. The obtained results confirm that LaViñuela dam is deforming since its construction, as an earth-fill dam. Maximum deformation rates were measured in the initial period (1992-2000), being around -7 mm/yr (LOS direction) on the coronation of the dam. In the period covered by the Envisat dataset (2003-2008), the average deforming pattern was lower, of the order of -4 mm/yr. Sentinel-1A/B monitoring confirms that the deformation is still active in the period 2014-2018 in the central-upper part of the dam, with maximums of velocity reaching -6 mm/yr. SARPROZ and ISCE-SALSIT algorithms provide similar results. It was concluded that MT-InSAR techniques can support the development of new and more effective means of monitoring and analyzing the health of dams complementing actual dam surveillance systems. © 2018 The Authors. Published by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license.

Abstract
This paper presents a mathematical linear expansion model for the probabilistic Multistage Phasor Measurement Unit (PMU) Placement (MPP) in which zero-injection buses (ZIBs), as well as communication channel limitations, are taken into consideration. From the linearization perspective, presenting a model formulizing the probabilistic concept of observability while modelling the ZIB is of great significance, and has been done in this paper for the first time. More importantly, the proposed probabilistic MPP utilizes a technique disregarding the prevalent subsidiary optimizations for each planning stage. Although this technique, in turn, increases the problem complexity with manifold variables, it guarantees the global optimal solution in a wider and thorough search space; while in the prevalent methods, some parts of the search space might be missed. Furthermore, the proposed model indicates more realistic aspects of the MPP where system operators are allowed to follow their intention about the importance of buses such as strategic ones based on monitoring the priority principles. In addition, the model is capable of considering the network topology changes due to long-term expansions over the planning horizon. Finally, in order to demonstrate the effectiveness of the proposed formulation, the model is conducted on the IEEE 57-bus standard test system and the large scale 2383-bus Polish power system. © 2018 by the authors.

Abstract

Abstract
Learning through practice is crucial to acquire a complex skill. Nevertheless, learning is only effective if students have at their disposal a wide range of exercises that cover all the course syllabus and if their solutions are promptly evaluated and given the appropriate feedback. Currently the teaching-learning process in complex domains, such as computer programming, is characterized by an extensive curricula and a high enrolment of students. This poses a great workload for faculty and teaching assistants responsible for the creation, delivering and assessment of student exercises. In order to address these issues, we created an e-learning framework - called Ensemble - as a conceptual tool to organize and facilitate technical interoperability among systems and services in domains that use complex evaluation. These domains need a diversity of tools, from the environments where exercises are solved, to automatic evaluators providing feedback on the attempts of students, not forgetting the authoring, management and sequencing of exercises. This paper presents and analyzes the use of Ensemble for managing the teaching-learning process in an introductory programming course at ESEIG - a school of the Polytechnic of Porto. An experiment was conducted to validate a set of hypotheses regarding the expected gains: increase in number of solved exercises, increase class attendance, improve final grades. They support the conclusion that the use of this e-learning framework for the practice-based learning has a positive impact on the acquisition of complex skills, such as computer programming. © Springer International Publishing AG, part of Springer Nature 2018.