E-LIB Suche - Ergebnisse für: Greati, Vitor - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Finite Hilbert Systems for Weak Kleene Logics:

Greati, Vitor ; Marcelino, Sérgio ; Rivieccio, Umberto
Studia Logica. , 2024

Link: https://doi.org/10.1007/..

2

Finite Two-Dimensional Proof Systems for Non-finitely Axiom..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Greati, Vitor ; Marcos, João - p. 640-658 , 2022

Link: https://doi.org/10.1007/..

3

Proof Search on Bilateralist Judgments over Non-determinist..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Greati, Vitor ; Marcelino, Sérgio ; Marcos, João - p. 129-146 , 2021

Link: https://doi.org/10.1007/..

4

Synthetic image generation for training deep learning-based..:

Silvano, Gilles ; Ribeiro, Vinícius ; Greati, Vitor...
Design Automation for Embedded Systems. 25 (2020) 2 - p. 113-133 , 2020

Link: https://doi.org/10.1007/..

5

Brazilian Mercosur License Plate Detection: a Deep Learning..:

, In: 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC),

Ribeiro, Vinicius ; Greati, Vitor ; Bezerra, Aguinaldo... - p. 1-8 , 2019

Link: https://doi.org/10.1109/..

6

Artificial Mercosur license plates dataset:

Silvano, Gilles Velleneuve Trindade ; Silva, Ivanovitch ; Ribeiro, Vinícius Campos Tinoco...
Data in Brief. 33 (2020) - p. 106554 , 2020

Link: https://doi.org/10.1016/..

7

Dispositivo óptico vestível para o auxílio de deficientes v..:

Borges, André Fiel ; Santos Junior, Judson Ferreira dos ; Sousa, Leticia Oliveira...
Research, Society and Development. 9 (2020) 9 - p. e930997623 , 2020

Link: https://doi.org/10.33448..

8

Sodium-Modified Vermiculite for Calcium Ion Removal from Aq..:

Lima, Roberto R. C. ; de Lima, Paulo Douglas S. ; Greati, Vitor Rodrigues..
Industrial & Engineering Chemistry Research. 58 (2019) 22 - p. 9380-9389 , 2019

Link: https://doi.org/10.1021/..

9

A Brazilian License Plate Recognition Method for Applicatio..:

, In: 2017 IEEE First Summer School on Smart Cities (S3C),

Greati, Vitor Rodrigues ; Ribeiro, Vinicius Campos Tinoco ; da Silva, Ivanovitch Medeiros Dantas. - p. 43-48 , 2017

Link: https://doi.org/10.1109/..

10

A visual protocol for autonomous landing of unmanned aerial..:

, In: 2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE),

Sielly Jales Costa, Bruno ; Greati, Vitor Rodrigues ; Campos Tinoco Ribeiro, Vinicius.. - p. 1-6 , 2015

Link: https://doi.org/10.1109/..

11

Finite Hilbert systems for Weak Kleene logics:

Greati, Vitor ; Marcelino, Sérgio ; Rivieccio, Umberto
http://arxiv.org/abs/2401.03265. , 2024

Link: http://arxiv.org/abs/240..

12

Generating proof systems for three-valued propositional log..:

Greati, Vitor ; Greco, Giuseppe ; Marcelino, Sérgio..
http://arxiv.org/abs/2401.03274. , 2024

Link: http://arxiv.org/abs/240..

13

Adding an Implication to Logics of Perfect Paradefinite Alg..:

Greati, Vitor ; Marcelino, Sérgio ; Marcos, João.
http://arxiv.org/abs/2309.06764. , 2023

Link: http://arxiv.org/abs/230..

14

Finite two-dimensional proof systems for non-finitely axiom..:

Greati, Vitor ; Marcos, João
http://arxiv.org/abs/2205.08920. , 2022

Link: http://arxiv.org/abs/220..

15

On Logics of Perfect Paradefinite Algebras:

Gomes, Joel ; Greati, Vitor ; Marcelino, Sérgio..
http://arxiv.org/abs/2106.09883. , 2021

Link: http://arxiv.org/abs/210..

1-15