Abstract
This paper investigates the coordination problem of overcurrent relays (OCRs) in presence of wind power generation and electrical energy storage (EES) systems. As the injected short-circuit current of inverter-based devices connected to the electrical grid is a function of the power electronic withstand capacity, the short-circuit level would be limited for these types of devices. Furthermore, since the short-circuit current is a function of the pre-fault current, it is highly needed to take different conditions into account to accurately evaluate the injected current by such devices. This would mainly matter for the EES system operating in either charging or discharging modes, as well. This paper evaluates different operation strategies considering the variations of the load demand and the presence of large-scale wind farms as well as an EES system, while validating the suggested method for coordinating the directional OCRs (DOCRs). © 2018 IEEE.

Abstract
Expression Atlas (http://www.ebi.ac.uk/gxa) is an added value database that provides information about gene and protein expression in different species and contexts, such as tissue, developmental stage, disease or cell type. The available public and controlled access data sets from different sources are curated and re-analysed using standardized, open source pipelines and made available for queries, download and visualization. As of August 2017, Expression Atlas holds data from 3,126 studies across 33 different species, including 731 from plants. Data from large-scale RNA sequencing studies including Blueprint, PCAWG, ENCODE, GTEx and HipSci can be visualized next to each other. In Expression Atlas, users can query genes or gene-sets of interest and explore their expression across or within species, tissues, developmental stages in a constitutive or differential context, representing the effects of diseases, conditions or experimental interventions. All processed data matrices are available for direct download in tab-delimited format or as R-data. In addition to the web interface, data sets can now be searched and downloaded through the Expression Atlas R package. Novel features and visualizations include the on-the-fly analysis of gene set overlaps and the option to view gene co-expression in experiments investigating constitutive gene expression across tissues or other conditions.

Abstract
We study hybrid automata from a coalgebraic point of view. We show that such a perspective supports a generic theory of hybrid automata with a rich palette of definitions and results. This includes, among other things, notions of bisimulation and behaviour, state minimisation techniques, and regular expression languages.

Abstract
Security attacks using USB interfaces and devices are becoming more advanced, which boost efforts to develop counter measures in order to protect systems and data. One of the most recent attacks using USB devices is the BadUSB attack, performed by spoofing the device’s firmware and allowing the attackers to execute a set of malicious actions, e.g. an USB storage device could be mounted as USB keyboard in order to inject malicious scripts into the system. This paper proposes a protection agent against BadUSB attack developed for Windows operative systems. It allows a user to check the class of an USB device ready to be mounted, though enabling the detection of a potential attack if the expected functionality of the device does not match with its class type. The results show that the proposed protection agent is capable of detecting potential intrusions by blocking the installation of the device, scanning the device for something that identifies it, searching for a description locally and finally warning the user about the device meaning that all devices must be approved by the user when plugged in if the system protection agent is running. Copyright

Abstract
This paper aims to provide a solution to a problem shared by online marketing platforms. Many of these platforms are exploited by spammers to ease their job of distributing spam. This can lead to platforms domains being black-listed by ISP’s, which translates to lower deliverability rates and consequently lower profits. Normally, platforms try to counter the problem by using rule-based systems, which require high-maintenance and are not easily editable. Additionally, since analysis occurs when a contact database is imported, the regular approach of judging messages’ contents directly is not an effective solution, as those do not yet exist. The proposed solution, a machine-learning based system for the classification of contact database’s importations, tries to surpass these aforementioned systems by making use of the capabilities introduced by machine-learning technologies, namely, reliability in regards to classification and ease of maintenance. Preliminary results show the legitimacy of this approach, since various algorithms can be successfully applied to it. The most proficient of the ones applied being Ada-boost and Random-forest.

Abstract
A key challenge in the power and energy field is the development of decision-support systems that enable studying big problems as a whole. The interoperability between systems that address specific parts of the global problem is essential. Ontologies ease the interoperability between heterogeneous systems providing semantic meaning to the information exchanged between the various parties. The use of ontologies within Smart Grids has been proposed based on the Common Information Model, which defines a common vocabulary describing the basic components used in electricity transportation and distribution. However, these ontologies are focused on utilities needs. The development of ontologies that allow the representation of diverse knowledge sources is essential, aiming at supporting the interaction between entities of different natures, facilitating the interoperability between these systems. This paper proposes a set of ontologies to enable the interoperability between different types of simulators, namely regarding electricity markets, the smart grid, and residential energy management. A case study based on real data shows the advantages of the proposed approach in enabling comprehensive power system simulation studies. © 2018 Power Systems Computation Conference.