2019
Authors
Dias, M; Rocha, B; Teixeira, JF; Oliveira, HP;
Publication
2019 41ST ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC)
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.
2019
Authors
Falcao, G; Cabeleira, F; Mariano, A; Santos, LP;
Publication
IEEE ACCESS
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.
2019
Authors
Gonçalves, A; Correia, A; Cavique, L;
Publication
WorldCIST (1)
Abstract
The General Data Protection Regulation 2016/679 (GDPR) is a set of legal rules to attain the privacy of people in the handling of their personal data and the movement of such data across countries. When those rules are considered in the operation of information systems, the one becomes attainable for legal approval within that scope. This paper presents a model we are developing to help enterprises do align their information system with the GDPR requirements. The model shall serve the purpose of analyzing the enterprises in what concerns the use of the subject’s personal data, allowing to capture and improve data protection capabilities placed in the GDPR. The main issue of our approach is to set a baseline to define the requirements for establishing, implementing, maintaining and continually improving data protection management system on organizations.
2019
Authors
Harrison, MD; Freitas, L; Drinnan, M; Campos, JC; Masci, P; di Maria, C; Whitaker, M;
Publication
SCIENCE OF COMPUTER PROGRAMMING
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.
2019
Authors
Oliveira, J; Nogueira, M; Ramos, C; Renna, F; Ferreira, C; Coimbra, M;
Publication
2019 41ST ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC)
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.
2019
Authors
Monteiro, CS; Raposo, M; Ribeiro, P; Silva, S; Frazao, O;
Publication
FOURTH INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS
Abstract
Hollow microsphere fiber sensors are Fabry-Perot interferometers ( FPI) that can be used for lateral loading, temperature, and refractive index sensing. In this work, graphene oxide (GO) is explored as a tunable platform for enhancing the spectral properties of hollow microsphere fiber sensors. GO offers similar mechanical and optical properties as graphene, with the advantage of a wider range of deposition methods and a lower cost. The influence of multilayer coatings of polyethylenimine (PEI) and GO, achieved with the layer-by-layer technique, on the reflectivity of the outer surface, and hence, on the spectrum of the FPI for maximum of 30 bilayers was studied. The obtained results revealed a change of the microsphere outer surface reflectivity and also of visibility of the reflected spectrum when varying the number of bilayers. A maximum signal amplitude of 3.9 dB was attained for the 13th bilayer, allowing to conclude that PEI/GO multilayer coatings can be used for enhancing desired properties of the three-wave FPI for different sensing applications.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.