E-LIB Suche - Ergebnisse für: Cordeiro Lima, Lucas

1

O USO DO BALÃO INTRAGÁSTRICO NO TRATAMENTO DA OBESIDADE: UM..:

Cordeiro Lima, Lucas ; Pereira de Brito, Nicolas ; Bezerra Ramos, Ana Maria...
Revista Multidisciplinar em Saúde. , 2022

Link: https://doi.org/10.51161..

2

Editorial - Anais da III Semana do Aparelho Digestivo de Ro..:

De Brito, Nicolas Pereira ; Ramos, Ana Maria Bezerra ; Vaiciunas, Spencer...
Brazilian Journal of Case Reports. 2 (2022) Suppl.5 - p. 1-7 , 2022

Link: https://doi.org/10.52600..

3

Impactos de uma dieta vegetariana na infância: revisão de l..:

De Oliveira, Nieclyson Alexandre ; Papaléo, Giovanna de Amorim ; Albuquerque, Mariany Piedade Almeida..
Brazilian Journal of Case Reports. 2 (2022) Suppl.5 - p. 13 , 2022

Link: https://doi.org/10.52600..

4

Avaliação da influência da oxidação do cobre no processo de..:

Costa Neto, Luiz Pereira da ; Silva Junior, Moisés Euclides da ; Silva, Gabriel Lucas Cordeiro de Lima...
Matéria (Rio de Janeiro). 27 (2022) 4 - p. , 2022

Link: https://doi.org/10.1590/..

5

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/..

6

Evaluation of Ginga's CC-Web-Service Module:

, In: 2023 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan),

Oliveira, Sergillam Barroso ; da Silva Conceicao, Andre Ricardo ; de Lima Filho, Eddie Batista. - p. 697-698 , 2023

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

7

Formal synthesis of non-fragile state-feedback digital cont..:

Cavalcante, Thiago ; Bessa, Iury ; Lima Filho, Eddie B. de.
Scientific Reports. 12 (2022) 1 - p. , 2022

Link: https://doi.org/10.1038/..

8

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Sma..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Song, Kunjian ; Matulevicius, Nedas ; de Lima Filho, Eddie B.. - p. 65-69 , 2022

Link: https://doi.org/10.1145/..

9

ESBMC-solidity : an SMT-based model checker for solidity..:

, In: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings,

Song, Kunjian ; Matulevicius, Nedas ; de Lima Filho, Eddie B.. - p. 65-69 , 2022

Link: https://dl.acm.org/doi/1..

10

A fuzzing‐based test‐creation approach for evaluating digit..:

Izumi, Fabricio ; de Lima Filho, Eddie B. ; Cordeiro, Lucas C....
Software Testing, Verification and Reliability. 33 (2022) 1 - p. , 2022

Link: https://doi.org/10.1002/..

11

Hardware Update through Digital TV Signals:

Oliveira, Rodrigo Ribeiro de ; Guimarães, Felipe Augusto Souza ; Lucena, Mateus Martínez de...
Electronics. 10 (2021) 24 - p. 3072 , 2021

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

12

Survey on automated symbolic verification and its applicati..:

Cordeiro, Lucas C. ; Lima Filho, Eddie B. ; Bessa, Iury V.
IET Cyber-Physical Systems: Theory & Applications. 5 (2019) 1 - p. 1-24 , 2019

Link: https://doi.org/10.1049/..

13

Bounded model checking of C++ programs based on the Qt cros..:

, In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering,

Monteiro, Felipe R. ; Garcia, Mário A. P. ; Cordeiro, Lucas C.. - p. 954 ff. , 2018

Link: https://dl.acm.org/doi/1..

14

Bounded Model Checking of C++ Programs Based on the Qt Cros..:

, In: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE),

Monteiro, Felipe R. ; Garcia, Mario A. P. ; Cordeiro, Lucas C.. - p. 954-954 , 2018

Link: https://doi.org/10.1145/..

15

ESBMC-GPU A context-bounded model checking tool to verify C..:

Monteiro, Felipe R. ; da S. Alves, Erickson H. ; Silva, Isabela S....
Science of Computer Programming. 152 (2018) - p. 63-69 , 2018

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