Abstract
Matching two regions represented in bathymetric data that have some form of geographical overlapping is an important and challenging aspect in underwater mapping. It is important because of the possible error in estimating the geographical location of each point underwater. It is challenging due to the size of the acquired bathymetric data points. The matching could also play a vital role in the registration of underwater images and/or maps fusion, if both bathymetric and intensity scans are considered. Compared to the exhaustive search that requires polynomial time, O(n(2)), an efficient bathymetric matching algorithm is proposed in this work that finds several match points in linear time, requiring thus O(n) computations. The paper thus presents a new algorithm that allows to compile the bathymetric data of the common areas of two submarine areas that have been sampled in underwater missions.

Abstract
A gamificação é uma técnica recente que consiste em aplicar elementos de jogos em contextos não relacionados com jogos. Existem frameworks teóricas que sugerem um modelo de aplicação desses elementos na implementação de soluções concretas. Neste artigo analisámos dois Sistemas de Gestão da Aprendizagem, Classcraft e Moodle, sob a lente da framework Octalysis. Apesar das duas plataformas disponibilizarem vários elementos de jogo, que combinados entre si procuram incrementar a motivação do aluno, a plataforma Classcraft é a que apresenta mais elementos de jogos, abrangendo todos os eixos desta framework.

Abstract

Abstract
The penetration level of plug-in electric vehicles (PEVs) has a potential to be remarkably increased in the near future. As a result, the smart power systems will have new challenges and opportunities. The energy storing capability of PEVs is an attractive capability that enables PEVs to participate in providing ancillary services, e.g., load frequency control (LFC). This paper evaluates the participation of PEVs in load frequency control of a microgrid (MG) by using a decentralized multi-agent based control system. According to the proposed multi-agent based scheme, each PEV is considered as an agent that makes a synchronized decision for the participation in the LFC according to the global information. The required global information is discovered through the average consensus algorithm (ACA). The effect of time delay on the proposed method is investigated. Simulation studies are carried out in MATLAB-Simulink and show the effectiveness of the proposed decentralized control scheme.

Abstract
Tourist behavior has always been a central issue in the tourism discourse. Research in this area has long focused on destination choices, especially those destinations which still attract visitors despite of their security circumstances. Most of the tourists who choose traveling to a less safe destination are looking for new adventures, thus unique holidays. However, with that need of experiencing new sensations, and having a non-standard experiences, tourists cannot deny the fact of being attentive and taking precautions while traveling to an unsafe destination. The purpose of this research relies on defining what kind of precautions the tourists take while traveling to a destination which can threaten their safety, and in which way those precautions contribute to increase the tourist satisfaction.

Abstract
The Robot Operating System (ROS) is an open source framework for the development of robotic software, in which a typical system consists of multiple processes communicating under a publisher-subscriber architecture. A great deal of development time goes into orchestration and making sure that the communication interfaces comply with the expected contracts (e.g. receiving a message leads to the publication of another message). Orchestration mistakes are only detected during runtime, stressing the importance of component and integration testing in the verification process. Property-based Testing is fitting in this context, since it is based on the specification of contracts and treats tested components as black boxes, but there is no support for it in ROS. In this paper, we present a first approach towards automatic generation of test scripts for property-based testing of various configurations of a ROS system.