Abstract
Petri nets play a central role in the formal modelling of a wide range of complex systems and scenarios. Their ability to handle with both concurrency and resource awareness justifies their spread in the current formal development practices. On the logic side, Dynamic Logics are widely accepted as the de facto formalisms to reason about computational systems. However, as usual, the application to new situations raises new challenges and issues. The ubiquity of failures in the execution of current systems, interpreted in these models as triggered events that are not followed by the corresponding transition, entails not only the adjustment of these structures to deal with this reality, but also the introduction of new logics adequate to this emerging phenomenon. This paper contributes to this challenge by exploring a combination of two previous works of the authors, namely the Propositional Dynamic Logic for Petri Nets [1] and a parametric construction of multi-valued dynamic logics presented in [13]. This exercise results in a new family of Dynamic Logics for Petri Nets suitable to deal with firing failures. © 2019, IFIP International Federation for Information Processing.

Abstract

Abstract
Long-term, regular, grid-aware participants are one of the cornerstones of demand management activities that provide grid services. However, voluntary participation to demand management activities is still at low rates, while most customers are not sufficiently aware of the management potential of their flexible loads. Smart metering and data post-processing play a vital role in demand management programs to visualize consumption profiles, highlight flexibility potential and evaluate load management performance of customers. Additionally, gamification techniques can be employed to motivate users to achieve behavioral changes in their consumption profiles, providing financial and social incentives. Long-term field demonstrations and exploration of detailed evaluation metrics have been the main gaps in this area of study. This paper presents and discusses the results of a 13-month field demonstration of a gamified residential demand management platform. 4-month monitoring period is followed by a 9-month gamification period in four houses in Istanbul, Turkey. © 2019 IEEE.

Abstract

Abstract
The internationalization of higher education institutions (HEIs) involve a set of activities aimed at providing an educational experience in an environment that integrates a global perspective. The internationalization of HEIs incorporates a diverse set of academic and extracurricular activities with emphasis on the development and innovation of curricula, academic/student/faculty exchange programs, technological assistance, intercultural training, international student recruitment, and joint research initiatives. Despite the several studies on the internationalization of HEIs, no single study addresses issues like local responsiveness and global integration. As such, the authors discuss how the internationalization of HEIs has evolved and how Bartlett and Ghoshal's strategies fit in the internationalization path of HEIs.

Abstract
Relation Extraction (RE) is part of Information Extraction (IE) and aims to obtain instances of semantic relations in textual documents. The countless possibilities of relations, the myriad of subjects, the difficulty in identifying emotions and the amount of unstructured and heterogeneous data, have challenged the researchers to define innovative and even more accurate methodologies. This paper presents the evaluation results obtained with a set of RE systems on identifying semantic relations in criminal police reports. We have evaluated different applications with documents in English and Portuguese. The results obtained give us useful insights to continue the research work, and to design the relation extraction system applied to related domain. © 2019, Springer Nature Switzerland AG.