Abstract
Previous findings have shown that users with intellectual disabilities navigate the Web more easily and with greater interest when images are used to represent hyperlinks (Rocha, 2008; 2014; Rocha et al., 2012). Although images can be better for navigation purposes, there is a need to understand how these images should be designed to enhance users' interaction with digital content for this particular group of people. The purpose of this study is to measure the user's preference for image-type representation (Object, Action and Universe), within four different categories (music, movies, sports, games). The sample consisted of 20 individuals with intellectual disabilities, their ages ranging from 22 to 49 years old. The results showed that they preferred less complex images, namely object representative images, and that categories had no effect.

Abstract
Current real-time embedded systems development frameworks lack support for the verification of properties using explicit time where counting time (i.e., durations) may play an important role in the development process. Focusing on the real-time constraints inherent to these systems, we present a framework that addresses the specification of duration properties for runtime verification by employing a fragment of metric temporal logic with durations. We also provide an overview of the framework, the synthesis tools, and the library to support monitoring properties for real-time systems developed in C++11. The results obtained provide clear evidence of the feasibility and advantages of employing a duration-sensitive formalism to increase the dependability of avionic controller systems such as the PX4 and the Ardupilot flight stacks.

Abstract
The scalable analysis of crowdsourced data repositories and streams has quickly become a critical experimental asset in multiple fields. It enables the systematic aggregation of otherwise disperse data sources and their efficient processing using significant amounts of computational resources. However, the considerable amount of crowdsourced social data and the numerous criteria to observe can limit analytical off-line and on-line processing due to the intrinsic computational complexity. This paper demonstrates the efficient parallelisation of profiling and recommendation algorithms using tourism crowdsourced data repositories and streams. Using the Yelp data set for restaurants, we have explored two different profiling approaches: entity-based and feature-based using ratings, comments, and location. Concerning recommendation, we use a collaborative recommendation filter employing singular value decomposition with stochastic gradient descent (SVD-SGD). To accurately compute the final recommendations, we have applied post-recommendation filters based on venue suitability, value for money, and sentiment. Additionally, we have built a social graph for enrichment. Our master-worker implementation shows super-linear scalability for 10, 20, 30, 40, 50, and 60 concurrent instances.

Abstract
Human Activity Recognition has been primarily investigated as a machine learning classification task forcing it to handle with two main limitations. First, it must assume that the testing data has an equal distribution with the training sample. However, the inherent structure of an activity recognition systems is fertile in distribution changes over time, for instance, a specific person can perform physical activities differently from others, and even sensors are prone to misfunction. Secondly, to model the pattern of activities carried out by each user, a significant amount of data is needed. This is impractical especially in the actual era of Big Data with effortless access to public repositories. In order to deal with these problems, this paper investigates the use of Transfer Learning, specifically Unsupervised Domain Adaptation, within human activity recognition systems. The yielded experiment results reveal a useful transfer of knowledge and more importantly the convenience of transfer learning within human activity recognition. Apart from the delineated experiments, our work also contributes to the field of transfer learning in general through an exhaustive survey on transfer learning for human activity recognition based on wearables.

Abstract

Abstract