CETELI / UFAM

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.