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.

Abstract
Virtual reality (VR) games have the potential to produce immersive experiences. To better explore the potential of VR games, it becomes necessary to understand what affects the player's presence in VR games. This work measures and compares the levels of presence and cybersickness in VR environments. Two games with different levels of interaction and narrative were compared. Presence and cybersickness were measured in a sample of 32 subjects using the IPQp questionnaire and a Portuguese version of the SSQ respectively. The results indicate that there were no differences in presence and cybersickness between the interaction and the narrative dimensions. To extend the study, the gender of participants was also considered an independent variable where we found significant differences in the metrics of presence and experienced realism, nausea and disorientation with female participants getting higher scores.

Abstract
Electrum is an extension of Alloy that adds (1) mutable signatures and fields to the modeling layer; and (2) connectives from linear temporal logic (with past) and primed variables à la TLA⁺ to the constraint language. The analysis of models can then be translated into a SAT-based bounded model-checking problem, or to an LTL-based unbounded model-checking problem. Electrum has proved to be useful to model and verify dynamic systems with rich configurations. However, when specifying events, the tedious and sometimes error-prone handling of traces and frame conditions (similarly as in Alloy) remained necessary. In this paper, we introduce an extension of Electrum with a so-called “action” layer that addresses these questions.