Abstract
Dynamic logic with binders D? has been introduced as an institution for the development of reactive systems based on model class semantics. The satisfaction relation of this logic was, however, not abstract enough to enjoy the modal invariance property (bisimilar models should satisfy the same sentences). We recently overcame this problem by proposing an observational satisfaction relation where the equality on states is interpreted by bisimilarity of states. This entailed, however, a price to pay - the satisfaction condition required for institutions was lost. This paper works on this limitation by establishing a behavioural semantics for D? parametric to behavioural structures - families of equivalence relations on the states of each model. Such structures are taken in consideration in the signature category and, in particular, for the definition of signature morphisms. We show that with these changes we get again an institution with a behavioural model class semantics. The framework is instantiated with specific behavioural structures, resulting in the novel Institution of Crucial Actions. © 2017, Springer International Publishing AG.

Abstract
' Renewable energy sources are normally connected to the power grid via power electronic converters. High penetration of these energy sources into the power grid leads to high instability in voltage and frequency. This issue is caused by neglecting the inherent characteristics of synchronous generators i.e., inertia, damping and proper active and reactive power sharing in the structure of the used control technique in the control loop of the interfaced converter between power grid and renewable energy sources. This paper presents a power-based control technique based on a double synchronous controller (DSC) for interfaced converter between the renewable energy sources and the power grid, including an active-reactive power based dynamic equation. Through the proposed DSC, a decoupled control method is performed in which both active and reactive power can be injected from renewable energy sources into the power grid by the interfaced power converter with the inherent features of synchronous power generators. By using the proposed control technique, a stable operation of the power grid can be guaranteed during the integration of large-scale renewable energy sources. Stringent simulation results performed in MATLAB/SIMULINK environment verify the proficiency of the proposed control technique.

Abstract
É discutida a emergência da arte digital e das suas diversas variantes tais como a arte computacional e a média-arte digital. E de como esta forma de expressão artística e cultural se vem afirmando numa contemporaneidade caracterizada pela revolução tecnológica digital. É analisada a natureza da criação e fruição da arte e cultural digital, as práticas artísticas relacionadas e como nestas, o artefacto computacional assume um papel central. Apresentam-se, em contexto, exemplos de artefactos, promovendo-se a sua recensão à luz da arte e cultura digital contemporânea, enquanto se discutem alguns elementos de uma estética dos artefactos computacionais.

Abstract
Nowadays, it is common for higher education institutions to use computer-based exams, partly or integrally, in their evaluation processes. These exams, much like their paper-based counterparts, are one of the most significant sources of stress in the life of students. However, the fact that exams are undertaken in a computer allows for new features to be acquired that may provide more reliable insights into the behaviour and state of the student during the exam. In this article we analyse these novel behavioural features and explore, to which extent, they can point out previously unknown phenomena. Specifically, we show that the time a student takes to complete an exam is correlated with mouse dynamics features. In practical terms, we are able to predict the duration of each individual exam with a satisfying error based on the interaction patterns of the student.

Abstract
The deregulation of the electricity sector has culminated in the introduction of competitive markets. In addition, the emergence of new forms of electric energy production, namely the production of renewable energy, has brought additional changes in electricity market operation. Renewable energy has significant advantages, but at the cost of an intermittent character. The generation variability adds new challenges for negotiating players, as they have to deal with a new level of uncertainty. In order to assist players in their decisions, decision support tools enabling assisting players in their negotiations are crucial. Artificial intelligence techniques play an important role in this decision support, as they can provide valuable results in rather small execution times, namely regarding the problem of optimizing the electricity markets participation portfolio. This paper proposes a heuristic method that provides an initial solution that allows metaheuristic techniques to improve their results through a good initialization of the optimization process. Results show that by using the proposed heuristic, multiple metaheuristic optimization methods are able to improve their solutions in a faster execution time, thus providing a valuable contribution for players support in energy markets negotiations.

Abstract