Vitor Greati
Vitor Greati
PhD candidate, University of Groningen, Groningen, The Netherlands
Verified email at - Homepage
Cited by
Cited by
Synthetic image generation for training deep learning-based automated license plate recognition systems on the Brazilian Mercosur standard
G Silvano, V Ribeiro, V Greati, A Bezerra, I Silva, PT Endo, T Lynn
Design Automation for Embedded Systems 25, 113-133, 2021
Brazilian mercosur license plate detection: a deep learning approach relying on synthetic imagery
V Ribeiro, V Greati, A Bezerra, G Silvano, I Silva, PT Endo, T Lynn
2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 1-8, 2019
A Brazilian license plate recognition method for applications in smart cities
VR Greati, VCT Ribeiro, IMD da Silva, A de Medeiros Martins
2017 IEEE First Summer School on Smart Cities (S3C), 43-48, 2017
Proof search on bilateralist judgments over non-deterministic semantics
V Greati, S Marcelino, J Marcos
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
Artificial Mercosur license plates dataset
GVT Silvano, I Silva, VCT Ribeiro, VR Greati, A Bezerra, PT Endo, T Lynn
Data in Brief 33, 106554, 2020
A visual protocol for autonomous landing of unmanned aerial vehicles based on fuzzy matching and evolving clustering
BSJ Costa, VR Greati, VCT Ribeiro, CS da Silva, IF Vieira
2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-6, 2015
On logics of perfect paradefinite algebras
J Gomes, V Greati, S Marcelino, J Marcos, U Rivieccio
arXiv preprint arXiv:2106.09883, 2021
Sodium-modified vermiculite for calcium ion removal from aqueous solution
RRC Lima, PDS de Lima, VR Greati, PBF de Sousa, GVS Medeiros
Industrial & Engineering Chemistry Research 58 (22), 9380-9389, 2019
Enabling interactive visualizations in industrial big data
A Bezerra, V Greati, V Campos, I Silva, LA Guedes, G Leitao, D Silva
IFAC-PapersOnLine 53 (2), 11162-11167, 2020
Finite Hilbert Systems for Weak Kleene Logics
V Greati, S Marcelino, U Rivieccio
Studia Logica, 1-27, 2024
Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics.
V Greati, J Marcos
IJCAR, 640-658, 2022
Hilbert-style formalism for two-dimensional notions of consequence
VR Greati
Universidade Federal do Rio Grande do Norte, 2022
Hilbert calculi for the main fragments of Classical Logic
VR Greati
Universidade Federal do Rio Grande do Norte, 2019
An Industrial Big Data Processing Engine
A Bezerra, V Greati, V Ribeiro, I Silva, LA Guedes
Anais do 14º Simpósio Brasileiro de Automação Inteligente 1, 108372, 2019
Método para Reconhecimento Automático de Placas Brasileiras em ambientes nao controlados
VR Greati, VCT Ribeiro, IM Dantas
Simpósio Brasileiro de Automaçao Inteligente (SBAI 2017), 2017
Generating proof systems for three-valued propositional logics
V Greati, G Greco, S Marcelino, A Palmigiano, U Rivieccio
arXiv preprint arXiv:2401.03274, 2024
Adding an Implication to Logics of Perfect Paradefinite Algebras
V Greati, S Marcelino, J Marcos, U Rivieccio
arXiv preprint arXiv:2309.06764, 2023
Notes on the Logic of Perfect Paradefinite Algebras
JFF Gomes, VR Greati
Anais do II Workshop Brasileiro de Lógica, 41-48, 2021
Dispositivo óptico vestível para o auxílio de deficientes visuais na sala de aula
AF Borges, JF dos Santos Junior, LO Sousa, RC Souza, RCD Galvão, ...
Research, Society and Development 9 (9), e930997623-e930997623, 2020
An Industrial Big Data Processing Engine
ABB Júnior, VR Greati, VCT Ribeiro, I Silva, LA Guedes
Galoá, 2019
The system can't perform the operation now. Try again later.
Articles 1–20