Follow
Vitor Greati
Vitor Greati
PhD candidate, University of Groningen, Groningen, The Netherlands
Verified email at rug.nl - Homepage
Title
Cited by
Cited by
Year
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
142021
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
82017
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
72021
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
72020
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
72019
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
62015
On logics of perfect paradefinite algebras
J Gomes, V Greati, S Marcelino, J Marcos, U Rivieccio
arXiv preprint arXiv:2106.09883, 2021
42021
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
42019
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
32020
Finite two-dimensional proof systems for non-finitely axiomatizable logics
V Greati, J Marcos
Automated Reasoning, 640, 2022
12022
Hilbert-style formalism for two-dimensional notions of consequence
VR Greati
Universidade Federal do Rio Grande do Norte, 2022
12022
Hilbert calculi for the main fragments of Classical Logic
VR Greati
Universidade Federal do Rio Grande do Norte, 2019
12019
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
12017
An Industrial Big Data Processing Engine
A Bezerra, V Greati, V Ribeiro, I Silva, LA Guedes
1
Finite Hilbert systems for Weak Kleene logics
V Greati, S Marcelino, U Rivieccio
arXiv preprint arXiv:2401.03265, 2024
2024
Generating proof systems for three-valued propositional logics
V Greati, G Greco, S Marcelino, A Palmigiano, U Rivieccio
arXiv preprint arXiv:2401.03274, 2024
2024
Adding an Implication to Logics of Perfect Paradefinite Algebras
V Greati, S Marcelino, J Marcos, U Rivieccio
arXiv preprint arXiv:2309.06764, 2023
2023
Notes on the Logic of Perfect Paradefinite Algebras
JFF Gomes, VR Greati
Anais do II Workshop Brasileiro de Lógica, 41-48, 2021
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
2020
An Industrial Big Data Processing Engine
ABB Júnior, VR Greati, VCT Ribeiro, I Silva, LA Guedes
Galoá, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20