Abstract
We present ?Soniferous Resonances?, an ongoing collection of electroacoustic composition pieces that intersect music, digital technologies and architecture. The creative impetus supporting this research is grounded in the interchange of the following two concepts: 1) the phenomenological exploration of the aural architecture [1], particularly the reverberation as a sonic effect [2] through music performance and 2) the real time sound analysis of both the performance and the reverberation (i.e. impulse responses) intervallic content — which ultimately leads to a generic control over consonance/dissonance (C/D). Their conceptual and morphological nature can be understood as sonic improvisations where the interaction of sound producing bodies (e.g. saxophone) with the real (e.g. performance space) and the imaginary (i.e. computer) acoustic response of a space results in formal elements mirroring their physical surroundings. Particular emphasis is given to spectromorphological manipulations by a large array of “contrasting” digital reverberations with extended control over the sound mass [3] and its musical interval content across a continuum between pitched and consonant to unpitched and dissonant sounds. Two digital applications developed by the authors are seminal in Soniferous Resonances?: Wallace [4] and MusikVerb [5]. The first is a navigable user-control surface that offers a fluid manipulation of audio signals to be convolved with several “contrasting” digital reverberations. The second offers refined (compositional) control over the interval content and/or C/D levels computed from the perceptually-inspired Tonal Interval Space [6] resulting in an automatically adaptation of harmonic content in real time. Soniferous Resonances? aims at pushing the boundaries of musical performances that are formally tied to its surrounding space, as well as triggering new concepts and greater awareness about the sublime qualities of experiencing aural architecture.

Abstract
This survey provides a comprehensive analysis on recent research related to optimization and simulation in the new paradigm of power systems, which embraces the so-called smart grid. We start by providing an overview of the recent research related to smart grid optimization. From the variety of challenges that arise in a smart grid context, we analyze with a significance importance the energy resource management problem since it is seen as one of the most complex and challenging in recent research. The survey also provides a discussion on the application of computational intelligence, with a strong emphasis on evolutionary computation techniques, to solve complex problems where traditional approaches usually fail. The last part of this survey is devoted to research on large-scale simulation towards applications in electricity markets and smart grids. The survey concludes that the study of the integration of distributed renewable generation, demand response, electric vehicles, or even aggregators in the electricity market is still very poor. Besides, adequate models and tools to address uncertainty in energy scheduling solutions are crucial to deal with new resources such as electric vehicles or renewable generation. Computational intelligence can provide a significant advantage over traditional tools to address these complex problems. In addition, supercomputers or parallelism opens a window to refine the application of these new techniques. However, such technologies and approaches still need to mature to be the preferred choice in the power systems field. In summary, this survey provides a full perspective on the evolution and complexity of power systems as well as advanced computational tools, such as computational intelligence and simulation, while motivating new research avenues to cover gaps that need to be addressed in the coming years.

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.