Emerson Alexandre de Oliveira Lima
Emerson Alexandre de Oliveira Lima concluiu seu Doutorado em Matemática pela Universidade Federal de Pernambuco em 2003. Desde então têm trabalhado na área de Matemática Pura e Aplicada, sobretudo, em Problemas Inversos e Otimização.
Em 2007, concluiu seu Pós Doutoramento na Universidade Estadual de Campinas (UNICAMP) na área de Geofísica Computacional.
Desde 1999, leciona como Docente em Instituições de Ensino Superior de Alto Nível. Atualmente, integra o corpo docentes da Escola Politécnica de Pernambuco atuando na graduação dos cursos de Engenharia e na Pós-Graduação em Engenharia de Sistemas. Atua ainda como colaborador no Programa de Mestrado da Universidade Estadual de Campinas e como co-Orientador do Programa de Doutorado em Computação e no Programa de Doutorado em Engenharia Nuclear ambos da Universidade Federal de Pernambuco (UFPE).
Recentemente, sua produção Cientifica tem se concentrado nas áreas de Processamento Digital de Imagens, Tomografia Industrial, Matemática Aplicada e Geofísica Computacional.
Informações coletadas do Lattes em 26/03/2025
Acadêmico
Formação acadêmica
Doutorado em Matemática
1998 - 2003
Universidade Federal de Pernambuco
Título: Códigos de Gauss não 2-Face Coloráveis em RP2
Sóstenes Luiz Soares Lins. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: 3-Variedades topológicas; Gems; Grafos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória. Setores de atividade: Informática.
Mestrado em Matemática
1996 - 1998
Universidade Federal de Pernambuco
Título: Espectro de Markoff,Ano de Obtenção: 1998
Orientador: Andre Banks
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Markoff; Formas Diferenciais; Formas quadráticas.Grande área: Ciências Exatas e da Terra
Pós-doutorado
2007 - 2007
Pós-Doutorado. , Universidade Estadual de Campinas, UNICAMP, Brasil. , Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Geociências / Subárea: Geofísica.
Formação complementar
1989 - 1992
Técnico em Química Industrial. , Instituto Federal de Pernambuco, IFPE, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Italiano
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Processamento Gráfico (Graphics).
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Geometria e Topologia/Especialidade: Topologia das Variedades.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Matemática Discreta e Combinatória.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.
Organização de eventos
LIMA, E. A. O. . 8a Semana de Integração Universidade e Sociedade. 2010. (Congresso).
Participação em eventos
II Seminário de Autoavaliação da Universidade de Pernambuco.Novas Tecnologias na Gestão Universitária. 2010. (Seminário).
10th International Congress of the Brazilian Geophysical Society. Optimization and Geophysical Applications. 2007. (Congresso).
XXX Congresso Nacional de Matemática Aplicada e Computacional. Diversas. 2007. (Congresso).
4a Semana de Educação da Unicap.Ensino de Matemática nas Escolas. 2006. (Oficina).
Fourth International Symposium on Process Tomography in Poland.Reconstruction of Radial Catalyst Concentration Distribution in an Experimental Type FCC Riser. 2006. (Simpósio).
VII Jornada Pedagógica da EAMPE. Ensino a Distância: Rumo a uma Educação Tecnológica. 2006. (Congresso).
International Nuclear Atlantic Conference. An Analytical Comparations of Diferent Estimators.... 2005. (Congresso).
5a Mostra de Ensino, Pesquisa e Extensão da Universidade Católica de Pernambuco - UNICAP.5a Mostra de Ensino, Pesquisa e Extensão da Universidade Católica de Pernambuco - UNICAP. 2004. (Encontro).
Encontro Regional de Matemática Aplicada e Computacional.Encontro Regional de Matemática Aplicada e Computacional. 2004. (Encontro).
3a Mostra de Ensino, Pesquisa e Extensão da Universidade Católica de Pernambuco - UNICAP.Introdução à Teoria dos Jogos. 2003. (Encontro).
Encontro Regional de Matemática Aplicada e Computacional.Encontro Regional de Matemática Aplicada e Computacional. 2003. (Encontro).
Microsoft Developers Days.Microsoft Developers Days. 2003. (Seminário).
3a Mostra de Ensino, Pesquisa e Extensão da Universidade Católica de Pernambuco. 3a Mostra de Ensino, Pesquisa e Extensão da Universidade Católica de Pernambuco - UNICAP. 2002. (Congresso).
Congresso Nacional de Matemática Aplicada e Computacional. Congresso Nacional de Matemática Aplicada e Computacional. 2002. (Congresso).
Encontro Regional de Matemática Aplicada e Computacional.Encontro Regional de Matemática Aplicada e Computacional - Natal. 2002. (Encontro).
Programa de Verão do Departamento de Matemática UFPE. 2002. (Outra).
2a Mostra de Ensino, Pesquisa e Extensão da Universidade Católica de Pernambuco.2a Mostra de Ensino, Pesquisa e Extensão da Universidade Católica de Pernambuco - UNICAP. 2001. (Encontro).
Encontro Regional de Matemática Aplicada e Computacional - Recife.Encontro Regional de Matemática Aplicada e Computacional - Recife. 2001. (Encontro).
Escola de Verão do Departamento de Matemática Aplicada.Códigos de Gauss Não 2-Face Coloráveis em RP2. 2001. (Outra).
Programa de Verão do Departamento de Matemática UFPE. 2001. (Outra).
Seminário Conhecer para Melhorar - Curso de Matemática. 2001. (Seminário).
1a Mostra de Ensino, Pesquisa e Extensão da Universidade Católica de Pernambuco.1a Mostra de Ensino, Pesquisa e Extensão da Universidade Católica de Pernambuco - UNICAP. 2000. (Encontro).
I Fórum e I Feira de Informática na Educação da UFPE. 2000. (Outra).
Programa de Verão do Departamento de Matemática UFPE. 2000. (Outra).
Programa de Verão do Departamento de Matemática UFPE. 1999. (Outra).
Programa de Verão do Departamento de Matemática UFPE. 1998. (Outra).
Programa de Verão do Departamento de Matemática UFPE. 1997. (Outra).
XXXII CONGRESSO BRASILEIRO DE QUÍMICA; VI SEMANA DE QUÍMICA FUNDAMENTAL E TECNOLÓGICA; IV JORNADA BRASILEIRA DE INICIAÇÃO CIENTÍFICA. XXXII CONGRESSO BRASILEIRO DE QUÍMICA; VI SEMANA DE QUÍMICA FUNDAMENTAL E TECNOLÓGICA; IV JORNADA BRASILEIRA DE INICIAÇÃO CIENTÍFICA. 1992. (Congresso).
Participação em bancas
Junior, N. R. F.;LIMA, E.A.O.LINS, S. L. S.. Teoria Enumerativa de Polya. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
Neto, F. B. L; CRUZ, M. L. P. M. E.;LIMA, E.A.O.. Modelo Preditivo para Sugestão de Roteamento Rodoviário de Cargas Considerando Dados Históricos. 2017. Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco.
LIMA, F. R. A.;MELO, Sílvio de BarrosLIMA, E.A.O.. Simulação por Meio do Código MCNPX de Tomografia Gama e Validação com Dados Experimentais. 2016. Dissertação (Mestrado em TECNOLOGIAS ENERGÉTICAS E NUCLEARES) - Universidade Federal de Pernambuco.
MELO, Sílvio de BarrosLIMA, E.A.O.. Conformidade à Lei de Newcomb-Benford de Grandezas Astronômicas segundo a Medida de Kolmogorov-Smirnov. 2016. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
LIMA, E.A.O.DANTAS, Carlos CostaMELO, Sílvio de Barros. Proposta de um algoritmo de otimização a quente para sistemas de produção de gás de síntese usando transformadas diferenciais. 2015. Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco.
MELO, Sílvio de BarrosLIMA, E.A.O.. Minimizando o mau condicionamento na análise por radiação gama. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
LIMA, E.A.O.MELO, Sílvio de BarrosDANTAS, Carlos Costa. Uma Abordagem Heurística Utilizando o Algoritmo VNS (Variable Neighborhood Search) Aplicada à Reconstrução de Imagens Obtidas por Tomografia Gama Industrial Discreta.. 2015. Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco.
MADEIRO, F.LIMA, E.A.O.; MELO, C. A. B.. Esteganografia em Imagens Digitais com Baixa Taxa de Modificação de Bits. 2014. Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco.
FERNANDES, S. M. M.;LIMA, E. A. O.; Ferreira, T. A. E.. Sistemas Inteligentes Aplicados à Análise de Riscos Ambientais. 2012. Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco.
MELO, Sílvio de Barros; Santos, J.;LIMA, E. A. O.. A CONFORMIDADE À LEI DE NEWCOMB-BENFORD DE QUALIFICADORES DE PONTOS DE INTERESSE EM IMAGENS DIGITAIS. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
SANTOS, Valdemir Alexandre dosLIMA, E. A. O.. Otimização da composição de gesso de projeção para revestimento. 2012. Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco.
SANTOS, Valdemir Alexandre dosLIMA, E. A. O.; ROLIM, M. M.. Produção de Gesso de Revestimento Interno Utilizando Anidrita II. 2012. Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco.
LIMA, E. A. O.DANTAS, Carlos Costa; FERNANDES, S. M. M.. MODELOS MATEMÁTICOS PARA DISPERSÃO DE POLUENTES: Análise temporal da dispersão de esgotos descartados em trechos urbanos do Rio Capibaribe. 2010. Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco.
MELO, Sílvio de BarrosLIMA, E. A. O.; TEICHRIEB, V.. MODELAGEM PROCEDURAL DE CIDADES VIA ALGORITMO DE COLONIZAÇÃO DE ESPACO. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
LIMA, E. A. O.; MONTES, M. J. F.; FERNANDES, S. M. M.. MODELAGEM E APROXIMAÇÃO NUMÉRICA DE DADOS RELATIVOS A NUTRIENTES NA COSTA PERNAMBUCANA. 2010. Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco.
MADEIRO, F.LIMA, E. A. O.; AZEVEDO, K. F.. Papel da Compreensão Leitora na Resolução de Problemas Matemáticos. 2010. Dissertação (Mestrado em Ciências da Linguagem) - Universidade Católica de Pernambuco.
LIMA, E. A. O.; Carlos, T.B.; Santos, J.P.O.. Equações Diofantinas Clássicas e Aplicações. 2009. Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas.
Santos, J.P.O.;LIMA, E. A. O.; BRIETZKE, E.H.M.. Tópicos de Teoria dos Números e Testes de Primaridade. 2009. Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas.
Santos, J.P.O.; BRIETZKE, E.H.M.;LIMA, E. A. O.. Introdução à Teoria das Partições. 2009. Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas.
LIMA, E. A. O.MELO, Sílvio de Barros; SILVA FILHO, A. M.. MODELOS MATEMÁTICOS PARA DISPERSÃO DE POLUENTES:Aplicação ao Estudo da Bacia Hidrográfica Subterrânea do Aquífero Boa Viagem. 2009. Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco.
SANTOS, Valdemir Alexandre dosLIMA, E. A. O.; BALTAR, C. A. M.. Determinação de Condições Operacionais Adequadas para Produção de Gesso Pre-moldado de Alta Resistência Mecânica. 2009. Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco.
MELO, Sílvio de BarrosLIMA, E. A. O.; WALTER, M.. Dunas: A framework for Deformable Bézier Surfaces and Curves. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
LIMA, E. A. O.ARAUJO FILHO, Moacyr Cunha de; MONTENEGRO, Suzana Maria Lima; VITAL, Helenice. Modelagem Matemática do Transporte e Dispersão de uma Pluma de Hidrocarbonetos na Região Costeira de Suape-PE. 2004. Dissertação (Mestrado em Oceanografia) - Universidade Federal de Pernambuco.
LIMA, E. A. O.. Algoritmo AKS. 2004. Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas.
Santos, J.P.O.; COSTA, S.I.R.;LIMA, E. A. O.. Teoria dos Números e RSA. 2004. Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas.
Ferreira, T. A. E.;ARAUJO FILHO, Moacyr Cunha deLIMA, E.A.O.; Figueiredo, P. H.; Ramos, F. S. Quantificação de Riscos em Mercados Financeiros. 2017. Tese (Doutorado em Programa de Pós Graduação em Biometria e Estatística Aplicada) - Universidade Federal Rural de Pernambuco.
SILVA, R. M. A.;MELO, Sílvio de Barros; Junior, N. R. F.;LIMA, E.A.O.; ALBUQUERQUE, J. O.. An O(E)-Linear model for the MaxCut Problem. 2017. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.
DANTAS, Carlos Costa; ARAUJO, A. F. R.; Vieira, J.W.;LIMA, E.A.O.; LIRA, C. A. B. O.. Reconstrução Dinâmica Industrial. 2016. Tese (Doutorado em TECNOLOGIAS ENERGÉTICAS E NUCLEARES) - Universidade Federal de Pernambuco.
MELO, Sílvio de BarrosLIMA, E.A.O.CRISTINO, C. T.. Regularização Geométrica para o problema da análise de ativação de raios gama prontos através de nêutrons (PGNAA) em fluídos multifásicos. 2015. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco.
DANTAS, Carlos Costa; LIRA, C. A. B. O.;LIMA, E.A.O.; Vieira, J.W.; SILVA, M.A.B.. Avaliação da incerteza nas medidas de parâmetros fluidodinâmicos na UPF. 2015. Tese (Doutorado em Tecnologias Energéticas Nucleares) - Universidade Federal de Pernambuco.
DANTAS, Carlos CostaLIMA, E. A. O.; Vieira, J.W.; NARAIN, R.;CRISTINO, C. T.. PSIRT: Um sistema de partículas como abordagem para reconstrução tomográfica do riser. 2013. Tese (Doutorado em Tecnologias Energéticas Nucleares) - Universidade Federal de Pernambuco.
LEMOS, M. J. M. S.;LIMA, E. A. O.CORDEIRO, GaussMELO, Sílvio de BarrosLINS, S. L. S.. Matróides com Poucas Bases Não-Comuns. 2012. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco.
Macedo, A. M. S;LIMA, E.A.O.MELO, Sílvio de Barros. Cálculo Exterior Discreto Aplicado à Cavidades de Microondas via Matriz de Impedância. 2017. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.
FREITAS, F. L. G.;LIMA, E.A.O.MELO, Sílvio de Barros. Desenvolvimento de Chatterbots para Criação e Desenvolvimento de Ontologias com Lógica de Descrição. 2017. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Lima, J. B.; Souza, R. M. C.;LIMA, E.A.O.. Um estudo sobre métodos para construção de autovetores de transformadas discreta. 2017. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Pernambuco.
SILVA, R. M. A.; Junior, N. R. F.;LIMA, E.A.O.. Algorithm for the Maxcut Problem with Emphasis on Verifiability. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
LIMA, E.A.O.; Vieira, J.W.; LIRA, C. A. B. O.. Reconstrução Dinâmica Industrial por Tomografia Não Instantânea. 2016. Exame de qualificação (Doutorando em TECNOLOGIAS ENERGÉTICAS E NUCLEARES) - Universidade Federal de Pernambuco.
Lima, E.A; LIRA, C. A. B. O.; Vieira, J.W.;DANTAS, Carlos Costa. Análise da Incerteza e Fluidodinâmica-Medição da Fração Volumérica de Sólidos em Riser. 2015. Exame de qualificação (Doutorando em TECNOLOGIAS ENERGÉTICAS E NUCLEARES) - Universidade Federal de Pernambuco.
DANTAS, Carlos CostaLIMA, E.A.O.; SANTOS, L. A. P.; LIRA, C. A. B. O.; BARBOSA, E. S.. Controle de Injeção de Catalizador em Unidade Piloto tipo FCC a Frio. 2015. Exame de qualificação (Doutorando em Tecnologias Energéticas Nucleares) - Universidade Federal de Pernambuco.
NARAIN, R.; Vieira, J.W.;LIMA, E. A. O.. PSIRT: Um sistema de partículas como abordagem para reconstrução tomográfica do riser. 2013. Exame de qualificação (Doutorando em Tecnologias Energéticas Nucleares) - Universidade Federal de Pernambuco.
Tiba, C.; Vieira, J.W.;LIMA, E. A. O.. PSIRT: Um sistema de partículas como abordagem para reconstrução tomográfica do riser. 2013. Exame de qualificação (Doutorando em Tecnologias Energéticas Nucleares) - Universidade Federal de Pernambuco.
NARAIN, R.; Vieira, J.W.;Lima, Emerson. Sistema de Partículas como Abordagem para Reconstrução Tomográfica. 2013. Exame de qualificação (Doutorando em Tecnologias Energéticas Nucleares) - Universidade Federal de Pernambuco.
DANTAS, C; TIBA, C.;LIMA, E. A. O.. Reconstrução Tomográfica com Dependência Temporal para Diferentes Gerações de Tomógrafos em Aplicações de Escoamentos Multifásicos em Colunas Industriais. 2012. Exame de qualificação (Doutorando em TECNOLOGIAS ENERGÉTICAS E NUCLEARES) - Universidade Federal de Pernambuco.
DANTAS, CLIMA, E. A. O.. Avaliação de Incerteza em Modelos Contínuos. 2012. Exame de qualificação (Doutorando em TECNOLOGIAS ENERGÉTICAS E NUCLEARES) - Universidade Federal de Pernambuco.
DANTAS, Carlos Costa; ARAUJO, A. F. R.;Lima, E. A.. Reconstrução Tomográfica com Dependência Temporal para Diferentes Gerações de Tomógrafios em Aplicações de Escoamentos Multifásicos em Colunas Industriais. 2012. Exame de qualificação (Doutorando em Tecnologias Energéticas Nucleares) - Universidade Federal de Pernambuco.
DANTAS, Carlos CostaMELO, Sílvio de BarrosLIMA, E.A.O.. Identificação da Potencialidade de Amostras Geológicas para Petróleo Utilizando Tomografia Computadorizada Gama e Raios X. 2017. Exame de qualificação (Mestrando em TECNOLOGIAS ENERGÉTICAS E NUCLEARES) - Universidade Federal de Pernambuco.
DANTAS, Carlos CostaLIMA, E.A.O.MELO, Sílvio de Barros. Simulação de transporte de fótons por meio do código MCNPX de tomógrafo gama para validação com dados experimentais e análise de erro. 2015. Exame de qualificação (Mestrando em Tecnologias Energéticas Nucleares) - Universidade Federal de Pernambuco.
MADEIRO, F.LIMA, E. A. O.. Desenvolvimento de um aplicativo para Fisioterapia. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
MADEIRO, F.LIMA, E. A. O.. Comparação de Desempenho de Algoritmos de Aprendizagem Não-Supervisionada Aplicados ao Projeto de Dicionários. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
MADEIRO, F.LIMA, E. A. O.. Sequências de Baixa Discrepância Aplicadas à Esteganografia em Imagens Digitais. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
MADEIRO, F.LIMA, E. A. O.. Desenvolvimento de Software para Mapeamento de Endemias: Uma alternativa para definição de política de saúde pública. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.SILVIO, S.B.. Desenvolvimento de um simulador de dados tomográficos usando o Scilab. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.SILVIO, S.B.. C/C++, Java e Ruby versus Fortran: Uma comparação para o uso em computação numérica. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.; BARBOSA, G. R.. Descrição e Identificação de Métricas nos Testes de Software. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.; BARBOSA, G. R.. Webservice usando PHP e XML. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.LINS, R. C.. Reconhecimento Facial Através de Dispositivos Móveis. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
ALBUQUERQUE, C. D. C.;LIMA, E. A. O.. Sistemas imunológicos artificiais aplicados a detecção de intrusão em redes de computadores. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
ALBUQUERQUE, C. D. C.;LIMA, E. A. O.. Aplicações de Algoritmos Genéticos na Previsão de Estruturas Moleculares Proteícas. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
ALBUQUERQUE, C. D. C.;LIMA, E. A. O.. MODELAGEM HIBRIDA NEURO-GENÉTICA DE PROCESSO DE BIODEGRADAÇÃO DE QUEROSENE EM ÁGUA DO MAR.. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
ALBUQUERQUE, C. D. C.;LIMA, E. A. O.. MODELAGEM HÍBRIDA NEUROGENÉTICA DE PROCESSO DE PRODUÇÃO DE BIOSSURFACTANTES EM ÁGUA DO MAR. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
MADEIRO, F.LIMA, E. A. O.. Estudo de Técnicas de Inicialização de Algoritmos de Projeto de Quantizadores Vetoriais. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.MADEIRO, F.. Alves.Aplicação da lei de Benford a detecção de texto oculto em imagens. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.BANDEIRA, S.. Aplicação da Técnica de Arrefecimento Simulado na Solução do Problema de Distância Geométrica: Uso na Visualização de Moléculas a Partir de Dados RMN. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
BANDEIRA, S.LIMA, E. A. O.. Processamento de Dados em Larga Escala na Computação Distribuída. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.MADEIRO, F.. Aplicação de Técnicas para autenticação digital com aplicações em redes sociais. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.LINS, R. C.. Aplicação de Técnicas de Otimização na Solução do Problema de Rastreamento de Imagens em Vídeo. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.MADEIRO, F.. Avaliação Comparativa de Técnicas de Codificação por Distância Mínima em QV de Imagens. 2011 - Universidade Católica de Pernambuco.
MADEIRO, F.LIMA, E. A. O.. Estudo e Avaliação de Técnicas de Redução de Bloqueamento em Imagens Comprimidas. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
Lima, E.A.; BARBOSA, G. R.. Caracterização de Consumidores e Propostas de Melhorias para o Sistema de Compras Coletivas. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Pernambuco.
Lima, E.A.LINS, ROBSON. Rastreamento de Objetos Deformáveis. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Pernambuco.
Lima, E.A.MADEIRO, F.. Aplicação de Técnicas de Esteganografia em Imagens Digitais nas Redes Sociais. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Pernambuco.
Lima, E.A.MADEIRO, F.. Técnicas de Inteligência Computacional Aplicadas a Previsão de Séries Temporais. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Pernambuco.
Lima, E.A.BANDEIRA, S.. Aspectos do Uso de Processamento de Linguagem Natural na Reconstrução de um Interpretador de Libras. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.MADEIRO, F.. APLICAÇÃO DE GRAFOS NO AGENDAMENTO DE TAREFAS A EXECUTORES: O PROBLEMA DA ALOCAÇÃO DE HORÁRIOS. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.BANDEIRA, S.. UMA AVALIAÇÃO DE SISTEMAS DE APOIO A DECISÃO SOB O ASPECTO DO QUADRO MOTIVACIONAL: APLICAÇÃO AO ESTUDO DO SISTEMA HEALTHNET. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.MADEIRO, F.. APLICAÇÃO DE DIAGRAMAS DE VORONOI VALORADOS NA DETERMINAÇÃO DA ÁREA DE INFLUÊNCIA DE HOSPITAIS DO POLO MÉDICO DA CIDADE DE RECIFE. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.BANDEIRA, S.. CÓDIGOS CORRETORES DE ERROS E APLICAÇÕES. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
MADEIRO, F.LIMA, E. A. O.. Estudo e Avaliação de Algoritmos Aplicados à Quantização Vetorial Robusta. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
MADEIRO, F.LIMA, E. A. O.. Desenvolvimento de Uma Técnica de Esteganografia em Imagens Digitais. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
MADEIRO, F.LIMA, E. A. O.. Redução de Operações Aritméticas Realizadas Por Algoritmos de Aprendizagem Competiva. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
Lima, E.A.BANDEIRA, S.. Entendendo o IPV6. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Pernambuco.
Lima, E.A.BANDEIRA, S.. Processamento de Dados em Larga Escala em Computação Distribuída. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Pernambuco.
BANDEIRA, S.LIMA, E. A. O.. de Freitas.Cloud Computing. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
SILVA FILHO, A. M.;LIMA, E. A. O.. Arquitetura de Um Projeto Usando Scrum. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco.
MONTEIRO, C. Q.;LIMA, E. A. O.; COLACO, J.. Uso do Planejamento Estratégico como Ferramenta de Auxílio na Melhoria de Sistemas de Gestão da Qualidade Fundamentados na ISSO 9001/2000. 2009. Trabalho de Conclusão de Curso (Graduação em Engenharia Civil) - Universidade de Pernambuco.
Lima, E. A.BANDEIRA, S.. Integração de Sistemas Heterogêneos. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Católica de Pernambuco.
LIMA, E. A. O.. Simulação de Distribuição da Densidade do Catalisador em um Riser Experimental. 2004. Outra participação, Universidade Federal de Pernambuco.
LIMA, E.A.O.; SILVA, J. D.; LOUREIRO, E. C. M.; LEAO, L. H. V.. Concurso Público para Professor Efetivo - Ciclo Básico/Fenômenos de Transporte. 2015. Universidade de Pernambuco.
LIMA, E.A.O.; VILLAR, H. P.; MARINHO, M. H. N.; FONTANA, M. E.. Concurso Público para Professor Efetivo na Área de Engenharia Civil/Recursos Hídricos e Saneamento. 2015. Universidade de Pernambuco.
LIMA, E.A.O.; LEITE FILHO, G. D. S.; REIS NETO, J. M.; OLIVEIRA, A. C. C.. Concurso Público para Professor Efetivo na Área de Engenharia Eletrotécnica/Instalações Elétricas. 2015. Universidade de Pernambuco.
LIMA, E.A.O.; MILLAN, D. J. R.; VILELA, G. S.; SILVA JUNIOR, G. J.. Concurso Público para Professor Efetivo na Área de Engenharia de Telecomunicações/Comunicações. 2015. Universidade de Pernambuco.
LIMA, E.A.O.; OLIVEIRA, R. A.; MONTEIRO, C. Q.; ZARZAR JUNIOR, F. C.. Concurso Público para Professor Efetivo na Área de Engenharia Civil/Estrutura. 2015. Universidade de Pernambuco.
LIMA, E.A.O.; VALENCA, M. J. S.; FERNANDES, S. M. M.; MATTOS NETO, P. S. G.. Concurso Público para Professor Efetivo na Área de Engenharia de Telecomunicações/Telefonia. 2015. Universidade de Pernambuco.
LIMA, E.A.O.; LIMA, M. V. B. C.; SODRE, E. A.; SOUZA, H. E. P.. Concurso Público para Professor Efetivo na Área de Engenharia Eletrotécnica/Circuitos Elétricos. 2015. Universidade de Pernambuco.
LIMA, E.A.O.. Concurso Público Simplificado para Professor Temporário da Escola Politécnica. 2015. Universidade de Pernambuco.
LIMA, E.A.O.; ALBUQUERQUE, E. Q.; FERNANDES, S. M. M.; Ferreira, T. A. E.. Concurso Público para Professor Efetivo na Área de Engenharia de Telecomunicações/Redes de Faixa Larga. 2015. Universidade de Pernambuco.
MONTE CARMELO, E. L.;LIMA, E. A. O.; BASTOS, J. L. R. Concurso Público para Professor Efetivo na Área Matemática Discreta. 2012. Universidade Estadual de Maringá.
CALDAS JUNIOR, A. F.; ROSENBLATT, A.;LIMA, E. A. O.. Concurso Público para Professor Efetivo na Área de Bioestatística. 2010. Universidade de Pernambuco.
LIMA, E. A. O.; SANTOS, J. R.;CRISTINO, C. T.. Concurso Público para Professor Adjunto. 2008. Universidade Federal Rural de Pernambuco.
LIMA, E. A. O.. Concurso Público para Professor Auxiliar. 2005. Faculdade de Ciências E Administração de Petrolina.
LIMA, E. A. O.. Concurso Público Para Preenchimento de Vagas de Professor Assistente e Auxiliar nas disciplinas de Lógica, Linguagens Formais e Matemática Discreta da FACAPE (Faculdade de Ciências e Administração de Petrolina - PE) para o curso de Ciência da Computação. 2002. Faculdade de Ciências E Administração de Petrolina.
LIMA, E. A. O.. Banca Examinadora do Concurso Público para Prof. Auxiliar de Matemática da Faculdade de Formação de Professores de Nazaré da Mata - Universidade de Pernambuco. 2002. Universidade de Pernambuco.
LIMA, E. A. O.; BIAZUTTI, Angela. Avaliação Ad-Hoc das Condições de Ensino na Faculdade de Filosofia Ciências e Letras de Ituverava - SP. 2004. Faculdade de Filosofia Ciências e Letras de Ituverava.
LIMA, E.A.O.. Comissão Avaliadora da 21a Jornada de Iniciação Científica FACEPE. 2017. Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco.
LIMA, E.A.O.. Comissão Avaliadora da 20a Jornada de Iniciação Científica FACEPE. 2016. Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco.
LIMA, E. A. O.. Banca Examinadora dos Projetos de Apoio à Graduação. 2012. Universidade de Pernambuco.
Orientou
Métodos Autovalidados em IA; Início: 2019; Dissertação (Mestrado profissional em Engenharia da Computação) - Universidade de Pernambuco; (Orientador);
Quantização Vetorial de Imagens Utilizando PSO; Início: 2018; Dissertação (Mestrado profissional em Engenharia da Computação) - Universidade de Pernambuco; (Orientador);
Implementação de um servidor VoIP (Provisório); Início: 2018; Dissertação (Mestrado profissional em Engenharia da Computação) - Universidade de Pernambuco; (Orientador);
Otimização em Controle de Fluxo em Protocolos TCP/IP; Início: 2017; Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco; (Orientador);
Controle de fluxo em protocolos TCP; Início: 2017; Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco; (Orientador);
Redes Neurais Intervalares; Início: 2019; Tese (Doutorado em Doutorado em Engenharia da Computação) - Universidade de Pernambuco; (Orientador);
Análise de Incerteza na Medida de Tomografia de Emissão; Início: 2012; Tese (Doutorado em TECNOLOGIAS ENERGÉTICAS E NUCLEARES) - Universidade Federal de Pernambuco; (Coorientador);
MÉTRICAS EM RECONSTRUÇÃO TOMOGRÁFICA DE PROCESSOS INDUSTRIAIS; Início: 2012; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Coorientador);
Estudo e Implementação de Algoritmos de Otimização Global Contínuos; Início: 2018; Iniciação científica (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);
Aplicação de Inteligência Computacional para Análise da Pressão Plantar e Centro de Gravidade de Indivíduos Utilizando Equipamentos de Baixo Custo; ; 2017; Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco,; Orientador: Emerson Alexandre de Oliveira Lima;
Modelo de Propagação Empírico de Interiores para Redes LTE em 2600 MHz; 2016; Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco,; Orientador: Emerson Alexandre de Oliveira Lima;
Análise e Desenvolvimento de um Sistema de Tomografia por Impedância Elétrica; 2016; Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco,; Coorientador: Emerson Alexandre de Oliveira Lima;
Algoritmo de Roteamento Baseado em Lógica Nebulosa para Redes Ópticas Elásticas; 2015; Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco,; Orientador: Emerson Alexandre de Oliveira Lima;
Um Algoritmo de Controle de Congestionamento para Protocolo TCP; 2014; Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco,; Orientador: Emerson Alexandre de Oliveira Lima;
Uma Abordagem Heurística Utilizando o Algoritmo VNS (Variable Neighborhood Search) Aplicada à Reconstrução de Imagens Obtidas por Tomografia Gama Industrial Discreta; ; 2013; Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Automatização e Otimização a Quente de Reatores, Mediante Análise Computacional em Tempo Real de Espectros; ; 2013; Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco,; Orientador: Emerson Alexandre de Oliveira Lima;
Simulações Computacionais em Estimativas de Software; ; 2013; Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco,; Orientador: Emerson Alexandre de Oliveira Lima;
Estimação Robusta e Otimização aplicados ao Estudo de Superfícies de Resposta; 2012; Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Quantização Vetorial (Provisório); 2012; Dissertação (Mestrado em ENGENHARIA DE SISTEMAS) - Universidade de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Emerson Alexandre de Oliveira Lima;
Desenvolvimento e Avaliação de Algoritmos Aplicados a Quantização Vetorial Robusta; 2010; Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco,; Coorientador: Emerson Alexandre de Oliveira Lima;
Modelagem e Aplicação das Equações de Lotka-Volterra para Determinação do Padrão de Interação entre Predador (Cryptolaemus montrouzieri) e Presa (Cochonilha do Carmim); 2010; Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Coorientador: Emerson Alexandre de Oliveira Lima;
Equações Diofantinas e Aplicações; 2009; Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas,; Orientador: Emerson Alexandre de Oliveira Lima;
MODELOS MATEMÁTICOS PARA DISPERSÃO DE POLUENTES: Aplicação ao Estudo da Bacia Hidrográfica Subterrânea do Aquífero Boa Viagem; 2009; Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco,; Orientador: Emerson Alexandre de Oliveira Lima;
Uso de diagramas de Voronoi na determinação do zoneamento de risco e medidas de confiabilidades associadas à presença de poluentes atmosféricos; 2009; Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco,; Orientador: Emerson Alexandre de Oliveira Lima;
MODELOS MATEMÁTICOS PARA DISPERSÃO DE POLUENTES: Análise temporal da dispersão de esgotos descartados em trechos do Rio Capibaribe; 2008; Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco,; Orientador: Emerson Alexandre de Oliveira Lima;
Modelagem e Aproximação Numérica de Dados Relativos a Micronutrientes Marítimos na Costa do Nordeste Brasileiro; 2008; Dissertação (Mestrado em Desenvolvimento de Processos Ambientais) - Universidade Católica de Pernambuco,; Orientador: Emerson Alexandre de Oliveira Lima;
Este trabalho apresenta técnicas rápidas para estimação de movimento usando sequências de Baixa Discrepância para Compressão de Vídeo; 2011; Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco,; Coorientador: Emerson Alexandre de Oliveira Lima;
O USO DO TANGRAM COMO FERRAMENTA DE APRENDIZAGEM NO CALCULO DE ÁREA DAS FIGURAS GEOMÉTRICAS PLANAS; 2016; Monografia; (Aperfeiçoamento/Especialização em Especialização no Ensino de Matemática) - Instituto Federal de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
O RESGATE DA IMPORTÂNCIA DA GEOMETRIA ESPACIAL VIVENCIADA NO COTIDIANO DOS ALUNOS; 2016; Monografia; (Aperfeiçoamento/Especialização em Especialização no Ensino de Matemática) - Instituto Federal de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
O PROCESSO DE ENSINO/APRENDIZAGEM DA GEOMETRIA ESPACIAL, UM ESTUDO DE CASO NO 3ª ANO DO ENSINO MÉDIO DA REDE ESTADUAL DE ENSINO DO MUNICÍPIO DE CAMARAGIBE/PE; 2016; Monografia; (Aperfeiçoamento/Especialização em Especialização no Ensino de Matemática) - Instituto Federal de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
USO DA ROBÓTICA COMO FERRAMENTA DE MOTIVAÇÃO DE ENSINO APRENDIZAGEM DE MATEMÁTICA; 2016; Monografia; (Aperfeiçoamento/Especialização em Especialização no Ensino de Matemática) - Instituto Federal de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
O USO DO SOFTWARE GRÁFICO AUTOCAD PARA VISUALIZAÇÃO E CÁLCULO DE VOLUME DOS SÓLIDOS NO ESPAÇO TRIDIMENSIONAL; 2016; Monografia; (Aperfeiçoamento/Especialização em Especialização no Ensino de Matemática) - Instituto Federal de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Reconhecimento de Faces Via Dispositivos Móveis; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Uso de Métricas para Comparação de Software; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Desenvolvimento de um Simulador de Dados Tomográficos Usando Scilab; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
C/C++, Java, Phyton e Ruby versus Fortran: Uma Comparação para Uso em Computação Numérica; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Estudo e Desenvolvimento de Sistemas de Mensagens SMS utilizando Integração PHP e XML; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Aplicação da Técnica de Arrefecimento Simulado na Solução do Problema de Distância Geométrica: Uso na Visualização de Moléculas a Partir de Dados NMR; 2011; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Aplicação de Técnicas de Otimização na Solução do Problema de Rastreamento de Imagens em Vídeo; 2011; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Framework para o desenvolvimento de Máquinas Sociais; 2011; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Aspectos do Uso do Processamento de Linguagem Natural na Construção de um Interpretador de Libras; 2011; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Desvios na distribuição de dígitos pela lei de Benford em imagens e aplicação a detecção de mensagens esteganograficas; 2011; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Aplicação da lei de Benford a detecção de texto oculto em imagens; 2011; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Aplicação de Técnicas para autenticação digital com aplicações em redes sociais; 2011; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
CODIGOS CORRETORES DE ERROS E APLICAÇÕES; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
UMA AVALIAÇÃO DE SISTEMAS DE APOIO A DECISÃO COM ENFASE NO ASPECTO DO QUADRO MOTIVACIONAL: APLICAÇÃO AO ESTUDO DO SISTEMA HEALTHNET; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
APLICAÇÃO DE DIAGRAMAS DE VORONOI VALORADOS NA DETERMINAÇÃO DA ÁREA DE INFLUÊNCIA DE HOSPITAIS DO POLO MÉDICO DA CIDADE DE RECIFE; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
APLICAÇÃO DE GRAFOS NO AGENDAMENTO DE TAREFAS A EXECUTORES: O PROBLEMA DA ALOCAÇÃO DE HORÁRIOS; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Estudo e Implementação de Algoritmos de Otimização Global Contínuos; 2017; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Desenvolvimento de algoritmos de reconstrução de imagens para tomografia gama de processo insdustrial; 2015; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Otimização Aplicada a Tomografia Industrial; 2013; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Otimização Aplicada a Tomografia Industrial; 2013; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Emerson Alexandre de Oliveira Lima;
Algoritmos de Otimização Global Contínuos com Aplicação a Construção de Imagens Sísmicas; 2012; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Algoritmos de Otimização Global Discretos com Aplicação à Construção de Imagens Sísmicas; 2012; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Estudo e Implementação de Algoritmos de Otimização Global Contínuos; 2012; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de Pernambuco, Universidade de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Estudo e Implementação de Algoritmos de Otimização Global Discretos; 2012; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Modelagem e Ajuste de Dados Aplicados a Modelos de Dispersão de PoluentesEstudo e Implementação das técnicas clássicas de ajuste multi-paramétrico; 2010; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Técnicas de Integração e Solução Numérica de Equações Diferenciais Aplicadas a Modelos Ambientais; 2010; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Modelagem e Ajuste de Dados Aplicados a Modelos de Dispersão de PoluentesUso de Técnicas de Estimação Robusta para Ajuste de Modelos Lineares e Não-Lineares; 2010; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Emerson Alexandre de Oliveira Lima;
MODELOS MATEMÁTICOS PARA DISPERSÃO DE POLUENTES: Modelagem e Ajuste de Dados Aplicados a Modelos de Dispersão de Poluentes; 2009; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
MODELOS MATEMÁTICOS PARA DISPERSÃO DE POLUENTES: Técnicas de Integração e Solução Numérica de Equações Diferenciais Aplicadas a Modelos Ambientais; 2008; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Emerson Alexandre de Oliveira Lima;
Otimização de Processos e Equipamentos nas Indústrias de Açúcar e Álcool: Estudo e Implementação das Técnicas de Simulação; 2004; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Emerson Alexandre de Oliveira Lima;
Algoritmos de Simulação - Estudo e implementação de uma biblioteca de algoritmos em Java; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
MÉTODOS DE SIMULAÇÃO COMPUTACIONAL: ALGORITMOS DE OTIMIZAÇÃO CONTÍNUA; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
MÉTODOS DE SIMULAÇÃO COMPUTACIONAL: ALGORITMOS DE OTIMIZAÇÃO DISCRETA; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Modelos Matemáticos de Impacto Ambiental: Simulação computacional dos impactos ambientais nas praias de Recife, Olinda e Jaboatão de um derramamento de petróleo no Porto de Suape - Desenvolvimento do Visualizador; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Modelos Matemáticos de Impacto Ambiental: Simulação computacional dos impactos ambientais nas praias de Recife, Olinda e Jaboatão de um derramamento de petróleo no Porto de Suape - Calibração e Otimização do Algoritmo Numérico; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Modelos Matemáticos de Impacto Ambiental: Simulação computacional dos impactos ambientais nas praias de Recife, Olinda e Jaboatão de um derramamento de petróleo no Porto de Suape - Implementação dos Modelos de Percolação Perturbada e Métodos dos Elementos Finitos; 2001; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Modelos Matemáticos de Impacto Ambiental: Simulação computacional dos impactos ambientais nas praias de Recife, Olinda e Jaboatão de um derramamento de petróleo no Porto de Suape - Implementação dos Modelos de Percolação Perturbada e Métodos dos Elementos Finitos; 2001; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Modelos Matemáticos de Impacto Ambiental: Simulação computacional dos impactos ambientais nas praias de Recife, Olinda e Jaboatão de um derramamento de petróleo no Porto de Suape - Implementação dos Modelos de Percolação Perturbada e Métodos dos Elementos Finitos; 2001; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Modelos Matemáticos de Impacto Ambiental:Simulação computacional dos impactos ambientais nas praias de Recife, Olinda e Jaboatão de um derramamento de petróleo no Porto de Suape; ; 2000; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Elaboração de um Software em Programação Linear; 1999; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Elaboração de Um Software em Programação Linear; 1999; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Elaboração de um Software em Programação Linear; 1999; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pernambuco, Universidade Católica de Pernambuco; Orientador: Emerson Alexandre de Oliveira Lima;
Produções bibliográficas
-
GALVÃO, JAIR ; LIMA, EMERSON ALEXANDRE DE OLIVEIRA ; MADEIRO, FRANCISCO . Atribuição de Índices para QV Robusta Usando o Algoritmo Variable Neighborhood Search. TENDÊNCIAS EM MATEMÁTICA APLICADA E COMPUTACIONAL , v. 18, p. 0197, 2017.
-
VILELA, A.L.M. ; VILELA, G.L.S. ; LIMA, E.O. . Ensino a Distância para Cursos Presenciais de Engenharia: O Caso da Escola Politécnica de Pernambuco. Revista de Ensino de Engenharia , v. 35, p. 44-56, 2016.
-
ARAUJO AZEVEDO, RENAN ; MADEIRO, FRANCISCO ; TERLLIZZIE ARAUJO LOPES, WASLON ; ALEXANDRE OLIVEIRA LIMA, EMERSON . A Quasi Random Symbol Interleaving Technique Applied to Image Transmission By Noisy Channels. Revista IEEE América Latina , v. 14, p. 1078-1085, 2016.
-
LINS, ROBSON ; HENRIQUES, D. B. ; Lima, E. A. ; MELO, SILVIO . A faster pixel-decimation method for block motion estimation in H.264/AVC. TEMA. Tendências em Matemática Aplicada e Computacional , v. 15, p. 119-130, 2015.
-
Araujo, B. G. M. ; DANTAS, Carlos Costa ; MOURA, A. E. ; MELO, SILVIO ; LIMA, R. F. P. ; Lima, E.A ; SANTOS, Valdemir Alexandre dos . Comparison of Regularization Operators for Noisy Gamma-ray Tomographic Reconstruction.. Progress in Nuclear Energy (New Series) , v. 83, p. 1-7, 2015.
-
MOURA, A. E. ; DANTAS, Carlos Costa ; Lima, E.A ; MELO, Sílvio de Barros ; SANTOS, Valdemir Alexandre dos . Non-Destructive Evaluation of Weld Discontinuity in Steel Tubes by Gamma Ray CT.. Nuclear Instruments & Methods in Physics Research. Section B, Beam Interactions with Materials and Atoms (Print) , v. 349, p. 155-162, 2015.
-
DANTAS, C ; MOURA, A. E. ; ROLIM, T. L. ; Melo, S. B. ; SANTOS, Valdemir Alexandre dos ; LIMA, E. A. O. . Data Evaluation and Visibility in Single Beam Scanner of Gamma Ray Tomography. World Journal of Nuclear Science and Technology , v. 03, p. 22-27, 2013.
-
DANTAS, C ; MOURA, A. E. ; MELO, Sílvio de Barros ; SANTOS, Valdemir Alexandre dos ; LIMA, E. A. O. . Uncertainty evaluation by gamma transmission measurements and CFD model comparison in a FCC cold pilot unit. International Journal of Metrology and Quality Engineering , v. 4, p. 9-15, 2013.
-
LIMA, J.B. ; LIMA, E.A.O. ; MADEIRO, F. . Image encryption based on the finite field cosine transform. Signal Processing. Image Communication , v. 28, p. 01, 2013.
-
NUNES, L. ; MADEIRO, F. ; LIMA, E. ; LOPES, W. . Localização com Auxílio da Rede Celular. Revista de Tecnologia da Informação e Comunicação , v. 3, p. 6-10, 2013.
-
LOPES, W. T. A. ; SILVA, L. N. ; MADEIRO, F. ; LIMA, E. A. O. ; LOPES, W. T. A. . Localização com Auxílio da Rede Celular. Revista de Tecnologia da Informação e Comunicação , v. 3, p. 6-10, 2013.
-
LINS, R. C. ; Lima, E. A. ; Melo, S. B. . Estimação de Movimento com Uso de Sequências de Baixa Discrepância para Compressão de VÃdeo. TEMA. Tendências em Matemática Aplicada e Computacional , v. 12, p. 211-220, 2011.
-
Lima, Emerson ; Santos, Lúcio T ; Schleicher, Jörg ; Tygel, Martin . A comparison of semblances of different order in common-reflection-surface parameter estimation. Journal of Geophysics and Engineering (Print) , v. 8, p. 175-184, 2011.
-
LIMA, E. A. O. ; Santo, H. Espírito ; MADEIRO, F. . Sequências de Baixa Discrepância Aplicadas à Inicialização do Algoritmo Linde-Buzo-Gray. TEMA - Tendências em Matemática Aplicada e Computacional , v. 11, p. 217-229, 2010.
-
Lima, E.A ; Melo, G.G.M. ; Lopes, W.T.A. ; MADEIRO, F. . Um Novo Algoritmo para Atribuição de à ndices: Avaliação em Quantização Vetorial de Imagens. TEMA - Tendências em Matemática Aplicada e Computacional , v. 10, p. 167-177, 2009.
-
Lima, E.A. ; MADEIRO, F. . Sequências de Baixa Discrepância Aplicadas à Avaliação de Qualidade de Imagens Comprimidas. TEMA - Tendências em Matemática Aplicada e Computacional , v. 10, p. 155-165, 2009.
-
DANTAS, C ; MELO, S ; OLIVEIRA, E ; SIMOES, F ; DOSSANTOS, M ; DOSSANTOS, V . Measurement of density distribution of a cracking catalyst in experimental riser with a sampling procedure for gamma ray tomography. Nuclear Instruments & Methods in Physics Research. Section B, Beam Interactions with Materials and Atoms (Print) , v. 266, p. 841-848, 2008.
-
LINS, S ; OLIVEIRALIMA, E ; SILVA, V . A homological solution for the Gauss code problem in arbitrary surfaces. Journal of Combinatorial Theory. Series B (Print) , v. 98, p. 506-515, 2008.
-
CORDEIRO, Gauss ; CRISTINO, C. T. ; LIMA, E. A. O. ; MELO, Sílvio de Barros . Markovian models, percolation and modeling of systems with large number of components. Revista de Matemática e Estatística (Impresso) (Cessou em 2004. Cont. ISSN 1980-4245 Revista de Matemática e Estatística (Online)) , v. 25, p. 99-116, 2007.
-
LIMA, E. A. O. . Aplicação do Modelo de Random Walk para Simulação do Comportamento de Agentes Financeiros. Aplicação ao Problema de Derivativos.. Revista do Centro de Estudos Superiores Barros Melo , Olinda - Pernambuco, v. 2, n.2, p. 175-186, 2000.
-
GOMES, M. ; LIMA, E. A. O. ; CARVALHO, A. . Crumpling of Metallic Closed Surfaces. Philosophical Magazine Letters, v. 72, n.6, p. 417-420, 1995.
-
LIMA, E. A. O. ; Melo, S. B. ; DANTAS, C ; SILVIO, S.B. . Advanced Mathematical and Computational Tools in Metrology and Testing X. 10. ed. New York: World Scientific, 2015. v. 1. 448p .
-
MELO, Sílvio de Barros ; DANTAS, Carlos Costa ; LIMA, E. A. O. ; SANTOS, Valdemir Alexandre dos . Measurements of Catalyst Concentration in the Riser of a FCC Cold Model by Gamma Ray Transmission. In: P. Ciarlini; E. Felipe; A. B. Forbes; F. Pavese; C. Perruchet; B. R. L. Siebert.. (Org.). Advanced Mathematical and Computational Tools in Metrology VII. 1ed.New York: World Scientifics, 2005, v. 1, p. 284-288.
-
MELO, Sílvio de Barros ; LIMA, E. A. O. ; DANTAS, Carlos Costa ; ARAUJO FILHO, Moacyr Cunha de . Distance Splines Approach to Irregularly Distributed Physical Data from the Brazilian Northeastern Coast.. In: P. Ciarlini; E. Felipe; A. B. Forbes; F. Pavese; C. Perruchet; B. R. L. Siebert.. (Org.). Advanced Mathematical and Computational Tools in Metrology VII. 1ed.New York: World Scientifics, 2005, v. 1, p. 204-211.
-
OLIVEIRA, K. M. ; DANTAS, C ; FERREIRA, R. A. ; MELO, Sílvio de Barros ; LIMA, E. ; BARBOSA, E. S. . Gamma Ray CT and MCNPX Simulation Applied to Weld Structure Investigation. In: World Congress on Industrial Process Tomography, 2016, Foz do Iguaçu. WCIPT 2016: ISIPT - International Society on Idustrial Process Tomography. São Paulo: WCIPT8 - Abstract Book., 2016. v. 1.
-
BRITO, M. F. P. ; SILVA, G. M. ; BARBOSA, W. R. ; VASCONCELOS, A. V. ; MOURA, A. E. ; DANTAS, Carlos Costa ; MELO, Sílvio de Barros ; LIMA, E.A.O. . Gamma Ray CT of Two Phase in a Cold FCC Pilot Unit Data Acquisition Integration. In: World Congress on Industrial Process Tomography, 2016, Foz Iguaçu. WCIPT8 - World Congress on Industrial Process Tomography. São Paulo: WCIPT8 - Abstract Book, 2016. v. 1.
-
CRUZ FILHO, A. J. ; DANTAS, Carlos Costa ; LIMA, E.A.O. ; BARBOSA, E. S. . Digital Control Design for a Circulating Fluidized Bed Unit using Gamma Transmission Measurements. In: WCIPT8 - World Congress on Industrial Process Tomography, 2016, Foz do Iguaçu. WCIPT8 - World Congress on Industrial Process Tomography. São Paulo: WCIPT8 - Abstract Book, 2016. v. 1.
-
VIEIRA, E. B. ; BARBOSA, E. S. ; DANTAS, Carlos Costa ; CRUZ FILHO, A. J. ; MOURA, A. E. ; MELO, Sílvio de Barros ; LIMA, E.A.O. . A CAD Pilot Unit Design and Simulation of Circulation Two Phase Flow for Parameters Determination by Gamma Transmission Measurements. In: WCIPT8 - World Congress on Industrail Process Tomography, 2016, Foz do Iguaçu. WCIPT8 - World Congress on Industrail Process Tomography. São Paylo: WCIPT8 - Abstract Book, 2016. v. 1.
-
OLIVEIRA, E. ; MELO, Sílvio de Barros ; GUEDES, K. ; LIMA, E.A.O. . Dynamic Tomography Techniques for Industrial Porcess Applications. In: WCIPT8 - World Congress on Industrial Porcess Tomography, 2016, Foz do Iguaçu. WCIPT8 - World Congress on Industrial Porcess Tomography. São Paulo: WCIPT8 - Abstract Book, 2016. v. 1.
-
LIMA, E.A.O. ; NETTO, W. F. S. ; SILVA, J. M. F. ; BARBOSA, E. S. ; MELO, Sílvio de Barros ; DANTAS, Carlos Costa . A Differential Equation Model Smoothly Approaches Solid Flow Distribution from Gamma Ray CT Measurements in a Circulating Fluidized Bed Pilot Unit. In: WCIPT8 - World Congress on Industrial Process Tomography, 2016, Foz do Iguaçu. WCIPT8 - World Congress on Industrial Process Tomography. São Paulo: WCIPT8 - Abstract Book, 2016. v. 1.
-
MALTA, I. ; MELO, Sílvio de Barros ; DANTAS, Carlos Costa ; LIMA, E.A.O. . Tomographic Reconstruction by Using FPSIRT. In: International Nuclear Atlantic Conference - INAC 2015, 2015, São Paulo. Anals of INAC 2015, 2015.
-
MELO, Sílvio de Barros ; LIMA, E.A.O. ; DANTAS, Carlos Costa . Minimizing the ill-conditioning in the analysis by gamma. In: International Nuclear Atlantic Conference - INAC 2015, 2015, São Paulo. Anals International Nuclear Atlantic Conference, 2015.
-
GUEDES, K. ; DANTAS, Carlos Costa ; MELO, Sílvio de Barros ; LIMA, E.A.O. . Monte Carlo simulation of gamma ray tomography for image reconstruction. In: International Nuclear Atlantic Conference - INAC 2015, 2015, São Paulo. Anals of International Nuclear Atlantic Conference - INAC 2015, 2015.
-
DANTAS, Carlos Costa ; LIMA, E.A.O. ; MELO, Sílvio de Barros . MODEL OF A CATALYTIC INJECTION IN A RISER BY MEANS OF GAMMA RAY TRANSMISSION MEASUREMENTS. In: International Nuclear Atlantic Conference - INAC 2015, 2015, São Paulo. Anals of International Nuclear Atlantic Conference - INAC 2015, 2015.
-
FIGUEROA, E. O. ; LOPES, E. V. ; LANGRAFE, E. C. ; LIMA, E.A.O. . Benefícios da otimização da eficiência espectral com a utilização de Redes Ópticas Elásticas. In: Seminário Nacional de Produção e Transmissão Energia Elétrica, 2015, Foz do Iguaçu. XXIII SNPTEE, 2015.
-
SILVA, H. A. D. ; ALBUQUERQUE, E. Q. ; Lima, E. O. . Otimização Do Mecanismo De Controle De Congestionamento Do Protocolo Tcp Utilizando Média Móvel Ponderada. In: VII International Congress of Computing and Telecomunications, 2015, Lima/Peru. VII International Congress of Computing and Telecomunications. Lima/Peru: Universidade Inca Garcilaso de la Vega, 2015.
-
Cardoso, H. ; MELO, Sílvio de Barros ; DANTAS, Carlos Costa ; LIMA, E. A. O. . Minimizando o Mau Condicionamento da Matriz de Covariância na Análise Espectral de Gama-Pronto Ativado por Nêutrons. In: XXXV Congresso Nacional de Matemática Aplicada e Computacional, 2014, Natal, RN. Anais do XXXV Congresso Nacional de Matemática Aplicada e Computacional, 2014.
-
BARBOSA, C. ; LIMA, E. A. O. . Aplicação de Transformadas Diferenciais na Solução Numérica de Equações Diferenciais Parabólicas. In: XXXV Congresso Nacional de Matemática Aplicada e Computacional, 2014, Natal, RN. Anais do XXXV Congresso Nacional de Matemática Aplicada e Computacional, 2014. v. 1.
-
PEDROSA, M. ; LIMA, E. A. O. . Aplicaçao da Técnica de Arrefecimento Simulado na Solução do Problema de Distância Geométrica: Uso na Visualização de Moléculas a Partir de Dados RMN. In: XXXV Congresso Nacional de Matemática Aplicada e Computacional, 2014, Natal, RN. Anais do XXXV Congresso Nacional de Matemática Aplicada e Computacional, 2014. v. 1.
-
PEDROSA, M. ; LIMA, E. A. O. . Métricas de Avaliação de Algoritmos de Otimização. In: XXXV Congresso Nacional de Matemática Aplicada e Computacional, 2014, Natal, RN. Anais do XXXV Congresso Nacional de Matemática Aplicada e Computacional, 2014. v. 1.
-
BANDEIRA, S. ; VICTOR, S. E. C. B. H. ; LIMA, E. A. O. . Reconstrução de Imagens Tomográficas Discretas em Tomografia Gama Industrial Usando o Algoritmo Variable Neighborhood Search (VNS). In: XXXV Congresso Nacional de Matemática Aplicada e Computacional, 2014, Natal, RN. Anais do XXXV Congresso Nacional de Matemática Aplicada e Computacional, 2014. v. 1.
-
LIMA, E.A.O. ; MELO, Sílvio de Barros ; DANTAS, Carlos Costa . Uncertainty Evaluation of Fluid Dynamic Simulation with One-Dimensional Riser Model by Means of Stochastic Differential Equations. In: Advanced Mathematical and Computional Tools in Metrology and Testing (AMCTM 2014), 2014, São Petersburgo,Russia. Advanced Mathematical and Computional Tools in Metrology and Testing (AMCTM 2014), 2014.
-
LINS, R. C. ; HENRIQUES, D. B. ; LIMA, E. A. O. ; Melo, S. B. . Quasi-Random Search Algorithm for Fast Motion Estimation. In: International Conference on Acoustics, Speech, and Signal Processing, 2013, Vancouver, Canada. Annals of International Conference on Acoustics, Speech, and Signal Processing, 2013. v. 1. p. 2262-2264.
-
LINS, R. C. ; HENRIQUES, D. B. ; Lima, E. A. ; Melo, S. B. . VDH-Grid Search Algorithm for Fast Motion Estimation. In: Data Compression Conference, 2013, Snowbird, Utah. Proceedings of Data Compression Conference, 2013. v. 1. p. 206-208.
-
Lima, E.A. ; DANTAS, C ; MELO, SILVIO . Métodos Auto-Validados em Tomografia Computadorizada. In: Conference on Equipment Technology, 2013, Porto de Galinhas. Annals of Conference on Equipment Technology 2013, 2013.
-
SILVA, L.N. ; MADEIRO, F. ; Lima, E.A ; LOPES, W. . Calibragem de Modelos de Propagação Aplicados à Localização em Telefonia Móvel Celular. In: XXXI Simpósio Brasileiro de Telecomunicações (SBrT), 2013, Fortaleza. Anais do XXXI Simpósio Brasileiro de Telecomunicações (SBrT), 2013. v. 1. p. 1-5.
-
DANTAS, Carlos Costa ; MELO, Sílvio de Barros ; Lima, E.A . Radon transform and tomography reconstruction of time dependent circles and ellipses. In: 7th World Congress on Industrial Process Tomography, WCIPT7, 2013, Krakow, Poland. Proceddings of 7th World Congress on Industrial Process Tomography, WCIPT7, 2013.
-
SANTOS, Valdemir Alexandre dos ; DANTAS, Carlos Costa ; Lima, E.A ; MELO, Sílvio de Barros . FLUID DYNAMICS CHARACTERIZATION OF RISER IN A FCC COLD FLOW MODEL USING GAS RADIOTRACER. In: International Nuclear Atlantic Conference - INAC 2013, 2013, Recife. Annals of INAC 2013, 2013.
-
SANTOS, Valdemir Alexandre dos ; DANTAS, Carlos Costa ; Lima, E.A ; MELO, Sílvio de Barros . DETERMINATION OF THE CATALYST CIRCULATION RATE IN A FCC COLD FLOW PILOT UNIT USING NUCLEAR TECHNIQUES. In: International Nuclear Atlantic Conference - INAC 2013, 2013, Recife. Annals of INAC 2013, 2013.
-
SANTOS, Valdemir Alexandre dos ; DANTAS, Carlos Costa ; Lima, E.A ; MELO, Sílvio de Barros . Nondestructive Testing Diagnosis for Corrosion and Welding by means of Hydrostatic Test and Gamma Ray Tomography. In: International Nuclear Atlantic Conference - INAC 2013, 2013, Recife. Annals of INAC 2013, 2013.
-
LIMA, E. A. O. ; DANTAS, Carlos Costa ; MELO, SILVIO . A Variable Neighborhood Algorithm Search Approach to Discrete Tomography from Noisy Projections with Applications to IndustrialGamma Tomography. In: 7th World Congress on Industrial Process Tomography, WCIPT7, 2013, Krakow, Poland. Proceddings of 7th World Congress on Industrial Process Tomography, WCIPT7, 2013. v. 1.
-
DANTAS, Carlos Costa ; MELO, SILVIO ; LIMA, E. A. O. . Radon Transform and Tomographic Reconstruction of Time-Dependent Circles and Ellipses. In: 7th World Congress on Industrial Process Tomography, 2013, Krakow, Poland. Proceddings of 7th World Congress on Industrial Process Tomography, WCIPT7, 2013. v. 1.
-
DANTAS, Carlos Costa ; SANTOS, Valdemir Alexandre dos ; LIMA, E.A.O. ; MELO, Sílvio de Barros . MONITORING CATALYST FLOW RATE IN A FCC COLD PILOT UNITY BY GAMMA RAY TRANSMISSION MEASUREMENTS. In: International Nuclear Atlantic Conference-INAC, 2013, 2013, Recife. Anals of International Nuclear Atlantic Conference-INAC, 2013, 2013.
-
MERIC, I. ; JOHANSEN, G. A. ; MELO, Sílvio de Barros ; LIMA, E.A.O. ; DANTAS, Carlos Costa . Monitoring of scale deposition in petroleum pipelines by means of photon scattering a preliminary study. In: International Nuclear Atlantic Conference-INAC, 2013, 2013, Recife. Anals of International Nuclear Atlantic Conference-INAC, 2013, 2013.
-
TELES, F. ; DANTAS, Carlos Costa ; SANTOS, Valdemir Alexandre dos ; LIMA, E.A.O. . UNCERTAINTY EVALUATION OF FLUID DYNAMIC MODELS AND VALIDATION BY GAMMA RAY TRANSMISSION MEASUREMENTS OF THE CATALYST FLOW IN A FCC COLD PILOT UNITY. In: International Nuclear Atlantic Conference-INAC, 2013, 2013, Recife. Anals of International Nuclear Atlantic Conference-INAC, 2013, 2013.
-
BARRETO, A. R. S. ; Lima, E. A. ; MADEIRO, F. . Sobre o Índice de Desordem Como Figura de Mérito em Quantização Vetorial Robusta. In: Congresso de Matemática Aplicada e Computacional. In: CMAC Nordeste, 2012, Natal - RN. Anais do Congresso de Matemática Aplicada e Computacional (CMAC Nordeste 2012), 2012. v. 1. p. 162-165.
-
SILVA, L.N. ; Lima, E. A. ; LOPES, W. ; MADEIRO, F. . Localização de celulares baseada em métodos diretos de otimização e no Modelo de Propagação COST-231. In: Congresso de Matemática Aplicada e Computacional (CMAC Nordeste 2012), 2012, Natal - RN. Anais do Congresso de Matemática Aplicada e Computacional (CMAC Nordeste 2012), 2012. v. 1. p. 232-235.
-
VICTOR, S. E. C. B. H. ; SILVIO, S.B. ; Lima, E. A. . Métodos de Otimização Direta aplicados ao Rastreamento de Imagens e. In: Congresso de Matemática Aplicada e Computacional (CMAC Nordeste 2012), 2012, Natal - RN. Anais do Congresso de Matemática Aplicada e Computacional (CMAC Nordeste 2012), 2012. v. 1. p. 102-105.
-
LINS, ROBSON ; Lima, Emerson ; MELO, SILVIO . Low Discrepancy Sequences Applied in Block Matching Motion Estimation Algorithms. In: 2011 24th SIBGRAPI Conference on Graphics, Patterns and Images (Sibgrapi), 2011, Alagoas. 2011 24th SIBGRAPI Conference on Graphics, Patterns and Images, 2011. p. 205.
-
MELO, Sílvio de Barros ; LIMA, E. A. O. ; DANTAS, Carlos Costa ; SANTOS, Valdemir Alexandre dos . Measurements of catalyst Concentration in the riser of a FCC cold model by gamma ray transmission. In: International Conference on Advanced Mathematical and Computational Tools in Metrology, 2006, Lisboa. AMCTM VII, 2006, 2006.
-
LIMA, E. A. O. ; MELO, Glaucio Gomes de Magalhães . Coeficientes de Árvores Bell. In: I ENCONTRO NORTE-NORDESTE DE PESQUISA OPERACIONAL E MATEMÁTICA COMPUTACIONAL, 2005, Alagoas, 2005.
-
LIMA, E. A. O. ; DANTAS, Carlos Costa ; SANTOS, Valdemir Alexandre dos ; MELO, Sílvio de Barros . A analytical comparison of different estimators for the density distribution of the catalyst in a experimental riser by a gammametric technique. In: International Nuclear Atlantic Conference - INAC 2005, 2005, Santos - SP, 2005.
-
MELO, Sílvio de Barros ; DANTAS, Carlos Costa ; LIMA, E. A. O. . Reconstruction of Radial Catalyst Concentration Distribution in an Experimental Type FCC Riser. In: Fourth International Symposium on Process Tomography in Poland, 2005, Varsóvia. International Symposium on Process Tomography in Poland- Proceedings. Varsóvia: Institute of Radioelectronics - Warsaw University of Technology, 2005. v. 1. p. 165-169.
-
MELO, Sílvio de Barros ; DANTAS, Carlos Costa ; LIMA, E. A. O. ; ARAUJO FILHO, Moacyr Cunha de . Distance Splines Approach to Irregularly Distributed Physical Data from the Brazilian Northeastern Coast. In: VII Advanced Mathematical and Computational Tools in Metrology, 2005, Lisboa. Annals of the VI AMCTM, 2005, 2005.
-
Lima, E. A. ; DANTAS, Carlos Costa ; MELO, Sílvio de Barros ; SANTOS, Valdemir Alexandre dos . An Analytical Comparations of Diferent Estimators for The Density Distribuition of the Catalyst in a Experimental Riser By a Gammametric Technique. In: International Nuclear Atlantic Conference, 2005, Santos. Annals of INAC 2005, 2005.
-
LIMA, E. A. O. . Elaboração de Uma Biblioteca de Otimização Matemática. In: 1a Mostra de Ensino, Pesquisa e Extensão, 2000, Recife - PE. Anais da 1a Mostra de Ensino, Pesquisa e Extensão da UNICAP. Recife: FASA, 2000.
-
LIMA, E. A. O. . Poderá a Matemática Sobreviver. In: 1a Mostra de Ensino, Pesquisa e Extensão, 2000, Recife - PE. Anais da 1a Mostra de Ensino, Pesquisa e Extensão. Recife: FASA, 2000.
-
LIMA, E. A. O. ; MADEIRO, F. . Um Algoritmo Rápido Baseado na Aritmética Afim para Estimação Robusta de Parâmetros Utilizando a Transformada de Hough em Espaços de Dimensão Arbitrária. In: XXX CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2007, Florianópolis. ANAIS DO XXX CNMAC - 2007, 2007.
-
LIMA, E. A. O. ; MADEIRO, F. . Aplicação de Sequencias de Baixa Discrepância para Estimar Medidas de Distorção de Imagens. In: XXX Congresso Nacional de Matemática Aplicada e Computacional, 2007, Florianópolis. Anais do XXX Congresso Nacional de Matemática Aplicada e Computacional, 2007.
-
LIMA, E. A. O. ; MELO, Glaucio Gomes de Magalhães . Software Para Simulação Computacional De Modelos De Impacto Ambiental Causados Pelo Petróleo Em Meio Aquoso. In: VII Congresso Brasileiro de Redes Neurais, 2005, Natal, 2005.
-
LIMA, E. A. O. ; MELO, Glaucio Gomes de Magalhães . Algoritmos e Técnicas de Otimização Combinatorial. In: Encontro Regional de Matemática Aplicada e Computacional, 2004, Recife, 2004.
-
LIMA, E. A. O. . Códigos de Gauss não 2-face Coloráveis em RP2. In: 4a Mostra de Pesquisa, Pós-Graduação e Extensão, 2003, Recife, 2003.
-
FIGUEROA, E. O. ; SILVA, J. C. ; XAVIER, A. V. S. ; BASTOS FILHO, C. J. ; LIMA, E.A.O. . Algoritmo de roteamento adaptavivo baseado em lógica nebulosa em redes ópticas elásticas. In: Seminário Nacional de Produção e Transmissão Energia Elétrica, 2017, Curitiba. XIV SNPTEE, 2017.
-
LIMA, E. A. O. ; SANTOS, L.T. ; SCHLEICHER, J. ; TYGEL, M. . Fourth-Order Statistics for Parameter Estimation. In: SIAM Conference on Mathematical and Computational Issues in the Geosciences, 2009, Leipzig. Final Program and Abstracts - CMCIG, 2009. p. 84-84.
-
LIMA, E. A. O. . Uma alternativa ao método de Edmonds para Emparelhamentos em Grafos Quaisquer: Aplicação ao Problema da Alocação Ótima de Horários. In: 5a Mostra de Pesquisa, Pós-Graduação e Extensão, 2004, Recife, 2004.
-
LIMA, E. A. O. ; MELO, Glaucio Gomes de Magalhães . Um novo algoritmo para o problema da geração de vetores de permutação. In: 5a Mostra de Pesquisa, Pós-Graduação e Extensão, 2004, Recife, 2004.
-
LIMA, E. A. O. ; MELO, Glaucio Gomes de Magalhães ; FREIRE, João Paulo Fernandes Carvalho . An approach to oil spill simulations in littoral areas. In: 12o Simpósio Internacional de Iniciação Científica da USP, 2004, São Paulo, 2004.
-
LIMA, E. A. O. ; MELO, Glaucio Gomes de Magalhães . Serial Permutation Method. In: 12o Simpósio Internacional de Iniciação Científica da USP, 2004, Recife, 2004.
-
LIMA, E. A. O. . Aplicações da Teoria do Caos na Economia. In: 4a Mostra de Pesquisa, Pós-Graduação e Extensão, 2003, Recife. Aplicações da Teoria do Caos na Economia, 2003.
-
LIMA, E. A. O. . Modelos Matemáticos de Simulação Ambiental: Simulação dos Impactos Ambientals nas Praias de Recife.. In: 4a Mostra de Pesquisa, Pós-Graduação e Extensão, 2003, Recife, 2003.
-
LIMA, E. A. O. . Códigos de Gauss não 2-Face Coloráveis em RP2. In: Encontro Regional de Matemática Aplicada e Computacional, 2003, João Pessoa, 2003.
-
LIMA, E. A. O. . Simulação Computacional De Acidentes Costeiros De Derramamento De Petróleo: Resultados Iniciais E Novas Perspectivas. In: 3a Mostra de Pesquisa, Pós-Graduação e Extensão, 2002, Recife. Anais da 3a Mostra de Pesquisa, Pós-Graduação e Extensão. Recife - PE: FASA - UNICAP, 2002.
-
LIMA, E. A. O. . Gems : Representações Combinatoriais da Topologia de 3-Variedades. In: 3a Mostra de Pesquisa, Pós-Graduação e Extensão, 2002, Recife. Anais da 3a Mostra de Pesquisa, Pós-Graduação e Extensão. Recife - PE: FASA - UNICAP, 2002.
-
LIMA, E. A. O. ; FREIRE, João Paulo Fernandes Carvalho . Uso de Uma Ferramenta em VRML Para Visualização do Resultado de Simulações Computacionais de Acidentes de Derramamento de Petróleo. In: Encontro Regional de Matemática Aplicada e Computacional, 2002, Natal - RN. Anais do Encontro Regional de Matemática Aplicada e Computacional, 2002.
-
LIMA, E. A. O. ; LINS, S. L. S. . Strings - Estruturas de Dados Para Topologia de Variedades. In: Encontro Regional de Matemática Aplicada e Computacional, 2002, Natal - RN. Anais do Encontro Regional de Matemática Aplicada e Computacional, 2002.
-
LIMA, E. A. O. ; LINS, S. L. S. . Um Modelo de Representação Geométrica da Topologia de 3-Variedades. In: XXV Congresso Nacional de Matemática Aplicada e Computacional - XXVCNMAC, 2002, Nova Friburgo - RJ. Anais do XXV Congresso Nacional de Matemática Aplicada e Computacional - XXVCNMAC, 2002.
-
LIMA, E. A. O. . Resultados Preliminares da Simulação do Impacto Ambiental Relativo a Acidentes de Derramamento de Petróleo no Litoral Próximo. In: 2a Mostra de Pesquisa, Pós-Graduação e Extensão, 2001, Recife. Anais da 2a Mostra de Pesquisa, Pós-Graduação e Extensão da UNICAP. Recife: FASA, 2001. v. ÚNICO. p. 224-224.
-
LIMA, E. A. O. . Simulação de Acidentes de Derramamento de Petróleo em Áreas Litorâneas. In: Encontro Regional de Matemática Aplicada e Computacional, 2001, Recife - PE. Anais do Encontro Regional de Matemática Aplicada e Computacional 2001. Recife, 2001. v. ÚNICO. p. 13-13.
-
LIMA, E. A. O. . Consequências do Conceito de Indeterminismo Entrópico na Visão do Aluno Secundarista sobre a Química. In: XXXII Congresso Brasileiro de Química;V Jornada Brasileira de Iniciação Científica, 1992, BELÉM. XXXII Congresso Brasileiro de Química;V Jornada Brasileira de Iniciação Científica, 1992. v. ÚNICO. p. S605-S605.
-
LIMA, E. A. O. . Estruturas de Caos Determinístico em Variáveis Aleatórias Oriundas de Métodos Estocásticos e Suas Implicações na Simulação do Comportamento Atômico Molecular. In: XXXI Congresso Brasileiro de Química;V Jornada Brasileira de Iniciação Científica, 1992, BÉLEM. XXXI Congresso Brasileiro de Química;V Jornada Brasileira de Iniciação Científica, 1992. v. ÚNICO. p. S215-S215.
-
LIMA, E. A. O. . Controle e Regressão do Processo incrustativo dos ions MG, Ca e Fe por agentes quelantes e sua relação com a dimensão fractal do incrustado. In: XXXII Congresso Brasileiro de Química; V Jornada Brasileira de Iniciação Científica, 1992, BÉLEM. XXXII Congresso Brasileiro de Química; V Jornada Brasileira de Iniciação Científica, 1992. v. ÚNICO. p. JO06-JO06.
-
LIMA, E. A. O. . Comparação da distribuição geometrica do Fe2O3 em chapas de aço 1020 induzidas por oxidação natural e por oxidação microbiológica. In: XXXII Congresso Brasileiro de Química; IV Jornada Brasileira de Iniciação Científica, 1992, BELÉM. XXXII Congresso Brasileiro de Química; V Jornada Brasileira de Iniciação Científica, 1992. v. ÚNICO. p. JO05-JO05.
-
LIMA, E. A. O. . Processos Fractais de Expansão Corrosiva em Chapas de aço-carbono 1010. In: XXXII Congresso Brasileiro de Química;V Jornada Brasileira de Iniciação Científica, 1992, BÉLEM. XXXII Congresso Brasileiro de Química;V Jornada Brasileira de Iniciação Científica, 1992. v. ÚNICO. p. S215-S215.
-
LIMA, E. A. O. . Sobre a possibilidade do uso da Eletrofotografia Kirlianna química analítica. In: XXXII Congresso Brasileiro de Química; V Jornada Brasileira de Iniciação Científica, 1992, Belém. XXXII Congresso Brasileiro de Química; IV Jornada Brasileira de Iniciação Científica, 1992. v. ÚNICO. p. JO32-JO32.
-
Lima, E. A. ; MADEIRO, F. . Um Algoritmo Rápido Baseado na Aritmética Afim para Estimação Robusta de Parâmetros Utilizando a Tranformada de Hough em Espaços de Dimensão Arbitrária. 2007. (Apresentação de Trabalho/Congresso).
-
Lima, E. A. . Minicurso: Softwares Livres para Ensino e Pesquisa em Matemática: Uma Introdução ao Scilab, Maxima e Octave. 2007. (Apresentação de Trabalho/Congresso).
-
Lima, E. A. . Aplicação de Sequências de Baixa Discrepância para Estimar Medidas de Distorção de Imagens. 2007. (Apresentação de Trabalho/Congresso).
-
Lima, E. A. . Ensino a Distância: Rumo a uma Educação Tecnológica. 2006. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, E. A. . C#: Introdução a Programação Visual para Windows. 2003. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, E. A. . Introdução à Teoria dos Jogos. 2003. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, E. A. . Modelos Matemáticos de Impacto Ambiental. 2003. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, E. A. . Códigos de Gauss Não 2-Face Coloráveis em RP2. 2003. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, E. A. . Aplicações da Teoria do Caos na Economia. 2003. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, E. A. . Tutorial sobre Modelos Markovianos com Estados Latentes. 2002. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, E. A. . Um Modelo de Representação Geométrica da Topologia de 3-Variedades. 2002. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, E. A. . VRML na exibição de 3-Variedades. 2002. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, E. A. . Resultados Preliminares da Simulação do Impacto Ambiental Relativo a Acidentes de Derramamento de Petróleo no Litoral Próximo. 2001. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, E. A. . MEL: Uma Linguagem de Representação Topológica de 3-Variedades.. 2001. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, E. A. . Elaboração de Uma Biblioteca de Otimização Matemática. 2000. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, E. A. . Poderá a Matemática Sobreviver. 2000. (Apresentação de Trabalho/Conferência ou palestra).
-
LIMA, E. A. O. ; DANTAS, C ; MELO, S . A linear programming approach to Prompt Gamma-ray Neutron Activation Analysis (PGNAA) 2013 (International Nuclear Atlantic Conference (Accepted)).
-
SANTOS, Valdemir Alexandre dos ; DANTAS, C ; LIMA, E.A.O. ; MELO, SILVIO . Determination of the catalyst circulation rate in a FCC cold flow pilot unit using nuclear techniques 2013 (International Nuclear Atlantic Conference (Accepted)).
-
SANTOS, Valdemir Alexandre dos ; DANTAS, C ; LIMA, E.A.O. ; MELO, SILVIO . Fluid dynamics characterization of riser in a FCC cold flow model using gas radiotracer 2013 (International Nuclear Atlantic Conference (Accepted)).
-
LIMA, E.A.O. ; DANTAS, C ; MELO, SILVIO ; OLIVEIRA, E. ; SANTOS, Valdemir Alexandre dos . Radon Transform and Tomographic Reconstruction of Time-Dependent Circles and Ellipses 2013 (7th World Congress on Industrial Process Tomography (Accepted)).
-
LIMA, E.A.O. ; MELO, SILVIO ; DANTAS, C . A Variable Neighborhood Algorithm Search Approach to Discrete Tomography from Noisy Projections with Applications to Industrial Gamma Tomography 2013 (7th World Congress on Industrial Process Tomography (Accepted)).
-
DANTAS, C ; LIMA, E.A.O. ; MELO, SILVIO . Tomographic Reconstruction Methods for Corrosion and Incrustation Behavior Characterization in Petroleum Pipelines 2013 (International Nuclear Atlantic Conference (Accepted)).
Outras produções
Lima, E. A. ; MELO, Sílvio de Barros ; DANTAS, Carlos Costa . Simulador de Dados Tomográficos II. 2012.
Lima, E. A. ; MADEIRO, F. . Posicionamento Físico de Celulares via Mensagens SMS. 2012.
Lima, E. A. ; MELO, Sílvio de Barros ; DANTAS, Carlos Costa . Simulador de Dados Tomográficos. 2011.
Lima, E. A. ; MADEIRO, F. . Quantizador Vetorial Robusto. 2011.
Lima, E. A. . Reconstrução da Conformação Molecular via Dados RNM. 2010.
Lima, E. A. ; MADEIRO, F. . Avaliação Rápida de Métricas em Imagens. 2009.
Lima, E. A. ; LINS, R. C. . Estimador de Movimento em Sequências de Vídeo. 2009.
Lima, E. A. ; Tygel, Martin . Estimador de 4a Ordem para Parâmetros Tomográficos de Prospecção Geosísmica de Petróleo e Gás em Subsuperfície. 2008.
Lima, E. A. ; Tygel, Martin . Filtro Inteligente de Limpeza de Ruídos em Dados Sísmicos. 2007.
LIMA, E. A. O. . MEL - A manifold Especification Language. 2005.
LIMA, E. A. O. ; MELO, Glaucio Gomes de Magalhães ; FREIRE, João Paulo Fernandes Carvalho . Simulador Gráfico de Acidentes de Derramamento Litorâneo de Petróleo. 2003.
LIMA, E. A. O. ; FREIRE, João Paulo Fernandes Carvalho ; MELO, Glaucio Gomes de Magalhães . Visualizador VRML para Simulação de Acidentes de Derramamento de Petróleo. 2002.
LIMA, E. A. O. . Imersão Planar. 2002.
LIMA, E. A. O. . Visualizador de 3-Variedades. 2001.
LIMA, E. A. O. . Catálogo de Strings de n-Gems. 2001.
LIMA, E. A. O. ; FREIRE, João Paulo Fernandes Carvalho . Simulador de Acidente de Derramamento de Petróleo em Áreas Litoraneas e de seu Efeito no Litoral Próximo. 2001.
LIMA, E. A. O. . Simulador do comportamento de agentes financeiros. 2000.
LIMA, E. A. O. ; HEDAYIOGLU, F. L. . Planejador Ótimo de Dietas. 2000.
LIMA, E. A. O. . Criptografador de arquivos. 2000.
LIMA, E. A. O. ; HEDAYIOGLU, F. L. . Elaborador de Agenda Ótima de Produção. 2000.
LIMA, E. A. O. ; HEDAYIOGLU, F. L. . Elaborador de horário optimal. 2000.
LIMA, E. A. O. . Controle de Tráfego. 2000.
LIMA, E. A. O. . Software para programação linear. 1999.
Projetos de pesquisa
-
2019 - Atual
Reconstrução Tomográfica Industrial: Uma abordagem matemática mediante uso de inteligência computacional, Descrição: Desenvolvimento de algoritmos baseados em deep learning para reconstrução de imagens oriundas da tomografia gama de processo industrial e de algoritmos de reconstrução de imagens para tomografia por medidas elétricas (impedância e capacitância) e Tomografia de fluxo de sólidos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (2) . , Integrantes: Emerson Alexandre de Oliveira Lima - Coordenador / SÍLVIO DE BARROS MELO - Integrante / CARLOS COSTA DANTAS - Integrante., Número de orientações: 3
-
2019 - Atual
Modelos Autovalidados em IA, Descrição: Este projeto propõe o estudo de redes neurais intervalares e sua aplicação em modelos de arquitetura profunda objetivando o desenvolvimento de um novo modelo de rede neural profunda intervalar para reconhecimento de padrões visuais.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Coordenador., Número de orientações: 2
-
2018 - Atual
Visualização hierárquica de relacionamentos em redes, Descrição: Nós últimos anos, houve um crescimento considerável na interconectividade das informações possibilitada pela disponibilidade a baixo custo e com alta velocidade de redes eficientes de computadores, em particular, a Internet. Redes sociais e organizações em subredes temáticas têm reescrito a maneira como compartilhamos tarefas, interagimos, trabalhamos e até a maneira como nos divertimos. De forma emergente a esta interconectividade em redes hierárquicas, o problema de visualizar as redes de forma eficiente tem tido bastante atenção da comunidade científica nos últimos anos pois os algoritmos até então disponíveis foram elaborados para tratamento de redes com não mais que algumas centenas de nós o que, atualmente, é claramente insuficiente. Neste projeto, propõe-se o uso de técnicas de otimização baseadas em teoria dos grafos e redes para visualização e caracterização de complexidade de redes, identificação automática de subredes em redes complexas e identificação de nós críticos, dentre outras aplicações.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Emerson Alexandre de Oliveira Lima - Coordenador., Número de orientações: 2
-
2016 - Atual
Algoritmos de Otimização Global Aplicados ao Processamento Geosísmico e Prospecção de Petróleo e Gás, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Emerson Alexandre de Oliveira Lima - Coordenador., Número de orientações: 1
-
2015 - Atual
Algoritmos de Otimização Aplicados a Quantização Vetorial Robusta e Avaliação em Transmissão Digital de Imagens, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Coordenador., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.
-
2012 - 2015
Ferramenta Gráfica para Síntese de uma SubMalha para Estudo de Transientes Eletromagnéticos, Projeto certificado pela empresa Companhia Hidro Elétrica do São Francisco em 13/08/2013., Situação: Concluído; Natureza: Pesquisa. , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Outra.
-
2011 - 2012
ESTUDO, AVALIAÇÃO E DESENVOLVIMENTO DE TÉCNICAS PARA CODIFICAÇÃO DE IMAGEM E VÍDEO, Descrição: Este projeto de pesquisa tem os seguintes objetivos principais: I. Desenvolvimento de técnicas para reduzir a complexidade computacional de algoritmos de projeto de dicionários (concepção de métodos para acelerar algoritmos de projeto de dicionários), II. Desenvolvimento de técnicas para reduzir a complexidade computacional da etapa de codificação da quantização vetorial, III. Desenvolvimento de métodos para tornar a quantização vetorial robusta aos erros de canal, IV. Desenvolvimento de métodos para casamento de blocos em codificação de vídeo. Este projeto de pesquisa encontra-se dividido em cinco sub-projetos: I. Redução da complexidade computacional da quantização vetorial, II. Técnicas de Otimização Aplicadas à Quantização Vetorial Robusta, III. Inteligência Computacional Aplicada à Quantização Vetorial Robusta, IV. Aritmética Intervalar Aplicada à Quantização Vetorial Robusta, V. Desenvolvimento de Técnicas para Codificação de Vídeo Avançada.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Emerson Alexandre de Oliveira Lima - Coordenador / Francisco Madeiro Bernardino Junior - Integrante / Robson Cavalcanti Lins - Integrante / Sílvio Soares Bandeira - Integrante.
-
2009 - 2012
ESTRATÉGIA PARA ESTUDO TEÓRICO-EXPERIMENTAL UTILIZANDO FLUIDODINÂMICA COMPUTACIONAL EM RISER A FRIO DE FCC - CFDFCC, Descrição: O craqueamento catalítico fluido (FCC Fluid Catalytic Cracking) de hidrocarbonetos é um processo universalmente utilizado na refinação de petróleo. O processo de FCC tem uma operação cíclica onde as partículas do catalisador circulam, com movimento ascendente no reator de craqueamento (Riser). As condições fluidodinâmicas e cinéticas em um riser de FCC têm sido investigadas em unidades piloto, na busca de aperfeiçoamento. Na análise do processo de refino de petróleo as técnicas nucleares são competitivas em muitas aplicações. Estas aplicações não intrusivas têm contribuído significativamente para uma melhor compreensão de importantes parâmetros do processo FCC ao longo dos últimos 20 anos. A radiação gama permite a construção de imagens das distribuições radiais e axiais da densidade do catalisador no riser e conseqüente medição de parâmetros operacionais para validação de modelos fluidodinâmicos. A Petrobrás tem incentivado a formação de equipes nas Universidades para estudar a modelagem e a simulação de modelos matemáticos que descrevem as condições operacionais em um riser. Nesta direção foram iniciados os estudos com aplicação da radiação gama, foram construídos dois arranjos experimentais com o objetivo de contribuir com a investigação do processo de refino. Nestes arranjos têm sido estudadas a fluidodinâmica e a tomografia gama. Atualmente, estão sendo construídos um tomógrafo automatizado e uma unidade piloto a frio, que serão operados visando obter condições mais adequadas para interagir com o processo industrial de FCC. As Universidades UFPE e UNICAP formaram uma parceria e tiveram projetos de pesquisa aprovados junto à FINEP e ao CNPq, para o desenvolvimento de estudos teórico-experimental na área de Fluidodinâmica de risers de FCC. A presente proposta de trabalho representa a contribuição da UNICAP na referida parceria. A fluidodinâmica do riser de uma unidade piloto a frio será investigada com auxílios da Fluidodinâmica Computacional e de técnicas nuc.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / VALDEMIR ALEXANDRE DOS SANTOS - Coordenador / CARLOS COSTA DANTAS - Integrante / NARAIN, Rajendra - Integrante / Chistine Lamenha Luna Finkler - Integrante / Lúcia Helena da Silva Maciel Xavier - Integrante / Carlos Alberto Brayner de Oliveira Lira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2007 - 2009
TOMOGRAFIA GAMA E CFD PARA A INVESTIGAÇÃO DO PROCESSO DE REFINO DO PETRÓLEO - FCCGAMA: Proc. 481930/2007-8, Descrição: O craqueamento catalítico fluido (FCC) de hidrocarbonetos é processo universalmente utilizado na refinação de petróleo. O processo de FCC tem uma operação cíclica onde as partículas do catalisador circulam, com movimento ascendente no reator o riser . As condições fluidodinâmicas e cinéticas em um riser de FCC têm sido investigadas em unidades piloto, na busca de aperfeiçoamento. Na análise do processo de refino do petróleo, as técnicas nucleares são competitivas em muitas aplicações. A radiação gama permite a reconstrução da distribuição radial da densidade do catalisador no riser e medir parâmetros do escoamento do leito fluidizado para validar modelos fluidodinâmicos. Estas aplicações não intrusivas têm contribuído significativamente para uma melhor compreensão de importantes parâmetros do processo FCC ao longo dos últimos 20 anos. A Petrobrás tem motivado a formação de equipes nas Universidades para estudar a modelagem e a simulação de modelos matemáticos que descrevem a fluidodinâmica do riser. Nesta direção foram iniciados os estudos com aplicação da radiação gama, foram construídos dois arranjos experimentais com o objetivo de contribuir com a investigação do processo de refino. Nestes arranjos tem sido estudadas a fluidodinâmica e a tomografia gama. Atualmente, esta sendo construído um tomógrafo automatizado e uma unidade piloto a frio, que serão operados visando obter condições mais adequadas para interagir com o processo de FCC. A proposta atual tem os objetivos: 1.Validar modelos fluidodinâmicos bi e tridimensional e gerar banco de dados para validar modelo multifásico que incluem a cinética do processo. 2. Demonstrar a tomografia gama em tronco de riser industrial, projetar e realizar medidas em escala industrial. .. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / VALDEMIR ALEXANDRE DOS SANTOS - Integrante / SÍLVIO DE BARROS MELO - Integrante / CARLOS COSTA DANTAS - Coordenador / NARAIN, Rajendra - Integrante / Chistine Lamenha Luna Finkler - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2005 - 2007
Análise Probabilística de Riscos e Pontos Críticos de Sistemas de Proteção de Redes Elétricas, Descrição: Elaboração de uma ferramenta computacional munida de técnicas de inteligência artificial, sistemas inteligentes e estatística computacional para detecção, correção e exibição de alertas em tempo real de riscos para o funcionamento do sistema nacional integrado de distribuição de energia elétrica. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Integrante / Gauss Moutinho CORDEIRO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
Projetos de desenvolvimento
-
2012 - 2014
Ferramenta Gráfica para Síntese de uma Sub-Malha para Estudos de Transitórios Eletromagnéticos, Descrição: Não se conhece uma ferramenta única nacional que permita submeter uma sub-malha para estudo de transitórios (no ATP), sem que uma interferência humana seja necessária, utilizando várias ferramentas, para determinar os curto-circuitos, para encontrar os equivalentes da sub-malha externa (ANAFAS) e, mais importante, encontrar o fluxo de carga (load flow) ótimo da sub-rede de forma a se aproximar do load-flow computado no ANAREDE para a rede inteira. O núcleo mais relevante nesse processo é o ajuste desse fluxo de carga, atualmente feito manualmente através de tentativa e erro, um processo suscetível a imprecisões e vieses, e que consome precioso tempo de mão-de-obra altamente qualificada. A ferramenta proposta também apresenta como característica inovadora a possibilidade de se determinar os curto-circuitos, os equivalentes de uma sub-malha arbitrária, e do fluxo de carga num único ambiente gráfico, além de unificar as terminologias de bancos de dados da Chesf e de outras redes. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
-
2012 - 2014
Ferramenta Gráfica para Síntese de uma Sub-Malha para Estudos de Transitórios Eletromagnéticos, Descrição: Não se conhece uma ferramenta única nacional que permita submeter uma sub-malha para estudo de transitórios (no ATP), sem que uma interferência humana seja necessária, utilizando várias ferramentas, para determinar os curto-circuitos, para encontrar os equivalentes da sub-malha externa (ANAFAS) e, mais importante, encontrar o fluxo de carga (load flow) ótimo da sub-rede de forma a se aproximar do load-flow computado no ANAREDE para a rede inteira. O núcleo mais relevante nesse processo é o ajuste desse fluxo de carga, atualmente feito manualmente através de tentativa e erro, um processo suscetível a imprecisões e vieses, e que consome precioso tempo de mão-de-obra altamente qualificada. A ferramenta proposta também apresenta como característica inovadora a possibilidade de se determinar os curto-circuitos, os equivalentes de uma sub-malha arbitrária, e do fluxo de carga num único ambiente gráfico, além de unificar as terminologias de bancos de dados da Chesf e de outras redes. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
-
2012 - 2014
Ferramenta Gráfica para Síntese de uma Sub-Malha para Estudos de Transitórios Eletromagnéticos, Descrição: Não se conhece uma ferramenta única nacional que permita submeter uma sub-malha para estudo de transitórios (no ATP), sem que uma interferência humana seja necessária, utilizando várias ferramentas, para determinar os curto-circuitos, para encontrar os equivalentes da sub-malha externa (ANAFAS) e, mais importante, encontrar o fluxo de carga (load flow) ótimo da sub-rede de forma a se aproximar do load-flow computado no ANAREDE para a rede inteira. O núcleo mais relevante nesse processo é o ajuste desse fluxo de carga, atualmente feito manualmente através de tentativa e erro, um processo suscetível a imprecisões e vieses, e que consome precioso tempo de mão-de-obra altamente qualificada. A ferramenta proposta também apresenta como característica inovadora a possibilidade de se determinar os curto-circuitos, os equivalentes de uma sub-malha arbitrária, e do fluxo de carga num único ambiente gráfico, além de unificar as terminologias de bancos de dados da Chesf e de outras redes. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
-
2012 - 2014
Ferramenta Gráfica para Síntese de uma Sub-Malha para Estudos de Transitórios Eletromagnéticos, Descrição: Não se conhece uma ferramenta única nacional que permita submeter uma sub-malha para estudo de transitórios (no ATP), sem que uma interferência humana seja necessária, utilizando várias ferramentas, para determinar os curto-circuitos, para encontrar os equivalentes da sub-malha externa (ANAFAS) e, mais importante, encontrar o fluxo de carga (load flow) ótimo da sub-rede de forma a se aproximar do load-flow computado no ANAREDE para a rede inteira. O núcleo mais relevante nesse processo é o ajuste desse fluxo de carga, atualmente feito manualmente através de tentativa e erro, um processo suscetível a imprecisões e vieses, e que consome precioso tempo de mão-de-obra altamente qualificada. A ferramenta proposta também apresenta como característica inovadora a possibilidade de se determinar os curto-circuitos, os equivalentes de uma sub-malha arbitrária, e do fluxo de carga num único ambiente gráfico, além de unificar as terminologias de bancos de dados da Chesf e de outras redes. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
-
2012 - 2014
Ferramenta Gráfica para Síntese de uma Sub-Malha para Estudos de Transitórios Eletromagnéticos, Descrição: Não se conhece uma ferramenta única nacional que permita submeter uma sub-malha para estudo de transitórios (no ATP), sem que uma interferência humana seja necessária, utilizando várias ferramentas, para determinar os curto-circuitos, para encontrar os equivalentes da sub-malha externa (ANAFAS) e, mais importante, encontrar o fluxo de carga (load flow) ótimo da sub-rede de forma a se aproximar do load-flow computado no ANAREDE para a rede inteira. O núcleo mais relevante nesse processo é o ajuste desse fluxo de carga, atualmente feito manualmente através de tentativa e erro, um processo suscetível a imprecisões e vieses, e que consome precioso tempo de mão-de-obra altamente qualificada. A ferramenta proposta também apresenta como característica inovadora a possibilidade de se determinar os curto-circuitos, os equivalentes de uma sub-malha arbitrária, e do fluxo de carga num único ambiente gráfico, além de unificar as terminologias de bancos de dados da Chesf e de outras redes. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
-
2012 - 2014
Ferramenta Gráfica para Síntese de uma Sub-Malha para Estudos de Transitórios Eletromagnéticos, Descrição: Não se conhece uma ferramenta única nacional que permita submeter uma sub-malha para estudo de transitórios (no ATP), sem que uma interferência humana seja necessária, utilizando várias ferramentas, para determinar os curto-circuitos, para encontrar os equivalentes da sub-malha externa (ANAFAS) e, mais importante, encontrar o fluxo de carga (load flow) ótimo da sub-rede de forma a se aproximar do load-flow computado no ANAREDE para a rede inteira. O núcleo mais relevante nesse processo é o ajuste desse fluxo de carga, atualmente feito manualmente através de tentativa e erro, um processo suscetível a imprecisões e vieses, e que consome precioso tempo de mão-de-obra altamente qualificada. A ferramenta proposta também apresenta como característica inovadora a possibilidade de se determinar os curto-circuitos, os equivalentes de uma sub-malha arbitrária, e do fluxo de carga num único ambiente gráfico, além de unificar as terminologias de bancos de dados da Chesf e de outras redes. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
-
2012 - 2014
Ferramenta Gráfica para Síntese de uma Sub-Malha para Estudos de Transitórios Eletromagnéticos, Descrição: Não se conhece uma ferramenta única nacional que permita submeter uma sub-malha para estudo de transitórios (no ATP), sem que uma interferência humana seja necessária, utilizando várias ferramentas, para determinar os curto-circuitos, para encontrar os equivalentes da sub-malha externa (ANAFAS) e, mais importante, encontrar o fluxo de carga (load flow) ótimo da sub-rede de forma a se aproximar do load-flow computado no ANAREDE para a rede inteira. O núcleo mais relevante nesse processo é o ajuste desse fluxo de carga, atualmente feito manualmente através de tentativa e erro, um processo suscetível a imprecisões e vieses, e que consome precioso tempo de mão-de-obra altamente qualificada. A ferramenta proposta também apresenta como característica inovadora a possibilidade de se determinar os curto-circuitos, os equivalentes de uma sub-malha arbitrária, e do fluxo de carga num único ambiente gráfico, além de unificar as terminologias de bancos de dados da Chesf e de outras redes. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
-
2012 - 2014
Ferramenta Gráfica para Síntese de uma Sub-Malha para Estudos de Transitórios Eletromagnéticos, Descrição: Não se conhece uma ferramenta única nacional que permita submeter uma sub-malha para estudo de transitórios (no ATP), sem que uma interferência humana seja necessária, utilizando várias ferramentas, para determinar os curto-circuitos, para encontrar os equivalentes da sub-malha externa (ANAFAS) e, mais importante, encontrar o fluxo de carga (load flow) ótimo da sub-rede de forma a se aproximar do load-flow computado no ANAREDE para a rede inteira. O núcleo mais relevante nesse processo é o ajuste desse fluxo de carga, atualmente feito manualmente através de tentativa e erro, um processo suscetível a imprecisões e vieses, e que consome precioso tempo de mão-de-obra altamente qualificada. A ferramenta proposta também apresenta como característica inovadora a possibilidade de se determinar os curto-circuitos, os equivalentes de uma sub-malha arbitrária, e do fluxo de carga num único ambiente gráfico, além de unificar as terminologias de bancos de dados da Chesf e de outras redes. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
-
2012 - 2014
Ferramenta Gráfica para Síntese de uma Sub-Malha para Estudos de Transitórios Eletromagnéticos, Descrição: Não se conhece uma ferramenta única nacional que permita submeter uma sub-malha para estudo de transitórios (no ATP), sem que uma interferência humana seja necessária, utilizando várias ferramentas, para determinar os curto-circuitos, para encontrar os equivalentes da sub-malha externa (ANAFAS) e, mais importante, encontrar o fluxo de carga (load flow) ótimo da sub-rede de forma a se aproximar do load-flow computado no ANAREDE para a rede inteira. O núcleo mais relevante nesse processo é o ajuste desse fluxo de carga, atualmente feito manualmente através de tentativa e erro, um processo suscetível a imprecisões e vieses, e que consome precioso tempo de mão-de-obra altamente qualificada. A ferramenta proposta também apresenta como característica inovadora a possibilidade de se determinar os curto-circuitos, os equivalentes de uma sub-malha arbitrária, e do fluxo de carga num único ambiente gráfico, além de unificar as terminologias de bancos de dados da Chesf e de outras redes. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
-
2012 - 2014
Ferramenta Gráfica para Síntese de uma Sub-Malha para Estudos de Transitórios Eletromagnéticos, Descrição: Não se conhece uma ferramenta única nacional que permita submeter uma sub-malha para estudo de transitórios (no ATP), sem que uma interferência humana seja necessária, utilizando várias ferramentas, para determinar os curto-circuitos, para encontrar os equivalentes da sub-malha externa (ANAFAS) e, mais importante, encontrar o fluxo de carga (load flow) ótimo da sub-rede de forma a se aproximar do load-flow computado no ANAREDE para a rede inteira. O núcleo mais relevante nesse processo é o ajuste desse fluxo de carga, atualmente feito manualmente através de tentativa e erro, um processo suscetível a imprecisões e vieses, e que consome precioso tempo de mão-de-obra altamente qualificada. A ferramenta proposta também apresenta como característica inovadora a possibilidade de se determinar os curto-circuitos, os equivalentes de uma sub-malha arbitrária, e do fluxo de carga num único ambiente gráfico, além de unificar as terminologias de bancos de dados da Chesf e de outras redes. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
-
2012 - 2014
Ferramenta Gráfica para Síntese de uma Sub-Malha para Estudos de Transitórios Eletromagnéticos, Descrição: Não se conhece uma ferramenta única nacional que permita submeter uma sub-malha para estudo de transitórios (no ATP), sem que uma interferência humana seja necessária, utilizando várias ferramentas, para determinar os curto-circuitos, para encontrar os equivalentes da sub-malha externa (ANAFAS) e, mais importante, encontrar o fluxo de carga (load flow) ótimo da sub-rede de forma a se aproximar do load-flow computado no ANAREDE para a rede inteira. O núcleo mais relevante nesse processo é o ajuste desse fluxo de carga, atualmente feito manualmente através de tentativa e erro, um processo suscetível a imprecisões e vieses, e que consome precioso tempo de mão-de-obra altamente qualificada. A ferramenta proposta também apresenta como característica inovadora a possibilidade de se determinar os curto-circuitos, os equivalentes de uma sub-malha arbitrária, e do fluxo de carga num único ambiente gráfico, além de unificar as terminologias de bancos de dados da Chesf e de outras redes. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador.Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
-
2012 - 2014
Ferramenta Gráfica para Síntese de uma Sub-Malha para Estudos de Transitórios Eletromagnéticos, Descrição: Não se conhece uma ferramenta única nacional que permita submeter uma sub-malha para estudo de transitórios (no ATP), sem que uma interferência humana seja necessária, utilizando várias ferramentas, para determinar os curto-circuitos, para encontrar os equivalentes da sub-malha externa (ANAFAS) e, mais importante, encontrar o fluxo de carga (load flow) ótimo da sub-rede de forma a se aproximar do load-flow computado no ANAREDE para a rede inteira. O núcleo mais relevante nesse processo é o ajuste desse fluxo de carga, atualmente feito manualmente através de tentativa e erro, um processo suscetível a imprecisões e vieses, e que consome precioso tempo de mão-de-obra altamente qualificada. A ferramenta proposta também apresenta como característica inovadora a possibilidade de se determinar os curto-circuitos, os equivalentes de uma sub-malha arbitrária, e do fluxo de carga num único ambiente gráfico, além de unificar as terminologias de bancos de dados da Chesf e de outras redes. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Emerson Alexandre de Oliveira Lima - Integrante / Sóstenes Luiz Soares Lins - Integrante / SÍLVIO DE BARROS MELO - Coordenador., Financiador(es): Companhia Hidro Elétrica do São Francisco - Auxílio financeiro.
Prêmios
2011
Professor Homenageado (Turma 2009.1, Ciência da Computação, Universidade Católica de Pernambuco), Concluintes 2011.1, Ciência da Computação, Universidade Católica de Pernambuco., Universidade Católica de Pernambuco.
2008
1a Colocação no Concurso Público para Professor Adjunto na Área de Métodos Numéricos, Universidade de Pernambuco.
2005
1a Colocação no Concurso Público para Professor Adjunto na Área de Sistemas de Informação, Universidade de Pernambuco - Campus Caruaru.
2004
2a Colocação no Concurso Público para Professor Adjunto na Área de Matemática Discreta e Combinatória, Instituto de Matemática, Estatística e Computação Científica - IMECC/UNICAMP.
2000
1a Colocação no Concurso Público para Professor Assistente, Universidade Estadual de Feira de Santana.
1998
Distinção no Mestrado em Matemática, Universidade Federal de Pernambuco.
Histórico profissional
Endereço profissional
-
Universidade de Pernambuco, Escola Politécnica. , Rua Benfica, 455, Madalena, 50750-470 - Recife, PE - Brasil, Telefone: (81) 31847500, URL da Homepage:
Experiência profissional
2007 - 2007
Universidade Estadual de CampinasVínculo: Bolsista de Pos Doutorado, Enquadramento Funcional: Professor Colaborador
Atividades
-
08/2007 - 12/2007
Ensino, Matemática Aplicada e Computacional, Nível: Graduação,Disciplinas ministradas, Matemática Discreta
-
08/2007 - 09/2007
Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Análise
-
02/2007 - 07/2007
Ensino, Matemática Aplicada e Computacional, Nível: Graduação,Disciplinas ministradas, Cálculo Numérico
2008 - Atual
Universidade de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Reintegração a Instituição Mediante novo concurso público
2005 - 2007
Universidade de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40
Outras informações:
Contratação no Cargo de Professor Assistente com progressão Imediata por Titulação a Professor Adjunto Pedido de Exoneração do Cargo para Realização de Pós-Doutorado
Atividades
-
02/2018
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Complementos de Matemática (2 Turmas)
-
02/2018
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Tópicos de Matemática para Olimpíada de Matemática Universitária
-
02/2018
Ensino, Física de Materiais, Nível: Graduação,Disciplinas ministradas, Tópicos de Matemática para Iniciação Científica em Física de Materiais
-
02/2018
Ensino, Engenharia da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Modelagem e Simulação
-
02/2015
Direção e administração, Conselho de Ensino, Pesquisa e Extensão, .,Cargo ou função, Membro Permanente da Câmara de Pós-Graduação e Pesquisa.
-
02/2015
Direção e administração, Escola Politécnica, .,Cargo ou função, Membro Permanente da Câmara de Graduação.
-
02/2015
Direção e administração, Conselho de Ensino, Pesquisa e Extensão, .,Cargo ou função, Membro Permanente do Fórum de Coordenadores de Graduação.
-
02/2014
Direção e administração, Escola Politécnica, .,Cargo ou função, Coordenador Geral de Graduação.
-
02/2013
Conselhos, Comissões e Consultoria, Escola Politécnica, .,Cargo ou função, Membro da Comissão de Projetos Institucionais.
-
08/2012
Direção e administração, Escola Politécnica, .,Cargo ou função, Coordenação do Laboratório de Pesquisa em Telecomunicações.
-
01/2012
Direção e administração, Escola Politécnica, .,Cargo ou função, Vice Coordenação de Ensino Básico das Engenharias.
-
01/2012
Conselhos, Comissões e Consultoria, Escola Politécnica, .,Cargo ou função, Membro do Conselho de Gestão Acadêmica (CGA-POLI).
-
10/2011
Conselhos, Comissões e Consultoria, Escola Politécnica, .,Cargo ou função, Membro do Colegiado do Mestrado em Engenharia de Sistemas.
-
05/2011
Conselhos, Comissões e Consultoria, Escola Politécnica, .,Cargo ou função, Presidente do Núcleo Docente Estruturante (NDE) do Ensino Básico.
-
08/2010
Conselhos, Comissões e Consultoria, Escola Politécnica, .,Cargo ou função, Presidente da Comissão Setorial de Avaliação (CSA-POLI).
-
08/2010
Conselhos, Comissões e Consultoria, Reitoria, .,Cargo ou função, Representante da Escola Politécnica na Comissão Própria de Avaliação (CPA-UPE).
-
08/2008
Pesquisa e desenvolvimento , Escola Politécnica, .,Linhas de pesquisa
-
08/2017 - 12/2017
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Complementos de Matemática (2 Turmas)
-
08/2017 - 12/2017
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Tópicos de Matemática para Olimpíada de Matemática Universitária
-
08/2017 - 12/2017
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Otimização Clássica
-
02/2017 - 07/2017
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Modelagem e Simulação
-
02/2017 - 07/2017
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Complementos de Matemática (2 Turmas)
-
08/2016 - 12/2016
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Complementos de Matemática (2 Turmas)
-
08/2016 - 12/2016
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Otimização Clássica
-
02/2016 - 07/2016
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Complementos de Matemática (2 turmas)
-
02/2016 - 07/2016
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Modelagem e Simulação
-
08/2015 - 12/2015
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Otimização Clássica
-
08/2015 - 12/2015
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, CÁLCULO DIFERENCIAL E INTEGRAL I, CÁLCULO DIFERENCIAL E INTEGRAL II
-
02/2014 - 12/2015
Direção e administração, Escola Politécnica, .,Cargo ou função, Coordenador de Ensino Básico.
-
02/2015 - 07/2015
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Cálculo Diferencial e Integral I, Cálculo Diferencial e Integral II, Cálculo Diferencial e Integral III
-
02/2015 - 07/2015
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Probabilidade e Processos Estocásticos
-
03/2015 - 04/2015
Direção e administração, Escola Politécnica, .,Cargo ou função, Diretor da Escola Politécnica de Pernambuco.
-
08/2014 - 12/2014
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Cálculo Diferencial e Integral I, Cálculo Diferencial e Integral II
-
08/2014 - 12/2014
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Metodologia Científica, Processamento Digital de Sinais
-
02/2014 - 07/2014
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Cálculo Diferencial e Integral I, Cálculo Diferencial e Integral II, Cálculo Diferencial e Integral III, Linguagem de Programação Imperativa
-
02/2014 - 07/2014
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Probabilidade e Processos Estocásticos
-
08/2013 - 12/2013
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Cálculo Diferencial e Integral I, Cálculo Diferencial e Integral II, Cálculo Diferencial e Integral III
-
08/2013 - 12/2013
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos: Otimização
-
02/2013 - 07/2013
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Cálculo Diferencial e Integral I, Cálculo Diferencial e Integral II, Cálculo Diferencial e Integral III, Geometria Analítica
-
02/2013 - 07/2013
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Modelagem e Simulação
-
08/2012 - 12/2012
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Cálculo Diferencial e Integral 1, Cálculo Diferencial e Integral 2, Cálculo 3
-
08/2012 - 12/2012
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Probabilidade e Processos Estocásticos
-
08/2011 - 12/2012
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Cálculo 1, Cálculo 2, Geometria Analítica
-
04/2010 - 12/2012
Conselhos, Comissões e Consultoria, Escola Politécnica, .,Cargo ou função, Membro da Comissão Relatora de Processos de Dedicação Exclusiva.
-
02/2012 - 07/2012
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Cálculo Diferencial e Integral I, Cálculo 2, Cálculo 3, Geometria Analítica
-
02/2012 - 07/2012
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Modelagem e Simulação
-
08/2011 - 12/2011
Ensino, ENGENHARIA DE SISTEMAS, Nível: Pós-Graduação,Disciplinas ministradas, Códigos e Criptografia
-
01/2009 - 12/2011
Direção e administração, Escola Politécnica, .,Cargo ou função, Coordenador de Curso - Ensino Básico das Engenharias.
-
01/2009 - 12/2011
Conselhos, Comissões e Consultoria, Escola Politécnica, .,Cargo ou função, Membro Efetivo do Conselho de Gestão Acadêmica (CGA-POLI).
-
02/2011 - 07/2011
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Geometria Analítica, Cálculo 2, Cálculo 1
-
08/2010 - 12/2010
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Geometria Analítica, Cálculo 2, Cálculo1
-
08/2008 - 08/2010
Conselhos, Comissões e Consultoria, Escola Politécnica, .,Cargo ou função, Presidente da Comissão Setorial de Avaliação (CSA-POLI).
-
08/2008 - 08/2010
Conselhos, Comissões e Consultoria, Reitoria, .,Cargo ou função, Representante da Escola Politécnica na Comissão Própria de Avaliação (CPA-UPE).
-
02/2010 - 07/2010
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Geometria Analítica, Cálculo 2, Cálculo 1
-
03/2010 - 06/2010
Conselhos, Comissões e Consultoria, Escola Politécnica, .,Cargo ou função, Comissão de Renovação do Reconhecimento dos Cursos de Graduação em Engenharia.
-
08/2009 - 12/2009
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Cálculo 1, Cálculo 2, Geometria Analítica
-
02/2009 - 07/2009
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Geometria Analítica, Cálculo 3, Cálculo 2, Cálculo1
-
08/2008 - 12/2008
Ensino, Ensino Básico, Nível: Graduação,Disciplinas ministradas, Cálculo 1, Cálculo 2, Cálculo 3, Geometria Analítica
-
01/2006 - 02/2007
Direção e administração, Escola Politécnica, .,Cargo ou função, Coordenador de Curso.
-
08/2006 - 12/2006
Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Computação Gráfica, Linguagens de Programação II
-
02/2005 - 12/2006
Direção e administração, Escola Politécnica de Pernambuco, Departamento de Sistemas Computacionais.,Cargo ou função, Coordenador de Curso.
-
02/2006 - 07/2006
Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Linguagens de Programação II, Lógica de Programação e Algoritmos II, Sociedade da Informação
-
02/2005 - 07/2005
Ensino, Bacharelado Em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Inglês Técnico, Sociedade da Informação
1999 - 2012
Universidade Católica de PernambucoVínculo: Professor Adjunto I, Enquadramento Funcional: Professor Adjunto I
Atividades
-
02/2012
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Análise de Algoritmos, Matemática Discreta
-
02/2012
Ensino, Desenvolvimento de Processos Ambientais, Nível: Pós-Graduação,Disciplinas ministradas, Planejamento e Otimização de Experimentos
-
01/2012
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia, Curso de Ciência da Computação.,Cargo ou função, Membro do Núcleo Docente Estruturante do Curso de Ciência da Computação.
-
09/2011
Conselhos, Comissões e Consultoria, Coordenação Geral de Pesquisa, .,Cargo ou função, Membro do Cômite Científico de Iniciação à Pesquisa (CCIP).
-
01/2011
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia, Curso de Ciência da Computação.,Cargo ou função, Membro do Colegiado do Curso de Ciência da Computação.
-
01/2009
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia, .,Cargo ou função, Membro do Colegiado do Mestrado em Desenvolvimento de Processos Ambientais.
-
08/2011 - 12/2011
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Análise de Algoritmos, Introdução à Programação II, Matemática Discreta
-
01/2011 - 12/2011
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia, Curso de Ciência da Computação.,Cargo ou função, Membro do Colegiado do Curso de Ciência da Computação.
-
01/2011 - 12/2011
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia, Curso de Ciência da Computação.,Cargo ou função, Membro do Núcleo Docente Estruturante do Curso de Ciência da Computação.
-
01/2009 - 12/2011
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia, .,Cargo ou função, Membro do Colegiado do Curso de Mestrado em Desenvolvimento de Processos Ambientais.
-
09/2010 - 08/2011
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia, Curso de Ciência da Computação.,Cargo ou função, Membro do Cômite Científico de Iniciação à Pesquisa (CCIP).
-
02/2011 - 07/2011
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Análise de Algoritmos, Matemática Discreta
-
08/2010 - 12/2010
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Análise de Algoritmos, Prática de Programação, Matemática Discreta
-
08/2010 - 12/2010
Ensino, Desenvolvimento de Processos Ambientais, Nível: Pós-Graduação,Disciplinas ministradas, Metodologia da Pesquisa
-
01/2010 - 12/2010
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia, Curso de Ciência da Computação.,Cargo ou função, Membro do Núcleo Docente Estruturante do Curso de Ciência da Computação.
-
02/2010 - 07/2010
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Análise de Algoritmos, Matemática Discreta
-
02/2010 - 07/2010
Ensino, Desenvolvimento de Processos Ambientais, Nível: Pós-Graduação,Disciplinas ministradas, Métodos Numéricos Aplicados aos Sistemas Ambientais
-
08/2009 - 12/2009
Ensino, Desenvolvimento de Processos Ambientais, Nível: Pós-Graduação,Disciplinas ministradas, Métodos Numéricos Aplicados aos Sistemas Ambientais
-
08/2009 - 12/2009
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Análise de Algoritmos, Criptografia, Prática de Programação
-
02/2009 - 07/2009
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Prática de Programação, Matemática Discreta, Grafos, Estruturas de Dados I, Análise de Algoritmos
-
08/2008 - 12/2008
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Prática de Programação, Estruturas de Dados I, Compiladores, Lógica Matemática, Análise de Algoritmos
-
08/2008 - 12/2008
Ensino, Desenvolvimento de Processos Ambientais, Nível: Pós-Graduação,Disciplinas ministradas, Métodos Numéricos Aplicados aos Sistemas Ambientais
-
02/2008 - 07/2008
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Criptografia, Lógica Matemática, Matemática Discreta
-
02/2005 - 02/2007
Pesquisa e desenvolvimento , Departamento de Estatística e Informática, Departamento de Estatística e Informática.,Linhas de pesquisa
-
02/2005 - 02/2007
Pesquisa e desenvolvimento , Departamento de Estatística e Informática, Departamento de Estatística e Informática.,Linhas de pesquisa
-
08/2006 - 12/2006
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens de Programação, Linguagens Formais, Prática de Programação
-
02/2006 - 07/2006
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Programação Orientada a Objeto, Linguagens Formais, Linguagens de Programação
-
02/2005 - 07/2005
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Grafos e Algoritmos, Compiladores, Matemática Discreta, Lógica Matemática, Linguagens de Programação, Prática de Programação
-
02/2003 - 02/2005
Pesquisa e desenvolvimento , Departamento de Matemática, Departamento de Matemática.,Linhas de pesquisa
-
08/2004 - 12/2004
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Grafos, Compiladores, Linguagens Formais e Compiladores, Prática de Programação, Linguagens de Programação
-
02/2004 - 07/2004
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Grafos, Matemática Discreta, Linguagens de Programação, Prática de Programação, Introdução à Lógica
-
04/2004 - 04/2004
Treinamentos ministrados , Centro de Ciências e Tecnologia, Departamento de Estatistica e Informatica.,Treinamentos ministrados, Introdução ao Mupad, Introdução ao Latex com TexNic
-
08/2003 - 12/2003
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Grafos e Algoritmos, Linguagens de Programação, Matemática Discreta
-
09/2003 - 09/2003
Treinamentos ministrados , Departamento de Matemática, Departamento de Matemática.,Treinamentos ministrados, Minicurso de Introdução a Teoria dos Jogos
-
02/2003 - 07/2003
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Grafos e Algoritmos, Matemática Discreta, Linguagens de Programação
-
02/2000 - 02/2003
Pesquisa e desenvolvimento , Departamento de Matemática, Departamento de Matemática.,Linhas de pesquisa
-
08/2002 - 12/2002
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Fundamentos de Matemática Elementar I, Grafos e Algoritmos
-
09/2002 - 09/2002
Treinamentos ministrados , Departamento de Estatística e Informática, Departamento de Estatística e Informática.,Treinamentos ministrados, Introdução ao C/C++ em Ambientes Visuais
-
09/2002 - 09/2002
Treinamentos ministrados , Departamento de Matemática, Departamento de Matemática.,Treinamentos ministrados, Criptografia de Chave Pública - RSA
-
02/2002 - 07/2002
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Grafos e Algoritmos, Fundamentos de Matemática Elementar I
-
08/2001 - 12/2001
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Grafos e Algoritmos, Cálculo III
-
02/2001 - 07/2001
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Grafos e Algoritmos, Lógica Aplicada a Computação
-
08/2000 - 12/2000
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Lógica Aplicada a Computação, Cálculo III, Cálculo IV, Álgebra II, Fundamentos de Matemática Elementar II, Grafos e Algoritmos
-
07/2000 - 07/2000
Treinamentos ministrados , Departamento de Matemática, Departamento de Matemática.,Treinamentos ministrados, Treinamento de Profs. do Depto. de Química em Maple V
-
02/2000 - 07/2000
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Fundamentos de Matemática, Cálculo 2, Lógica Aplicada a Computação, Estruturas Algébricas
-
08/1999 - 12/1999
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Lógica Aplicada a Computação
-
07/1999 - 07/1999
Treinamentos ministrados , Departamento de Matemática, Departamento de Matemática.,Treinamentos ministrados, Introdução ao Maple
-
02/1999 - 07/1999
Direção e administração, Departamento de Matemática, Departamento de Matemática.,Cargo ou função, Coordenador de Programa.
-
02/1999 - 07/1999
Ensino, Licenciatura Em Matemática, Nível: Graduação,Disciplinas ministradas, Cálculo 2, Fundamentos de Matemática
1996 - 1997
Universidade Federal de PernambucoVínculo: Outro, Enquadramento Funcional: Professor Substituto, Carga horária: 20
1994 - 1994
Universidade Federal de PernambucoVínculo: Outro, Enquadramento Funcional: Auxiliar de Ensino e Pesquisa, Carga horária: 20
Atividades
-
07/1997 - 12/1997
Ensino, Engenharias Aréa II, Nível: Graduação,Disciplinas ministradas, Geometria Analítica
-
02/1997 - 06/1997
Ensino, Engenharias Aréa II, Nível: Graduação,Disciplinas ministradas, Cálculo 2
-
07/1996 - 12/1996
Ensino, Engenharias Aréa II, Nível: Graduação,Disciplinas ministradas, Álgebra Linear
-
04/1996 - 06/1996
Ensino, Engenharias Aréa II, Nível: Graduação,Disciplinas ministradas, Cálculo 2
-
07/1994 - 12/1994
Ensino, Engenharias Aréa II, Nível: Graduação,Disciplinas ministradas, Cálculo 1
-
02/1994 - 06/1994
Ensino, Engenharias Aréa II, Nível: Graduação,Disciplinas ministradas, Geometria Analítica
1999 - 2002
Associação de Ensino Superior de OlindaVínculo: Outro, Enquadramento Funcional: Professor Adjunto, Carga horária: 20
Atividades
-
02/2002 - 12/2002
Ensino, Administração de Empresas, Nível: Graduação,Disciplinas ministradas, Matemática Financeira
-
02/2001 - 12/2001
Ensino, Administração de Empresas, Nível: Graduação,Disciplinas ministradas, Matemática Financeira
-
02/2000 - 12/2000
Ensino, Administração de Empresas, Nível: Graduação,Disciplinas ministradas, Matemática Financeira
-
02/1999 - 12/1999
Ensino, Administração de Empresas, Nível: Graduação,Disciplinas ministradas, Matemática Financeira
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Emerson Alexandre de Oliveira Lima e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?