Matos, João Batista
2514  results:
Search for persons X
?
2

Counterexample Guided Neural Network Quantization Refinemen:

Matos, João Batista P. ; de Lima Filho, Eddie B. ; Bessa, Iury...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  43 (2024)  4 - p. 1121-1134 , 2024
 
?
5

CEG4N: Counter-Example Guided Neural Network Quantization R..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,
 
?
9

Geology, Geochemistry, and Geochronology (U-Pb) of the Rio ..:

FARIA, Débora Almeida ; RUIZ, Amarildo Salina ; MATOS, João Batista...
FARIA, Débora Almeida et al. Geology, Geochemistry, and Geochronology (U-Pb) of the Rio Fortuna Gneiss - Serra do Baú Intrusive Suite - Paraguá Terrane - SW Amazonian Craton. Brazilian Journal of Geology, São Paulo, v. 44, n. 1, p. 139-154, mar. 2014. Disponível em: . Acesso em: 10 mar. 2015. ..  , 2015
 
?
12

Caracterização geológica, geoquímica e físico-mecânica prel..:

Godoy, Antônio Misson ; Quadros, Alvaro Pizzato ; Leite, Jayme Alfredo D...
GODOY, A. M. et al. Caracterização geológica, geoquímica e físico-mecânica preliminar de granitos e movimentados vermelhos da região sul/sudeste do estado do Mato Grosso, como potencial para rochas ornamentais e de revestimento. In: Anais do IV Simpósio de Rochas Ornamentais do Nordeste, 16 a 19 de novembro de 2003, Fortaleza. Rio de Janeiro: CETEM/SBG, 2003. p.106-120..  , 2003
 
?
13

Evaluating practices of the reading process in the final cy..:

Miranda, Joseval dos Reis ; Matos, João Batista Condado de
https://www.seer.ufal.br/index.php/debateseducacao/article/view/12064/9096.  , 2021
 
1-15