CETELI / UFAM

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS

ANTONIO, N. S.; COSTA FILHO, C. F. F. ; COSTA, M. G. F. . Optimization of an Evaluation Function of the Four-Sided Dominos Game Using a Genetic Algorithm. IEEE Transactions on Computational Intelligence and AI in Games, v. 5, p. 33-43, 2012.

CORDEIRO, L. C. ; FISCHER, B. ; MARQUES-SILVA, J. . SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Transactions on Software Engineering, v. 38, p. 957-974, 2012.

COSTA FILHO, C. F. F. ; MELO, R. de O. ; COSTA, M. G. F. . Detecting Natural Gas Leaks Using Digital Images and Novelty Filters. Lecture Notes in Computer Science, v. 7326, p. 242-249, 2012.

FREITAS, M. ; VALENZUELA, V. ; GADELHA, M. ; DA SILVA JUNIOR, W. S. ; CORDEIRO, L. C. ; DE LUCENA JUNIOR, V. F. . A Distributed Extension of the Hybrid PRS System using Video Processing to Command a Robot via Bluetooth. International journal of computer science and network security, v. 12, p. 29-35, 2012.

DE LUCENA JUNIOR, V. F. ; VIANA, N.; MAIA, O.; CHAVES FILHO, J.; DA SILVA JUNIOR, W. S. Designing an extension API for bridging Ginga iDTV applications and home services. IEEE Transactions on Consumer Electronics, v. 58, p. 1077-1085, 2012.

TRABALHOS PUBLICADOS EM EVENTOS INTERNACIONAIS

CORDEIRO, L. C. ; MORSE, J. ; NICOLE, D. ; FISCHER, B. . Context-Bounded Model Checking with ESBMC 1.17 (Competition Contribution). In: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2012, Rome, Italy. TACAS'12, 2012. v. 7214. p. 534-537.

COHEN, D. ; VALENTIN, E. ; BARRETO, R. S. ; OLIVEIRA, H. ; CORDEIRO, L. C. . A car racing based strategy for the Dynamic Voltage and Frequency Scaling technique. In: 2012 IEEE 21st International Symposium on Industrial Electronics (ISIE), 2012, Hangzhou. 2012 IEEE International Symposium on Industrial Electronics. p. 774-779.

ROCHA, H. ; BARRETO, R. S. ; CORDEIRO, L. C. ; DIAS-NETO, A. C. . Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. In: 9th International Conference on Integrated Formal Methods, 2012, Pisa, Italy. iFM'12, 2012. v. 7321. p. 128-142.

MELO, W. C. ; DE LIMA FILHO, E. B.. Electromyographic Signal Compression Based on Preprocessing Techniques. In: 34th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012, San Diego. Proceedings of the 34th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012. p. 5404-5407.

COSTA FILHO, C. F. F. ; COSTA, M. G. F. ; ROCHA, D. A. R. Allocation of Human Resources in Medical Cooperatives using a Constraint Satisfaction Problem Approach. In: The Ninth IASTED International Conference on Biomedical Engineering, 2012, Innsbruck. Proceedings of the Ninth IASTED International Conference on Biomedical Engineering, 2012. v. 1. p. 520-526.

PADILLA, R. ; COSTA FILHO, C. F. F. ; COSTA, M. G. F. . Evaluation of Haar Cascade Classifiers Designed for Face Detection. In: ICDIP 2012: International Conference on Digital Image Processing, 2012, Venice. Proceedings of ICDIP 2012: International Conference on Digital Image Processing, 2012. v. 1. p. 362-265.

COSTA FILHO, C. F. F. ; LEVY, P. C. ; XAVIER, C. M. ; COSTA, M. G. F. ; FUJIMOTO, L. B. M., LUCIANA B.M. ; SALEM, J. Mycobacterium tuberculosis recognition with conventional microscopy. In: 2012 34th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2012, San Diego. 2012 Annual International Conference of the IEEE Engineering in Medicine and Biology Society. v. 1. p. 6263-6268.

GADELHA, M. Y. R. ; COSTA FILHO, C. F. F. ; COSTA, M. G. F. . Proposal of a Cryptography Method Using Gray Scale Digital Images. In: The 7th International Conference for Internet Technology and Secured Transactions, 2012, Londres. Proceedings of The 7th International Conference for Internet Technology and Secured Transactions, 2012. v. 1. p. 1-5.

ROSA, R. E. V. S. ; DE LUCENA JUNIOR, V. F. . Using a Voting Classification Algorithm with Neural Networks and Collaborative Filtering in Movie Recommendations for Interactive Digital TV. In: 10th European Inteeractive TV Conference, 2012, Berlin ~ Germany. Adjunct Proceedings of the 10th European Inteeractive TV Conference. Berlin - Germany: Fraunhofer Institute for Open Communication Systems, FOKUS, 2012. v. 1. p. 224-228.

OLIVEIRA, R. R. ; DE LIMA FILHO, E. B.; DE LUCENA JÚNIOR, V. F. . Reconfigurable Systems for Digital TV Environment. In: 10th European Interactive TV Conference, 2012, Berlin. Adjunct Proceedings of the 10th European Interactive TV Conference. Berlin: Fraunhofer Institute for Open Communication Systems, FOKUS, 2012. v. 1. p. 233-236.

RIBEIRO, L. ; ROSA, R. ; CAVALCANTE, A. ; BARATA, J. . IADE IDEAS Agent Development Environment: Lessons Learned and Research Directions. In: 4th CIRP Conference On Assembly Technologies And Systems, 2012, Michigam, EUA. Technologies and Systems for Assembly Quality, Productivity and Customization. Michigan: Ann Arbor, 2012.

COLLINS, E. F. ; Dias-Neto, A.C. ; DE LUCENA JUNIOR, V. F. . Strategies for Agile Software Testing Automation: An Industrial Experience. In: The 36th Annual International Computer Software & Applications Conference - Workshop on Automated Software Test (AST 2012), 2012, Istambul. Proceedings of the IEEE 36th Annual Computer Software and Applications Conference Workshops (COMPSACW). New York: IEEE, 2012. v. 1. p. 440-445.

RIBEIRO, L. ; ROSA, R. ; CAVALCANTE, A. ; BARATA, J. . IADE IDEAS Agent Development Environment: Lessons Learned and Research Directions. In: 4th CIRP Conference On Assembly Technologies And Systems, 2012, Michigam, EUA. Technologies and Systems for Assembly Quality, Productivity and Customization. Michigan: Ann Arbor, 2012.

TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS

LIMA, F. S. ; CORDEIRO, L. C. ; SOUZA, R. C. R. . Sistema de Monitoramento a Distância para Unidade de Célula a Combustível. In: VIII Congresso Brasileiro de Planejamento Energético, 2012, Curitiba. SBPE'12, 2012.

SAVINO, H. J. ; DE LIMA FILHO, E. B.; DA SILVA JÚNIOR, W. S. . Compressão de Sinais de EEG com JPEG2000 e H.264. In: XXX Simpósio Brasileiro de Telecomunicações, 2012, Brasília. Anais do XXX Simpósio Brasileiro de Telecomunicações, 2012.

MELO, W. C. ; DE LIMA FILHO, E. B.; DA SILVA JÚNIOR, W. S. . Compressão de Sinais Eletromiográficos Baseada em Técnicas de Pré-processamento. In: XXX Simpósio Brasileiro de Telecomunicações, 2012, Brasília. Anais do XXX Simpósio Brasileiro de Telecomunicações, 2012.

LEVY, P. ; XAVIER, C. M. ; COSTA, M. G. F. ; COSTA FILHO, C. F. F. ; FUJIMOTO, L. B. M. ; JOSE, J. I. S. . Segmentação do Mycobacterium Tuberculosis Através de Novas Técnicas de Classificação de Pixel. In: XII Worshop de Informática Médica, 2012, Curitiba. Anais do XII Workshop de Informática Médica, 2012. v. 1. p. 1-10.

MELO, R. de O. ; COSTA FILHO, C. F. F. ; COSTA, M. G. F. . Aplicação do Filtro de Kohonen para detecção de vazamento de gás natural. In: IV Petroleum and Chemical Industry Conference - Brazil, 2012, Rio de Janeiro. Proceedings of IV Petroleum and Chemical Industry Conference - Brazil, 2012. v. 1. p. '-6.

COSTA FILHO, C. F. F. ; COSTA, M. G. F. ; MELO, O. S. ; OSMÍDEO, Hi.; SILVA, O. S. E. ; CARVALHO, M. N. ; LISBOA, W. P. . Parceria Indústria-Universidade: 10 anos de Inovação Tecnológica na Área de Telecomunicações. In: XL Congresso Brasileiro de Educação em Engenharia, 2012, Belém. Anais do XL Congresso Brasileiro de Educação em Engenharia, 2012. v. 1. p. 1-9.

PADILLA, R.; COSTA FILHO, C. F. F. ; COSTA, M. G. F. . Avaliação de Classificadores Haar Projetados para Detecção Facial. In: Conferência Internacional de Ciências Forenses em Multimídia e Segurança Eletrônica, 2012, Brasília. Anais da Conferência Internacional de Ciências Forenses em Multimídia e Segurança Eletrônica. Brasília, 2012. v. 1. p. 100-106.

COSTA FILHO, C. F. F. ; LEVY, P ; XAVIER, C. M. ; COSTA, M. G. F. ; FUJIMOTO, L. B. M. ; JOSE, J. I. S. . Reconhecimento Automático do Mycobacterium Tuberculosis em Microscopia Convencional. In: XXIII Congresso Brasileiro de Engenharia Biomédica, 2012, Porto de Galinhas. Anais do XXIII Congresso Brasileiro de Engenharia Biomédica, 2012. v. 1. p. 912-916.

DIAS, J. R. S. ; MAIA, C. A. ; DE LUCENA JUNIOR, V. F. . Método para Controle de Fluxo de Entrada em Sistemas Max-Plus LIineares Garantindo uma dada Taxa de Produção. In: Congresso barasileiro de Automática 2012, 2012, Campina Grande - PB. Anais do XIX Congresso Brasileiro de Automática, CBA 2012. Campina Grande: UFCG, 2012. v. 1. p. 1157-1164.