Abstract
The authenticity of Information has become a longstanding issue affecting businesses and society, both for printed and digital media. On social networks, the reach and effects of information spread occur at such a fast pace and so amplified that distorted, inaccurate or false information acquires a tremendous potential to cause real world impacts, within minutes, for millions of users. Recently, several public concerns about this problem and some approaches to mitigate the problem were expressed. In this paper, we discuss the problem by presenting the proposals into categories: content based, source based and diffusion based. We describe two opposite approaches and propose an algorithmic solution that synthesizes the main concerns. We conclude the paper by raising awareness about concerns and opportunities for businesses that are currently on the quest to help automatically detecting fake news by providing web services, but who will most certainly, on the long term, profit from their massive usage. (C) 2017 The Authors. Published by Elsevier B.V.

Abstract
This paper intends to highlight the importance of the maintenance activity for all kind of companies in general and for the water treatment companies in particular. To attain this objective, a literature review on the evolution of the maintenance concept, the relation between the production function and the total productive maintenance (TPM) and the factors that influence the success of TPM is performed. To demonstrate the contribution of the maintenance activity for the improvement of the performance of companies especially for the water treatment companies, a case study of a Portuguese company belonging to the water treatment sector is performed. The water company considered in the case study, regarding management and maintenance activities, has an annual capacity of treatment and distribution of 41 million m3 of drinking water to approximately 438,000 inhabitants spread over a geographic area that represents 15% of the Portuguese territory. Copyright © 2017 Inderscience Enterprises Ltd.

Abstract
Background: The paper is devoted to the cyclic delivery synchronization problem with vehicles serving fixed routes. Each vehicle is assigned to a fixed route: the series of supplier's and logistic centers to be visited one after another. For each route the service frequency is fixed and known in advance. A vehicle loads at a supplier's, then it delivers goods to a logistic center and either loads other goods there and delivers them to the next logistic center along the route or goes to another logistic center. Each logistic center can belong to several routes, so goods are delivered there with one vehicle and then they departure for the further journey with another truck. The objective of this cyclic delivery synchronization problem is to maximize the total number of synchronizations of vehicles arrivals in logistic centers and their load times, so that it is possible to organize their arrivals in repeatable blocks. Methods: Basing on the previously developed mathematical model for the cyclic delivery synchronization problem we built a random search algorithm for cyclic delivery synchronization problem. The random heuristic search utilizes objective-oriented randomizing. In the paper the newly-developed random search algorithm for cyclic delivery synchronization problem is presented. Results: A computational experiment consisted of employing the newly-developed random search algorithm for solving a series of cyclic delivery synchronization problems. Results obtained with the algorithm were compared with solutions computed with the exact method. Conclusions: The newly-developed random search algorithm for cyclic delivery synchronization problem gives results which are considerably close to the ones obtained with mixed-integer programming. The main advantage of the algorithm is reduction of computing time; it is relevant for utilization of this method in practice, especially for large-sized problems.

Abstract

Abstract
One part of demonstrating that a device is acceptably safe, often required by regulatory standards, is to show that it satisfies a set of requirements known to mitigate hazards. This paper is concerned with how to demonstrate that a user interface software design is compliant with use-related safety requirements. A methodology is presented based on the use of formal methods technologies to provide guidance to developers about addressing three key verification challenges: 1) how to validate a model, and show that it is a faithful representation of the device; 2) how to formalize requirements given in natural language, and demonstrate the benefits of the formalization process; and 3) how to prove requirements of a model using readily available formal verification tools. A model of a commercial device is used throughout the paper to demonstrate the methodology. A representative set of requirements are considered. They are based on US Food and Drug Administration (FDA) draft documentation for programmable medical devices, and on best practice in user interface design illustrated in relevant international standards. The methodology aims to demonstrate how to achieve the FDA's agenda of using formal methods to support the approval process for medical devices.

Abstract
At the celebration of its 30th anniversary, Erasmus is recognised as the most successful exchange program ever implemented. The prospects of attaining a common European consciousness challenged the program's ability to blend together knowledge, attitudes and skills in a winning combination. It is no longer sufficient to communicate and integrate: mobility should actively foster skills to support students's professional career at national and international levels. Although literature on mobility is vast and interesting, studies on the impact of the mobility experience in the students' future employability profile rarely provide first-hand data on their expectations in this regard. This exploratory research comprises a qualitative focus group approach with Erasmus students during their exchange period in a Portuguese university and collected some insightful data on how students consider their mobility in terms of new learning outcomes, the professional value of the experience and the development of new skills. Results indicate that students seem to be quite aware of the positive implications of mobility in their professional careers and of the set of skills developed during that period. Overall, this article contributes to demonstrating the importance of assessing skills development during Erasmus mobility experiences. Managerial implications and suggestions for future research are provided.