• 2014

    Trabalhos publicados em periódicos internacionais

    CRUZ, C. A. M ; MONTEIRO, D. W. L. ; COTTA, E. A. ; DE LUCENA JUNIOR, V. F. ; SOUZA, A. K. P. . FPN Attenuation by Reset-Drain Actuation in the Linear-Logarithmic Active Pixel Sensor. IEEE Transactions on Circuits and Systems. I, Regular Papers (Print), v. PP, p. 1-9, 2014.

     

    MORSE, J. ; CORDEIRO, L. C. ; NICOLE, D. ; FISCHER, B. . Applying symbolic bounded model checking to the 2012 RERS greybox challenge. International Journal on Software Tools for Technology Transfer (Print), v. 16, p. 519-529, 2014.

     

    MELO, R. de O.; COSTA FILHO, C. F. F.; COSTA, M. G. F. Leak Detection of Natural Gas with Base on the Components of Color Spaces RGB and HSI Using Novelty Filter. Revista IEEE América Latina, v. 12, p. 1560-1565, 2014.

     

    GIL, A. M.; COSTA FILHO, C. F. F.; COSTA, M. G. F. Handwritten Digit Recognition Using SVM Binary Classifiers and Unblanced Decision Tree. Lecture Notes in Computer Science, v. 8814, p. 246-255, 2014.

     

    COSTA FILHO, C. F. F. ; FALCÃO, T. A.; COSTA, M. G. F.; GOMES, J.R. Proposing the Novelty Classifier for Face Recognition. Revista Brasileira de Engenharia Biomédica (Impresso), v. 30, p. 1-11, 2014.

     

    Trabalhos publicados em eventos internacionais

    COSTA, Marly Guimarães Fernandes ; COSTA FILHO, C.F.F. ; Kimura Junior, A. ; Levy, P ; XAVIER, C. M. ; Fujimoto, L.B.M. . A Sputum Smear Microscopy Image Database for Automatic Bacilli Detection in Conventional Microscopy. In: 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014, Chicago. Proceedings of 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014. v. 1. p. 2841-2844.

     

    FALCAO, T. A. ; COSTA, Marly Guimarães Fernandes ; COSTA FILHO, C.F.F. . Using a Multiclass Novelty Classifier for Face Recognition. In: International Conference on Information Society, 2014, Londres. i-Society 2014 Proceddings, 2014. v. 1. p. 300-307.

     

    MORSE, J. ; RAMALHO, M. ; CORDEIRO, L. C. ; NICOLE, D. ; Fischer, B. . ESBMC v1.22 (Competition Contribution). In: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2014, Grenoble, França. TACAS'14, 2014. v. 8413. p. 405-407.

     

    BESSA, I. V. ; Abreu, R. B. ; CORDEIRO, L. C. ; FILHO, JOAO EDGAR CHAVES . SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers. In: 40th Annual Conference of the IEEE Industrial Electronics Society, 2014, Dallas, USA. IECON'14, 2014. p. 295-301.

     

    ROSA, R. E. V. S. ; CORDEIRO, L. C. ; LUCENA JUNIOR, V. F. . A Secondary Screen Architecture to Accurately Capture Viewers' Interactions in an iTV Environment. In: IEEE 3rd Global Conference on Consumer Electronics, 2014, Tokyo, Japan. GCCE'14, 2014. p. 264-265.

     

    JANUARIO, F. A. P. ; CORDEIRO, L. C. ; Lima Filho, E. B. ; LUCENA JUNIOR, V. F. . BMCLua: Verification of Lua Programs in Digital TV Interactive Applications. In: IEEE 3rd Global Conference on Consumer Electronics, 2014, Tokyo, Japan. GCCE'14, 2014. p. 707-708.

     

    BESSA, I. V. ; ISMAIL, H. I. ; CORDEIRO, L. C. ; FILHO, JOAO EDGAR CHAVES . Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. In: IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014, Manaus, Brasil. SBESC'14, 2014.

     

    de Oliveira, R. R. ; Cordeiro, Lucas Carvalho ; LUCENA JUNIOR, V. F. . Hardware Reconfiguration Based on Broadcasted Digital TV Signal. In: IEEE International Conference on Consumer Electronics, 2014, Las Vegas, USA. ICCE, 2014.

     

    SANTOS, KENNY V. DOS ; S. E SILVA, LUIZ EDUARDO ; S. S. JUNIOR, WALDIR . Influence of Quantity of Principal Component in Discriminative Filtering. In: Second International Conference on Computational Science and Engineering, 2014. Computer Science & Information Technology ( CS & IT ). p. 1-10.

     

    S.E SILVA, LUIZEDUARDO ; DE T. JUNIOR,PEDRO DONADIO ; SANTOS,KENNY V. DOS ;S. S.JUNIOR, WALDIR . Fiducial Points Detection Using SVM Linear Classifiers. In: Second International Conference on Computational Science and Engineering, 2014. Computer Science & Information Technology ( CS & IT ). p. 23-31.

     

    AMOEDO, D. A. ; Silva Júnior, W. S. ; EDDIE B. L. FILHO . Parameter Selection for SVM in Automatic Modulation Classification of Analog and Digital Signals. In: 2014 International Telecommunications Symposium, 2014, São Paulo. Proceedings of the International Telecommunications Symposium, 2014. p. 1-5.

     

    BEZERRA, T. B. ; Freitas, M. L. ; Silva Júnior, W. S. . Sigma-Delta ADCs Converter a Study Case. In: ICEEE 2014: XII International Conference on Electrical and Electronics Engineering, 2014, Paris. Proceedings of the (ICEEE) International Conference on Electrical and Electronics Engineering, 2014. p. 1-5.

     

    Rodrigues, C. H. A. ; Lucena Jr, V. F. . Second Screen Prototype for Broadcasted Digital TV Users in ISDB-Tb Standard. In: IEEE 3rd Global Conference on Consumer Electronics, 2014, Tokyo, Japan. Proceedings of the GCCE'14. New York: IEEE, 2014. v. 1.

     

    Lucena Jr, V. F. ; Jazdi, N. ; Göhner, P. An Educational and Research Cooperation between Brazil and Germany on Industrial Automation Topics. In: 2014 IEEE Frontiers in Education Conference, 2014, Madri. 2014 IEEE Frontiers in Education Conference Proceedings. Piscataway, NJ, USA: IEEE, 2014. v. 1. p. 2763-2768.

     

    Rosa, R. E. V. S. ; Cordeiro, L. C. ; Lucena Jr, V. F. . A Secondary Screen Architecture to Accurately Capture Viewers' Interactions in an iTV Environment. In: IEEE 3rd Global Conference on Consumer Electronics, 2014, Tokyo, Japan. Proceedings of the GCCE'14. New York: IEEE, 2014. v. 1. p. 264-265.

     

    Trabalhos publicados em eventos nacionais

    Silva, V. J. ; Silva, G. L. P. ; Lucena Jr, V. F. . Arquitetura experimental para automação e integração de ambientes inteligentes com dispositivos móveis. In: XXXII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - II Workshop de Comunicação em Sistemas Embarcados Críticos WoCCES 2014, 2014, Florianópolis - SC. Anais do II Workshop de Comunicação em Sistemas Embarcados Críticos WoCCES 2014. Porto Alegre: Sociedade Brasileira de Computação - SBC, 2014. v. 1. p. 24-37.

     

    Januário, F. A. P. ; Cordeiro, L. C. ; Lucena Jr, V. F. ; Lima Filho, E. B. . BMCLua: Verificação de Programas Lua em Aplicações Interativas de TV Digital. In: IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014, Manaus - AM. Proceedings of the Brazilian Symposium on Computing Systems Engineering' 2014, 2014. v. 1. p. 1-6.

     

    Trindade, A. B. ; CORDEIRO, L. C. . Aplicando Verificação de Modelos para o Particionamento de Hardware/Software. In: IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014, Manaus, Brasil. SBESC'14, 2014. p. 1-6.

     

    ALMEIDA, L. M. ; COSTA, M. G. F. ; COSTA FILHO, C. F. F. . Avaliação da gravidade da malária utilizando redes neurais: um estudo comparativo. In: XXIV Congresso Brasileiro de Engenharia Biomédica, 2014, Uberlândia. Anais do XXIV Congresso Brasileiro de Engenharia Biomédica, 2014. v. 1. p. 1697-700.

     

    COSTA, M. G. F. ; PINTO, K. M. B. ; COSTA FILHO, C. F. F. . Estudo do comportamento de citação da Revista Brasileira de Engenharia Biomédica. In: XXIV Congresso Brasileiro de Engenharia Biomédica, 2014, Uberlândia. Anais do XXIV Congresso Brasileiro de Engenharia Biomédica, 2014. v. 1. p. 12661269.

     

    COSTA, M. G. F. ; Fujimoto, L.B.M. ; COSTA FILHO, C. F. F. . Viabilizando o benchmark de técnicas de detecção automática de bacilos da tuberculose em imagens de baciloscopia de campo claro. In: XXIV Congresso Brasileiro de Engenharia Biomédica, 2014, Uberlândia. Anais do XXIV Congresso Brasileiro de Engenharia Biomédica, 2014. v. 1. p. 1800-1803.

  • 2013

    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.

  • 2012

    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.

     

  • 2011

    Trabalhos publicados em periódicos

    COSTA FILHO, C. F. F. ; Pinheiro, Claudio Franklin Martins ; Costa, Marly Guimaraes Fernandes ; Albuquerque Pereira, Wagner Coelho . Applying a novelty filter as a matching criterion to iris recognition for binary and real-valued feature vectors. Signal, Image and Video Processing , v. 1, p. 1-10, 2011.

     

    Costa Filho, Cicero Ferreira Fernandes ; Rivera Rocha, Dayse Aparecida ; Fernandes Costa, Marly Guimarães ; de Albuquerque Pereira, Wagner Coelho . Using Constraint Satisfaction Problem approach to solve human resource allocation problems in cooperative health services. Expert Systems with Applications , v. 39, p. 385-394, 2011.

     

    Oliveira, R. R. ; Lima Filho, E. B. ; Lucena Jr, V. F. . Metodologia de Reconfiguração de Hardware utilizando o Sinal de TV Digital. Cadernos de Informática (UFRGS), v. 6, p. 9-14, 2011.

     

    Maia, O. B. ; Viana, N. S. ; Silva Jr., W. S. ; Lucena Jr, V. F. . An Infrastructure for Managing Residential Devices through the Declarative Environment of the Brazilian iDTV Middleware. Revista IEEE América Latina, v. 9, p. 622-629, 2011.

     

    Trabalhos publicados em eventos internacionais

    Assunção, E.T ; GOMES, J.R. ; COSTA, M. G. F. ; COSTA FILHO, C. F. F. ; Padilla, R . Representation and Classification of iris Textures Based on Linear Discriminant Analysis. In: IEEE Image, Video and Multdimensional Signal Processing, 2011, Ithaca. Proceedings of IEEE Image, Video and Multdimensional Signal Processing Workshop, 2011. v. 1. p. 66-69.

     

    ANTONIO, N. S. ; COSTA FILHO, C. F. F. ; COSTA, M. G. F. . Optimization of an Evaluation Function of the 4-sided Dominoes. In: 2011 IEEE Conference on Computational Intelligence and Games (CIG2011), 2011, Seoul. Proceedings of 2011 Conference on Computational Intelligence and Games (CIG2011). Seoul, 2011. v. 1. p. 24-30.

     

    Rodrigues, R M ; COSTA FILHO, C. F. F. ; COSTA, M. G. F. . Fingerprint verification using characteristic vector based on planar graphics. In: IVMSP Workshop, 2011 IEEE 10th, 2011, Ithaca. IVMSP Workshop, 2011 IEEE 10th Proceedings, 2011. v. 1. p. 87-92.

     

    Costa Filho, C. F.F.; Maia, O.B.; Costa, M.G.F.; Lucena Junior, V.F.; Rosa, R. E.V.S.; Gil, A.M.; Mendonça, P.R. B; Silva, O. S. Upgrading the training of undergraduate students by addressing market demands. In: The IASTED International Conference on Technology for Education, Dallas, Dezembro, 2011.

     

    CORDEIRO, L. C. ; Fischer, B. . Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking. In: ACM/IEEE 33rd International Conference on Software Engineering, Technical/Research Track, 2011, Waikiki, Honolulu, Hawaii. ICSE'11, 2011. p. 331-340.

     

    MORSE, J. ; CORDEIRO, L. C. ; NICOLE, D. ; Fischer, B. . Context-Bounded Model Checking of LTL Properties for ANSI-C Software. In: 9th International Conference on Software Engineering and Formal Methods, 2011, Montevideo, Uruguay. SEFM'11, 2011. p. 302-317.

     

    LUCENA JUNIOR, V. ; Neto, J. ; CHAVES FILHO, J. E. ; SILVA JUNIOR, W. S. ; CORDEIRO, L. C. . Gift Young Engineers: An Extra-Curricular Initiative for Updating Computer and Electrical Engineering Courses. In: 41st ASEE/IEEE Frontiers in Education Conference, 2011, Rapid City, South Dakota, USA. FIE'11, 2011.

     

    CALDAS, R. B. ; BARRETO, R. S. ; CORDEIRO, L. C. ; Campos, S. . A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems. In: IADIS International Conference APPLIED COMPUTING 2011, 2011, Rio de Janeiro, Brazil. AC'11, 2011.

     

    Rosa, R. E. V. S. ; Lucena Jr, V. F. . Smart Composition of Reusable Software Components in Product Lines. In: ICSE 2011 - International Conference on Software Engineering – PLEASE International Workshop on Product Line Approaches in Software Engineering, 2011, Honolulu - Hawai. Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering. New York - NY, USA : ACM - Association for Computing Machinery, 2011. v. 1. p. 45-49.

     

    Souza, F. G. ; Souza, L. F. S. ; Lucena Jr, V. F. . GEmPTV: Ginga-NCL Emulator for Portable Digital TV. In: EuroITV 2011, 2011, Lisboa - Portugal. EuroITV 2011Adjunct Proceedings. Lisboa : COFAC / Universidade Lusófona de Humanidades e Tecnologias, 2011. v. 1. p. 147-150.

     

    Viana, N. S. ; Lucena Jr, V. F. . Experiences in the Designing and Implementing an Extension API to Converge iDTV and Homegateway. In: EuroITV 2011, 2011, Lisboa - Portugal. EuroITV 2011 Adjunct Proceedings. Lisboa : COFAC / Universidade Lusófona de Humanidades e Tecnologias, 2011. v. 1. p. 163-168.

     

    Souza, L. F. S. ; Souza, F. G. ; Lucena Jr, V. F. . SMS as Interactive Channel for Portable Digital TV Receivers. In: Euro ITV 2011, 2011, Lisboa - Portugal. Proceedings of the 9th International Interactive TV Conference. New York, NY : Association for Computing Machinery, Inc. (ACM)., 2011. v. 1. p. 199-2002.

     

    Lucena, J. M. V. M. de ; Lucena Jr, V. F. ; Valle, C. M. ; Claro Jr., L. H. ; Lira, A. F. . Reinventing the Engineering: An Extracurricular Program Designed to Attract New Engineering Students. In: 41st ASEE/IEEE Frontiers in Education Conference, 2011, Rapid City, USA. Proceedings of the 41st ASEE/IEEE Frontiers in Education Conference. New York : IEEE, 2011. v. 1. p. T4D-1-T4D-5.

     

    Trabalhos publicados em eventos nacionais

    Collins, E. F. ; Falcão, T. ; Cunha, R. ; Lucena Jr, V. F. . Melhoria no Desenvolvimento Ágil com Implantação de Processo de Integração Contínua Multiplataforma para Java e .NET. In: SBQS 2011 - X Simpósio Brasileiro de Qualidade de Software - WDRA: Workshop de Desenvolvimento Raápido de Aplicações, 2011, Curitiba - PR. Anais do SBQS 2011 - X Simpósio Brasileiro de Qualidade de Software, 2011. p. 1-4.

     

    Lobão, L.M.A. ; Collins, E. F. ; Martins, R. M. ; Leão, L. ; Lucena Jr, V. F. . Experiência em Processo de Teste Iterativo e Automatizado para Data Warehouse. In: Relatos de Experiência, 2011, Curitiba - PR. Anais do SBQS 2011 - X Simpósio Brasileiro de Qualidade de Software- Relatos de Experiência, 2011. p. 1-4.

     

    Costa Filho, C. F. F. ; Maia, O. B. ; Rosa, R. E. V. S. ; Gil, A. M. ; Mendonça, P.R.B ; Lucena Jr, V. F. . Atividades de Pesquisa e Extensão numa Interação Universidade Empresa: Um Relato de Experiência entre o CETELI/UFAM e INdT/Nokia. In: XXXIX Congresso Brasileiro de Educação em Engenharia - COBENGE 2011, 2011, Blumenau - SC. Anais do XXXIX Congresso Brasileiro de Educação em Engenharia - COBENGE 2011. Blumenau - SC : Editora e Gráfica Odorizzi Ltda, 2011. v. 1. p. 1-10.

     

    Lucena Jr, V. F. ; Beltrão, P.A.C. ; Queiroz Neto, J. P. ; Cziulik, C. ; Arruda, G. S. . Relato de Experiências de um Minter em Engenharia Mecânica e de Materiais entre o IFAM e a UTFPR. In: XXXIX Congresso Brasileiro de Educação em Engenharia - COBENGE 2011, 2011, Blumenau - SC. Anais do XXXIX Congresso Brasileiro de Educação em Engenharia – COBENGE 2011. Blumenau - SC : Editora e Gráfica Odorizzi Ltda, 2011. v. 1. p. 1-10.

     

    BARRETO, R. S. ; CORDEIRO, L. C. ; Fischer, B. . Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. In: Brazilian Symposium on Computing System Engineering, 2011, Florianópolis. XIII Real-time Systems Workshop (WTR 2011), 2011. p. 89-100.

     

    Melo, C. L. S. ; Costa Filho, Cicero Ferreira Fernandes ; COSTA, M. G. F. . Análise discriminante de grupos de características de achados mamográficos através da técnica SFS. In: IV Simpósio de Engenharia Biomédica, 2011, Uberlândia. Anais do IV Simpósio de Engenharia Biomédica - Universidade Federal de Uberlândia, 2011. v. 1. p. 1-5.

     

    Rodrigues, R M ; COSTA FILHO, C. F. F. ; COSTA, M. G. F. . Verificação de impressões digitais usando modelo de vetor característico baseado no em grafos planares. In: X Simpósio Brasileiro de Automação Inteligente, 2011, São João del Rei - MG. Anais do X Simpósio Brasileiro de Automação Inteligente, 2011. v. 1. p. 989-994.

  • 2010

    Trabalhos em periódicos

    Costa Filho, C. F. F. ; Oliveira, A. L. M. ; Costa, M. G. F. . Using Random Restart Hill Climbing Algorithm for Minimization of Component Assembly Time In Printed Circuit Boards. Revista IEEE América Latina, v. 8, p. 23-29, 2010.

    Silva, V. J. ; Lucena Jr, V. F. . mHealth- Integrating Conventional Medical Devices with the Brazilian Digital TV and Mobile Phones. Journal of eHealth technology and application, v. 8, p. 12-15, 2010.

    Viana, N. S. ; Lucena Jr, V. F. . iDTV Home Gateway convergence: An Open Software Model Integrating the Ginga Middleware and the OSGi Framework. Multimedia Systems, v. 16, p. 13-28, 2010.

    Costa Filho, C. F. F. ; Albuquerque, Adeilson Teixeira de ; Costa, M. G. F. . Luminance Optimization in Closed Environmetns by Simulated Annealing. Revista IEEE América Latina, v. 8, p. 229-235, 2010.

    Trabalhos em eventos internacionais

    Lucena Jr, V. F. ; Silva Jr., W. S. ; Carvalho, C. B. ; Queiroz Neto, J. P. . Development of an Academic Laboratory of Interactive Digital TV in Amazon, Objectives and Main Projects. In: Euro ITV 2010 - 8th European Conference on European Interactive Television - Workshops, 2010, Tampere. Adjunct Proceedings EuroITV 2010. Tampere : Tampere University of Technology, 2010. p. 200-205.

    dos Santos Jr., A. F. ; Lucena Jr, V. F. . A Software Product Line Requirements and Reference Architecture for TV Navigation System. In: Euro ITV 2010 - 8th European Conference on European Interactive Television, 2010, Tampere. Adjunct Proceedings EuroITV 2010. Tampere : Tampere University of Technology, 2010. p. 178-180.

    Silva, V. J. ; Lucena Jr, V. F. . Monitoring of Hypertensive Patients through Conventional Medical Devices Integrated to the Brazilian Digital TV. In: Euro ITV 2010 - 8th European Conference on European Interactive Television, 2010, Tampere. Proceedings of the 8th European Conference on European Interactive Television Conference. New York - USA : Association for Computing Machinery, Inc. (ACM), 2010. p. 183-186.

    dos Santos Jr., A. F. ; Lucena Jr, V. F. . SCRUMPL - Software Product Line Engineering with Scrum. In: Conference on Evaluation of Novel Approaches to Software Engineering, 2010, Atenas - Grécia. Proceedins of ENASE 2010 - Conference on Evaluation of Novel Approaches to Software Engineering. Setubal - Portugal : SciTePress, 2010. v.

    Costa Filho, C. F. F. ; Oliveira, A. L. M. ; Costa, M. G. F. ; Chaves Filho, João Edgar . Using a random restart hill climbing algorithm to reduce component assembly time in printed circuit boards. In: IEEE-ICIT 2010 - International Conference on Industrial Technology, 2010, Vinal del Mar. Proceedings of IEEE-ICIT 2010 – International Conference on Industrial Technology, 2010. v. 1. p. 1686-1691.

    Kimura Junior, A. ; COSTA, Marly Guimarães Fernandes ; Costa Filho, C. F. F. . Evaluation of autofocus functions of conventional sputum smear microscopy for tuberculosis. In: 32nd Annual International IEEE EMBS Conference, 2010, Buenos Aires. Procedings of 32nd Annual International IEEE EMBS Conference, 2010. v. 1. p. 3041-3044.

    Costa Filho, C. F. F. ; Costa, M. G. F. . Iris Segmentation Exploring Color Spaces. In: IEEE-EMB, 2010 3rd International Congress on Image and Signal Processing, 2010, Yantai. Proceedings 2010 2010 3rd International Congress on Image and Signal Processing, 2010. v. 4. p. 1878-1882.

    Pinheiro, C. F. M. ; Costa, M. G. F. ; Costa Filho, C. F. F. . Applying a Novelty Filter as a Matching Criterion to Iris Recognition. In: IEEE-EMB - 2010 3rd International Congress on Image and Signal Processing, 2010, Yantai. Proceedings of 2010 3rd International Congress on Image and Signal Processing, 2010. v. 5. p. 2414-2418.

    Melo, C. L. S. ; Costa Filho, C. F. F. ; Costa, M. G. F. ; Pereira, W.C.A. . Matching Input Variables Sets and Feedforward Neural Network Architectures in Automatic Classification of Microcalcifications and Microcalcification Clusters. In: IEEE EMB 2010 3rd International Conference on Biomedical Engineering and Informatics, 2010, Yantai. Proceedings of 3rd International Conference on Biomedical Engineering and Informatics, 2010. v. 1. p. 358-362.

    Trabalhos em eventos nacionais

    Repolho, H.C.R ; Barros, P.R. ; Macedo, G.A. ; Maia, O.B. ; Costa Filho, C. F. F. ; Lucena Júnior, V. L . TransInfo: uma aplicação híbrida, de código aberto, para dispositivos móveis, que auxilia usuários com informações sobre o trânsito local. In: XI Fórum Internacional de Software Livre, 2010, Porto Alegre. Anais do FISL 11. Porto Alegre : Pubblicato Editora Ltda, 2010. v. 1. p. 152-157.

    Pinheiro, C. F. M. ; Costa, M. G. F. ; Costa Filho, C. F. F. . Reconhecimento Através da Iris Usando Filtro de Novidade e Informação de Cor. In: XVIII Congresso Brasileiro de Automática, 2010, Bonito - MS. Anais do XVIII Congresso Brasileiro de Automática, 2010. v. 1. p. 1036-1041.

    Costa Filho, C. F. F. ; Costa, M. G. F. ; Lucena Júnior, V. L ; Melo, O. S. ; Silva, O. S. E. ; Maia, O. B. . Programa de Formação Complementar: Adequando a formação dos acadêmicos de engenharia elétrica e engenharia da computação às demandas do mercado. In: XXXVIII Congresso Brasileiro de Educação em Engenharia, 2010, Fortaleza. Anais do XXXVIII Congresso Brasileiro de Educação em Engenharia - COBENGE 2010, 2010. v. 1. p. 1-5.

    Kimura Junior, A.; Costa, M.G.F; Costa Filho, C.F.F., Uma Contribuição À Baciloscopia De Tuberculose Automática: Análise de Métricas de Autofoco. In: XXII Congresso Brasileiro de Engenharia Biomédica, 2010, Tiradentes. Anais do XXII Congresso Brasileiro de Engenharia Biomédica– CBEB 2010, v.1.

    Costa Filho, Cicero F. F. C.; Costa, M. G. F.; Pereira, J.R.G., Segmentação da Íris Utilizando Métodos não Supervisionados e Informação de Cor. In: XXII Congresso Brasileiro de Engenharia Biomédica, 2010, Tiradentes. Anais do XXII Congresso Brasileiro de Engenharia Biomédica – CBEB 2010, v.1.

    Rocha, D.R.; Costa Filho, C.F.F., Costa, M.G.F., Proposta De Uma Nova Heurística Para o Algoritmo de Busca Retroativo: Estudo De Caso Da Alocação De Recursos Humanos Em Cooperativas Médicas. In: XXII Congresso Brasileiro de Engenharia Biomédica, 2010, Tiradentes. Anais do XXII Congresso Brasileiro de Engenharia Biomédica –

    Pinheiro, C. F. M. ; Costa, M. G. F. ; Costa Filho, C. F. F., Filtro De Novidade E Transformada Wavelet Discreta 2D para Reconhecimento de Indivíduos através da Íris. In: XXII Congresso Brasileiro de Engenharia Biomédica, 2010, Tiradentes. Anais do XXII Congresso Brasileiro de Engenharia Biomédica– CBEB 2010, v.1.

    Assunção, E.T.; Pereira, J.R.G; Costa, M. G. F. ; Costa Filho, C. F. F., Representação e Classificação de Texturas da Íris Baseado em Análise Discriminante Linear Diagonal, In: XXII Congresso Brasileiro de Engenharia Biomédica, 2010, Tiradentes. Anais do XXII Congresso Brasileiro de Engenharia – CBEB 2010, v.1.

    Divulgações dos trabalhos desenvolvidos na mídia nacional e divulgações na mídia local

    Técnica e ciência em meio às Indústrias e à Floresta, Revista Tecnologia e Inovação, Tema: “Economia da Ciência”, Grupo Valor Econômico S.A., Junho/2010, pág. 48-49.

    Avanços na Telecomunicação, Revista Tecnologia Cidadã, Tema: “Da Academia para a Sociedade”, Revista Nacional das Fundações de Apoio às Instituições de Ensino Superior e de Pesquisa Científica e Tecnológica – CONFIES, pág. 17,

    Controle da Hipertensão por TV Digital, Revista Amazonas faz Ciência – FAPEAM, No 15, Jan-Mar, 2010, pág. 23-24.

    Dominó de computador na tradição amazonense, Jornal A Crítica, Caderno Cidades, C3, 05 de dezembro de 2010.

  • 2009

    Artigos Publicados em Periódicos

    Lucena Junior, V. F., Viana, N. S., Maia, O. B., Chaves Filho, J. E., “A Home Automastion Proposal Built on the Ginga Digital TV Middleware and the OSGi Framework”, v.55, pp. 1254-1262, ISSN: 0098-3063;

    Artigos em Anais de Conferências Internacionais

    Costa, M. G. F, Vieira, G. R., Costa Filho, C. F. F, “Supporting Knowledge Base with Evidence Retrieved from Randomized Controlled Clinical Trials - A Case Study.”, Proceedings of the 13th World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI), vol.2,   pp. 252-256, ISBN: 1934272590; 

    Viana, N. S., Maia, O. B. , Lucena Junior, V. F., Pinto, L.C, “ A Convergence Proposal Between the Brazilian Middleware for iDTV and Home Network Platforms”, Proceedings of the IEEE Consumer Communications and Networking Conference (CCNC), pp. 1-5, ISBN: 9781-4244-2309-5;

    Viana, N. S., Maia, O. B. , Lucena Junior, “A Software Model Supporting the Management of Home Network Services through the Brazilian iDTV”, Proceedings of the 7 European Conference on Interactive Television, pp. 101-110;

    Maia, O. B. , Lucena Junior, V. F., “A Communication Infrastructure Between the Brazilian Interactive Digital TV and Residential Devices”, Proceedings of the 7 European Conference on Interactive Television, pp. 115-118;

    Viana, N. S., Maia, O. B. , Lucena Junior, V. F., “Using the iDTV for Managing Services in the Ubiquitous Computing Environment”, Proceedings ot the 1 Symposium on UbiCom Frontiers - Innovation Research, Systems and Technologies, pp.143-148;

    Rosa, R. E. V. de S., Xavier, C. S-C de L, Lucena Junior, V. F., Figueiredo, C. M. S., “On the Use of Scrum for the Management of Practical Projects in Graduate Courses”, Proceedings of the Frontiers in Education Conference (FIE), pp. 1-10;

    Silva, V. J., Rosa, R. E. V. de S., Queiroz Neto, J. P., Lucena Junior, V. F., “An experience to use robotics to improve computer science learning”,  Proceedings of the Frontiers in Education Conference (FIE), pp. 1-10;

    Artigos em Anais de Eventos Nacionais

    Costa Filho, C. F. F., Menezes, A.L., Costa, M. G. F., “Otimização da Seqüência de Montagem de Componentes para Programação de Insersoras Automáticas Usando o Método de Subida em Encosta.”, Anais do IX Simpósio Brasileiro de Automação Inteligente (SBAI), pp. 1-6, ISBN: 21758905;

    Viana, N. S., Maia, O. B. , Lucena Junior, V. F., “Modelo de Convergência entre o Middleware Brasileiro de TV Digital e Plataforma de Software para Home Network”, Anais do Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia), PP. 1-7;

    Artigos em Anais de Eventos Regionais

    Antonio, N. S., Costa Filho, C. F. F., Costa, M. G. F., “Pesquisa de um Agente Inteligente para o Jogo de Dominó de 4 pontas”,   XVIII  Congresso de Iniciação Científica da UFAM, ISBN: 9788574012971;

    Freitas, M.L., Brito, T. B., Kimura Junior, A., Costa Filho, C. F. F., Costa, M.G.F., “Reconhecimento automático de peças industriais através do uso de redes neurais de propagação direta”, XVIII  Congresso de Iniciação Científica da UFAM, ISBN: 9788574012971;

    Freitas, M.L., Brito, T. B., Kimura Junior, A., Costa Filho, C. F. F., Costa, M.G.F., “Algoritmo de Auto-foco para imagens de baciloscopia obtidas com microscopia de campo claro: Uma contribuição ao desenvolvimento de métodos automáticos de diagnóstico da tuberculose”, XVIII Congresso de Iniciação Científica da UFAM, ISBN: 9788574012971;

    Baraúna, V. M. Q., Santos, K. V., Costa, M. G. F., Costa Filho, C.F.F. ,“Engenharia Clínica: Diagnóstico Situacional da Gestão de Tecnologia nos Estabelecimentos de Assistência a Saúde Pública do Estado do Amazonas”, XVIII Congresso de Iniciação Científica da UFAM, ISBN: 9788574012971;

  • 2008

    Artigos em Anais de Conferências Internacionais

    Costa, M.G.F., Costa Filho, C.F.F., Sena, J.F., Salem, J., Lima, M.O., Automatic identification of mycobacterium tuberculosis with conventional light microscopy In:30th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, p. 382-385, 20 a 24 de agosto de 2008, Vancouver, Canada;

    Costa Filho, C.F.F., Silva, A.T., Costa, M.G.F., Luminance Optimization in Closed Environments by Simulated Annealing In: The 4th International Conference on Natural Computation, p. 400-406, 18 a 20 de outubro de 2008, Jinan, Shandong Province, China;

    Artigos em Anais de Eventos Nacionais

    Silva, A. T., Costa Filho, C. F. F., Costa, M. G. F., Otimização do Projeto de Iluminação de Ambientes Fechados Através da Utilização do Algoritmo de têmpera simulada In: Congresso Brasileiro de Automática, p. 1 a 5, 14 a 17 de setembro de 2008, Juiz de Fora, MG;

    Barreto, L. S. C., Costa Filho, C. F. F., Costa, M. G. F., Proposta do núcleo de um sistema especialista para a área de saúde: parte 1 In: 21o Congresso Brasileiro de Engenharia Biomédica, p. 1-5, 16 a 20 de novembro de 2008, Salvador, Bahia, Brasil;

    Sena, J. F., Costa, M. G. F., Costa Filho, C. F. F., Salem, J., Lima, M.O., identificação do mycobacterium tuberculosis através da utilização da utilização de limiar global adaptativo In: 21o Congresso Brasileiro de Engenharia Biomédica, p. 1-5, 16 a 20 de novembro de 2008, Salvador, Bahia, Brasil;

    Costa, M. G. F., Vieira, G. R., Costa Filho, C. F. F., Subsidiando uma base de conhecimento com evidências oriundas de estudos clínicos randomizados controlados – um estudo de caso In: 21o Congresso Brasileiro de Engenharia Biomédica, 16 a 20 de novembro de 2008, p. 1-5, Salvador, Bahia, Brasil;

    Lima, L. O., Costa, M.G.F., Costa Filho, C. F. F., Nova proposta de extração de características da íris utilizando o espaço HSI In: 21o Congresso Brasileiro de Engenharia Biomédica, p.1-5, 16 a 20 de novembro de 2008, Salvador, Bahia, Brasil;

    Antônio, N. S., Costa, C.F.F., Costa, M.G.F., Proposta de uma heurística para o jogo de dominó de 4 pontas In SB GAMES 2008, 10 a 12 de novembro de 2008, Belo Horizonte, Minas Gerais, Brasil;

    Costa, N.G.F, Santos, K.V., Costa, C. F. F., A Engenharia Clínica no Estado do Amazonas – Resultados Preliminares. In: 21o Congresso Brasileiro de Engenharia Biomédica, p. 1, 16 a 20 de novembro de 2008, Salvador, Bahia, Brasil;

    Artigos em Anais de Eventos Regionais

    Silva, A.T., Costa Filho, C.F.F., Costa, M.G.F., Uma metodologia para otimização do projeto de iluminação artificial aplicando recozimento simulado In: Mostra Técnico-Científica da IV Feira Internacional da Suframa, 10 a 13 de setembro de 2008, Manaus, AM, Brasil;

    Costa, M.G.F.,; Melo, O. da S., Osmídeo, H., Lisboa, W.P., Cavalcante, A.D.L., Belezza, B., Oliveira, D., Ramos, R., Litaiff, E.J.C., Costa Filho, C.F.F., Projeto e construção de equipamento multifuncional para telefonia fixa In: Mostra Técnico-Científica da IV Feira Internacional da Suframa, 10 a 13 de setembro de 2008, Manaus, AM, Brasil;

    Costa Filho, C.F.F., Barreto, L.S.C., Costa, M.G.F., Shell para desenvolvimento de sistemas especialistas In:Mostra Técnico-Científica da IV Feira Internacional da Suframa, 10 a 13 de setembro de 2008, Manaus, AM, Brasil;

    Costa Filho, C.F.F., Melo, O. da S., Osmídeo, H., Moraes, W.S., Souza, F. S., Costa, M.G.F., Projeto e implementação de um sistema de teste para displays de celulares In: Mostra Técnico-Científica da IV Feira Internacional da Suframa, 10 a 13 de setembro de 2008, Manaus, AM, Brasil;

    Costa Filho, C.F.F., Melo, O. da S., Osmídeo, H., Moraes, W.S., Costa, M.G.F., Projeto e implementação de um sistema para teste de equipamentos de áudio e vídeo In: Mostra Técnico-Científica da IV Feira Internacional da Suframa, 10 a 13 de setembro de 2008, Manaus, AM, Brasil;

    Costa Filho, C.F.F., Costa, M.G.F., Silveira, M.D.C., Litaiff, E.J.C., Dias, F.C., Andrade Júnior, B.C., Projeto e construção de uma unidade móvel para transporte de displays de celulares In: Mostra Técnico-Científica da IV Feira Internacional da Suframa, 10 a 13 de setembro de 2008, Manaus, AM, Brasil;

    Oliveira, L.L, Costa, M.G.F., Costa Filho, C.F.F., Novo Método de Segmentação automático da íris: Uma contribuição para identificação de indivíduos In: Mostra Técnico-Científica da IV Feira Internacional da Suframa, 10 a 13 de setembro de 2008, Manaus, AM, Brasil;

    Sena, J.F., Costa, M.G.F., Costa Filho, C.F.F., Salem, J., Lima, M.O., Análise automática de imagens de baciloscopia In Mostra Técnico-Científica da IV Feira Internacional da Suframa, 10 a 13 de setembro de 2008, Manaus, AM, Brasil;

  • 2007

    Artigos Publicados em Periódicos

    Título de produção: An Agile HW/SW Development Methodology for Building Medical Devices.
    Autor e Coautores: Cordeiro, L C.; Barreto, R. da S., Barcelos, R., Oliveira Jr, M., Lucena Jr, V. F.; MACIEL, P. R. M.
    Complementos de citação: Software Engineering Notes. , v.32, p.1 / 4 - 12, 2007.

    Título de produção: Set-Top_Box Características e Necessidades.
    Autor e Coautores: Lucena Jr, V. F., Ribeiro Filho, H. P.
    Complementos de citação: T&C Amazônia. , 2007.

    Artigos Completos em Anais de Conferências Internacionais

    Título de produção: Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach.
    Autor e Coautores: Cordeiro, L C.; Barreto, R. da S., Barcelos, R., Oliveira Jr, M., Lucena Jr, V. F.; MACIEL, P. R. M.
    Complementos de citação: 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), 2007, Tucson, Arizona, USA.

    Título de produção: Teaching Software Engineering for Embedded Systems an Experience Report from the Manaus Research and Development Pole.
    Autor e Coautores: Lucena Jr, V. F.; Queiroz Neto, J. P.; Benchimol, I. B.; Mendonca, A. P.; Silva, V. R.; Ferreira Filho, M.
    Complementos de citação: IEEE Frontiers in Education Conference, Milwaukee, 2007.

    Título de produção: Multiscale Recurrent Patterns And Generalised Side-Match Applied To Image Compression.
    Autor e Coautores: Lima Filho, E. B.; Abecassis, Ú.; Silva Júnior, W. S.; da Silva, E.A.B. e Carvalho, M. B.
    Complementos de citação: Picture Coding Symposium (PCS'2007), 2007.

    Artigos em Congressos Nacionais

    Título de produção: Casamento Lateral Generalizado Combinado à Recorrência de Padrões Multiescalas: Um Novo Esquema para a Compressão de Imagens.
    Autor e Coautores: Lima Filho, E. B.; Abecassis, Ú.; Silva Júnior, W. S.; da Silva, E.A.B. e Carvalho, M. B.
    Complementos de citação: XXV Simpósio Brasileiro de Telecomunicações (SBrT), 2007.

    Título de produção: Busca de conhecimentos para auxiliar a formulação e análise crítica de prescrição de nutrição parenteral utilizando os princípios da medicina baseada em evidência”.
    Autor e Coautores: Vieira, G.R.; Costa, M. G.F.; Costa, C.F.F.C.
    Complementos de citação: XXVII Congresso Brasileiro de Nutrição Parenteral e Enteral, Florianópolis, SC, 2007.

    Título de produção: Desenvolvimento de um Micro Núcleo de Tempo Real para o Micro Controlador 89C8252 para o Ensino de Programação para Tempo Real.
    Autor e Coautores: Cavalcanti, A. L. D.; Lucena Jr, V. F.; Oliveira Filho, J. A.
    Complementos de citação: XXXV Congresso Brasileiro de Educação em Engenharia, 2007, Curitiba.

    Artigos em Congresso Regionais

    Título de produção: Os Dez Maiores Desafios da Automação Industrial: As Perspectivas para o Futuro.
    Autor e Coautores: Neves, C.; Duarte, L.; Viana, N.; Lucena Jr, V. F.
    Complementos de citação: II Congresso de Pesquisa e Inovação da Rede Norte Nordeste de Educação Tecnológica, 2007, João Pessoa - PB.

    Título de produção: Desafios da Implantação de uma Diretoria de Pesquisa e Pós-Graduação no CEFET-AM.
    Autor e Coautores: Lucena Jr, V. F., LUCENA, J. M. V. M. ; SILVA, I. E. L. R. E.
    Complementos de citação: II Congresso de Pesquisa e Inovação da Rede Norte Nordeste de Educação Tecnológica, 2007, João Pessoa - PB.

  • 1
  • 2