Vitor Rodrigues Greati

Vitor Rodrigues Greati
University of Groningen | RUG · Bernoulli Institute

Master of Systems and Computing

About

21
Publications
2,613
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
32
Citations
Introduction
Skills and Expertise
Additional affiliations
August 2016 - January 2020
Universidade Federal do Rio Grande do Norte
Position
  • Student
September 2015 - August 2016
Universidade Federal do Rio Grande do Norte
Position
  • Developer intern
Education
March 2020 - December 2021
Universidade Federal do Rio Grande do Norte
Field of study
  • Computer Science
January 2015 - February 2020
Universidade Federal do Rio Grande do Norte
Field of study
  • Computer Science

Publications

Publications (21)
Chapter
The characterizing properties of a proof-theoretical presentation of a given logic may hang on the choice of proof formalism, on the shape of the logical rules and of the sequents manipulated by a given proof system, on the underlying notion of consequence, and even on the expressiveness of its linguistic resources and on the logical framework into...
Preprint
Full-text available
The characterizing properties of a proof-theoretical presentation of a given logic may hang on the choice of proof formalism, on the shape of the logical rules and of the sequents manipulated by a given proof system, on the underlying notion of consequence, and even on the expressiveness of its linguistic resources and on the logical framework into...
Chapter
Full-text available
The bilateralist approach to logical consequence maintains that judgments of different qualities should be taken into account in determining what-follows-from-what. We argue that such an approach may be actualized by a two-dimensional notion of entailment induced by semantic structures that also accommodate non-deterministic and partial interpretat...
Conference Paper
This work introduces the variety of perfect paradefinite algebras (PPalgebras), consisting of De Morgan algebras enriched with a perfect operator o, which turns out to be equivalent to the variety of involutive Stone algebras (IS-algebras). The corresponding order-preserving logic PP≤ is a Logic of Formal Inconsistency, a Logic of Formal Undetermin...
Preprint
Full-text available
The bilateralist approach to logical consequence maintains that judgments of different qualities should be taken into account in determining what-follows-from-what. We argue that such an approach may be actualized by a two-dimensional notion of entailment induced by semantic structures that also accommodate non-deterministic and partial interpretat...
Preprint
Full-text available
The present study shows how any De Morgan algebra may be enriched by a 'perfection operator' that allows one to express the Boolean properties of negation-consistency and negation-determinedness. The corresponding variety of 'perfect paradefinite algebras' (PP-algebras) is shown to be term-equivalent to the variety of involutive Stone algebras, int...
Article
Full-text available
License plates are the primary source of vehicle identification data used in a wide range of applications including law enforcement, electronic tolling, and access control amongst others. License plate detection (LPD) is a critical process in automatic license plate recognition (ALPR) that reduces complexity by delimiting the search space for subse...
Article
Full-text available
Mercosur (a.k.a. Mercosul) is a trade bloc comprising five South American countries. In 2018, a unified Mercosur license plate model was rolled out. Access to large volumes of ground truth Mercosur license plates with sufficient presentation variety is a significant challenge for training supervised models for license plate detection (LPD) in autom...
Article
A baixa visão é uma condição caracterizada pelo comprometimento visual mesmo após tratamento ou correção médica, gerando diversos impactos na vida dos indivíduos. Diante disso, a utilização de dispositivos auxiliares é fundamental para mitigar os efeitos da perda visual. Entre os diversos auxílios ópticos disponíveis atualmente, a maior parte ainda...
Article
Industries are considered data rich but information poor environments. Mainly due to systems design restrictions, to the lack of adequate processing power and to a sector culture notably focused on collecting, selecting, storing and preserving historical series in on-demand access repositories, massive data generated in industrial operations is tra...
Article
Full-text available
Automated license plate recognition (ALPR) technology is a powerful technology enabling more efficient and effective law enforcement, security, payment collection, and research. A common license plate standard was adopted by the member states of the Mercosur trading bloc (Argentina, Brazil, Paraguay and Uruguay) and consequently requires an upgrade...
Article
The treatment and recuperation of hydric resources portray recurrent challenges and demand alternative processes and technologies. The removal of hardness and metal ions from water are necessary in certain sources of human consumption and for industrial purposes. In this work, sodium-modified vermiculite was investigated toward the removal of calci...
Conference Paper
Full-text available
This paper presents a method for brazilian automatic license plate recognition considering images with good illumination and alignment conditions, with lack of illumination, with shadows and with some inclination, taken 1m to 7m far, cases rarely seen in the literature. Images were obtained in a parking lot, during the morning and the afternoon, wi...
Conference Paper
This paper presents a method for Brazilian automatic license plate recognition for Smart Cities applications, considering images with good illumination and alignment conditions, with lack of illumination, with shadows and with some inclination, taken from a distance of lm to 7m. Images were obtained in a parking lot, during the morning and the afte...
Conference Paper
Full-text available
Unmanned aerial vehicles have shown to be very useful in different applications aimed at facil- itating and speeding up tasks on the civil context. Among them, one can mention commercial delivery as a strong application for the future, especially after promising initiatives from large companies, such as Amazon. However, the difficulty in precisely...
Conference Paper
Full-text available
This paper proposes a visual approach based on a RGB/HSV tag to precise and autonomous landing of unmanned aerial vehicles (UAV). The proposed tag is correctly identified by an algorithm divided in four stages: hue filtering, clustering, matching and center location. The first stage is based on fuzzy matching and highlights the pixels with similar...

Network

Cited By