Abstract

Abstract
Explainable recommendations enable users to understand why certain items are suggested and, ultimately, nurture system transparency, trustworthiness, and confidence. Large crowdsourcing recommendation systems ought to crucially promote authenticity and transparency of recommendations. To address such challenge, this paper proposes the use of stream-based explainable recommendations via blockchain profiling. Our contribution relies on chained historical data to improve the quality and transparency of online collaborative recommendation filters - Memory-based and Model-based - using, as use cases, data streamed from two large tourism crowdsourcing platforms, namely Expedia and TripAdvisor. Building historical trust-based models of raters, our method is implemented as an external module and integrated with the collaborative filter through a post-recommendation component. The inter-user trust profiling history, traceability and authenticity are ensured by blockchain, since these profiles are stored as a smart contract in a private Ethereum network. Our empirical evaluation with HotelExpedia and Tripadvisor has consistently shown the positive impact of blockchain-based profiling on the quality (measured as recall) and transparency (determined via explanations) of recommendations.

Abstract
The forests and woodlands of Guinea-Bissau are a biodiversity hotspot under threat, which are progressively being replaced by cashew tree orchards. While the exports of cashew nuts significantly contribute to the gross domestic product and support local livelihoods, the country's natural capital is under significant pressure due to unsustainable land use. In this context, official entities strive to counter deforestation, but the problem persists, and there are currently no systematic or automated means for objectively monitoring and reporting the situation. Furthermore, previous remote sensing approaches failed to distinguish cashew orchards from forests and woodlands due to the significant spectral overlap between the land cover types and the highly intertwined structure of the cashew tree patches. This work contributes to overcoming such difficulty. It develops an affordable, reliable, and easy-to-use procedure based on machine learning models and Sentinel-2 images, automatically detecting cashew orchards with a dice coefficient of 82.54%. The results of this case study designed for the Cantanhez National Park are proof of concept and demonstrate the viability of mapping cashew orchards. Therefore, the work is a stepping stone towards wall-to-wall operational monitoring in the region.

Abstract
This paper presents a first prototype of an automated system that will be applied in stoneware tableware ceramics finishing, being developed in the scope of STC 4.0 HP project. The main objective of this prototype is to test different alternatives to obtain a precise finish on ceramic pieces produced by GRESTEL - PRODUTOS CERAMICOS S.A, improving the production of irregular pieces that until now are finished using manual labor. This is why the implementation of a closedloop control of the rotation speed of a finishing sponge and its applied force control is proposed. The mechanical structure of the devised solution was prototyped using a FDM based technology. A 3D printer was used for the manufacturing of the structural parts to support the rotating sponge and measurement sensors. In addition a PID based control is used to control the system. Once the prototype has been designed and assembled a series of tests and measurements were carried out leading to the conclusion that the proposed approach is adequate to meet the design requirements for this prototype.

Abstract
The aim of this paper is to provide an analysis that will be necessary for the development of a future digital marketing plan for CubiCasa OY with the main goal to attract new customers in the United States market. Specifically, the following topics are addressed during the analysis: external and internal examination of CubiCasa in the United States market to assess the current company’s position in the market; performing empirical research to figure out the most important aspects for real estate photographers and businesses.

Abstract
Multi-core and highly connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming has been recognized as a programming paradigm with great potential for automated exploitation of parallelism. The comprehensive survey of the first twenty years of research in parallel logic programming, published in 2001, has served since as a fundamental reference to researchers and developers. The contents are quite valid today, but at the same time the field has continued evolving at a fast pace in the years that have followed. Many of these achievements and ongoing research have been driven by the rapid pace of technological innovation, that has led to advances such as very large clusters, the wide diffusion of multi-core processors, the game-changing role of general-purpose graphic processing units, and the ubiquitous adoption of cloud computing. This has been paralleled by significant advances within logic programming, such as tabling, more powerful static analysis and verification, the rapid growth of Answer Set Programming, and in general, more mature implementations and systems. This survey provides a review of the research in parallel logic programming covering the period since 2001, thus providing a natural continuation of the previous survey. In order to keep the survey self-contained, it restricts its attention to parallelization of the major logic programming languages (Prolog, Datalog, Answer Set Programming) and with an emphasis on automated parallelization and preservation of the sequential observable semantics of such languages. The goal of the survey is to serve not only as a reference for researchers and developers of logic programming systems but also as engaging reading for anyone interested in logic and as a useful source for researchers in parallel systems outside logic programming.