Abstract
In the presence of accelerated fault rates, which are projected to be the norm on future exascale systems, it will become increasingly difficult for high-performance computing (HPC) applications to accomplish useful computation. Due to the fault-oblivious nature of current HPC programming paradigms and execution environments, HPC applications are insufficiently equipped to deal with errors. We believe that HPC applications should be enabled with capabilities to actively search for and correct errors in their computations. The redundant multithreading (RMT) approach offers lightweight replicated execution streams of program instructions within the context of a single application process. However, the use of complete redundancy incurs significant overhead to the application performance. In this paper we present RedThreads, an interface that provides application-level fault detection and correction based on RMT, but applies the thread-level redundancy adaptively. We describe the RedThreads syntax and semantics, and the supporting compiler infrastructure and runtime system. Our approach enables application programmers to scope the extent of redundant computation. Additionally, the runtime system permits the use of RMT to be dynamically enabled, or disabled, based on the resiliency needs of the application and the state of the system. Our experimental results demonstrate how adaptive RMT exploits programmer insight and runtime inference to dynamically navigate the trade-off space between an application’s resilience coverage and the associated performance overhead of redundant computation. © 2017, Springer Science+Business Media New York.

Abstract
Insular power systems represent an asset and an excellent starting point for the development and analysis of innovative tools and technologies. The integration of renewable energy resources that has taken place in several islands in the south of Europe, particularly in Portugal, has brought more uncertainty to production management. In this work, an innovative scheduling model is proposed, which considers the integration of wind and solar resources in an insular power system in Portugal, with a strong conventional generation basis. This study aims to show the benefits of increasing the integration of renewable energy resources in this insular power system, and the objectives are related to minimizing the time for which conventional generation is in operation, maximizing profits, reducing production costs, and consequently, reducing greenhouse gas emissions.

Abstract
Stress can impact multiple psychological and physiological human domains. In order to better understand the effect of stress on cognitive performance, and whether this effect is related to an autonomic response to stress, the Trier Social Stress Test (TSST) was used as a testing platform along with a 2-Choice Reaction Time Task. When considering the nature and importance of Air Traffic Controllers (ATCs) work and the fact that they are subjected to high levels of stress, this study was conducted with a sample of ATCs (n = 11). Linear Heart Rate Variability (HRV) features were extracted from ATCs electrocardiogram (ECG) acquired using a medical-grade wearable ECG device (Vital Jacket((R)) (1-Lead, Biodevices S.A, Matosinhos, Portugal)). Visual Analogue Scales (VAS) were also used to measure perceived stress. TSST produced statistically significant changes in some HRV parameters (Average of normal-to-normal intervals (AVNN), Standard Deviation of all NN (SDNN), root mean square of differences between successive rhythm-to-rhythm (RR) intervals (RMSSD), pNN20, and LF/HF) and subjective measures of stress, which recovered after the stress task. Although these short-term changes in HRV showed a tendency to normalize, an impairment on cognitive performance was evident. Despite that participant's reaction times were lower, the accuracy significantly decreased, presenting more errors after performing the acute stress event. Results can also point to the importance of the development of quantified occupational health (qOHealth) devices to allow for the monitoring of stress responses.

Abstract
Educational robotics has had an increasing growth in the past years, mainly in teaching Science, Technology, Engineering, Arts and Mathematics (STEAM). These robotics-based learning methods have since gone from home to be used every day in school learning activities. There still is, however, a big moat from the available resources and the effective use of these tools by teachers in K-12 schools. This study aims to gather in a single location a dataset of most available educational robotic platforms and related learning materials. The goal is to have this knowledge open, freely accessible and editable by manufactures and learning resources providers, helping to increase the adoption of educational robotics in STEAM education. © 2018 IEEE.

Abstract
The structure of a reactive transition system can to be modified on the fly by e.g. removing, reversing or adding new transitions. The topic has been studied by D. Gabbay and his collaborators in different contexts. In this paper we take their work a step further, introducing a suitable notion of bisimulation and obtaining a Hennessy-Milner theorem with respect to a hybrid logic in which transition properties can be expressed. Our motivation is to provide a characterisation of equivalence for such systems in order to exploit their possible roles in the formal description of software connectors in Reo, either from a behavioural (semantic) or spatial (syntactic) point of view.

Abstract
Limited perception capabilities underwater shrink the envelope of effective localization techniques that can be applied in this environment. Long-term localization in six degrees of freedom can only be achieved by combining different sources of information. A multiple vehicle underwater localization solution, for localizing an underwater mining vehicle and its support vessel, is presented in this paper. The surface vessel carries a short baseline network, that interact with the inverted ultra-short baseline, carried by the underwater mining vehicle. A multiple antenna GNSS system provides data for localizing the surface vessel and to georeference the short baseline array. Localization of the mining vehicle results from a data fusion approach, that combines multiple sources of sensor information using the Extended Kalman Filter (EKF) framework. The developed solutions were applied in the context of the VAMOS! European project. Long-term real time position errors below 0.2 meters, for the underwater machine, and 0.02 meters, for the surface vessel, were accomplished in the field. All presented results are based on data acquired in a real scenario.