CETELI / UFAM

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS

C. M. XAVIER, M. G. FERNANDES COSTA AND C. F. F. C. FILHO, "Combining Facility Location Approaches for Public Schools Expansion," in IEEE Access, vol. 8, pp. 24229-24241, 2020, doi: 10.1109/ACCESS.2020.2970385.

ROMERO, F. P.; ROMANGUERA, L. V.; COSTA FILHO, CÍCERO F. F.; COSTA, M. G. F.; EVANGELISTA NETO, J.; VAZQUEZ-SEISDEDOS, C. R. Baseline wander removal methods for ECG signals: A comparative study. REVISTA CUBANA DE CIENCIAS INFORMÁTICAS, v. 14, p. 79, 2020.

ZEIMARANI, BASHIR; COSTA, MARLY G. F.; NURANI, NILUFAR Z.; BIANCO, SABRINA RAMOS; PEREIRA, WAGNER C. A.; FILHO, CÍCERO F. F. COSTA. Breast lesion classification in ultrasound images using deep convolutional neural network. IEEE Access, v. XX, p. 1-1, 2020.

MELO, R DE O; COSTA, M. G. F.; COSTA FILHO, CICERO F. F. Applying Convolutional Neural Networks to Detect Natural Gas Leaks in Wellhead Images. IEEE Access, v. XX, p. 1-10, 2020.

DE OLIVEIRA, JOEL PARENTE; COSTA, MARLY GUIMARÃES FERNANDES; FILHO, CÍCERO FERREIRA FERNANDES COSTA. Methodology of data fusion using deep learning for semantic segmentation of land types in the Amazon. IEEE Access, v. XX, p. 1-1, 2020.

SIMÕES, WALTER C. S. S.; SILVA, YURI M. L. R.; PIO, JOSÉ LUIZ DE S.; JAZDI, NASSER; F. DE LUCENA, VICENTE. Audio Guide for Visually Impaired People Based on Combination of Stereo Vision and Musical Tones. SENSORS, v. 20, p. 151, 2020.

SIMÕES, WALTER C. S. S.; SILVA, WALMIR A.; DE LUCENA, MATEUS M.; JAZDI, NASSER; DE LUCENA, VICENTE F. A Hybrid Indoor Positioning System Using a Linear Weighted Policy Learner and Iterative PDR. IEEE Access, v. 8, p. 1-1, 2020.

SIMÕES, WALTER C. S. S.; MACHADO, GUIDO S.; SALES, ANDRÉ M. A.; DE LUCENA, MATEUS M.; JAZDI, NASSER; DE LUCENA, VICENTE F. A Review of Technologies and Techniques for Indoor Navigation Systems for the Visually Impaired. SENSORS, v. 20, p. 3935, 2020.

DE S. ROSA, RICARDO E. V.; GUIMARÃES, FELIPE A. S.; MENDONCA, RAFAEL S.; DE LUCENA, VICENTE F. Improving Prediction Accuracy in Neighborhood-based Collaborative Filtering by Using Local Similarity. IEEE Access, v. 2020, p. 1-1, 2020.

CARVALHO, C. B.; LUCENA JR, V. F.; SILVA JR., W.S.; DOS SANTOS JR., A. F. Towards the Generation, Analyze and Validation of MPEG-2 Transport Stream Based on Free Software for the Brazilian Digital TV System. In: Jornadas de Sistemas de Telecomunicaciones, 2008, Quito. Tendências. Quito, 2008. v. 2020. p. 36-40.

SOUZA, T. R. B.; RODRIGUES, G. G.; SERRAO, L. S.; MACAMBIRA, R. N. M.; CARVALHO, C. B. RESIDENTIAL SMART PLUG WITH BLUETOOTH COMMUNICATION. Journal of Engineering and Technology for Industrial Applications, v. 06, p. 20-30, 2020.

FERREIRA, DAVID; SOUZA, RICHARD; CARVALHO, CELSO. QA-kNN: Indoor Localization Based on Quartile Analysis and the kNN Classifier for Wireless Networks. SENSORS, v. 20, p. 4714-22, 2020.

GATTO, BERNARDO B.; DOS SANTOS, EULANDA M.; FUKUI, KAZUHIRO; JÚNIOR, WALDIR S. S.; DOS SANTOS, KENNY V. Fukunaga-Koontz Convolutional Network with Applications on Character Classification. NEURAL PROCESSING LETTERS, v. 51, p. 1-23, 2020.

GATTO, BERNARDO B.; SOUZA, LINCON S.; DOS SANTOS, EULANDA M.; FUKUI, KAZUHIRO; S. JÚNIOR, WALDIR S.; DOS SANTOS, KENNY V. A semi-supervised convolutional neural network based on subspace representation for image classification. EURASIP Journal on Image and Video Processing, v. 2020, p. 1-21, 2020.

CORDEIRO, L. C.; LIMA FILHO, E. B.; BESSA, I. V. A Survey on Automated Symbolic Verification and its Application for Synthesizing Cyber-Physical Systems. IET Cyber-Physical Systems: Theory & Applications, v. 5, p. 1-24, 2020.

CAVALCANTE, T. R. F.; BESSA, I. V.; LIMA FILHO, E. B.; CORDEIRO, L. C. Formal Non-fragile Verification of Step Response Requirements for Digital State Feedback Control Systems. JOURNAL OF CONTROL, AUTOMATION AND ELECTRICAL SYSTEMS, v. 31, p. 1-29, 2020.

GADELHA, M. Y. R.; MENEZES, R.; CORDEIRO, L. C. ESBMC 6.1: Automated Test Case Generation using Bounded Model Checking. International Journal on Software Tools for Technology Transfer, v. 22, p. 1-5, 2020.

ALHAWI, O.; ROCHA, H.; GADELHA, M. Y. R.; CORDEIRO, L. C.; BATISTA FILHO, E. L. Verification and refutation of C programs based on k-induction and invariant inference. International Journal on Software Tools for Technology Transfer, v. 22, p. 1-21, 2020.

CARVALHO, F. F.; DE MORAES CRUZ, CARLOS AUGUSTO; MARQUES, GREICY COSTA; DAMASCENO, K. M. C. Angular Light, Polarization and Stokes Parameters Information in a Hybrid Image Sensor with Division of Focal Plane. SENSORS, v. 20, p. 3391, 2020.

TRABALHOS PUBLICADOS EM EVENTOS INTERNACIONAIS

SERRAO, M. K. M.; COSTA, M. G. F.; FUJIMOTO, L. B.; OGUSKU, M. M.; FILHO, C. F. F. COSTA. Automatic Bacillus Detection in Light Field Microscopy Images Using Convolutional Neural Networks and Mosaic Imaging Approach. In: 2020 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in conjunction with the 43rd Annual Conference of the Canadian Medical and Biological Engineering Society, 2020, Montreal. 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC), 2020. p. 1903-1906.

PORTELA, R. D. S.; PEREIRA, J. R. G.; COSTA, M. G. F.; FILHO, C. F. F. COSTA. Lung Region Segmentation in Chest X-Ray Images using Deep Convolutional Neural Networks. In: 2020 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in conjunction with the 43rd Annual Conference of the Canadian Medical and Biological Engineering Society, 2020, Montreal. 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC), 2020. p. 1246-1249.

CAVALCANTE, V. L.; AMOEDO, D. A.; SOUZA, A. S.; COSTA, L. R.; VALADÃO, M. D.; CRUZ2, C. F.; SILVA, A. P.; BELEM, R. J.; JESUS, A. S.; EVANGELISTA, L. G.; SILVA, O. R.; PAULA, R. G.; BEZERRA, T. B.; S.S. JUNIOR, W.; CARVALHO, C. B. Automated Dead/Bright Pixel Distance Measurement System on Computer Monitors. In: IEEE International Conference on Consumer Electronics (ICCE), 2020, Taiwan. IEEE 2020 ICCE-TW. v. 2020.

FERREIRA, D. A.; AMOEDO, D. A.; COSTA, L. R.; VALADÃO, M. D.; SOUZA, A. S.; OUCHI, K. Y.; PEREIRA, A. M.; TORRES, G. M.; SILVA, M. O.; CRUZ, C. F.; SILVA, A. P.; BELEM, R. J.; JESUS, A. S.; COSTA, A. S.; EVANGELISTA, L. G.; SILVA, O. R.; BEZERRA, T. B.; S. S. JUNIOR, W.; CARVALHO, C. B. Dead Pixel Detection on Liquid Crystal Displays using Random Forest, SVM, and Harris Detector. In: IEEE International Conference on Consumer Electronics, 2020, Taiwan. IEEE 2020 ICCR-TW, 2020.

VALADAO, M. D. M.; CARVALHO, C. B.; S. JUNIOR, W. S. Trends and Challenges for the Spectrum Sensing in the Next Generation of Communication Systems. In: IEEE International Conference on Consumer Electronics, 2020, Taiwan. IEEE 2020 ICCR-TW, 2020.

DANTAS, P. V.; SILVA JUNIOR, W. S.; CARVALHO, C. B. Turning Digital Signal Processing into Graph Signal Processing: Overview and Applications. In: IEEE International Conference on Consumer Electronics, 2020, Taiwan. IEEE 2020 ICCR-TW, 2020.

DANTAS, P. V.; S.S. JUNIOR, W.; CARVALHO, C. B. Energy Disaggregation using Principal Component Analysis Representation. In: Conference: International Conference on Machine Learning and Intelligent Systems (MLIS), 2020, Seul. MLIS, 2020. v. 2020.

CAVALCANTE, VICTOR L.G.; AMOEDO, DIEGO A.; SOUZA, ADRIANA S.; COSTA, LUCIANA R.; VALADAO, MYKE D.M.; CRUZ, CAIO F.S.; SILVA, AGEMILSON P. BELEM, RUAN J.S.; JESUS, ANDERSON S.; EVANGELISTA, LUCAS G.C.; SILVA, OSMAR R.A.; PAULA, RICARDO G.; BEZERRA, THIAGO B.; JUNIOR, WALDIR S.S.; CARVALHO, CELSO B. Automated Dead/Bright Pixel Distance Measurement System on Computer Monitors. In: 2020 IEEE International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2020, Taoyuan. 2020 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2020. p. 1-2.

FERREIRA, DAVID A. O.; AMOEDO, DIEGO A.; COSTA, LUCIANA R.; VALADÃO, MYKE D. M.; SOUZA, ADRIANA S.; OUCHI, KETHILEN Y.; PEREIRA, ANTONIO M. C.; TORRES, GUSTAVO M.; SILVA, MATEUS O.; CRUZ, CAIO F. S.; SILVA, AGEMILSON P.; BELEM, RUAN J. S.; JESUS, ANDERSON S.; COSTA, ANDRÉ S.; EVANGELISTA, LUCAS G. C.; SILVA, OSMAR R. A.; BEZERRA, THIAGO B.; JUNIOR, WALDIR S. S.; CARVALHO, CELSO B. Dead Pixel Detection on Liquid Crystal Displays using Random Forest, SVM, and Harris Detector. In: 2020 IEEE International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2020, Taoyuan. 2020 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2020. p. 1-2.

VALADAO, MYKE D. M.; CARVALHO, CELSO B.; JUNIOR, WALDIR S. S. Trends and Challenges for the Spectrum Sensing in the Next Generation of Communication Systems. In: 2020 IEEE International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2020, Taoyuan. 2020 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2020. p. 1-2.

TRIBUZY, LUCAS B.; TORRES, YASMIM P.; FURTADO, RAFAEL S.; JUNIOR, LUIZ C. S. GARCIA; BITAR, NEWTON P.; JUNIOR, WALDIR S. S. Vehicle License Plate Preprocessing Techniques Using Graphical Interface. In: 2020 IEEE International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2020, Taoyuan. 2020 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2020. p. 1-2.

DANTAS, PIERRE V.; CARVALHO, CELSO B.; JUNIOR, WALDIR S. S. Turning Digital Signal Processing into Graph Signal Processing: Overview and Applications. In: 2020 IEEE International Conference on Consumer Electronics Taiwan (ICCETaiwan), 2020, Taoyuan. 2020 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan), 2020. p. 1-2.

GADELHA, MIKHAIL Y. R.; MENEZES, R.; SOUSA, F. R. M.; CORDEIRO, L. C.; NICOLE, D. ESBMC: Scalable and Precise Test-Case Generation based on the Floating-Point Theory (Competition Contribution).. In: 23rd International Conference on Fundamental Approaches to Software Engineering, 2020, Dublin, Ireland. FASE'20. Heidelberg: Springer, 2020. v. 12076. p. 525-529.

ROCHA, H.; MENEZES, R.; CORDEIRO, L. C.; BARRETO, R. S. Map2Check: Using Symbolic Execution and Fuzzing (Competition Contribution. In: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2020, Dublin, Ireland. TACAS'20. Heidelberg: Springer, 2020. v. 12079. p. 403-407.

GADELHA, M. Y. R.; CORDEIRO, L. C.; NICOLE, D. An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. In: 13th International Workshop on Numerical Software Verification 2020, 2020, Los Angeles, CA, USA. NSV'2020. Heidelberg, Germany: Springer, 2020. p. 1-20.

TRINDADE, A. B.; CORDEIRO, L. C. Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. In: 12th Working Conference on Verified Software: Theories, Tools, and Experiments, 2020, Los Angeles, USA. VSTTE'20. Heidelberg: Springer, 2020. p. 1-18.

VALADÃO, M. D. M.; PEREIRA, A. M. C.; AMOEDO, D. A.; LIMA FILHO, E. B.; CARVALHO, C. B.; COSTA, A. L. A.; CORDEIRO, L. C.; SILVA JUNIOR, W. S. Classificação Automática de Modulações utilizando Redes Neurais Artificiais com regularização Bayesiana e algoritmo de retropropagação de Levenberg-Marquardt. In: XXXVIII Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2020, Florianópolis. SBrT'20, 2020. p. 1-5.

TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS

FERREIRA, D.; SILVA, W.; CARVALHO, C. B. Localização em Ambientes Internos Baseada em Aprendizado Supervisionado Utilizando Estações de Rádio FM. In: Escola Regional de Informática - GO, 2020, Goiânia. ERIGO-2020, 2020. v. 2020.

ROSA, W. C.; MOTA, E. S.; REZENDE, J. F.; CARVALHO, C. B. QoN++: Roteamento por Qualidade dos Nós com redução de Overhead em Redes DTN. In: Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2020, Florianópolis. SBrT-2020, 2020.

CARVALHO, A. S.; de REZENDE, J. F.; CARVALHO, C. B. Sistema de Localização em Ambientes Internos usando Wi-Fi e algoritmo K-NN. In: Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2020, Florianópolis. SBrT 2020, 2020.

OLIVEIRA, J. P.; COSTA, MARLY GUIMARÃES FERNANDES; COSTA FILHO, CÍCERO FERREIRA FERNANDES. Segmentação Semântica de Tipos de Uso de Solo na Amazônia Utilizando Aprendizado Profundo. In: XXI GEOINFO, 2020, São José dos Campos. Proceedings XXI GEOINFO. São José dos Campos, 2020. p. 198-203.

AQUINO, G. A. E.; SERRÃO, M. K.; COSTA, M. G. F.; COSTA FILHO, CÍCERO F. F. Human Activity Recognition from Accelerometer Data with Convolutional Neural Networks. In: XXVII Brazilian Congress in Biomedical Engineering, 2020, Vitória, Brazil. Proceedings of XXVII Brazilian Congress in Biomedical Engineering. Vitória: Sociedade Brasileira de Engenharia Biomédica, 2020. p. 108-113.

AQUINO, G. A. E.; SERRAO, M. K.; COSTA, M. G. F.; COSTA FILHO, CICERO F. F. Evaluating the Performance of Convolutional Neural Networks with Direct and Sequential Acyclic Graph Architectures in Automatic Segmentation of Breast Lesions in Ultrasound Images. In: XXVII Brazilian Congress in Biomedical Engineering, 2020, Vitoria, Brazil. Proceedings of XXVII Brazilian Congress in Biomedical Engineering. Vitória: Sociedade Brasileira de Engenharia Biomédica, 2020. p. 114-119.

COSTA FILHO, CÍCERO FERREIRA FERNANDES; NEGREIROS, J. V. C.; COSTA, M. G. F. Multimodal Biometric System Based on Autoencoders and Learning Vector Quantization. In: XXVII Brazilian Congress in Biomedical Engineering, 2020, Vitória, Brazil. Proceedings of XXVII Brazilian Congress in Biomedical Engineering. Vitória: Sociedade Brasileira de Engenharia Biomédica, 2020. p. 626-631.

FERREIRA, D. A. O.; DA SILVA JÚNIOR, WALDIR SABINO; CARVALHO, C. B. Localização em Ambientes Internos Baseada em Aprendizado Supervisionado Utilizando Estações de Rádio FM. In: 2020 VIII Escola Regional de Informática de Goiás (ERI-GO 2020), 2020, Goiânia. Anais da 2020 VIII Escola Regional de Informática de Goiás (ERI-GO 2020), 2020. p. 1-13.