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.

Abstract
The segmentation and characterization of the lung lobes are important tasks for Computer Aided Diagnosis (CAD) systems related to pulmonary disease. The detection of the fissures that divide the lung lobes is non-trivial when using classical methods that rely on anatomical information like the localization of the airways and vessels. This work presents a fully automatic and supervised approach to the problem of the segmentation of the five pulmonary lobes from a chest Computer Tomography (CT) scan using a Fully RegularizedV-Net (FRV- Net), a 3D Fully Convolutional Neural Network trained end-to- end. Our network was trained and tested in a custom dataset that we make publicly available. It can correctly separate the lobes even in cases when the fissure is not well delineated, achieving 0.93 in per-lobe Dice Coefficient and 0.85 in the inter-lobar Dice Coefficient in the test set. Both quantitative and qualitative results show that the proposed method can learn to produce correct lobe segmentations even when trained on a reduced dataset. © 2018 IEEE.

Abstract
The operation problem of a micro-grid (MG) in grid-connected mode is an optimization one in which the main objective of the MG operator (MGO) is to minimize the operation cost with optimal scheduling of resources and optimal trading energy with the main grid. The MGO can use incentive-based demand response programs (DRPs) to pay an incentive to the consumers to change their demands in the peak hours. Moreover, the MGO forecasts the output power of renewable energy resources (RERs) and models their uncertainties in its problem. In this paper, the operation problem of an MGO is modeled as a risk-based two-stage stochastic optimization problem. To model the uncertainties of RERs, two-stage stochastic programming is considered and conditional value at risk (CVaR) index is used to manage the MGO's risk-level. Moreover, the non-linear economic models of incentive-based DRPs are used by the MGO to change the peak load. The numerical studies are done to investigate the effect of incentive-based DRPs on the operation problem of the MGO. Moreover, to show the effect of the risk-averse parameter on MGO decisions, a sensitivity analysis is carried out.