Tiago M. L. Veras | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor Math AI

Featured Co-authors

Ruy J. G. B. de Queiroz
11 publications
Adenilton J. da Silva
8 publications
Anjolina G. de Oliveira
6 publications
Arthur F. Ramos
5 publications
Wilson R. de Oliveira
4 publications
Priscila G. M. dos Santos
2 publications
Rodrigo S. Sousa
2 publications
Thiago D. O. Silva
1 publication

research

∙ 07/13/2020

Computational Paths – A Weak Groupoid

We use a labelled deduction system based on the concept of computational...

0 Tiago M. L. Veras, et al. ∙

research

∙ 01/11/2020

Parametric Probabilistic Quantum Memory

Probabilistic Quantum Memory (PQM) is a data structure that computes the...

0 Rodrigo S. Sousa, et al. ∙

research

∙ 06/19/2019

A Topological Application of Labelled Natural Deduction

We use a labelled deduction system based on the concept of computational...

0 Tiago M. L. Veras, et al. ∙