2019
Authors
Saraiva, AA; de Oliveira, MS; Sousa, JVM; Ferreira, NMF; Valente, A; Soares, S;
Publication
PROCEEDINGS OF THE 12TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOL 1 (BIODEVICES)
Abstract
The techniques of image filtering have undergone an explosive growth in the last years to make new advances and challenges. This is due to the fact, among several other reasons, the increase of the volume of images coming from several sources. Digital images have been used for a variety of purposes, from the storage of souvenirs to accurate medical exams. However, Images may be corrupted due to several factors. The challenge of suppression or noise attenuation has led to the search for improved techniques in order to preserve important characteristics of the image, but, on the other hand, there is no solution available to completely solve the problem, boosting the production of the work proposed here. In this paper proposes a method for noise attenuation in computed tomography images using a hybrid genetic algorithm, the proposed method seeks to optimize the results in the space of solutions composed by a series of techniques of noise filtering. At the end the proposed method is compared statistically with two other competing methods and after the resulting filtered images are shown.
2019
Authors
Aguiar, A; Sousa, A; dos Santos, FN; Oliveira, M;
Publication
2019 19TH IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2019)
Abstract
Developing ground robots for crop monitoring and harvesting in steep slope vineyards is a complex challenge due to two main reasons: harsh condition of the terrain and unstable localization accuracy obtained with Global Navigation Satellite System. In this context, a reliable localization system requires an accurate and redundant information to Global Navigation Satellite System and wheel odometry based system. To pursue this goal we benchmark 3 well known Visual Odometry methods with 2 datasets. Two of these are feature-based Visual Odometry algorithms: Libviso2 and SVO 2.0. The third is an appearance-based Visual Odometry algorithm called DSO. In monocular Visual Odometry, two main problems appear: pure rotations and scale estimation. In this paper, we focus on the first issue. To do so, we propose a Kalman Filter to fuse a single gyroscope with the output pose of monocular Visual Odometry, while estimating gyroscope's bias continuously. In this approach we propose a non-linear noise variation that ensures that bias estimation is not affected by Visual Odometry resultant rotations. We compare and discuss the three unchanged methods and the three methods with the proposed additional Kalman Filter. For tests, two public datasets are used: the Kitti dataset and another built in-house. Results show that our additional Kalman Filter highly improves Visual Odometry performance in rotation movements.
2019
Authors
Guerreiro, A; Ferreira, TD; Silva, NA;
Publication
FOURTH INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS
Abstract
Although the quantum theory of the optical response of individual atoms to coherent light with frequencies close to electronic transitions and the fluid equations for a gas are well known and understood from first principles, they are developed independently of each other and therefore cannot be applied directly to describe many of the quantum collective and transport phenomena that occur in cold atomic gases, especially in what regards their interaction with optical pulses and beams. Few attempts have been made to derive a consistent formalism and theory that are capable to model this type of systems, and those which exist rely on the adaptation of several ad-hoc hypothesis and simplifications, such as space and time dependent density operators. In this paper we provide the theoretical foundations and establish a formalism capable of paving the way for the development of new simulation tools and to explore new problems in nonlinear optics out of equilibrium.
2019
Authors
Ribeiro, F; Saraiva, J; Pardo, A;
Publication
XXIII BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES
Abstract
In this paper, we show how stream fusion, a program transformation technique used in functional programming, can be adapted for an Object-Oriented setting. This makes it possible to have more Stream operators than the ones currently provided by the Java Stream API. The addition of more operators allows for a greater deal of expressiveness. To this extent, we show how these operators are incorporated in the stream setting. Furthermore, we also demonstrate how a specific set of optimizations eliminates overheads and produces equivalent code in the form of for loops. In this way, programmers are relieved from the burden of writing code in such a cumbersome style, thus allowing for a more declarative and intuitive programming approach.
2019
Authors
Lezak, E; Ferrera, E; Rossini, R; Masluszczak, Z; Fialkowska-Filipek, M; Hovest, GG; Schneider, A; Lourenço, EJ; Baptista, AJ; Cardeal, G; Estrela, M; Rato, R; Holgado, M; Evans, S;
Publication
Technological Developments in Industry 4.0 for Business Applications - Advances in Logistics, Operations, and Management Science
Abstract
2019
Authors
Loff, B; Mukhopadhyay, S;
Publication
36TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2019)
Abstract
We show a deterministic simulation (or lifting) theorem for composed problems f o Eq where the inner function (the gadget) is Equality on n bits. When f is a total function on p bits, it is easy to show via a rank argument that the communication complexity of f o Eq is Q(deg(f) " n). However, there is a surprising counter -example of a partial function f on p bits, such that any completion f' of f has deg(f)= Q(p), and yet f o Eq has communication complexity 0(n). Nonetheless, we are able to show that the communication complexity of f o Eq is at least D(f) " n for a complexity measure D(f) which is closely related to the AND -query complexity of f and is lower -bounded by the logarithm of the leaf complexity of f. As a corollary, we also obtain lifting theorems for the set-disjointness gadget, and a lifting theorem in the context of parity decision -trees, for the NOR gadget. As an application, we prove a tight lower -bound for the deterministic communication complexity of the communication problem, where Alice and Bob are each given p -many n -bit strings, with the promise that either all of the strings are distinct, or all -but -one of the strings are distinct, and they wish to know which is the case. We show that the complexity of this problem is e(p " n).
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.