CETELI / UFAM

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS 

DE MELO, WHEIDIMA CARNEIRO; DE LIMA FILHO, EDDIE BATISTA; DA SILVA JÚNIOR, WALDIR SABINO. SEMG signal compression based on two-dimensional techniques. Biomedical Engineering Online (Online), v. 15, p. 1-31, 2016.

CARNEIRO DE MELO, WHEIDIMA; DE LIMA FILHO, EDDIE BATISTA; DA SILVA JÚNIOR, WALDIR SABINO. Electromyographic Signal Compression Through Image Encoders and Preprocessing Techniques. Journal of Communication and Information Systems (Online), v. 31, p. 188-197, 2016.

NASCIMENTO, CARMINA DESSANA LIMA; SILVA, SÉRGIO DEODORO DE SOUZA; SILVA, THALES ARAÚJO DA; PEREIRA, WAGNER COELHO DE ALBUQUERQUE; COSTA, MARLY GUIMARÃES FERNANDES; COSTA FILHO, CÍCERO FERREIRA FERNANDES. Breast tumor classification in ultrasound images using support vector machines and neural networks. Research on Biomedical Engineering, v. 32, p. 283-292, 2016.

DE FREITAS, MAURO L.; MARTINS, WALLACE A.; DE LIMA FILHO, EDDIE B.; DA SILVA JÚNIOR, WALDIR S. New Designs for Reduced-Redundancy Transceivers. Circuits, Systems, and Signal Processing, v. 34, p. 1-27, 2016.

ABREU, R.; GADELHA, M. Y.; CORDEIRO, L. C.; E. B. L. FILHO; SILVA JÚNIOR, W. S. Bounded Model Checking for Fixed-Point Digital Filters. Journal of The Brazilian Computer Society (Online), v. 22, p. 1, 2016.

CORDEIRO, L. C.; LIMA FILHO, E. B. SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends. Software Engineering Notes, v. 3, p. 1-6, 2016.

BESSA, IURY V.; ISMAIL, HUSSAMA I.; CORDEIRO, LUCAS C.; FILHO, JOÃO E. C. Verification of fixed-point digital controllers using direct and delta forms realizations. Design Automation for Embedded Systems, v. 20, p. 95-126, 2016.

ABREU, RENATO B.; GADELHA, MIKHAIL Y. R.; CORDEIRO, LUCAS C.; DE LIMA FILHO, EDDIE B.; DA SILVA, WALDIR S. Bounded model checking for fixed-point digital filters. Journal of The Brazilian Computer Society (Online), v. 22, p. 1-20, 2016.

BESSA, IURY V.; ISMAIL, H. I.; PALHARES, R. M.; CORDEIRO, L. C.; CHAVES FILHO, J. E. Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty. IEEE Transactions on Computers (Print), v. 10, p. 1-9, 2016.

PEREIRA, P. A.; ALBUQUERQUE, H.; SILVA, I.; MARQUES, H.; RODRIGUES, F.; FERREIRA, R. S.; CORDEIRO, L. C. SMT-Based Context-Bounded Model Checking for CUDA Programs. Concurrency and Computation, v. 28, p. 1-20, 2016.

DE BESSA, IURY VALENTE; PALHARES, REINALDO MARTINEZ; D'ANGELO, MARCOS FLÁVIO SILVEIRA VASCONCELOS; CHAVES FILHO, JOÃO EDGAR. Data-driven fault detection and isolation scheme for a wind turbine benchmark. Renewable Energy, v. 87, p. 634-645, 2016.

ERIKSON V. DE S. ROSA, RICARDO; FERREIRA DE LUCENA, VICENTE. Contextualizing and capturing individual user interactions in shared iTV environments. Multimedia Tools and Applications, v. 75, p. 1-23, 2016.

TRABALHOS PUBLICADOS EM EVENTOS INTERNACIONAIS 

FILHO, C F. F. COSTA; DOS SANTOS, B. L.; DE SOUZA, R. S.; DOS SANTOS, J. R.; COSTA, M. G. F. A new method for recognizing hand configurations of Brazilian gesture language. In: 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2016, Orlando. 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2016. p. 3829-3832.

GATTO, B. B.; SANTOS, E. M.; SILVA JÚNIOR, WALDIR SABINO. A Deep Network Model based on Subspaces: A Novel Approach for Image Recognition. In: CVSS: 21st British Machine Vision Association (BMVA) Computer Vision Summer School, 2016, Swansea, UK. Proceedings of the 21st British Machine Vision Association (BMVA) Computer Vision Summer School, 2016.

PEREIRA, PHILLIPE; ALBUQUERQUE, HIGO; MARQUES, HENDRIO; SILVA, ISABELA; CARVALHO, CELSO; CORDEIRO, LUCAS; SANTOS, VANESSA; FERREIRA, RICARDO. Verifying CUDA programs using SMT-based context-bounded model checking. In: the 31st Annual ACM Symposium, 2016, Pisa. Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16. New York: ACM Press. p. 1648-1653.

ROCHA, H.; CORDEIRO, L. C.; BARRETO, R. S. Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution). In: 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2016, Eindhoven, The Netherlands. TACAS, 2016. v. 9636. p. 934-937. 

GARCIA, M. A. P.; SOUSA, F. R. M.; CORDEIRO, L. C.; LIMA FILHO, E. B. ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. In: 23rd International SPIN symposium on Model Checking of Software, 2016, Eindhoven, Netherlands. SPIN, 2016. v. 9641. p. 97-103.

PEREIRA, P. A.; SOUSA, F. R. M.; CORDEIRO, L. C.; COSTA FILHO, C. F. F.; COSTA, M. G. F. Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration. In: 46th Annual Frontiers in Education (FIE) Conference, 2016, Erie. FIE, 2016. p. 1-9.

ARAUJO, R.; BESSA, I. V.; CORDEIRO, L. C.; CHAVES FILHO, J. E. SMT-based Verification Applied to Non-convex Optimization Problems. In: VI Brazilian Symposium on Computing Systems Engineering, 2016, João Pessoa, Paraíba. SBESC, 2016. p. 1-8. 

DA SILVA, V. J.; MAIA, O. B.; RODRIGUES, M.; DE LUCENA, V. F. Universal system for integrating commercial medical devices with standardized digital TV systems. In: 2016 IEEE International Conference on Consumer Electronics (ICCE), 2016, Las Vegas. 2016 IEEE International Conference on Consumer Electronics (ICCE). v. 1. p. 301-304.

SIMÕES, W. C. S. S.; DE LUCENA, V. F. Blind user wearable audio assistance for indoor navigation based on visual markers and ultrasonic obstacle detection. In: 2016 IEEE International Conference on Consumer Electronics (ICCE), 2016, Las Vegas. 2016 IEEE International Conference on Consumer Electronics (ICCE). v. 1. p. 60-63.

MENDONCA, RAFAEL DA SILVA; CAVALCANTE, ANDRE LUIZ DUARTE; DE LUCENA JUNIOR, VICENTE FERREIRA. EPSCore: A didactic open architecture of an Evolvable Production System. In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, Berlin. 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA). v. 1. p. 1-4.

SIMÕES, W. C. S.S.; DE LUCENA, V. F. Hybrid Indoor Navigation assistant for visually impaired people based on fusion of proximity method and pattern recognition algorithm. In: 2016 IEEE 6th International Conference on Consumer Electronics Berlin (ICCEBerlin), 2016, Berlin. 2016 IEEE 6th International Conference on Consumer Electronics - Berlin (ICCE-Berlin). v. 1. p. 108-114.

NAVES, E. L. M.; BASTOS, T. F.; BOURHIS, G.; SILVA, Y. M. L. R.; SILVA, V. J.; LUCENA, V. F. Virtual and augmented reality environment for remote training of wheelchairs users: Social, mobile, and wearable technologies applied to rehabilitation. In: 2016 IEEE 18th International Conference on eHealth Networking, Applications and Services (Healthcom), 2016, Munich. 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom). v. 1. p. 1-4.

XAVIER, C. M.; COSTA, M. G. F.; COSTA FILHO, C. F. F. Optimizing Universities Allocation with Integer Programming Using a New Distance Measure. In: 5th International Conference on Engineering Optimization, 2016, Foz do iguacu. Proceedings of 5th International Conference on Engineering Optimization, 2016. v. 1. p. 1-10.

SILVA, VANDERMI J.; RODRIGUES, MARLOS A. S.; BARRETO, RAIMUNDO; FERREIRA DE LUCENA, VICENTE. UbMed: A ubiquitous system for monitoring medication adherence. In: 2016 IEEE 18th International Conference on eHealth Networking, Applications and Services (Healthcom), 2016, Munich. 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom). v. 1. p. 1-4.

DE LUCENA, VICENTE F.; NETO, JOSÉ P. DE QUEIROZ; DE LUCENA, JULIANA M. V. M. An experience report of inter-institutional engineering degree programs in the Amazon region. In: 2016 IEEE Frontiers in Education Conference (FIE), 2016, Eire. 2016 IEEE Frontiers in Education Conference (FIE), 2016. v. 1. p. 1-8.

TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS

NASCIMENTO, C. D. L.; COSTA, MARLY GUIMARÃES FERNANDES; MACEDO, M.; GUTIERREZ, M. A.; COSTA FILHO, CÍCERO FERREIRA FERNANDES. Identificação de Regiões de Bifurcação em Imagens de Tomografia Intravascular por Coerência Ótica Utilizando Máquinas de Vetores de Suporte. In: XXV Congresso Brasileiro de Engenharia Biomédica? CBEB 2016, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1175-1178.

FARIAS, F. S.; SALES E SILVA, L. E.; MELO, W. C.; EDDIE B. L. FILHO; DA SILVA JÚNIOR, WALDIR SABINO. Deteção e Análise de Conteúdo de Telas de TV e Monitores. In: Simpósio Brasileiro de Telecomunicações (SBrT), 2016, Santarém, PA. Anais do XXXIV Simpósio Brasileiro de Telecomunicações (SBrT), 2016. p. 162-166. 

PINTO, K. M. B.; COSTA, M. G. F.; FUJIMOTO, L.B.M.; OGUSKU, M.; COSTA FILHO, CÍCERO F. F. Avaliação de Métodos de Fusão de Imagens Multifocais Aplicados a Imagens baciloscópicas de Campo Claro Utilizadas no Diagnóstico da Tuberculose. In: XXV Congresso Brasileiro de Engenharia Biomédica - XXV CBEB, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1007-1010.

ROMANGUERA, L. V.; ROMERO, F. P.; COSTA FILHO, CÍCERO FERREIRA FERNANDES; COSTA, MARLY GUIMARÃES FERNANDES. Detecção Automática da Pupila Usando Ajuste de Elipse. In: XXV Congresso Brasileiro de Engenharia Biomédica - XXV CBEB, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1011-1014.

COSTA, MARLY GUIMARÃES FERNANDES; ROMANGUERA, L. V.; PERDIGON, F.; COSTA, J. P. G. F. COSTA FILHO, CÍCERO F. F. Baciloscopia Automatizada: Uma Revisão sobre os Avanços Tecnológicos. In: XXV Congresso Brasileiro de Engenharia Biomédica - XXV CBEB, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1115-1118.

LOBATO, B.; COSTA FILHO, CÍCERO F. F.; COSTA, M. G. F. Reconhecimento das Configurações de Mãos da Língua Brasileira de Sinais Utilizando o Classificador de Novidades. In: XXV Congresso Brasileiro de Engenharia Biomédica - CBEB 2016, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1019-1022.

ROMERO, F. P.; MELENDEZ, E. F. P.; ROMANGUERA, L. V.; COSTA, M. G. F.; SEISDEDOS, R. V.; EVANGELISTA NETO, J. Caracterização Espectral das Flutuações de Linha de Base em Sinais de ECG Durante Provas de Esforço. In XXV Congresso Brasileiro de Engenharia Biomédica - CBEB 2016, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1019-1022.

MENDES, J. P. C.; COSTA, M. G. F.; PEREIRA, W.C.A.; COSTA FILHO, C. F. F. Segmentação Automática de Lesões de Mama em Imagens de Ultrassom. In: XXV Congresso Brasileiro de Engenharia Biomédica? CBEB 2016, 2016, Foz do Iguaçu. Anais do XXV Congresso Brasileiro de Engenharia Biomédica, 2016. v. 1. p. 1079-1082.

SOUZA, A. S.JANUÁRIO, F. A. P.; CORDEIRO, L. C. Verificação de Programas Multi-Threads Baseados no Framework Multiplataforma Qt. In: IV Encontro Regional de Engenharia, 2016, Manaus, Brasil. ENCOENG'16, 2016. p. 131-140.