Abstract
Formal modeling and automatic analysis are essential to achieve a trustworthy software design prior to its implementation. Alloy and its Analyzer are a popular language and tool for this task. Frequently, rather than a single software artifact, the goal is to develop a full software product line (SPL) with many variants supporting different features. Ideally, software design languages and tools should provide support for analyzing all such variants (e.g., by helping pinpoint combinations of features that could break a property), but that is not currently the case. Even when developing a single artifact, support for multi-variant analysis is desirable to explore design alternatives. Several techniques have been proposed to simplify the implementation of SPLs. One such technique is to use background colors to identify the fragments of code associated with each feature. In this paper we propose to use that same technique for formal design, showing how to add support for features and background colors to Alloy and its Analyzer, thus easing the analysis of software design variants. Some illustrative examples and evaluation results are presented, showing the benefits and efficiency of the implemented technique.

Abstract
Autonomous Unmanned Aerial Vehicles (UAVs) become an important field of research in which multiple applications can be designed, such as surveillance, deliveries, and others. Thus, studies aiming to improve the performance of these vehicles are being proposed: from new sensing solutions to more robust control techniques. Additionally, the autonomous UAV has challenges in flight stages as the landing. This procedure needs to be performed safely with a reduced error margin in static and dynamic targets. To solve this imperative issue, many applications with computer vision and control theory have been developed. Therefore, this paper presents an alternative method to train a multilayer perceptron neural network based on fuzzy Mamdani logic to control the landing of a UAV on an artificial marker. The advantage of this method is the reduction in computational complexity while maintaining the characteristics and intelligence of the fuzzy logic controller. Results are presented with simulation and real tests for static and dynamic landing spots. For the real experiments, a quadcopter with an onboard computer and ROS is used.

Abstract
The exploration of water bodies from the sea to land filled water spaces has seen a continuous increase with new technologies such as robotics. Underwater images is one of the main sensor resources used but suffer from added problems due to the environment. Multiple methods and techniques have provided a way to correct the color, clear the poor quality and enhance the features. In this paper, we present the work of an Image Cleaning and Enhancement Technique which is based on performing color correction on images incorporated with Dark Channel Prior(DCP) and then taking the converted images and modifying them into the Long, Medium and Short(LMS) color space, as this space is the region in which the human eye perceives colour. This work is being developed at INESC TEC robotics and autonomous systems laboratory. Our objective is to improve the quality of images for and taken by robots with the particular emphasis on underwater flooded mines. The paper describes the architecture and the developed solution. A comparative analysis with state of the art methods and of our proposed solution is presented. Results from missions taken by the robot in operational mine scenarios are presented and discussed and allowing for the solution characterization and validation.

Abstract
The present study seeks to analyze the behavior of a technological start-up regarding its entry modes in foreign markets. It is based on the case study of a company in the field of 3D printing and takes into account the analysis of topics such as the internationalization of start-ups and modes of entry in foreign markets, considering several theories of internationalization. As the company analyzed is a start-up, the research is supported by the analysis of the characteristics present in the process of internationalization of small and medium-sized enterprises (SMEs). The study closes with the conclusion that this SME matches the profile of an International New Venture/Born Global (INV/BG), although the company takes advantage of the network-based theory and relationship orientation to enter international markets. The most used mode of entry by the company in international markets has been exporting activities.

Abstract
O artigo tem como objetivo discutir uma proposta de formação continuada de professores em contexto híbrido e multimodal, em sua potencialidade de mobilizar a ressignificação das práticas pedagógicas por meio de projetos de aprendizagem gamificados. A proposta integra as ações da pesquisa “A cidade como espaço de aprendizagem: games e gamificação na constituição de Espaços de Convivência Híbridos, Multimodais, Pervasivos e Ubíquos para o desenvolvimento da Cidadania”, que tem como objetivo contribuir para com a mudança da cultura escolar, tendo em vista os atuais sujeitos de aprendizagem, os meios com os quais interagem e suas formas de aprender. A abordagem da pesquisa é qualitativa, do tipo descritiva e inspirada no método cartográfico de pesquisa intervenção proposto por Kastrup (2007; 2008), Passos, Kastrup e Escóssia (2009) e Passos, Kastrup e Tedesco (2014). Os resultados evidenciados pelos movimentos que os professores articulam nas escolas, indicam que a proposta tem contribuído significativamente para aproximar professores da educação básica, pesquisadores e professores do ensino superior enquanto co-criadores de saberes acerca da docência, potencializando a construção de práticas pedagógicas agregativas e reticulares e contribuindo para a mudança da cultura escolar!

Abstract
A dangerous problem that many countries have to face is the existence of buried explosive devices, responsible for high numbers of civilian fatalities. Their detection and removal are therefore mandatory, which has led in recent years to the development of different techniques that can ensure safer and more efficient demining operations. Geophysical techniques have been employed, since allow ground search in a non-invasive, rapid and cost-effective way, with special interest being given to ground penetrating radar (GPR). In the current work, it was buried in a sandy soil and in a clayey soil (27m2 each), one of two similar sets of different inert explosive devices. GPR profiles of the subsoil were obtained with a 3D-GPR system, being then processed with the ReflexW software. Three dimensional cubes of the two study sites were constructed for better target signal visualization. The preliminary results confirm the efficiency of this technique, since all buried inert explosive devices were detected in both soil types. © SGEM2019.