Abstract
One of the major barriers for the retailers is to understand the consumption elasticity they can expect from their contracted demand response (DR) clients. The current trend of DR products provided by retailers are not consumer-specific, which poses additional barriers for the active engagement of consumers in these programs. The elasticity of consumers' demand behavior varies from individual to individual. The utility will benefit from knowing more accurately how changes in its prices will modify the consumption pattern of its clients. This work proposes a functional model for the consumption elasticity of the DR contracted consumers. The model aims to determine the load adjustment the DR consumers can provide to the retailers or utilities for different price levels. The proposed model uses a Bayesian probabilistic approach to identify the actual load adjustment an individual contracted client can provide for different price levels it can experience. The developed framework provides the retailers or utilities with a tool to obtain crucial information on how an individual consumer will respond to different price levels. This approach is able to quantify the likelihood with which the consumer reacts to a DR signal and identify the actual load adjustment an individual contracted DR client provides for different price levels they can experience. This information can be used to maximize the control and reliability of the services the retailer or utility can offer to the System Operators. (c) 2021 Published by Elsevier B.V.

Abstract
The tourism sector has been facing continuous growth. It plays a vital role in countries' economic development, highlighting the need to keep nurturing it by making it easier and more attractive. This paper presents Tourism as a Service - an innovative concept that aims to ease a day in the life of a tourist by integrating services that might be found spread out through separate tools and services, including ticketing in public transport and touristic attractions, route planning, information, among others. First, focus groups were done in order to understand the users' needs regarding the use of a mobile ticketing solution in tourism. The findings from the literature reviewed and the previous step were then prioritized by relevance in a questionnaire sent to potential users, allowing the creation of a medium-fidelity prototype. The validation through usability testing confirmed an interest in the proposed solution. The critical design choices surrounding the proposed solution were discussed along with improvements and further work to be done.

Abstract
Password managers (PMs) are important tools that enable the use of stronger passwords, freeing users from the cognitive burden of remembering them. Despite this, there are still many users who do not fully trust PMs. In this paper, we focus on a feature that most PMs offer that might impact the user's trust, which is the process of generating a random password. We present three of the most commonly used algorithms and we propose a solution for a formally verified reference implementation of a password generation algorithm. We use EasyCrypt to specify and verify our reference implementation. In addition, we present a proof-of-concept prototype that extends Bitwarden to only generate compliant passwords, solving a frequent users' frustration with PMs. This demonstrates that our formally verified component can be integrated into an existing (and widely used) PM.

Abstract
The human brain can quickly become overwhelmed by the amounts of data computers can process. Consequently, data abstraction is necessary for a user to grasp information and identify valuable patterns. Data is usually abstracted in a pictorial or graphical format. Nowadays, users demand more personalization from the systems they use. This work proposes a user-centered framework that aims to ease creating visualizations for the developers of a platform while offering the end-user a highly customizable experience. The conceptualized solution was prototyped and tested to ensure the information about the data is transmitted to the user in a quick and effective manner. The results of a user study showed that users are pleased with the usability of the prototype and prove that they desire control over the configuration of their visualizations. This work not only confirmed the usefulness of previously explored personalization options for visual representations, but also explored promising new personalization options.

Abstract
Scientific and environmental focused deep sea exploration is being expanded and as such a new class of Autonomous Underwater Vehicle (AUV) capable of accessing deep underwater sea bed environment for long periods of time is being deployed. This type of vehicle and the mission environment poses challenges to the mission development as these operations contain many systems that must work together to ensure that the mission requirements are met and that the vehicle is operated safely. As such, a solution based on the SMACC library for Robotic Operating System (ROS) was proposed and tested using a simulator. The results shown were based on the simulation of three missions representative of different scenarios for a deep sea exploration AUV and they were evaluated on the completion of the mission plan.

Abstract
The ability to move and hover has made rotary-wing unmanned aerial vehicles (UAVs) suitable platforms to act as flying communications relays (FCRs), aiming at providing on-demand, temporary wireless connectivity when there is no network infrastructure available or a need to reinforce the capacity of existing networks. However, since UAVs rely on their on-board batteries, which can be drained quickly, they typically need to land frequently for recharging or replacing them, limiting their endurance and the flying network availability. The problem is exacerbated when a single FCR UAV is used. The FCR UAV energy is used for two main tasks: Communications and propulsion. The literature has been focused on optimizing both the flying network performance and energy efficiency from the communications point of view, overlooking the energy spent for the UAV propulsion. Yet, the energy spent for communications is typically negligible when compared with the energy spent for the UAV propulsion. In this article, we propose energy-aware relay positioning (EREP), an algorithm for positioning the FCR taking into account the energy spent for the UAV propulsion. Building upon the conclusion that hovering is not the most energy-efficient state, EREP defines the trajectory and speed that minimize the energy spent by the FCR UAV on propulsion, without compromising in practice the quality of service offered by the flying network. The EREP algorithm is evaluated using simulations. The obtained results show gains up to 26% in the FCR UAV endurance for negligible throughput and delay degradation.