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
222021
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
102019
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
92021
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
82020
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
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
82015
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
72019
On logics of perfect paradefinite algebras
J Gomes, V Greati, S Marcelino, J Marcos, U Rivieccio
arXiv preprint arXiv:2106.09883, 2021
52021
Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics.
V Greati, J Marcos
IJCAR, 640-658, 2022
32022
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
Hilbert-style formalism for two-dimensional notions of consequence
VR Greati
Universidade Federal do Rio Grande do Norte, 2022
22022
Finite Hilbert Systems for Weak Kleene Logics
V Greati, S Marcelino, U Rivieccio
Studia Logica, 1-27, 2024
12024
Generating proof systems for three-valued propositional logics
V Greati, G Greco, S Marcelino, A Palmigiano, U Rivieccio
arXiv preprint arXiv:2401.03274, 2024
12024
Hilbert calculi for the main fragments of Classical Logic
VR Greati
Universidade Federal do Rio Grande do Norte, 2019
12019
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
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
Deducibility in the full Lambek calculus with weakening is HAck-complete
V Greati, R Ramanayake
arXiv preprint arXiv:2406.15626, 2024
2024
Axiomatizing the Logic of Ordinary Discourse
V Greati, S Marcelino, U Rivieccio
arXiv preprint arXiv:2405.03543, 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
The system can't perform the operation now. Try again later.
Articles 1–20