Abstract
The ANTAREX project relies on a Domain Specific Language (DSL) based on Aspect Oriented Programming (AOP) concepts to allow applications to enforce extra functional properties such as energy-efficiency and performance and to optimize Quality of Service (QoS) in an adaptive way. The DSL approach allows the definition of energy-efficiency, performance, and adaptivity strategies as well as their enforcement at runtime through application autotuning and resource and power management. In this paper, we present an overview of the ANTAREX DSL and some of its capabilities through a number of examples, including how the DSL is applied in the context of one of the project use cases. © 2018 IEEE.

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

Abstract
Musicians are entrepreneurs, despite a lack of specific literature treating them thus. Musicians take the risk of launching themselves as performers, often with very little to fall back on if it does not work out. Musicians are not accustomed to creating a business plan for their careers and, more generally, lack an understanding of business models and financial investments, as often the return for hours of individual practice is simply not cost-effective. Many musicians also have careers in teaching, juggling a mix of music-related activities to make ends meet. Music is a life of passion and not one where riches are expected to flow. Additionally, at a time when the pressure to perform well is increasing daily, due also to added competition, and with performing musicians starting their music studies and careers earlier and earlier, at ever more tender ages, the probability of suffering a severe injury during one's career is exceedingly high. This research intends to discuss a process of prolonging careers and minimizing injury, while also maximizing performance, by way of leveraging technology. Research is in fact lacking linking classical music to technology, and this study shows that a biomechanical approach can produce significant changes in the hand position over the violin. All violinists and violists face the difficulties of playing on a non-symmetrical instrument, which makes it quite easy to create wrong postures and techniques. Retroreflective markers were placed on the joints of the left hand, and their movement during violin play captured by a MoCap system (Qualisys AB, Sweden) operating at a sampling frequency of 200 Hz. A violinist was asked to play a score (Al) using his usual playing technique and next to perform the same score using the enhanced technique (A2). The resulting data was analysed in the Visual 3D software (C-Motion, USA) in order to extract relevant parameters and metrics. Very positive and encouraging results were captured. The enhanced technique seems to allow the violinist to play the same score with less tension in the hand, with greater amplitude of the fingers, and a more natural position with angulations closer to the natural ones, allowing to play faster and with smaller pattern deviation, and so with more precision.

Abstract
Introduction The new General Data Protection Regulation (GDPR) compels health care institutions and their software providers to properly document all personal data processing and provide clear evidence that their systems are inline with the GDPR. All applications involved in personal data processing should therefore produce meaningful event logs that can later be used for the effective auditing of complex processes. Aim This paper aims to describe and evaluate HS.Register, a system created to collect and securely manage at scale audit logs and data produced by a large number of systems. Methods HS.Register creates a single audit log by collecting and aggregating all kinds of meaningful event logs and data (e.g. ActiveDirectory, syslog, log4j, web server logs, REST, SOAP and HL7 messages). It also includes specially built dashboards for easy auditing and monitoring of complex processes, crossing different systems in an integrated way, as well as providing tools for helping on the auditing and on the diagnostics of difficult problems, using a simple web application. HS.Register is currently installed at five large Portuguese Hospitals and is composed of the following open-source components: HAproxy, RabbitMQ, Elasticsearch, Logstash and Kibana. Results HS.Register currently collects and analyses an average of 93 million events per week and it is being used to document and audit HL7 communications. Discussion Auditing tools like HS.Register are likely to become mandatory in the near future to allow for traceability and detailed auditing for GDPR compliance. © 2018 European Federation for Medical Informatics (EFMI) and IOS Press.

Abstract
The maximum edge weight clique (MEWC) problem, defined on a simple edge-weighted graph, is to find a subset of vertices inducing a complete subgraph with the maximum total sum of edge weights. We propose a quadratic optimization formulation for the MEWC problem and study characteristics of this formulation in terms of local and global optimality. We establish the correspondence between local maxima of the proposed formulation and maximal cliques of the underlying graph, implying that the characteristic vector of a MEWC in the graph is a global optimizer of the continuous problem. In addition, we present an exact algorithm to solve the MEWC problem. The algorithm is a combinatorial branch-and-bound procedure that takes advantage of a new upper bound as well as an efficient construction heuristic based on the proposed quadratic formulation. Results of computational experiments on some benchmark instances are also presented.