Abstract

Abstract
This paper draws on an innovative methodological framework to assess the energy performance of a set of urban development alternatives, using the city of Porto (Portugal) as a case study. The methodology combines the advantages of a spatially-explicit analysis with the prediction accuracy of neural networks to estimate the energy demand (for space heating, space cooling and mobility) resulting from the physical configuration of urban areas. The urban alternatives under assessment reflect a number of development strategies taking place in different locations within the city. These correspond to well-known urban development approaches (infill development, consolidated development, modern development, multi-family housing, transit-oriented development and green infrastructure). The results for the city of Porto show that the transit-oriented development, the urban infill and the consolidated development are the urban alternatives yielding the most relevant energy savings, especially regarding mobility needs. This study makes evident that planning for more efficient urban forms potentially brings about more efficient urban settings and reinforces the relevance of ex ante appraisals of urban projects and plans.

Abstract
This research aims to contribute to the understanding of how the experience influences music festival participants' satisfaction, and the latter affects future behavior. A quantitative methodology was adopted using a questionnaire as research instrument, which was applied to 240 participants in the Rock in Rio Lisbon festival 2014. The results point to a positive relation between satisfaction and the different dimensions of experience, including the social one that was developed for the present study. © 2018. revistaESPACIOS.com.

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. © The Author(s) 2017. Published by Oxford University Press on behalf of Nucleic Acids Research.

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