Abstract
Introduction of renewable energy sources (RES) in insular areas is growing on different islands of various regions in the world and the large-scale deployment of renewables in island power systems is appealing to local attention of grid operators as a method to decrease fossil fuel consumption. Planning a grid based on renewable power plants (RPP) presents serious challenges to the normal operation of a power system, precisely on voltage and frequency stability. Despite of its inherent problems, there is a consensus that in near future the RES could supply most of local needs without depending exclusively on fossil fuels. In previous grid code compliance, wind turbines did not required services to support grid operation. Thus, in order to shift to large-scale integration of renewables, the insular grid code ought to incorporate a new set of requirements with the intention of regulating the inclusion of these services. Hence, this paper discusses grid code requirements for large-scale integration of renewables in an island context, as a new contribution to earlier studies. The current trends on grid code formulation, towards an improved integration of distributed renewable resources in island power systems, are addressed. The paper also discusses advanced grid code requirement concepts such as virtual wind inertia and synthetic inertia for improving regulation capability of wind farms and the application of energy storage systems (EES) for enhancing renewable generation integration. Finally, a comparative analysis of insular grid code compliance to these requirements is presented in the European context.

Abstract
The variability of wind generation introduces uncertainty in the optimal scheduling of the system. Consequently, it is difficult for the system operator to determine the optimal amount of conventional generation that should be committed and its corresponding power production in order to reduce generation costs. Incorporation of forecasting error on the optimal unit scheduling has been extensively suggested in the literature. However, it strongly depends on the probability distribution adopted to represent wind power forecasting error. Cauchy distribution has demonstrated to be an adequate tool to represent forecasting error. In this paper, an analytical model to solve dynamic economic dispatch is presented. The proposed model is based on discretization of Cauchy distribution, so that its incorporation in the optimization problem is successfully done. This is illustrated by analyzing a representative case study and the results are compared to a Monte Carlo Simulation approach in order to show the accuracy of the proposed method.

Abstract
A 'hybridization' of a logic, referred to as the base logic, consists of developing the characteristic features of hybrid logic on top of the respective base logic, both at the level of syntax (i.e. modalities, nominals, etc.) and of the semantics (i.e. possible worlds). By 'hybridized institutions' we mean the result of this process when logics are treated abstractly as institutions (in the sense of the institution theory of Goguen and Burstall). This work develops encodings of hybridized institutions into (many-sorted) first-order logic (abbreviated FOL) as a 'hybridization' process of abstract encodings of institutions into FOL, which may be seen as an abstraction of the well-known standard translation of modal logic into FOL. The concept of encoding employed by our work is that of comorphism from institution theory, which is a rather comprehensive concept of encoding as it features encodings both of the syntax and of the semantics of logics/institutions. Moreover, we consider the so-called theoroidal version of comorphisms that encode signatures to theories, a feature that accommodates a wide range of concrete applications. Our theory is also general enough to accommodate various constraints on the possible worlds semantics as well a wide variety of quantifications. We also provide pragmatic sufficient conditions for the conservativity of the encodings to be preserved through the hybridization process, which provides the possibility to shift a formal verification process from the hybridized institution to FOL.

Abstract
Mobile devices are now widespread and multimedia consumption on these devices has increased significantly in recent years. More and more high dynamic range (HDR) content is being produced and its imminent adoption by the broadcast community means that there will soon be a demand to visualize HDR content on mobile devices. Mobile devices, however, have certain differences compared to traditional viewing devices. In particular, they are usually used on-the-go, making the context variables such as ambient lighting levels, or reflections important variables that need to be considered. Furthermore, despite their evolution so far, mobile devices usually have additional hardware limitations such as power supply, display features, or local storage availability. This chapter provides an overview of the work that has been conducted so far in addressing HDR video for mobile devices in order to ensure an optimal experience.

Abstract
Social media networks' popularity has been growing in almost every context of daily human interaction. Particularly concerning the education field, organisations and teachers have been continuously recognizing social media as a rich environment with potential to benefit the teaching-learning process, classroom administration and social interactions. However, social media networks have been used as complementary environments to the mandatory adoption of an institutional LMS, leading to the development of fragmented teaching-learning environments, where mutual interchanges are not consolidated nor allow for an explicit academic legitimacy, computation and management. Also, social media networks' integration in education has been viewed as an ad-hoc initiative of some educators, who are prone to incorporate web trends in their pedagogic activity, which are evaluated, most of the times, under the lens of recreational initiates. Consequently, there is an urgent need to bridge between the consolidated adoption of LMSs and the integration of social media networks in education, not only in terms of technological infrastructure ( interface and usability) but also in terms of production and management of its pedagogical outcomes. With the intent of providing solutions for the above context, in this paper, we discuss the concept of Social Student Relationship Management and present the EduBridge system, its current stage of development and highlight the educational applicability of a thorough set of social network analysis.

Abstract
During forest fire fights, firefighters are exposed to several pollutants at different concentrations, which can induce critical health problems. This study main goal is to estimate firefighters' pollutants inhalation when in operational scenarios by combining environmental and physiological information. Both exposures to CO (carbon monoxide) and physiological data, such as ECG (electrocardiogram), HR (Heart Rate) and body temperature, were monitored during firefighters' activities in experimental forest fire. From the QRS complex of ECG the ECG-derived respiration (EDR) was estimated and convoluted with pollutants concentration to estimate individual smoke inhalation. The analysis of smoke inhalations allowed to detect extensive exposures and to identify critical situations namely risk of faint due to smoke intoxication. Our results support the usefulness of continuous monitoring of both physiological and environmental information to prevent and detect hazardous situations while firefighters are in operational scenario like forest fires. The results encourage the development of a decision support system to be applied in real-Time during firefighting scenarios. © 2016 ACM.