TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS
MACEDO RODRIGUES, RAMYSES ; COSTA, Marly Guimarães Fernandes ; Costa Filho, Cicero Ferreira Fernandes. Fingerprint verification using characteristic vectors based on planar graphics. Signal, Image and Video Processing (Internet), v. 1, p. 1-15, 2013.
COSTA FILHO, C. F. F. ; PINHEIRO, C. F. M. ; COSTA, M. G. F. ; Pereira, W.C.A. . Applying a novelty filter as a matching criterion to iris recognition for binary and real-valued feature vectors. Signal, Image and Video Processing (Internet), v. 7, p. 287-296, 2013.
ANTONIO, NIRVANA S. ; COSTA FILHO, CÍCERO F. F. ; COSTA, MARLY 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, 2013.
4Morse, Jeremy ; CORDEIRO, L. C. ; NICOLE, D. ; FISCHER, BERND . Model checking LTL properties over ANSI-C programs with bounded traces. Software and Systems Modeling (Print), v. 013, p. 366, 2013.
ROSA, R. E. V. S. ; LUCENA JUNIOR, V. F. ; CORDEIRO, L. C. ; CHAVES FILHO, J. E. . Dynamic and Automated Product Derivation for Consumer Electronics Software Applications. IEEE Transactions on Consumer Electronics, 2013.
GADELHA, M. Y. R. ; COSTA FILHO, CÍCERO F. F. ; COSTA, M. G. F. . Optimizations of a Cryptographic Method Using Gray Scale Digital Images. Journal of Internet Technology and Secured Transactions (JITST),, v. 2, p. 141-146, 2013
TRABALHOS PUBLICADOS EM EVENTOS INTERNACIONAIS
ROSA, D. S. ; COSTA FILHO, C.F.F. ; COSTA, M. G. F. . Diagnóstico de câncer de mama a partir de características do núcleo de imagens processadas de punção aspirativa por agulha fina, utilizando redes neurais artificiais. In: XIX Congresso Argentino de Bioingenieria, 2013, Tucuman. Anais do XIX Congresso Argentino de Bioingenieria, 2013. p. 1-8.
Costa Filho, Cicero Ferreira Fernandes ; Melo, R de O ; COSTA, Marly Guimarães Fernandes. An Improved System for Detecting Natural Gas Leaks. In: Science and Information Conference, 2013, Londres. Proceedings of 2013 Science and Information Conference, 2013. v. 1. p. 443-447.
Simões, W. C. S. S. ; Barboza, R. S. ; Lucena Jr, V. F. ; Lins, R. D. . Use of Hand Gestures as Interface for Interaction Between Multi-Users and the IDTV. In: Euro ITV 2013 - 11th European Interactive TV Conference - 4th Workshop on Interactive Digital TV in Emergent Economies, 2013, Como - Italy. EuroITV 2013 - Adjunct Proceedings. Milano: Politecnico di Milano, 2013. v. 1. p. 152-157.
Lucena, Vicente Ferreira ; Lugmayr, A. ; Yu, Z. ; Pal, A. . 4th EuroITV 2013 workshop on interactive digital TV in emergent economies -- thinking outside the TV box. In: the 11th european conference, 2013, Como. Proceedings of the 11th european conference on Interactive TV and video - EuroITV '13. New York: ACM Press. v. 1. p. 175-176.
Simões, W. C. S. S. ; Barboza, R. S. ; Lucena Jr, V. F. ; Lins, R. D. . A Fast and Accurate Algorithm for Detecting and Tracking Moving Hand Gestures. In: Computational Vision and Medical Image Processing IV: VIPIMAGE2013, 2013, Funchal - Ilha da madeira. Computational Vision and Medical Image Processing IV: VIPIMAGE2013. London: CRC Press, 2013. v. 1. p. 1-6.
Valenzuela, V. E. L. ; Lucena, Vicente F. ; Jazdi, N. ; Göhner, P. . Reusable hardware and software model for remote supervision of industrial Automation Systems using web technologies. In: 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013, Cagliari. 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013. v. 1. p. 1-8.
Valenzuela, V. E. L. ; Lucena, Vicente F. ; Parvaresh, Payam ; Jazdi, N. ; Göhner, P. . Voice-activated system to remotely control industrial and building automation systems using cloud computing. In: 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013, Cagliari. 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013. v. 1. p. 1-4.
Gomes, C.E.M ; Yazdi, F. ; Lucena Jr, V. F. ; Göhner, P. . An Intelligent Medicine Cabinet Proposed to Increase Medication Adherence. In: IEEE Healthcom 2013 - 15th International Conference on E-Health Networking, Application & Services, 2013, Lisboa. Proceedings of the Healthcom 2013. New York - USA: IEEE, 2013. v. 1. p. 1-8.
TEÓFILO, MAURO ; CAVALCANTI, LUIZ ; DE LUCENA, VICENTE FERREIRA . A SMS-based application store for emerging market. In: SIGGRAPH Asia 2013 Symposium on Mobile Graphics and Interactive Applications, 2013, Hong Kong. SIGGRAPH Asia 2013 Symposium on Mobile Graphics and Interactive Applications on - SA '13. New York: ACM Press, 2013. v. 1. p. 1-4.
MORSE, J. ; CORDEIRO, L. C. ; NICOLE, D. ; Fischer, B. . Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution). In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2013, Rome, Italy. TACAS'13, 2013. v. 7795. p. 619-622.
RAMALHO, MIKHAIL ; FREITAS, MAURO ; SOUSA, FELIPE ; MARQUES, HENDRIO ; Cordeiro, Lucas ; FISCHER, BERND . SMT-Based Bounded Model Checking of C++ Programs. In: 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS), 2013, Scottsdale. 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS). p. 147-156.
TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS
COSTA FILHO, C.F.F. ; COSTA, M. G. F. ; FALCAO, T. A. . Comparação do Desempenho do Classificador de Novidades com o Classificador do Vizinho mais Próximo no Reconhecimento Facial. In: XI Simpósio Brasileiro de Automação Inteligente, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente, 2013. v. 1. p. 1-6.
Bastos Filho, T. F. ; Fernandes, M.R. ; Lucena Jr, V. F. ; Pereira, C. E. . Proposal of Architecture for Integration of a Wheelchair in an Intelligent Space. In: : 4th IEEE Biosignals and Biorobotics conference (ISSNIP), 2013, Rio de Janeiro - Brasil. roceedings of the 4th IEEE Biosignals and Biorobotics conference (ISSNIP), 2013. v. 1. p. 1-6.
Dias, J. R. S. ; Maia, C. A. ; Lucena Jr, V. F. . Control of Input Stream of Manufacturing Systems Modeled by Timed Event Graphs and Max-Pus Algebra. In: 6th IFAC Conference on Management and Control of Production and Logistics, 2013, 2013, Fortaleza. Proceedings of the 6th IFAC Conference on Management and Control of Production and Logistics, 2013. v. 6. p. 478-485.
Gomes, C.E.M ; Yazdi, F. ; Lucena Jr, V. F. ; Göhner, P. . Um Armário de Medicamento Inteligente Desenvolvido para Aumentar a Eficiência da Medicação. In: Simpósio Brasileiro de Automação Inteligente - XI SBAI, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente. São Paulo: SBA, 2013. v. 1. p. 1-6.
Dias, J. R. S. ; Maia, C. A. ; Lucena Jr, V. F. . Métodos de Controle do Fluxo de Entrada para Grafos de Eventos Temporizados. In: Simpósio Brasileiro de Automação Inteligente - XI SBAI, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente. São Paulo: SBA, 2013. v. 1. p. 1-8.
Gadelha, M. Y. R. ; Cordeiro, L. C. ; Cavalcante, A. L. D. ; Lucena Jr, V. F. . Verificação Baseada em Indução Matemática para Programas C/C++. In: III Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2013, Niteroi - RJ. SBESC 2013, 2013. v. 1. p. 1-6.
Silva, V. J. ; Cordeiro, L. C. ; Lucena Jr, V. F. . Verificação de Aplicações AmI Usando Java PathFinder. In: III Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2013, Niteroi - RJ. SBESC 2013, 2013. v. 1. p. 1-6.
SENA, L. A. ; MIYAGAWA, M. ; SILVA JÚNIOR, WALDIR SABINO . Sistema de Venda Automática utilizando Pagamento Eletrônico Através de Dispositivos Móveis. In: 13o. Congresso Nacional de Iniciação Científica - SEMESP, 2013, Campinas. Anais do 13o. Congresso Nacional de Iniciação Científica - SEMESP, 2013.
ARAUJO JUNIOR, F. I. ; MIRANDA, S. S. C. ; SILVA JÚNIOR, WALDIR SABINO . Sistema de Monitoramento de Sensores utilizando o Protocolo Zigbee para Comunicação Sem Fio. In:13o. Congresso Nacional de Iniciação Científica - SEMESP, 2013, Campinas. Anais do 13o. Congresso Nacional de Iniciação Científica - SEMESP, 2013.
SALES E SILVA, L. E. ; VINENTE, K. S. ; SILVA JÚNIOR, WALDIR SABINO . Sistema De Detecção De Pontos Fiduciais Utilizando Classificadores Lineares C-SVC. In: 31o. Simpósio Brasileiro de Telecomunicações - SBrT, 2013, Fortaleza. Anais do 31o. Simpósio Brasileiro de Telecomunicações, 2013.
VINENTE, K. S. ; SALES E SILVA, L. E. ; SILVA JÚNIOR, WALDIR SABINO . Avaliação do Desempenho dos Filtros Discriminativos em um Sistema de Detecção de Pontos Fiduciais. In: 31o. Simpósio Brasileiro de Telecomunicações - SBrT, 2013, Fortaleza. Anais do 31o. Simpósio Brasileiro de Telecomunicações, 2013.
Freitas, M. L. ; GADELHA, M. Y. R. ; CORDEIRO, L. C. ; SILVA JÚNIOR, WALDIR SABINO ; LIMA FILHO, E. B. . Verificação de Propriedades de Filtros Digitais Implementados com Aritmética de Ponto Fixo. In: 31o. Simpósio Brasileiro de Telecomunicações - SBrT, 2013, Fortaleza. Anais do 31o. Simpósio Brasileiro de Telecomunicações, 2013.
JANUARIO, F. A. P. ; CORDEIRO, L. C. ; Lima Filho, E. B. . Verificação de Códigos Lua Utilizando BMCLua. In: XXXI Simpósio Brasileiro de Telecomunicações, 2013, Fortaleza. SBrT'13, 2013. p. 1-5.
Abreu, R. B. ; CORDEIRO, L. C. ; Lima Filho, E. B. . Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking. In: XXXI Simpósio Brasileiro de Telecomunicações, 2013, Fortaleza. SBrT'13, 2013. p. 1-5.
Freitas, M. ; GADELHA, M. Y. R. ; CORDEIRO, L. C. ; SILVA JUNIOR, W. S. ; Lima Filho, E. B. . Verificação de Propriedades de Filtros Digitais Implementados com Aritmética de Ponto Fixo. In: XXXI Simpósio Brasileiro de Telecomunicações, 2013, Fortaleza. SBrT'13, 2013. p. 1-5.
GADELHA, M. Y. R. ; CORDEIRO, L. C. ; Cavalcante, A. L. D. ; LUCENA JUNIOR, V. F. . Verificação Baseada em Indução Matemática para Programas C/C++. In: III Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2013, Niterói/RJ. SBESC'13, 2013. p.1-6.
da Silva, V. J. ; CORDEIRO, L. C. ; LUCENA JUNIOR, V. F. . Verificação de Aplicações AmI Usando Java PathFinder. In: III Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2013, Niterói/RJ. SBESC'13, 2013. p. 1-6.
Mitsuyoshi N Carvalho, Hillermann O Lima, Cicero F F Costa Filho, Marly G F Costa, Orlens S Melo, Victor A. S. Dias. Utilizando dispositivos de lógica programavél para implementação em hardware do nível 2 do Sistema de Sinalização por Canal Comum número 7. Simpósio Brasileiro de Engenharia de Sistemas Computacionais.
Redes Sociais