CETELI / UFAM

TRABALHOS PUBLICADOS EM PERIÓDICOS INTERNACIONAIS

COSTA FILHO, CICERO FERREIRA. FERNANDES; SOUZA, ROBSON SILVA DE; SANTOS, JONILSON ROQUE DOS; SANTOS, BÁRBARA LOBATO DOS; COSTA, MARLY GUIMARÃES FERNANDES. A fully automatic method for recognizing hand configurations of Brazilian sign language. Research On Biomedical Engineering, v. 33, p. 78-89, 2017. 

ARAUJO, GABRIEL M.; RIBEIRO, FELIPE M. L.; JUNIOR, WALDIR S. S.; DA SILVA, EDUARDO A. B.; GOLDENSTEIN, SIOME K. Weak Classifier for Density Estimation in Eye Localization and Tracking. Ieee Transactions On Image Processing, v. 26, p. 3410-3424, 2017.

LUCENA FILHO, W. C.; CORDEIRO, L. C.; DA SILVA JUNIOR, WALDIR SABINO; CARVALHO, C. B. A Power Control and Anticolision Mechanism for RFID Systems. IEEE Latin America Transactions, v. 15, p. 1933-1940, 2017.

ERIKSON V. DE S. ROSA, RICARDO; FERREIRA DE LUCENA, VICENTE. Contextualizing and capturing individual user interactions in shared iTV environments. Multimedia Tools And Applications (Dordrecht. Online), v. 76, p. 8573-8595, 2017.

BESSA, IURY; ISMAIL, HUSSAMA; PALHARES, REINALDO; CORDEIRO, LUCAS; CHAVES FILHO, JOAO EDGAR. Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty. IEEE Transactions on Computers (Print), v. 66, p. 1-1, 2017.

ALVES, E. H. S.; CORDEIRO, L. C.; BATISTA FILHO, E. L. A Method to Localize Faults in Concurrent C Programs. Journal Of Systems And Software, v. 132, p. 336-352, 2017.

MONTEIRO, FELIPE R.; GARCIA, MÁRIO A. P.; CORDEIRO, LUCAS C.; DE LIMA FILHO, EDDIE B. Bounded model checking of C++ programs based on the Qt cross-platform framework. Software Testing Verification & Reliability, v. 27, p. e1632, 2017.

SOUSA, F. R. M. JANUÁRIO, F. A. P.; CORDEIRO, L. C.; LIMA FILHO, E. B.. BMCLua. Software Engineering Notes, v. 42, p. 1-10, 2017.

MONTEIRO, FELIPE R.; DA S. ALVES, ERICKSON H.; SILVA, ISABELA S.; ISMAIL, HUSSAMA I.; CORDEIRO, LUCAS C.; DE LIMA FILHO, EDDIE B. ESBMC-GPU A Context-Bounded Model Checking Tool to Verify CUDA Programs. Science Of Computer Programming, v. 148, p. 1-15, 2017.

ARAÚJO, R.; ALBUQUERQUE, H.; BESSA, I. V.; CORDEIRO, L. C.; CHAVES FILHO, J. E. Counterexample guided inductive optimization based on satisfiability modulo theories. Science Of Computer Programming, v. 151, p. 1-38, 2017.

TRABALHOS PUBLICADOS EM EVENTOS INTERNACIONAIS 

VÁZQUEZ ROMAGUERA, LISET; GUIMARÃES FERNANDES COSTA, MARLY; ROMERO, FRANCISCO PERDIGÓN; COSTA FILHO, CICERO FERREIRA FERNANDES. Left ventricle segmentation in cardiac MRI images using fully convolutional neural networks. In: SPIE Medical Imaging, 2017, Orlando. org.crossref.xschema._1.Title@7d268aec. v. 10134. p. 101342Z-101342Z-11.

PORTO, C. D. N.; COSTA FILHO, C. F. F.; COSTA, M. G. F.; GUTIERREZ, M. A.; MACEDO, M. M. G. Classification of bifurcations regions in IVOCT images using support vector machine and artificial neural network models. In: SPIE Medical Imaging, 2017, Orlando. org.crossref.xschema._1.Title@39ed8f3c. v. 101344. p. 101344D-101344D-13.

LOPEZ, Y. P.; COSTA FILHO, CÍCERO FERREIRA FERNANDES; AGUILERA, L. M. R.; COSTA, MARLY GUIMARÃES FERNANDES. Automatic classification of light field smear microscopy patches using Convolutional Neural Networks for identifying Mycobacterium Tuberculosis. In: IEEE Chilecon 2017, 2017, Pucón. Proceedings of IEEE Chilecon 2017, 2017. v. 1. p. 272-276.

LIMA, MARCUS; KURKA, PAULO; SILVA, YURI; LUCENA, VICENTE. Indoor visual localization of a wheelchair using Shi-Tomasi and KLT. In: 2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering (CCECE), 2017, Windsor. 2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering (CCECE), 2017. v. 1. p. 1-4.

SIMÕES, W. C. S. S.; SILVA, Y. M. L. R.; LUCENA JR, V. F. A Location Technique Based on Hybrid Data Fusion used to Increase the Indoor Location Accuracy. In: 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2017), 2017, Lund - Suécia. Procedia Computer Science, 2017. v. 2017. p. 368-375.

MENDONÇA, R.S.; CAVALCANTE, A. L. D.; LUCENA JR, V. F. Proposal of a Simulator for Evolutionary Production Systems. In: 22nd IEEE International Conference on Emerging Technologies And Factory Automation, 2017, Limassol - Chipre. Proceedings of the 22nd IEEE International Conference on Emerging Technologies And Factory Automation. New York: IEEE, 2017. v. 1. p. 1-4.

ABATE, ALESSANDRO; BESSA, IURY; CATTARUZZA, DARIO; CORDEIRO, LUCAS; DAVID, CRISTINA; KESSELI, PASCAL; KROENING, DANIEL. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. In: the 20th International Conference, 2017, Pittsburgh. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17, 2017. p. 197-206.

OCHA, W.; ROCHA, H.; ISMAIL, H. I.; CORDEIRO, L. C.; FISCHER, BERND. DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs. In: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2017, Uppsala, Sweden. TACAS'17. Germany: Springer, 2017. v. 10206. p. 360-364.

ABATE, A.; BESSA, IURY; CATTARUZZA, D.; CORDEIRO, L. C.; DAVID, C.; KESSELI, P.; KROENING, D.; POLGREEN, E. Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. In: 29th International Conference on Computer-Aided Verification, 2017, Heidelberg. CAV'17. Germany: Springer, 2017. v. 10426. p. 462-482.

CHAVES, LENNON; BESSA, IURY; CORDEIRO, LUCAS; KROENING, DANIEL; LIMA, EDDIE. Verifying digital systems with MATLAB. In: the 26th ACM SIGSOFT International Symposium, 2017, Santa Barbara. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017. New York: ACM Press, 2017. p. 388-391.

ARAUJO, R.; RIBEIRO, A.; BESSA, I. V.; CORDEIRO, L. C.; CHAVES FILHO, J. E.. Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning. In: 14rd Latin American Robotics Symposium, 2017, Curitiba, Paraná. LARS. Washington: IEEE, 2017. p. 1-8.

ABATE, ALESSANDRO; BESSA, IURY V.; CATTARUZZA, D.; CHAVES, L.; CORDEIRO, L. C.; DAVID, C.; KESSELI, P.; KROENING, D.; POLGREEN, E. DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants. In: 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017, Illinois, USA. ASE'17, 2017. p. 919-924.

DE MORAES CRUZ, CARLOS AUGUSTO; DE LIMA MONTEIRO, DAVIES WILLIAM; GILLES SICARD; CARVALHO, F. F.; SOUZA, ALEXANDRE KENNEDY PINTO. A Low-Power FPN Attenuation Method in the Double-Log PMOS APS. In: 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017, Fortaleza - Brazil. Proceedings of 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017.

CARVALHO, F. F.; SOUZA, A. K. P.; DE MORAES CRUZ, CARLOS AUGUSTO. Hybrid Grated Pixel Cluster For Local Light Angle and Intensity Detection. In: 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017, Fortaleza - Brazil. Proceedings of 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017.

2017. LOURENÇO FURTADO; DE MORAES CRUZ, CARLOS AUGUSTO; SILVEIRA, F.; T. D. MOURA. Active ISFET Sensor Readout Circuit. In: 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017, Fortaleza - Brazil. Proceedings of 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017.

FURTADO L. L.; DE MORAES CRUZ, CARLOS AUGUSTO; SOUZA, J. F.; CARDOSO, V. F.; M. VINÍCIUS PELEGRINI. A Novel Electrical Circuit Model for Ion-Sensitive Field-Effect Transistor. In: 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017, Fortaleza - Brazil. Proceedings of 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017.

DE OLIVEIRA, EWERTON GOMES; DE MORAES CRUZ, CARLOS AUGUSTO; DE LIMA MONTEIRO, DAVIES WILLIAM. Power Consumption Contrasting Model For Different Logarithmic Active Pixel Sensor Topologies. In: 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017, Fortaleza - Brazil. Proceedings of 2nd International Symposium on Instrumentation Systems, Circuits and Transducers, 2017.

TRABALHOS PUBLICADOS EM EVENTOS NACIONAIS

XAVIER, C. M.; COSTA, MARLY GUIMARÃES FERNANDES; COSTA FILHO, CÍCERO F. F. A New Multi Objective Approach for Optimizing P-median Modeling in School Allocation using Genetic Algorithm. In: Congresso da Sociedade Brasileira de Computação 2017 - Seminário Integrado de Software e Hardware, 2017, São Paulo. Anais do Congresso da Sociedade Brasileira de Computação 2017, 2017. v. 1. p. 2575-2586.

LIMA NETO, M. S.; COSTA, M. G. F.; COSTA FILHO, CÍCERO F. F. A New Global-Local Approach to Optimize School Meals Delivery. In: Congresso da Sociedade Brasileira de Computação 2017 - Seminário Integrado de Software e Hardware, 2017, São Paulo. Anais do Congresso da Sociedade Brasileira de Computação 2017, 2017. v. 1. p. 2587-2597.

OLIVEIRA, J. P.; COSTA, MARLY GUIMARÃES FERNANDES; COSTA FILHO, CÍCERO F. F. Detecção de áreas desmatadas utilizando redes neurais artificiais associados a métodos para melhoria da generalização. In: XIII Encontro Nacional de Computação, 2017, Catalão - GO. Anais do XIII Encontro Nacional de Computação, 2017. v. 1. p. 84-91.

JESUS, A. S.; RODRIGUES, R. N.; FERREIRA, A. N. G.; VALENTE, V. H.; MELO, W. C.; LIMA FILHO, E. B.; DA SILVA JÚNIOR, WALDIR SABINO. Sistema Automático de Apontamento de Antena para Receptores Satelitais nas Bandas C e Ku. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017, São Pedro, SP. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017. p. 186-190.

AMOEDO, D. A.; MELO, W. C.; CORDEIRO, L. C.; LIMA FILHO, E. B.; DA SILVA JÚNIOR, WALDIR SABINO; CARVALHO, C. B. Classificação Automática de Modulações Mono e Multiportadoras utilizando Método de Extração de Características e Classificadores SVM. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017, São Pedro, SP. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017. p. 393-397.

MELO, W. C.; LIMA FILHO, E. B.; DA SILVA JÚNIOR, WALDIR SABINO. Electroencephalographic Signal Compression Based on Adaptive Segmentation and Video Encoders. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017, São Pedro, SP. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017. p. 503-507.

DANTAS, P. V.; VINENTE, K. S.; SALES E SILVA, L. E.; CARVALHO, C. B.; DA SILVA JÚNIOR, WALDIR SABINO. Análise de Parâmetros para Desagregação de Sinais de Consumo de Energia Elétrica. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017, São Pedro, SP. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017. p. 682-686.

MELLO, D. P. M.; FREITAS, M. L.; CORDEIRO, L. C.; DA SILVA JÚNIOR, WALDIR SABINO; BESSA, I. V.; LIMA FILHO, E. B.; CLAVIER, L. Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017, São Pedro, SP. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT), 2017. p. 1184-1188.

SILVA JUNIOR, W. S.; AMOEDO, D.; MELO, W.; CARVALHO, C. B. Classificação Automática de Modulações Mono e Multiportadoras utilizando Método de Extração de Características e Classificadores SVM. In: SBrT, 2017, São Pedro, SP. Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017. v. XXXV.

NEVES, E. V.; MARTINS, R.; CARVALHO, CELSO; MOTA, E. Disseminação de mensagens DTN com base em grupos de interesses. In: Erin, 2017, Manaus. Erin 2017 - IV Escola Regional De Informática, 2017. V. 2017.

CAVALCANTE, T. F.; AVES, E. H. S.; CARVALHO, C. B. Radio Communication to Control and Run an Autonomous Mission for UAVs via a Mobile Application. In: ERIN - Escola Regional de Informática, 2017, Manaus. IV Escola Regional de Informática, 2017.

COSTA JR, M. A.; SEABRA, J. C.; SILVA, Y. M. L. R.; LUCENA JR, V. F. APLICAÇÃO DIGITAL TWIN PARA DETECÇÃO DE FALHAS E DIAGNÓSTICO EM EQUIPAMENTOS DE USO DOMÉSTICO. In: Simpósio Brasileiro de Automação Inteligente (SBAI), 2017, Porto Alegre. Anais do Simpósio Brasileiro de Automação Inteligente (SBAI 2017). São Paulo: SBA, 2017. v. 1. p. 1-6.

ALBUQUERQUE, H.; ARAUJO, R.; BESSA, I.; CORDEIRO, L. C.; LIMA FILHO, E. B. OptCE: A Counterexample-Guided Inductive Optimization Solver. In: XX Brazilian Symposium on Formal Methods, 2017, Recife. SBMF'17. Heidelberg: Springer, 2017. p. 1-16.

GADELHA, M. Y. R.; CORDEIRO, L. C.; NICOLE, D.. Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks. In: XX Brazilian Symposium on Formal Methods, 2017, Recife. SBMF'17. Heidelberg: Springer, 2017. p. 1-16.

CAVALCANTE, T. R. F.; BESSA, I. V.; CORDEIRO, L. C. Planning and Evaluation of UAV Mission Planner for Intralogistics Problems. In: VII Brazilian Symposium on Computing Systems Engineering, 2017, Curitiba, Paraná. SBESC'17, 2017. p. 1-8.

CARVALHO, F. F.; SOUZA, ALEXANDRE KENNEDY PINTO; DE MORAES CRUZ, CARLOS AUGUSTO. A Novel Hybrid Polarization-Quadrature Pixel Cluster For Local Light Angle and Intensity Detection. In: 30th Symposium on Integrated Circuits and Systems Design, 2017, Fortaleza - Brazil. Proceedings of 30th Symposium on Integrated Circuits and Systems Design, 2017.