Abstract
The Sternum is a human bone located in the anterior area of the thoracic cage. It is present in most of the axial cuts provided from the Magnetic Resonance Imaging (MRI) acquisitions. used in the medical field. Detecting the Sternum is relevant as it contains rigid key-points for 3D model reconstructions, assisting in the planning and evaluation of several surgical procedures, and for atlas development by segmenting structures in anatomical proximity. In the absence of applicable approaches for this specific problem. this paper focuses on two distinct automated methods for Sternum segmentation in MRI. The first. relies on K-Means (Clustering) to perform the segmentation, while the second encompasses the closed Minimum Path over the elliptical transformation of Gradient images. A dataset of 14 annotated acquisitions was used for evaluation. The results favored the Gradient approach over Clustering.

Abstract
This paper presents a new, heterogeneous CPU+GPU attacks against lattice-based (post-quantum) cryptosystems based on the Shortest Vector Problem (SVP), a central problem in lattice-based cryptanalysis. To the best of our knowledge, this is the first SVP-attack against lattice-based cryptosystems using CPUs and GPUs simultaneously. We show that Voronoi-cell based CPU+GPU attacks, algorithmically improved in previous work, are suitable for the proposed massively parallel platforms. Results show that 1) heterogeneous platforms are useful in this scenario, as they increment the overall memory available in the system (as GPU's memory can be used effectively), a typical bottleneck for Voronoi-cell algorithms, and we have also been able to increase the performance of the algorithm on such a platform, by successfully using the GPU as a co-processor, 2) this attack can be successfully accelerated using conventional GPUs and 3) we can take advantage of multiple GPUs to attack lattice-based cryptosystems. Experimental results show a speedup up to 7.6x for 2 GPUs hosted by an Intel Xeon E5-2695 v2 CPU (12 cores x2 sockets) using only 1 core and gains in the order of 20% for 2 GPUs hosted by the same machine using all 22 CPU threads (2 are reserved for orchestrating the GPUs), compared to single-CPU execution using the entire 24 threads available.

Abstract
Common natural walking techniques for navigating in virtual environments feature constraints that make it difficult to use those methods in cramped home environments. Indeed, natural walking requires unobstructed and open space, to allow users to roam around without fear of stumbling on obstacles while immersed in a virtual world. In this work, we propose a new virtual locomotion technique, CWIP-AVR, that allows people to take advantage of the available physical space and empowers them to use natural walking to navigate in the virtual world. To inform users about real world hazards our approach uses augmented virtual reality visual indicators. A user evaluation suggests that CWIP-AVR allows people to navigate safely, while switching between locomotion modes flexibly and maintaining a adequate degree of immersion. © 2019 Association for Computing Machinery.

Abstract
This paper analyses the effect of new smart grid technologies (SGTs) on the reliability indices typically specified by distribution network operators in low-voltage rural distribution systems. Rural areas generally denoted as 'thinly-populated', are to a large extent neglected in the anticipated transformation of existing networks into the future smart grid. An innovative Monte Carlo simulation technique is refined in this analysis to model the stochastic failure rates of power components over a specific time period, which are then applied to network load flow analysis to assess the quality of supply enhancement of a modelled rural distribution network. The proposed method enables much faster and more refined reliability studies, allowing for larger data sets to capture the inherent uncertainty from the new SGTs. Simulation results providing base case reliability indices, and the addition of SGTs accumulated from models in previous works, provide scenarios used for comparison into SGT-effectiveness.

Abstract
The paper is concerned with the practical use of formal techniques to contribute to the risk analysis of a new neonatal dialysis machine. The described formal analysis focuses on the controller component of the software implementation. The controller drives the dialysis cycle and deals with error management. The logic was analysed using model checking techniques and the source code was analysed formally, checking type correctness conditions, use of pointers and shared memory. The analysis provided evidence of the verification of risk control measures relating to the software component. The productive dialogue between the developers of the device, who had no experience or knowledge of formal methods, and the analyst using the formal analysis tools, provided a basis for the development of rationale for the effectiveness of the evidence.

Abstract
Recently, soft attention mechanisms have been successfully used in a wide variety of applications such as the generation of image captions, text translation, etc. This mechanism attempts to mimic the visual cortex of a human brain by not analyzing all the objects in a scene equally, but by looking for clues (or salient features) which might give a more compact representation of the environment. In doing so, the human brain can process information more quickly and without overloading. Having learned this lesson, in this paper, we try to make a bridge from the visual to the audio scene classification problem, namely the classification of heart sound signals. To do so, a novel approach merging soft attention mechanisms and recurrent neural nets is proposed. Using the proposed methodology, the algorithm can successfully learn automatically significant audio segments when detecting and classifying abnormal heart sound signals, both improving these classification results and somehow creating a simple justification for them.