Abstract
A new integrated approach is required for planning and rethinking mobility issues in European Regions, towards allowing them to become better prepared into near future challenges. In this paper, a set of recommendations for future mobility planning in the Alto Minho Region, in Northern Portugal, will be proposed taking into consideration social inclusion and environmental concerns into accessibility planning. The conducted research shows that despite different framework methods and approaches, similar trends emerge in future mobility, reinforcing that cooperative actions to share information and encourage dialogue between all stakeholders (population, politicians and operators) in long term plans is essential. Based on Gini-coefficients assessment and its resulting spider diagrams, a population profile is created aiming to explore the impacts in future mobility solutions. As the result of this approach, this paper presents some key recommendations for future mobility planning, based on an integrated delivery of policies for social and environmental equity within the transportation sector.

Abstract
Multi-type fast charging stations are being deployed over Europe as electric vehicle adoption becomes more popular. The growth of an electrical charging infrastructure in different countries poses different challenges related to its installation. One of these challenges is related to weather conditions that are extremely heterogeneous due to different latitudes, in which fast charging stations are located and whose impact on the charging performance is often neglected or unknown. The present study focused on the evaluation of the electric vehicle (EV) charging process with fast charging devices (up to 50 kW) at ambient (25°C) and at extreme temperatures (-25°C, -15°C, +40°C). A sample of seven fast chargers and two electric vehicles (CCS (combined charging system) and CHAdeMO (CHArge de Move)) available on the commercial market was considered in the study. Three phase voltages and currents at the wall socket, where the charger was connected, as well as voltage and current at the plug connection between the charger and vehicle have been recorded. According to SAE (Society of Automotive Engineers) J2894/1, the power conversion efficiency during the charging process has been calculated as the ratio between the instantaneous DC power delivered to the vehicle and the instantaneous AC power supplied from the grid in order to test the performance of the charger. The inverse of the efficiency of the charging process, i.e., a kind of energy return ratio (ERR), has been calculated as the ratio between the AC energy supplied by the grid to the electric vehicle supply equipment (EVSE) and the energy delivered to the vehicle's battery. The evaluation has shown a varied scenario, confirming the efficiency values declared by the manufacturers at ambient temperature and reporting lower energy efficiencies at extreme temperatures, due to lower requested and, thus, delivered power levels. The lowest and highest power conversion efficiencies of 39% and 93% were observed at -25°C and ambient temperature (+25°C), respectively.

Abstract
This paper presents a study of the metaphorism pattern of relational specification, showing how it can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement studied in this paper is a strategy known as change of virtual data structure. By framing metaphorisms in the class of (inductive) regular relations, sufficient conditions are given for such implementations to be calculated using relation algebra. The strategy is illustrated with examples including the derivation of the quicksort and mergesort algorithms, showing what they have in common and what makes them different from the very start of development.

Abstract
Functional recovery following general nerve reconstruction is often associated with poor results. Comparing to rat and mice experimental studies, there are much fewer investigations on nerve regeneration and repair in the sheep, and there are no studies on this subject using gait analysis in the sheep model as an assessment tool. Additionally, this is the first study evaluating obstacle negotiation and the compensatory strategies that take place at each joint in response to the obstacle during locomotion in the sheep model. This study aims to get kinematic data to serve as a template for an objective assessment of the ankle joint motion in future studies of common peroneal nerve (CP) injury and repair in the ovine model. Our results show that a moderately high obstacle set to 10% of the sheep's hindlimb length was associated to several spatial and temporal strategies in order to increase hoof height during obstacle negotiating. Sheep efficiently cleared an obstacle by increasing knee, ankle and metatarsophalangeal flexion during swing, whereas the hip joint is not affected. This study establishes the bounds of normal motion in the neurologically intact hindlimb when approached and cleared an obstacle and provides baseline data for further studies of peripheral nerve research in the ovine model.

Abstract
The Internet of Things (IoT) is expected to bring forward new promising solutions in various domains. Consequently, it can impact many aspects of everyday life, and errors can have serious consequences. Despite this, there is a lack of standard testing processes and methods, which poses a major challenge for IoT testing. Nonetheless, closer examination makes it possible to identify a set of recurring behaviors of IoT applications and a set of corresponding test strategies. This paper formalizes the notion of a Pattern-Based IoT Testing method for systematizing and automating the testing of IoT ecosystems. It consists in a set of test strategies for recurring behaviors of the IoT system, which can be defined as IoT Test Patterns.

Abstract
Using power-hardware-in-the-loop is a solution for testing the behavior of devices on an emulated grid, with greater flexibility and avoiding the introduction of disturbances or critical operating conditions in the utility grid. This paper highlights the implementation of such a setup, its challenges and the solutions to cope with its limitations. The emulated grid is then used for the experimental validation of a 10kVA converter, regarding fault-ride-through, dynamic reactive current support and frequency and voltage based droop control, leading to the identification of design improvement recommendations.