Abstract
This article presents a medical simulation solution. This solution allows a physician to train a clinical scenario by interacting with a graphical interface. The aim is to instigate the learning and internalization of clinical procedures. Currently these resources have been intensifying in the most diverse areas, being our focus, Medicine. Within this area, the focus is on medical simulation. There are numerous biomedical simulation centers, whose main objective is to create realistic simulations to aid health professionals. Thus, it is intended to optimize its performance, to meet the needs detected and to anticipate unexpected situations (critical or complex events). However, current simulation systems face some limitations, since they have enough difficulties in the development of new scenarios, since they are restricted to the level of modularity and the number of simulated situations. The training of these professionals is limited to simulation centers. The goal is to create a platform to simulate real scenarios and develop serious games that simulate various clinical situations, in order to facilitate access to this type of training and training.

Abstract
Searching is a crucial time-consuming part of many programs, and using a good search method instead of a bad one often leads to a substantial increase in performance. Hash tries are a trie-based data structure with nearly ideal characteristics for the implementation of hash maps. In this paper, we present a novel, simple and concurrent hash map design that fully supports the concurrent search, insert and remove operations on hash tries designed to store sorted keys. To the best of our knowledge, our design is the first concurrent hash map design that puts together the following characteristics: (i) use fixed size data structures; (ii) use persistent memory references; (iii) be lock-free; and (iv) store sorted keys. Experimental results show that our design is quite competitive when compared against other state-of-the-art designs implemented in Java.

Abstract
This note revisits layered logics from a coalgebraic point of view, and proposes a naturality condition to express the typical hierarchical requirement under which all abstract transitions should be traceable in more specialised layers. © Springer International Publishing AG 2018.

Abstract
Technology is constantly evolving, as a result, users have become more demanding and the applications more complex. In the realm of Web development, JavaScript is growing in a surprising way, already leaving the boundaries of the browser, mainly due to the advent of Node.js. In fact, JavaScript is constantly being reinvented and, from the ES2015 version, began to include the OO concepts typically found in other programming languages. With Web access being mostly made by mobile devices, developers face now performance challenges and need to perform a plethora of tasks that weren’t necessary a decade ago, such as managing dependencies, bundling files, minifying code, optimizing images and others. Many of these tasks can be achieved by using the right tools for the job. However, developers not only have to know those tools, but they also must know how to access and operate them. This process can be tedious, confusing, time-consuming and error-prone. In this paper, we present Kaang, an automatic generator of RESTFul Web applications. The ultimate goal of Kaang is to minimize the impact of creating a RESTFul service by automating all its workflow (e.g., files structuring, boilerplate code generation, dependencies management, and task building). This kind of generators will benefit two types of users: will help novice developers to decrease their learning curve while facing the new frameworks and libraries commonly found in the modern Web and speed up the work of expert developers avoiding all the repetitive and bureaucratic work. At the same time, Kaang promotes the good development principles by adding automatic testing and documentation generation. For this accomplishment, Kaang generates the main API content based on the user’s input and a set of templates which will help developers to manage and test routes, define resources, store data models and others. In order to provide an addition level of confidence to the generator’s end-users, the generator will be integrated on Travis CI and published on both the npmjs and Yeoman registries. © Ricardo Queirós.

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. © Springer International Publishing AG, part of Springer Nature 2018.