Skip To Main Content
de Oliveira Veras on Muck Rack

de Oliveira Veras

As seen in: Biomed Central (BMC), Dialnet - Universidad de La Rioja
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile
Back to de Oliveira Veras’s profile

Articles by de Oliveira Veras

[2512.09280] A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums

|
By de Queiroz, de Oliveira Veras
| arXiv
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (507) Issue with article?

The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups

|
By de Oliveira Veras, Tiago M. L, de Queiroz, de Souza Oliveira
| arXiv
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (457) Issue with article?

[2512.00657] Computational Paths Form a Weak ω-Groupoid

|
By de Oliveira Veras, de Queiroz, de Souza Oliveira, Tiago M. L
| arXiv
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (694) Issue with article?

Adenoma hemorrágico que imita a un aneurisma de la arteria comunicante anterior

|
By Araújo de Sousa, de Oliveira Veras, Marques Neto
| Dialnet - Universidad de La Rioja
IdiomacatalàDeutschEnglishespañoleuskarafrançaisgalegoitalianoportuguêsromână
Open in Who Shared View Duplicates (142) Issue with article?

BADASS: BActeriocin-Diversity ASsessment Software - BMC Bioinformatics

|
By da Silva Moia, de Oliveira Veras, Adonney Allan
| Biomed Central (BMC)
Pipeline The pipeline of BADASS (Fig. 1) starts with the automatic loading of bacteriocin sequences to the database. It is worth noting that this process needs to be executed only on the first use of the software. The input file consists of a WMS sequencing sample in FASTQ format. After saving the project the following steps are performed.
Open in Who Shared Issue with article?
Show More