E-LIB Suche - Ergebnisse für: Matos Jr., João Batista P.

1

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

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

Matos Jr., João Batista P. ; Bessa, Iury ; Manino, Edoardo.. - p. 29-45 , 2022

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

2

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

Matos Jr., João Batista P ; Bessa, Iury ; Manino, Edoardo..
http://arxiv.org/abs/2207.04231. , 2022

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

3

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

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

4

Synthesis of a Combinatorial Library of Amides and Its Eval..:

Castral, Thais C. ; Matos, Andreia P. ; Monteiro, Julia L....
Journal of Agricultural and Food Chemistry. 59 (2011) 9 - p. 4822-4827 , 2011

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

5

Effects of Limonoids from Cipadessa fruticosa on Fall Armyw..:

Matos, Andreia P. ; Leite, Ana C. ; Batista-Pereira, Luciane G....
Zeitschrift für Naturforschung C. 64 (2009) 5-6 - p. 441-446 , 2009

Link: https://doi.org/10.1515/..

6

Unlocking the Secondary Critical Raw Material Potential of ..:

de Oliveira, Daniel P. S. ; Gonçalves, Pedro ; Morais, Igor...
Minerals. 14 (2024) 2 - p. 127 , 2024

Link: https://doi.org/10.3390/..

7

Anthropogenic debris ingestion in a tropical seabird commun..:

Matos, D.M. ; Ramos, J.A. ; Bessa, Filipa...
Science of The Total Environment. 898 (2023) - p. 165437 , 2023

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

8

Microplastics ingestion and endocrine disrupting chemicals ..:

Matos, Diana M. ; Ramos, J.A. ; Brandão, A.L.C....
Science of The Total Environment. 912 (2024) - p. 168664 , 2024

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

9

In vitro and in vivo antileishmanial activity of a fluoroqu..:

Tavares, Grasiele S.V. ; Mendonça, Débora V.C. ; Lage, Daniela P....
Acta Tropica. 191 (2019) - p. 29-37 , 2019

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

10

Isogeometric analysis of functionally graded panels using B..:

Silva, Francisco Davyd Pereira ; Barroso, Elias Saraiva ; de Matos, Gabriel Braga Alves..
Composite Structures. 344 (2024) - p. 118310 , 2024

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

11

Thermoresponsive Hydrogel Containing Viscum album Extract f..:

Batista, João V. D. C. ; Matos, Ana Paula S. ; Oliveria, Adriana P....
Pharmaceutics. 14 (2021) 1 - p. 37 , 2021

Link: https://doi.org/10.3390/..

12

Contributors:

, In: Zika Virus Biology, Transmission, and Pathology,

Abram, Quinn H. ; Addas-Carvalho, Marcelo ; Alpuche-Lazcano, Sergio P.... - p. xix-xxiii , 2021

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

13

Growth of α-Fe2O3 thin films by plasma deposition: Studies ..:

Júnior, José Weliton Nogueira ; Monção, Renan Matos ; Bandeira, Rafael Marinho...
Thin Solid Films. 736 (2021) - p. 138919 , 2021

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

14

Electrochemical sensing of ecstasy with electropolymerized ..:

Couto, Rosa A.S. ; Costa, Séfora S. ; Mounssef Jr., Bassim...
Sensors and Actuators B: Chemical. 290 (2019) - p. 378-386 , 2019

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

15

List of Contributors:

, In: Genetically Engineered Foods,

Agaviezor, Brilliant O. ; Anton, Gabriela ; Ferreira Barros, Nicolle L.... - p. xv-xvi , 2018

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