Abstract

Abstract
The collection and analysis of data are continuously growing due to the pervasiveness of computing devices. The analysis of such information is fostering businesses and contributing beneficially to the society in many different fields. However, this storage and flow of possibly sensitive data poses serious privacy concerns. Methods that allow the knowledge extraction from data, while preserving privacy, are known as privacy-preserving data mining (PPDM) techniques. This paper surveys the most relevant PPDM techniques from the literature and the metrics used to evaluate such techniques and presents typical applications of PPDM methods in relevant fields. Furthermore, the current challenges and open issues in PPDM are discussed. © 2017 IEEE.

Abstract
This article focuses on technology-based companies and the way they perceive the influence of cultural and social differences on their internationalization process. As national cultures and institutions differ from country to country and even more so between different continents, we herein discuss the adaptation of products and services to the cultures and institutions of each environment, for the optimization of sales and product positioning. An in-depth example of a platform that is for sale in different countries, including Portugal and Mozambique, was described. In addition, results from interviews and a questionnaire administered to Portuguese internationalized companies were analyzed. A review of the existing literature was also performed. The strategic notion of positioning is central to organizational success and should differ from context to context, where necessary. Namely, different economic and education conditions lead to distinct behaviors, which have a repercussion on the position to be adopted in order to sell products abroad.

Abstract
The use of virtual reality in training and simulation as well as the use of haptic feedback are already used in many areas such as medicine, aviation, and training in controlled environments, such as training firefighters. The purpose of this study was the creation of a virtual multisensory environment for the simulation of a training task used in the training of firemen, with the added purpose of studying the impact of the use of haptic feedback on the feeling of presence, satisfaction and performance in the task. For this study a virtual reality experiment was designed to simulate an urban fire environment, where the participants had to train one of the methods used by firefighters in these situations, and the temperature was selected for the haptic feedback. The analysis to the obtained data show that, after doing the experiment, the performance with and without haptic feedback was approximately the same and the participants showed a low error rate. Regarding the sense of presence and satisfaction, the results demonstrate that there was an improvement in the involvement and experienced realism, as well as a low cybersickness value.

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.