Abstract
Feature selection is one of the most important concepts in data mining when dimensionality reduction is needed. The performance measures of feature selection encompass predictive accuracy and result comprehensibility. Consistency based feature selection is a significant category of feature selection research that substantially improves the comprehensibility of the result using the parsimony principle. In this work, the feature selection algorithm LAID, Logical Analysis of Inconsistent Data, is applied to large volumes of data. In order to deal with hundreds of thousands of attributes, a problem de-composition strategy associated with a set covering problem formulation is used. The algorithm is applied to artificial datasets with genome-like characteristics of patients with rare diseases.

Abstract

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.