CETELI / UFAM

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS

ROMAGUERA, L. V.; ROMERO, F. P.; COSTA FILHO, C. F. F.; COSTA, M. G. F. Myocardial segmentation in cardiac magnetic resonance images using fully convolutional neural networks. Biomedical Signal Processing and Control, v. 44, p. 48-57, 2018.

COSTA, M. G. F.; PINTO, K. M. B.; FUJIMOTO, L.B.M.; OGUSKU, M.; COSTA FILHO, C. F. F. MULTI-FOCUS IMAGE FUSION FOR BACILLI IMAGES IN CONVENTIONAL SPUTUM SMEAR MICROSCOPY FOR TUBERCULOSIS. Biomedical Signal Processing and Control, 2018.

MEDEIROS, RENAN LANDAU PAIVA DE; BARRA, WALTER; BESSA, IURY VALENTE DE; CHAVES FILHO, JOÃO EDGAR; AYRES, FLORINDO ANTONIO DE CARVALHO; NEVES, CLEONOR CRESCÊNCIO DAS. Robust decentralized controller for minimizing coupling effect in single inductor multiple output DC-DC converter operating in continuous conduction mode. Isa Transactions, v. 73, p. 112-129, 2018.

ARAÚJO, RODRIGO F.; ALBUQUERQUE, HIGOR F.; DE BESSA, IURY V.; CORDEIRO, LUCAS C.; CHAVES FILHO, JOÃO E. Counterexample guided inductive optimization based on satisfiability modulo theories. Science Of Computer Programming, v. 165, p. 3-23, 2018.

SILVA, YURI M. L. R.; SIMÕES, WALTER C. S. S.; NAVES, EDUARDO L. M.; FILHO, TEODIANO F. BASTOS; DE LUCENA, VICENTE F. Teleoperation Training Environment for New Users of Electric Powered Wheelchairs based on Multiple Driving Methods. IEEE Access, v. 6, p. 1-1, 2018.

CHAVES, L.; BESSA, I. V.; ISMAIL, H. I.; FRUTUOSO, A.; CORDEIRO, L. C.; LIMA FILHO, E. B. DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE TRANSACTIONS ON RELIABILITY, v. 67, p. 1420-1441, 2018.

FARIAS, A. O.; QUEIROZ, G. A. C.; BESSA, IURY V.; MEDEIROS, R. L. P.; CORDEIRO, L. C.; PALHARES, R. M. Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring. IEEE Access, v. 6, p. 62234-62254, 2018.

CORDEIRO, L. C.; KROENING, DANIEL; SCHRAMMEL, P. Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). SOFTWARE ENGINEERING NOTES, 2018.

LUCENA FILHO, W. C.; FERRAZ, E. S.; SILVA JUNIOR, W. S.; CARVALHO, C. B.  A Power Control and Anticolision Mechanism for RFID Systems. Ad Hoc & Sensor Wireless Networks, v. 42, p. 107-124, 2018.

2018. A. VASCONCELOS; MONTEIRO, D. W. L.; SALLES, L. P.; DE MORAES CRUZ, CARLOS AUGUSTO; BELMONTE, P. N. A. Impact of CMOS Pixel and Electronic Circuitry in the Performance of a Hartmann-Shack Wavefront Sensor. SENSORS, v. 18, p. 3282, 2018.

CARVALHO, F. F.; MARQUES, G. C.; THIAGO B. BEZERRA; DE MORAES CRUZ, CARLOS A.  A Novel Hybrid CMOS Pixel-Cluster for Local Light Angle, Polarization and Intensity Detection with Determination of Stokes Parameters. JICS. JOURNAL OF INTEGRATED CIRCUITS AND SYSTEMS (ED. PORTUGUÊS), v. 13, p. 1-10, 2018.

TRABALHOS PUBLICADOS EM EVENTOS INTERNACIONAIS

MIYAGAWA, M.; COSTA, MARLY GUIMARÃES FERNANDES; GUTIERREZ, M. A.; COSTA, J. P. G. F.; COSTA FILHO, CICERO F. F. Lumen Segmentation in Optical Coherence Tomography Images using Convolutional Neural Network. In: IEEE Engineering in Medicine and Biology Conference 2018 - IEEE EMBC 2018, 2018, Honolulu. Proceedings of IEEE Engineering in Medicine and Biology Conference 2018, 2018. v. 1. p. 600-603.

SILVA, T. A.; COSTA, M. G. F.; STELMACH, R.; BLAY, P. K.; GUTIERREZ, M. A.; COSTA FILHO, CICERO F F . Development of a System Mobile-based to Assist Asthma Self-Management. In: 2018 3rd Biennial South African Biomedical Engineering Conference (SAIBMEC), 2018, Cape Town. Proceedings of 2018 3rd Biennial South African Biomedical Engineering Conference (SAIBMEC), 2018. v. 1. p. 1-4.

SILVA, YURI; SIMOES, WALTER; TEOFILO, MAURO; NAVES, EDUARDO; LUCENA, VICENTE. Training environment for electric powered wheelchairs using teleoperation through a head mounted display. In: 2018 IEEE International Conference on Consumer Electronics (ICCE), 2018, Las Vegas. 2018 IEEE International Conference on Consumer Electronics (ICCE). New York: IEEE, 2018. v. 1. p. 1-2.

TEÓFILO, MAURO; LUCENA, VICENTE F.; NASCIMENTO, JOSIANE; MIYAGAWA, TAYNAH; MACIEL, FRANCIMAR. Evaluating accessibility features designed for virtual reality context. In: 2018 IEEE International Conference on Consumer Electronics (ICCE), 2018, Las Vegas. 2018 IEEE International Conference on Consumer Electronics (ICCE). New York: IEEE, 2018. v. 1. p. 1-6.

JUNIOR, ELPÍDIO H.; DA CRUZ, LUCAS F.; DA SILVA, VANDERMI J.; RAIMUNDO, MAURO R. DA S. TEÓFILO; BARRETO; LUCENA, VICENTE F. I-Jack: Wearable system for collection and evaluation physiological data. In: 2018 IEEE International Conference on Consumer Electronics (ICCE), 2018, Las Vegas. 2018 IEEE International Conference on Consumer Electronics (ICCE). New York: IEEE, 2018. v. 1. p. 1-4.

PICANÇO, W. S.; LUCENA, J. M. V. M. DE; LIRA, A. F.; LUCENA, V. F. Didactic Framework for Teaching C Programming Language: A Proposal Based on Cooperative and Competitive Learning Techniques. In: 2018 Frontiers in Education Conference - Fostering Innovation through Diversity, 2018, San Jose - California. Proceedings of the 2018 Frontiers in Education Conference. New Jersey: IEEE, 2018. v. 1. p. 1-9.

MACHADO, G. S.; SILVA, Y. M. L. R.; LUCENA JR, V. F. A Tool for the Automatic Selection of Mechatronics Remote Laboratories based on their Actual Effective Costs. In: 2018 Frontiers in Education Conference - Fostering Innovation through Diversity, 2018, San Jose - California. Proceedings of the 2018 Frontiers in Education Conference. New Jersey: IEEE, 2018. v. 1. p. 1-5.

MENDONÇA, R. S.; CAVALCANTE, A. L. D.; JAZDI, N.; LUCENA JR, V. F. The use of a Mechatronic Systems Simulator in Engineering Courses. In: 2018 Frontiers in Education Conference - Fostering Innovation through Diversity, 2018, San Jose - California. Proceedings of the 2018 Frontiers in Education Conference. New Jersey: IEEE, 2018. v. 1. p. 1-5.

SILVA, Y. M. L. R.; SOUZA, V. S.; NAVES, EDUARDO L. M.; BASTOS FILHO, T. F.; LUCENA JR, V. F. Teleoperation Training Environment for New Users of Electric Powered Wheelchairs. In: The 8th International Conference on Current and Future Trends of Information and International Conference on Current and Future Trends of Information, 2018, Leuven - Bélgica. Procedia Computer Science, 2018. v. 141. p. 343-350.

SILVA, V. J.; SOUZA, V. S.; CRUZ, R. G.; JAZDI, N.; LUCENA JR, V. F. MobiHealth: a System to Improve Medication Adherence in Hypertensive Patients. In: The 8th International Conference on Current and Future Trends of Information and International Conference on Current and Future Trends of Information, 2018, Leuven - Bélgica. Procedia Computer Science, 2018. v. 141. p. 366-373.

RODRIGUES, T. B.; SALGADO, D. P.; CORDEIRO, M. C.; M. OSTERWALD, K.; BASTOS FILHO, T. F.; LUCENA JR, V. F.; NAVES, EDUARDO L. M.; MURRAY, N. Fall Detection System by Machine Learning Framework for Public Health. In: The 8th International Conference on Current and Future Trends of Information and International Conference on Current and Future Trends of Information, 2018, Leuven - Bélgica. Procedia Computer Science, 2018. v. 141. p. 358-365.

TEÓFILO, M. R. S.; LOURENÇO, ALVARO; POSTAL, JULIANA; LUCENA JR, V. F. Exploring Virtual Reality to Enable Deaf or Hard of Hearing Accessibility in Live Theaters: A Case Study. In: 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, 2018, Las Vegas. Lecture Notes in Computer Science - Information Systems and Applications, incl. Internet/Web, and HCI, 2018. v. 10908. p. 132-148.

CHAVES, L.; BESSA, I. V.; CORDEIRO, L. C.; KROENING, DANIEL. DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. In: 21st ACM International Conference on Hybrid Systems: Computation and Control, 2018, Porto, Portugal. HSCC'18. Washington: ACM, 2018. p. 253-258.

MENEZES, R.; ROCHA, H.; CORDEIRO, L. C.; BARRETO, R. S. Map2Check using LLVM and KLEE. In: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2018, Thessaloniki, Greece. TACAS'18. Heidelberg: Springer, 2018. v. 10806. p. 437-441.

CORDEIRO, L. C.; KESSELI, PASCAL; KROENING, DANIEL; SCHRAMMEL, P.; TRTIK, M. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. In: 30th International Conference on Computer Aided Verification, 2018, Oxford, UK. CAV'18. Heidelberg: Springer, 2018. v. 10981. p. 183-190.

GADELHA, M. Y. R.; SOUSA, F. R. M.; MORSE, J.; CORDEIRO, L. C.; FISCHER, BERND; NICOLE, D. ESBMC 5.0: An Industrial-Strength C Model Checker. In: 33rd IEEE/ACM International Conference on Automated Software Engineering, 2018, Montpellier, France. ASE'18. USA: ACM, 2018. p. 888-891.

GADELHA, M. Y. R.; SOUSA, F. R. M.; CORDEIRO, L. C.; NICOLE, D. Towards Counterexample-guided k-Induction for Fast Bug Detection. In: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018, Lake Buena Vista, Florida. ESEC/FSE'18, 2018. p. 1-5.

TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS

ZEIMARANI, B.; COSTA, M. G. F.; NURANI COSTA, N. Z.; COSTA FILHO, C. F. F. Breast Tumor Classification in Ultrasound Images using Deep Convolutional Neural Network, XXVI Congresso Brasileiro de Engenharia Biomédica, p 1-4.

OLIVEIRA, A. S.; COSTA, M. G. F.; COSTA FILHO, C. F. F. Recognizing Hand Configurations of Brazilian Sign Lan-guage using Convolutional Neural Networks. XXVI Congresso Brasileiro de Engenharia Biomédica, p 1-4.

COSTA. M.G.F.; ALMEIDA, L. N. A.; GUIMARÃES, F. B.; BARBOSA. M. G. V.; OGUSKU, M.M.; COSTA, J. P. G.F. AND COSTA FILHO, C. F. F. First step of automated malaria diagnosis:  evaluation of focus functions in thick blood smear images. XXVI Congresso Brasileiro de Engenharia Biomédica, p 1-4.

JAZDI, N.; LUCENA JR, V. F. Agile Software Development Methods for Prototyping of Innovative Concepts in Manufacturing Automation. In: XXII Congresso Brasileiro de Automática - CBA 2018, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática. João Pessoa: UFPB, 2018. v. 1. p. 1-8.

JAZDI, N.; LUCENA JR, V. F. Monitoring and Controlling of Industrial Automation System Considering Vague Inputs. In: XXII Congresso Brasileiro de Automática - CBA 2018, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática. João Pessoa: UFPB, 2018. v. 1. p. 1-7.

AMARAL, H. C. C.; MENDONÇA, R.S.; CAVALCANTE, A. L. D.; LUCENA JR, V. F.; JAZDI, N. Metodologia para Desenvolvimento de Sistemas Evolutivos - MeDSE: Princípios Básicos. In: XXII Congresso Brasileiro de Automática - CBA 2018, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática. João Pessoa: UFPB, 2018. v. 1. p. 1-8.

AMARAL, H. C. C.; MENDONÇA, R.S.; CAVALCANTE, A. L. D.; LUCENA JR, V. F. Sistema Inteligente Ágil de Processo Evolutivo - Siape: Um Protótipo Brasileiro de Sistemas EPS. In: XXII Congresso Brasileiro de Automática - CBA 2018, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática. João Pessoa: UFPB, 2018. v. 1. p. 1-8.

MACHADO, G. S.; SOUZA, P. R.; LUCENA JR, V. F. Sistema de Seleção de Laboratórios de Acesso Remoto Como Suporte a Ambientes de Aprendizagem de Mecatrônica. In: XLVI Congresso Brasileiro de Educação em Engenharia (COBENGE), 2018, Salvador - BA. Anais do XLVI Congresso Brasileiro de Educação em Engenharia (COBENGE), 2018. v. 1. p. 1-10.

SIMOES, WALTER C. S. S.; SILVA, LUCIANO M. DA; SILVA, VANDERMI J. DA; DE LUCENA, VICENTE F. A Guidance System for Blind and Visually Impaired People via Hybrid Data Fusion. In: 2018 IEEE Symposium on Computers and Communications (ISCC), 2018, Natal. 2018 IEEE Symposium on Computers and Communications (ISCC), 2018. v. 1. p. 01261-01266.

SOARES, D.; MATTHAUS, B.; MOTA, E.; CARVALHO, C. B.  Avaliação Experimental da Eficácia de um Watchdog em Redes Oportunistas Móveis. In: Simpósio Brasileiro de Redes de Computadores, 2018, Campos do Jordão. XXXVI SBRC 2018, 2018. v. 2018.

SOARES, D.; MATTHAUS, B.; MOTA, E. S.; CARVALHO, C. B. A Feasibility Study of Watchdogs on Opportunistic Mobile Networks. In: IEEE ISCC 2018, 2018, Natal, Brazil. IEEE Symposium on Computers and Communications, 2018. v. 2018.

AMARAL, H. C. C.; CAVALCANTE, A.; MENDONCA, RAFAEL DA SILVA; LUCENA JR., V. F.  Sistema Inteligente Ágil de Processo Evolutivo - SIAPE: Um Protótipo Brasileiro De Sistema EPS. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa, PB. Anais do XXII Congresso Brasileiro de Automática.