Eliana Silva de Almeida

Bolsista de Pós-doutorado no Exterior do CNPq

  • Endereço para acessar este CV: http://lattes.cnpq.br/9613846902868406
  • Última atualização do currículo em 01/09/2014


Possui graduação em Engenharia Civil pela Universidade Federal de Alagoas (1986), mestrado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1991) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1998). Atualmente é professora associada lotada no Instituto de Computação (IC/UFAL) da Universidade Federal de Alagoas e pesquisadora do Laboratório de Computação Científica e Análise Numérica, no Centro de Pesquisa em Matemática Computacional (LaCCAN/CPMAT/UFAL) e do Laboratório de Computação Científica e Visualização (LCCV/UFAL). Atua na área de Ciência da Computação, com interesse no estudo de métodos e técnicas formais, voltando-se para especificação formal de software científico, análise de acurácia numérica de software, teoria da informação aplicada em processamento de imagens e no desenvolvimento de aplicações em educação e saúde. (Texto informado pelo autor)


Identificação


Nome
Eliana Silva de Almeida
Nome em citações bibliográficas
ALMEIDA, E. S.

Endereço


Endereço Profissional
Universidade Federal de Alagoas, Instituto de Computação.
Campus A. C. Simões BR 104-Norte Km 14 BL 12
Tabuleiro dos Martins
57072970 - Maceió, AL - Brasil
Telefone: (82) 32141401
Ramal: 1415
Fax: (82) 32141415


Formação acadêmica/titulação


1992 - 1998
Doutorado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: A Lógica dos Recursos no Formalismo de Rede de Petri, Ano de obtenção: 1998.
Orientador: Edward Hermann Haeusler.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Teoria da Computação; Redes de Petri; Linguagens de Especificação; Calculo de Sequentes; Concorrência.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Setores de atividade: Informática.
1988 - 1991
Mestrado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Um Estudo do Conhecimento: Algumas Abordagens para sua Verificação,Ano de Obtenção: 1991.
Orientador: Sheila Regina Murgel Veloso.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Formaliuzação do Conhecimento; Raciocínio Não-Monotônico; Especificação de sistemas Distribuídos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Setores de atividade: Informática.
1982 - 1986
Graduação em Engenharia Civil.
Universidade Federal de Alagoas, UFAL, Brasil.


Pós-doutorado


2014
Pós-Doutorado.
University of Calgary.
Bolsista do(a): CNPq - Ciências sem Fronteiras.
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.


Atuação Profissional



Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Secretária Regional, Enquadramento Funcional: Secretária Regional Nordeste 2, Carga horária: 10

Vínculo institucional

2008 - 2010
Vínculo: RI na UFAL, Enquadramento Funcional: Representante Institucional, Carga horária: 10


Universidade Federal de Alagoas, UFAL, Brasil.
Vínculo institucional

1995 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: professora associada, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2011 - Atual
Ensino, Informatica, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Computação
03/2011 - Atual
Outras atividades técnico-científicas , Instituto de Computação, .

Atividade realizada
Membro permanente do Mestrado em Modelagem Computacional de Conhecimento da UFAL.
03/2010 - Atual
Ensino, Modelagem Computacional de Conhecimento, Nível: Pós-Graduação

Disciplinas ministradas
Ferramentas de Modelagem Computacional
Introdução ao Software Científico
03/2009 - Atual
Conselhos, Comissões e Consultoria, Instituto de Computação, .

Cargo ou função
Membro (Presidente) da Comissão de Avaliação de Estágios Probatórios de docentes do Instituto de Computação da UFAL.
02/2009 - Atual
Direção e administração, Instituto de Computação, .

Cargo ou função
Coordenadora de Extensão do Instituto de Computação da UFAL.
11/2008 - Atual
Extensão universitária , Instituto de Computação, .

Atividade de extensão realizada
Coordenadora de Extensão.
02/2007 - Atual
Extensão universitária , Instituto de Computação, .

Atividade de extensão realizada
Realização da Olimpíada Brasileira de Informática - segunda fase.
04/2004 - Atual
Conselhos, Comissões e Consultoria, Programa de Pós-graduação em Modelagem Computacional de Conhecimento, .

Cargo ou função
Membro do Colegiado.
03/2003 - Atual
Ensino, Bacharelado em Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Autômatos
Lógica Aplicada a Computação
Teoria da Computação
08/2009 - 10/2009
Conselhos, Comissões e Consultoria, Instituto de Computação, .

Cargo ou função
Membro da Comissão de avaliação do processo de progressão funcional de Olival de Gusmão Freitas Junior.
04/2009 - 06/2009
Conselhos, Comissões e Consultoria, Instituto de Computação, .

Cargo ou função
Membro da comissão de Avaliação do Processo de Progressão Funcional do Prof. Heitor Ramos.
05/2004 - 12/2008
Ensino, Modelagem Computacional de Conhecimento, Nível: Pós-Graduação

Disciplinas ministradas
Fundamentos de Modelagem Computacional
Tópicos em modelos quantitativos e de simulação (Análise e projeto de algoritmos)
Tópicos em modelos quantitativos e de simulação (bioinformática)
Tópicos em Modelos Quantitativos e de Simulação (Formalismos para Especificação)
Tópicos em Modelos Quantitativos e de Simulação (Modelos de Concorrencia e sincronização)
09/1999 - 08/2006
Conselhos, Comissões e Consultoria, Graduação em Ciência da Computação, .

Cargo ou função
Membro do Colegiado.
9/1999 - 1/2006
Direção e administração, Centro de Ciências Exatas e Naturais, Departamento de Tecnologia da Informação.

Cargo ou função
Chefe de Departamento.
07/2003 - 07/2005
Direção e administração, Departamento de Tecnologia da Informação, .

Cargo ou função
Coordenador do Curso de Especialização em Tecnologia da Informação.
08/2004 - 12/2004
Ensino, Modelagem Computacional de Conhecimento, Nível: Pós-Graduação

Disciplinas ministradas
Fundamentos de Bioinformatica
3/2002 - 3/2003
Ensino, Bacharelado em Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Lógica Aplicada a Computação
Teoria da Computação
Análise de Sistemas 2
07/2001 - 06/2002
Direção e administração, Departamento de Tecnologia da Informação, .

Cargo ou função
Coordenador do Curso de Especialização em Tecnologia da Informação.
3/2001 - 3/2002
Ensino, Bacharelado em Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Inteligência Artificial I
Introdução a Computação
07/2000 - 06/2001
Direção e administração, Departamento de Tecnologia da Informação, .

Cargo ou função
Coordenador do Curso de Especialização em Tecnologia da Informação.
2/2000 - 2/2001
Ensino, Bacharelado em Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Introdução Computação
Lógica Aplicada a Computação
Teoria da Computação
07/1999 - 06/2000
Direção e administração, Departamento de Tecnologia da Informação, .

Cargo ou função
Coordenador de Curso de Especialização em Tecnologia da Informação.
3/1998 - 2/2000
Ensino, Bacharelado em Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Projeto e Teoria de Linguagens de Programação
Lógica Aplicada a Compuação
Introdução a Computação

Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

1989 - 1995
Vínculo: Servidor Público, Enquadramento Funcional: Professor, Regime: Dedicação exclusiva.

Atividades

7/1989 - 12/1995
Ensino, Bacharelado Em Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Análise e Síntese de Algoritmos
Aspectos Teóricos da Computação I
Introdução a Computação
Introdução a Informática
Lóica Aplicada a Computação
Programação Funcional

Fundação de Amparo à Pesquisa do Estado de Alagoas, FAPEAL, Brasil.
Vínculo institucional

2005 - 2009
Vínculo: Colaborador, Enquadramento Funcional: Membro da Assessoria Cientifica


Universidade de Santa Maria, USM, Brasil.
Vínculo institucional

2005 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Consultora
Outras informações
Membro do Comitê de Pesquisa (consultora Ad Hoc)



Projetos de pesquisa


2013 - Atual
Inteligência Computacional em Análise de Imagens de Radar de Abertura Sintética

Descrição: Este projeto tem dois objetivos principais e complementares. Ele busca, por um lado, criar um grupo de pesquisa interdisciplinar envolvendo duas regiões do País. Por outro lado, o projeto busca avançar o conhecimento com a junção sinergética entre a análise de imagens polarimétricas de radar de abertura sintética (PolSAR) e a área de Inteligência Computacional (IC). Trata-se pois de um projeto de pesquisa científica com impactos tecnológicos e na formação de recursos humanos no País. No contexto deste projeto, pretende-se endereçar dois temas pertinentes à análise de imagens PolSAR, detecção de bordas e classificação, utilizando um conjunto reduzido de imagens (a ser determinado) para fins de comparação entre os diversos modelos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Doutorado: (2) .

Integrantes: Eliana Silva de Almeida - Integrante / Alejandro C. Frery - Integrante / Sidnei J. S. Sant'Anna - Integrante / Corina da Costa Freitas - Integrante / Sandra Aparecida Sandri - Integrante / Ronei M. Moraes - Coordenador / José C. Becceneri - Integrante / Isabela Drummond - Integrante / Ivan Rizzo Guilherme - Integrante / João P. Papa - Integrante / Reinaldo Bianchi - Integrante / Ricardo Coelho da Silva - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2012 - Atual
Smart-CPMAT: Configurando edifícios inteligentes com redes de sensores sem fio

Descrição: Descrição: Para a implementação de soluções de monitoramento e controle de um edifício inteligente, podemos utilizar diferentes abordagens, métodos e modelos. No entanto, tais abordagens consideram soluções e validações específicas para cada problema. Devido a essa especificidade, a comparação entre diferentes soluções, técnicas empregadas, a proposição e validação de novas técnicas torna-se uma tarefa difícil. Nessa direção, esse projeto vislumbra o desenvolvimento de um testbed, chamado de Smart-CPMAT, para implantação de diferentes dispositivos presentes num edifício inteligente combinado com a implementação de um arcabouço que possa padronizar e ser utilizado como base para: projeto, desenvolvimento, teste e validação de soluções para o monitoramento de edifícios inteligentes.. Situação: Em andamento; Natureza: Pesquisa..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (12) / Mestrado acadêmico: (3) / Doutorado: (6) .

Integrantes: Eliana Silva de Almeida - Integrante / André Luis Lins de Aquino - Coordenador / Luiz Marcos Garcia Gonçalves - Integrante / Antonio Alfredo Ferreira Loureiro - Integrante / Pablo Viana da Silva - Integrante / Leonardo Viana Pereira - Integrante / Osvaldo Anibel Rosso - Integrante / Carlos M. S. Figueiredo - Integrante / Frederico Gadelha Guimarães - Integrante / Eduardo Freire Nakamura - Integrante / Alvaro Rodrigues Pereira Junior - Integrante / Alexandre de Sousa Mendes - Integrante / Ricardo Augusto Rabelo - Integrante / Renato José de Sobral Cintra - Integrante / Jeroen Antonius Maria van de Graaf - Integrante / Felipe Campelo Franca Pinto - Integrante / Martin Gomez Ravetti - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.
2010 - 2013
Modelos Matemático-Computacionais com Aplicações em Problemas Complexos (Pronex III CNPq/Fapeal 67.0001/2008-2)

Descrição: Este projeto tem por objetivo criar as condições necessárias para o avanço científico e o desenvolvimento tecnológico no âmbito da Universidade Federal de Alagoas em áreas relevantes e inovadoras de Matemática, Matemática Computacional e Aplicada, Engenharia e Biologia, através da criação de um Núcleo de Excelência que envolve pesquisadores desta Universidade e de outras Instituições..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (7) / Doutorado: (3) .

Integrantes: Eliana Silva de Almeida - Integrante / Alejandro Cesar Frery Organbide - Coordenador / Francisco Cribari-Neto - Integrante / Hilário Alencar da Silva - Integrante / David Henrique de S Lima - Integrante / Corina da Costa Freitas - Integrante / Krerley Irraciel Martins de Oliveira - Integrante / Phillipe da Silva Cavalcante - Integrante / Evellyn Soares Cavalcante - Integrante / Rian Gabriel Santos Pinheiro - Integrante / Antonio Carlos de Medeiros - Integrante / Alyson L. C. Oliveira - Integrante / Nidia Noemi Fabré - Integrante / Vandick da Silva Batista - Integrante / Adán José Corcho Fernández - Integrante / Fabiano Brião - Integrante / Fernando Henrique Tavares Lima da Silva - Integrante / Ivan César Martins - Integrante / Tamer Cavalcante - Integrante / Ailton Cruz dos Santos - Integrante / Celso Jaco Faccio Junior - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.
2010 - 2010
Laboratório de Excelência em Desenvolvimento de Aplicativos para Produção, Edição e Difusão de Conteúdos Audiovisual pela Internet e TV Digital

Descrição: Propomos o desenvolvimento de um arcabouço de técnicas visando produção, edição e difusão de conteúdos culturais audiovisuais, em formatos dos mais diversos, compatibilizando para que sejam acessíveis pelos mais diversos meios, tais como difusão pela Internet, em TV (Digital), computadores, celulares e outros dispositivos de exibição. Através deste projeto, será possível conectar a produção de conteúdos distintos, sendo produzidos também de forma distinta e remotamente. Como resultado, um conjunto de ferramentas heterogêneas está sendo desenvolvido por uma equipe interdisciplinar, visando integração entre as diversas partes componentes desta proposta. Eliana Silva de Almeida é responsável pelo projeto consorciado intitulado "Análise Formal de Linguagem Gráfica de Interação"..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .

Integrantes: Eliana Silva de Almeida - Integrante / Alejandro Cesar Frery Organbide - Integrante / Luiz Marcos Garcia Gonçalves - Coordenador / David Henrique de S Lima - Integrante / Evellyn Soares Cavalcante - Integrante / Antonio Carlos de Medeiros - Integrante / Aquiles Medeiros Filgueira Burlamaqui - Integrante / Rummenigge Rudson Dantas - Integrante / Guido Lemos - Integrante.
Financiador(es): Sociedade Amigos da Cinemateca - Auxílio financeiro.
2010 - Atual
Desenvolvimento de Metodologias para Construção de Protótipos e e Técnicas de Payload de Veículos Aéreos Não Tripulados.

Descrição: A presente proposta é totalmente inovadora, a nível mundial, devendo contribuir diretamente no desenvolvimento para a resolução de problemas onde um UAV (VANT) possa ser empregado. Como alguns exemplos imediatos, podemos citar a atuação em situações de perigo ou incapacidade para ser pilotado por um ser humano, situações onde dispositivos robóticos possam atuar, bem como várias outras situações onde um VANT possa ser aplicado (monitoramento, defesa etc). A área de monitoramento ambiental, por exemplo, é uma das que mais justifica o uso de VANT, pois vários vôos devem ser realizados em períodos regulares de tempo visando colher dados para verificar mudanças no meio ambiente, o que seria oneroso se fosse usado um veículo tripulado. Assim, a proposta se justifica pela sua inovação. pelo emprego em situações adversas, pela produção de tecnologia a ser absorvida por empresa do setor produtivo e por contribuir para manter a excelância das Instituições envolvidas na execução do projeto..
Situação: Em andamento; Natureza: Pesquisa.

Integrantes: Eliana Silva de Almeida - Integrante / outros - Integrante / Luiz Marcos Garcia Gonçalves - Coordenador / Alejandro C. Frery - Integrante.
2009 - 2012
AL-MG-RJ: Projeto e Desenvolvimento de Redes de Sensores sem Fios

Descrição: Seu objetivo e buscar consolidar as atividades de pesquisa no âmbito do Programa de Pós-Graduação em Modelagem Computacional de Conhecimento da Universidade Federal de Alagoas (UFAL), estimular a interação científico-acadêmica de modo a constituir uma rede de cooperação com a Pontifícia Universidade Católica do Rio de Janeiro e a Universidade Federal de Minas Gerais; Visa ainda estimular o fortalecimento da áreas de Modelos Quantitativos e de Simulação dentro do Programa de pós-graduação da UFAL e contribuir para o equilíbrio regional da pós-graduação brasileira, ampliar a formação de mestres e doutores e a produção científico-acadêmica;.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (16) / Mestrado acadêmico: (10) .

Integrantes: Eliana Silva de Almeida - Integrante / Edward Hermann Haeusler - Integrante / Alejandro Cesar Frery Organbide - Coordenador / outros - Integrante / Antonio Alfredo Ferreira Loureiro - Integrante.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
2008 - 2012
Ambiente de alto desempenho computacional em Tera-escala e visualização 3D de alta resolução em tempo real para aplicação de mecânica computacional na indústria de óleo, gás e energia - P&D

Descrição: Este projeto visa a pesquisa e desenvolvimento para compor um ambiente de alto desempenho computacional em tera-escala e visualização 3D de alta resolução em tempo real para aplicação de Mecânica Computacional na indústria de óleo, gás e energia..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .

Integrantes: Eliana Silva de Almeida - Integrante / Alejandro Cesar Frery Organbide - Integrante / outros - Integrante / Willian Wagner Matos Lira - Integrante / Pablo Viana da Silva - Integrante / David Henrique de S Lima - Integrante / Eduardo Setton - Coordenador / Leonardo Viana Pereira - Integrante / Eduardo Nobre Lages - Integrante / Adeildo Soares Ramos Junior - Integrante.
Financiador(es): Petróleo do Brasil S/A - PETROBRÁS - Auxílio financeiro.
2008 - 2010
ProCoCo - Projeto de Consolidação das Atividades de Pesquisa no Programa de Pós-Graduação em Modelagem Computacional de Conhecimento (CNPq Casadinho 620063/2008-4)

Descrição: Seu objetivo é prover condições para a consolidar as atividades de pesquisa no Programa de Pós-Graduação em Modelagem Computacional de Conhecimento da Universidade Federal de Alagoas (UFAL) através de melhoria da infra-estrutura computacional de seus laboratórios de pesquisa, aquisição de literatura de ponta, ampliação do espaço físico de apoio à pesquisa e fortalecimento de parcerias com pesquisadores de notada atuação científica. A proposta está estrutura em dois subprojetos, um com a Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio) e outro com a Universidade Federal de Minas Gerais (UFMG)..
Situação: Concluído; Natureza: Pesquisa.

Integrantes: Eliana Silva de Almeida - Integrante / Evandro de Barros Costa - Integrante / Rodrigo de Baros Paes - Integrante / Alejandro Cesar Frery Organbide - Coordenador / Henrique Pacca L. Luna - Integrante / Antonio Alfredo Ferreira Loureiro - Integrante / Geraldo Matheus - Integrante / José Carlos Pereira Lucena - Integrante / Leandro Dias da Silva - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2010
Um arcabouco de ferramentas computacionais para auxilio ao ensino de computacao

Descrição: Subdividido em modulos, o objetivo deste projeto é desenvolver um conjunto de ferramentas para edicao, traducao e interpretacao de pseudocodigo e simulação de conceitos abstratos que permeiam a teoria da computação (evidências da Tese de Cheurch). Ainda se propoe a unificacao das interfaces num unico sistema obtendo uma padronizacao seguindo padroes normativos de construcao de interfaces gáficas. .
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) .

Integrantes: Eliana Silva de Almeida - Coordenador.
Número de orientações: 5
2008 - 2009
THEMIS - Estudos de técnicas formais par apoio a Análise de DNA Forense

Descrição: Este projeto visa estudar técnicas formais e desenvolver um sistema computacional para auxiliar na identificação do DNA autossômico. Sistemas desse tipo baseiam-se em conhecimento, onde a incerteza está presente e deve ser tratada de maneira eficiente, utilizando, para esse fim, formalismos específicos. Dentre estes formalismos, estão as redes probabilísticas que podem ser utilizadas na análise final das amostras utilizadas. .
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .

Integrantes: Eliana Silva de Almeida - Coordenador / Luiz Antônio Ferreira da Silva. - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.
2007 - 2009
Núcleo de Excelência em Abordagens Matemático-Computacionais e Experimentos em Novos Processos e Materiais

Descrição: Este projeto visa proporcionar a criação de um núcleo de intercâmbio científico entre os grupos de pesquisa da Universidade Federal de Alagoas (UFAL) que utilizam abordagens Matemáticas, desenvolvimento de experimentos e simulações computacionais no desenvolvimento dos seus projetos. Entre as equipes participantes existe um interesse comum nas áreas de preparação e caracterização de novos materiais, simulação computacional de fenômenos físicos e processamento de imagens. Este projeto se divide em 06 subprojetos. Especificamente, em um dos subprojetos em que participamos, objetivamos explorar e disseminar os aspectos interdisciplinares que permeiam a modelagem matemática e computacional de problemas relacionados as redes de utilidade pública. A formulação matemática e o próprio levantamento do conhecimento sobre os problemas relacionados a estas redes podem vir precedidos de um criterioso tratamento de dados, razão pela qual o projeto contemplará fortemente, e de forma contextualizada, as soluções tecnológicas baseadas em modelos estatísticos e aspectos formais no desenvolvimento de programas e de ferramentas computacionais para extração de conhecimento..
Situação: Concluído; Natureza: Pesquisa.

Integrantes: Eliana Silva de Almeida - Integrante / Hilário Alencar da Silva - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro / Pontifícia Universidade Católica do Rio de Janeiro - Cooperação.
2006 - 2008
Um simulador para Ilustrar Graficamente a Execução de Programas e as Noções de Computabilidade

Descrição: Este projeto tem por objetivo o desenvolvimento de um sistema que visa dar suporte ao ensino de algumas disciplinas básicas de Computação. O propósito primordial deste Sistema é oferecer um conjunto de ferramentas integradas que facilite o ensino/aprendizagem de programação em uma linguagem algorítmica de fácil assimilação, sob uma perspectiva explícita de resolução de problemas. Outra intenção é estender esse conjunto de ferramentas a um patamar simplista com modelos de representação mais próximos da arquitetura clássica de um sistema computacional. Em suma, o objetivo do projeto é prover ferramentas que auxiliem o ensino de programação para iniciantes e também o entendimento da arquitetura e funcionamento interno de um computador. .
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .

Integrantes: Eliana Silva de Almeida - Coordenador / Bruno Lopes Vieira - Integrante / Mário Peixoto - Integrante / Alexandre Paes - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Bolsa.Número de orientações: 2
2006 - 2008
CPMAT: Centro de Pesquisa em Matemática Computacional

Descrição: Este projeto é um subprojeto da CHAMADA PÚBLICA MCT / FINEP / CT-INFRA PROINFRA 01/2005, cujo objetivo é implantar o Centro de Pesquisa em Matemática Computacional (CPMAT) na Universidade Federal de Alagoas (UFAL) através da construção de um prédio de 500 m . O CPMAT é um consórcio de pesquisa multidisciplinar que envolve docentes de três programas de pós-graduação da UFAL: Física da Matéria Condensada (doutorado/mestrado), Matemática (mestrado) e Modelagem Computacional de Conhecimento (mestrado). A principal meta do CPMAT é nuclear e desenvolver pesquisa de alto nível em ciências computacionais com forte ênfase em modelagem matemática, visando tornar-se um centro de excelência regional. Dentre as linhas de pesquisa a serem estudadas no CPMAT citamos: modelagem computacional de sistemas físicos, modelagem geométrica, processamento e análise de imagens, computação gráfica, otimização e métodos numéricos para soluções de equações diferenciais parciais. url: www.cpmat.ufal.br.
Situação: Concluído; Natureza: Pesquisa.

Integrantes: Eliana Silva de Almeida - Integrante / Alejandro Cesar Frery Organbide - Integrante / outros - Integrante / Glauber T. Silva - Integrante / Henrique Pacca L. Luna - Integrante / Hilário Alencar da Silva - Coordenador.
2004 - 2008
Construção de um Ambiente para Estudos e Análise de DNA Forense

Descrição: O objetivo deste projeto é apresentar uma ferramenta que possa ser utilizada para a análise de dados genéticos. Serão aplicados os fundamentos das técnicas de agrupamento de dados aplicados ao DNA. A análise será realizada através da busca de similaridade entre os dados presentes na base de dados de DNA Criminal. Pretende-se elaborar um aplicativo para as agências de investigação, que analise e contribua nas investigações criminais, ligando os crimes onde não há suspeito, ajudando na identificação de suspeitos, eliminando os suspeitos onde não há ligação entre o DNA da cena do crime e um perfil do DNA na base de dados especifica para este fim, determinando se o suspeito está envolvido em crimes de série, com aplicação direta nas áreas de investigação policial. Este projeto torna-se de relevante importância para os poderes judiciário e executivo como evidência, visto que, devido ao seu alto poder discriminativo, possibilitará a vinculação de suspeitos a diversos tipos de crimes..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) .

Integrantes: Eliana Silva de Almeida - Coordenador / Luis Henrique Teixeira Caetano - Integrante / Luiz Antônio Ferreira da Silva. - Integrante / Felipe José Queiroz Sarmento - Integrante / José Tenório Cesar Costa - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Bolsa.
Número de produções C, T & A: 4 / Número de orientações: 3
2004 - 2006
VisuaW: Visualização de dados biológicos na Web

Descrição: Atualmente, o processamento e análise de dados produzidos por processos e técnicas de Biologia Molecular e Genética são realizados através principalmente da utilização de ferramentas disponíveis pela internet em locais remotos (por exemplo nos EUA, Europa, Rio de Janeiro-LNCC e Campinas - LBI/UNICAMP). Algumas das ferramentas mais utilizadas para esta análise são o BLAST, CONSED, PHILIP, ReadSeq e PHRED/PHRAP entre outras. Ainda, uma grande massa de dados de genética está sendo produzida, com projetos de sequenciamento de bactérias e de plantas como a Cana de Açúcar. Estes dados são combinados em processos e técnicas e os resultados visualizados principalmente através de ferramentas estatísticas de análise, geralmente em forma textual ou numérica. Neste projeto propomos o desenvolvimento de uma ferramenta para análise e visualização de dados e informações resultantes de processos e técnicas de bioinformática, que possa ser usada via Internet. Exemplos de tais retultados poderiam ser sequências de nucleotídeos e de proteínas, genes, ligações entre organismos, rotas metabólicas, etc. O projeto deverá consolidar uma parceria entre Professores que já trabalham na área de Bioinformática, na Universidade Federal de Alagoas, através do seu Departamento de Tecnologia da Informação, e na Universidade Federal do Rio Grande do Norte, através dos Departamentos de Engenharia de Computação e Automação (DCA) e de Biologia (DB). As atividades principais envolvem o estabelecimento de uma base de dados biológicos e do desenvolvimento de técnicas para visualização, via Internet. Uma base protótipo de processamento de dados biológicos já se encontra em desenvolvimento através do site www.biocomp.ufrn.br, e será usada como base inicial. A execução deste projeto se justifica pelo estabelecimento de uma nova metodologia de análise e visualização de dados biológicos essencial para para a área em questão. Esta técnica proverá também meios para o crescimento e consolidação dos grupo na UFAL.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) .

Integrantes: Eliana Silva de Almeida - Coordenador / Evandro de Barros Costa - Integrante / Alejandro Cesar Frery Organbide - Integrante / Luiz Marcos Garcia Gonçalves - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2004 - 2006
NeXos: Otimização de Redes de Conhecimento e de Utilidade Pública

Descrição: A idéia basilar do projeto é dar continuidade ao trabalho de um grupo de pesquisa de excelência reconhecida em modelos e técnicas de otimização de sistemas complexos, abrangendo aspectos de modelagem computacional, de representação de conhecimento e de otimização de topologia, dimensionamento, gerência operacional e tarifação em redes de utilidade pública. Entende-se por rede de utilidade pública qualquer sistema de atendimento a usuários distribuídos espacialmente, que tenha caráter público e que tenha a função de transferir informação, matéria, energia ou pessoas entre pontos (nós) dispersos pela rede. Embora a experiência do grupo seja maior nas aplicações a redes de computadores e de telecomunicações, há aspectos comuns na modelagem matemático-computacional desses problemas em diversas classes de redes, por exemplo de água, de energia elétrica e de transportes, sendo deliberada a intenção do projeto em disseminar tais aspectos interdisciplinares. Além disso, a formulação matemática e o próprio levantamento do conhecimento sobre os problemas podem vir precedidos de um criterioso tratamento de dados, razão pela qual o projeto contempla também, de forma contextualizada, modelos estatísticos e ferramentas computacionais para extração de conhecimento a partir da montagem de experimentos, coleta e análise de dados. Além das possíveis melhorias de eficiência no cálculo do ótimo, a escolha adequada de técnica de decomposição de problemas pode propiciar o uso de computação distribuída e de descentralização de decisões. Isso permite a operação do sistema com inteligência distribuída entre agentes autônomos, e com redução da informação necessária à coordenação em busca do ótimo global. Nessa perspectiva, tem-se estudado a questão da separabilidade em problemas de otimização contínua e combinatória, revisitando as técnicas de manipulação do problema e as estratégias de resolução por decomposição.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (5) .

Integrantes: Eliana Silva de Almeida - Integrante / Evandro de Barros Costa - Integrante / Alejandro Cesar Frery Organbide - Integrante / outros - Integrante / Henrique Pacca L. Luna - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.
2004 - 2005
Efeitos não-lineares em Vibroacustografia: Teoria e simulação

Descrição: Vibro-acustografia é uma técnica de imageamento que mapeia a deformação de tecidos biológicos causada pela força de radiação ultrassônica dinâmica. Esta força deforma localmente o tecido sinusoidalmente no tempo o que resulta emissão de um campo acústico (emissão acústica). Um hidrofone ou microfone detecta a emissão acústica do tecido. O sinal detectado é usado para sintetizar a imagem da região de interesse no tecido. Em vibro-acustografia, dois feixes ultrassônicos de frequências próximas interferem na região focal do transdutor produzindo a força de radiação na região de interesse no tecido. A formação dos campos ultrassônicos gerados por diferentes transdutores é de fundamental importância para vibro-acustografia. Neste sentido, transdutores de array linear são promisores para o desenvolvimento de equipamentos de vibro-acustografia para uso clínico. A vantagem destes transdutores sobre os demais é que eles permitem que a região focal do feixe de ultra-som seja controlada eletronicamente. Dessa forma, a região de interesse a ser imageada no tecido é varrida rapidamente podendo ser exibida, em princípio, em tempo real. Neste projeto, analisaremos a contribuição de efeitos não-lineares da propagação de ondas de ultra-som na força de radiação ultrassônica para vibro-acustografia. Especificamente nos concentraremos em simular a formação de campos ultrassônicos de transdutores de array linear levando em consideração efeitos não-lineares do meio de propagação. Os modelos de propagação de ondas de ultra-som em fluidos se baseiam em equações diferenciais lineares e não-lineares. Tecidos biológicos são comumente associado a fluidos, pois os mesmo são compostos entre 60 a 80% de água. Modelos lineares são utilizados para ondas de pequena amplitude relativa a pressão ambiente do fluido. Quando isto não ocorre, modelos não-lineares são necessários para descrever a propagação de ondas de ultra-som..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .

Integrantes: Eliana Silva de Almeida - Coordenador / Glauber T. Silva - Integrante / André Ferreira da Silva - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.
2002 - 2005
CoCADa - Construção do Conhecimento por Agrupamento de dados

Descrição: : Uma das características da sociedade da informação é a constante e crescente geração de informações, muitas vezes chamada inundação de informações (information flood). Muitos autores afirmam que este acúmulo incessante de dados é o principal obstáculo para a construção de conhecimento útil a partir dos dados disponíveis, como pode ser constatado ao procurar informações úteis na Internet. Vários problemas de relevância estratégica e social podem ser compreendidos e tratados uma vez identificados grupos ou categorias menores dentro do volume total de informações. Alguns exemplos destes problemas, a serem tratados neste projeto, são: (i) a extração de informações em imagens médicas para diagnóstico e de sensoriamento remoto para segurança e monitoramento ambiental, (ii) a categorização de moléculas para fins farmacológicos e de estudos de biodiversidade, e (iii) o agrupamento de documentos e mídias similares disponíveis na Internet para busca e recuperação de informação. Muitas das técnicas desenvolvidas para atacar estes problemas são genericamente denominadas data mining, ou mineração de dados. Os problemas mencionados pertencem a domínios diferentes, no entanto a busca de soluções para eles pode ser descrita e tratada de forma unificada como problemas de otimização combinatória. Esses problemas têm sido abordados na prática com heurísticas que dependem fortemente da aplicação e que, em muitos casos, requerem usuários especialmente treinados para o seu uso, bem como conhecimento a priori. Uma pesquisa recente propõe a busca de categorias em um conjunto de entes através do mapeamento deste problema em um modelo magnético associado (o modelo de Potts não homogêneo), e a posterior observação do seu comportamento dinâmico. Esta nova abordagem permite construir agrupamentos de forma robusta (com pouca dependência do problema particular), eficiente (do ponto de vista computacional) e em quaisquer níveis de granularidade. Embora este método tenha sido empregado com sucess.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (6) / Doutorado: (2) .

Integrantes: Eliana Silva de Almeida - Integrante / Alejandro Cesar Frery Organbide - Coordenador / outros - Integrante / Klaus Leite Pinto Vasconcellos - Integrante / Francisco Cribari-Neto - Integrante / Maria Eulália Vares - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2001 - 2005
AMBAP: Um Ambiente de Aprendizado de Programação

Descrição: Este projeto tem por objetivo o desenvolvimento de um sistema que visa dar suporte ao ensino introdutório de programação. O propósito primordial deste Sistema é oferecer um conjunto de ferramentas integradas que facilite o ensino/aprendizagem de programação em uma linguagem algorítmica de fácil assimilação, sob uma perspectiva explícita de resolução de problemas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) .

Integrantes: Eliana Silva de Almeida - Coordenador / André Atanásio Maranhão de Almeida - Integrante / Klebson dos Santos Silva - Integrante / Evandro de Barros Costa - Integrante / Rodrigo de Baros Paes - Integrante / Julian Diego Herrera Braga - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Bolsa.Número de orientações: 4


Projetos de extensão


2013 - Atual
Aplicações de Robótica Educacional para Inclusão Digital

Descrição: Este projeto visa oferecer treinamento em raciocínio lógico e introduzir conceitos básicos de computação para estudantes e profissionais com formação de nível médio ou nível fundamental, através de atividades lúdicas, utilizando como ferramenta básica a robótica. O objetivo principal é oferecer um ambiente de trabalho extensionista na Universidade Federal de Alagoas, que viabilize a inclusão digital e social, por intermédio da troca de conhecimento entre o estudante matriculado nesta instituição e o participante externo à UFAL, principalmente quanto a utilização das Tecnologias de Informação e Comunicação, que tanto interferem e mediam os processos informacionais e comunicativos exigidos hoje pela sociedade (Ex., Internet, redes sociais, editores de texto, pesquisa, transações comerciais, dispositivos móveis etc). Espera- se que, ao final das ações aqui propostas, o participante externo entenda e saiba utilizar as TICs disponíveis a sua realidade de forma adequada. Já os participantes internos, que saibam aplicar corretamente os conceitos adquiridos nas disciplinas de seu curso e principalmente percebam como estas disciplinas se relacionam para a construção do conhecimento, e sintam-se capazes de se deparar com os problemas sociais atuais e de encontrar soluções factíveis para sua solução..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (5) .

Integrantes: Eliana Silva de Almeida - Coordenador / André Luis Lins de Aquino - Integrante / Heitor Soares Ramos Filho - Integrante / Leonardo Viana Pereira - Integrante.
Financiador(es): Universidade Federal de Alagoas - Bolsa.
2011 - 2011
Projeto de Capacitação em Informática através do Raciocínio Lógico e do uso de Tecnologias e Ferramentas de Software Livre CapInfo-SL

Descrição: Este projeto visa fortalecer as atividades de extensão da UID LaCCAN::CPMAT através de um processo de inclusão digital e de inclusão social, por dois caminhos de aprendizado: o primeiro consiste no desenvolvimento do processo de raciocínio lógico do cidadão para solução de problemas e o segundo é o acesso as tecnologias mais comuns e fundamentais na vida cidadã que é a internet e o acesso a informação, além do uso de editores, planilhas, agendas e repositórios..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (3) .

Integrantes: Eliana Silva de Almeida - Coordenador / Alejandro Cesar Frery Organbide - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.


Revisor de projeto de fomento


2014 - Atual
Projeto: Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco


Áreas de atuação


1.
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.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Especificação Formal.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Informática na Educação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Espanhol
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Pouco.


Prêmios e títulos


2011
Melhor Trabalho do WEIBAS 2011: Workshop de Educação em Informática Bahia-Alagoas-Sergipe, Sociedade Brasileira de Computação - Escola Regional Bahia-Alagoas-Sergipe.
2010
Menção Honrosa no Workshop de Educação em Informática Bahia-Alagoas-Sergipe (WEIBASE) na Escola Regional de Computação Bahia-Alagoas-Sergipe 2010 (ERBASE 2010), Sociedade Brasileira de Computação (SBC).
2005
Menção Honrosa na II Jornada de Iniciação Científica, Instituto de Matemática Pura e Aplicada - IMPA.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
ALMEIDA, E. S.2012 ALMEIDA, E. S. ; Medeiros, A. C. ; FRERY, A. C. . Are Octave, Scilab and Matlab Reliable?. Matemática Aplicada e Computacional (Cessou em 1997. Cont. ISSN 1807-0302 Computational & Applied Mathematics), v. 31, p. 1-16, 2012.

2.
Almiron, Marcelo G.2009 Almiron, Marcelo G. ; Almeida, Eliana S. ; Miranda, Marcio N. . The reliability of statistical functions in four software packages freely used in numerical computation. Revista Brasileira de Probabilidade e Estatística, v. 23, p. 107-119, 2009.

3.
SILVA, C. K. R.2007SILVA, C. K. R. ; Frery, A. ; ALMEIDA, E. S. ; COSTA, E. B. ; GONCALVES, L. M. G. . Enhancing the Experience of 3D Virtual Worlds with a Cartographic Generalization Approach. The Visual Computer, v. 23, p. 409-418, 2007.

4.
FERNEDA, E.2004FERNEDA, E. ; COSTA, E. B. ; ALMEIDA, H. O. ; ALMEIDA, E. S. ; OUTROS, . Cooperative Virtual Learning Environment on the Web for Musical Harmony. Advanced Technology for Learning, Anaheim, Zurich, v. 1, n.n.3, p. 147-155, 2004.

5.
ALMEIDA, E. S.2004ALMEIDA, E. S. ; BRAGA, J. D. H. ; OUTROS, . Um Ambiente Integrado para auxílio ao Ensino de Ciência da Computação. Colabor@ (Curitiba), v. 2, n.n.8, 2004.

6.
ALMEIDA, E. S.1999ALMEIDA, E. S. . Proving Properties in Ordinary Petri Net using LoRes Logical Language. Petri Net Newsletter, Hamburg, v. 57, p. 23-36, 1999.

Trabalhos completos publicados em anais de congressos
1.
FRERY, A. C. ; ALMEIDA, E. S. ; ROSSO, O. A. . The Generalized Statistical Complexity of PolSAR Data. In: 4th Asia-Pacific Conference on Synthetic Aperture Radar, 2013, Tsukuba. Proceedings of the 4th Asia-Pacific Conference on Synthetic Aperture Radar, 2013.

2.
LIMA, D. H. S. ; AQUINO, A. L. L. ; ALMEIDA, E. S. . Sistema para Detecção Oportunista de Vagas de Estacionamento via Câmeras de Segurança. In: V Simpósio Brasileiro de Computação Ubíqua e Pervasiva (SBCUP'13), 2013, Maceió. V Simpósio Brasileiro de Computação Ubíqua e Pervasiva (SBCUP'13), 2013.

3.
Cavalcante, T. ; AQUINO, A. L. L. ; ALMEIDA, E. S. ; ROSSO, O. A. . Teoria da Informação Aplicada à Caracterização de Velocidades em Redes Veículares. In: 11º Simposio Argentino de Investigación Operativa, 2013, Córdoba. 11º Simposio Argentino de Investigación Operativa. v. 1. p. 1-14.

4.
PINTO, F. A. D. G. ; ALMEIDA, E. S. ; Pereira, L. V. . Especificação Semântica de uma linguagem para o Método das Diferenças Finitas. In: XXXIV Iberian Latin American Congress on Computational Methods in Engineering (CILAMCE 2013), 2013, Pirenópolis. XXXIV Iberian Latin American Congress on Computational Methods in Engineering, 2013.

5.
Ribeiro, R. P. ; FERRAZ, I. S. ; ALMEIDA, E. S. . Um estudo da planilha do Lotus Symphony: será que é confiável?. In: Workshop de Trabalhos de Iniciação Científica e de Graduação, 2012, Juazeiro. Anais da ERBASE 2012, 2012.

6.
ALMEIDA, E. S. ; Medeiros, A. C. ; FRERY, A. C. ; ROSSO, O. A. . Generalized Statistical Complexity of SAR Imagery. In: CIARP - Iberoamerican Conference on Pattern Recognition, 2012, Buenos Aires. Lecture Notes in Computer Science (LNCS): Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2012. v. 7441. p. 656-663.

7.
Silva, A. B ; ALMEIDA, E. S. . Integração de Multiplas Plataformas Robóticas no Ensino fundamental e Médio. In: III Workshop de Robótica educacional do Simpósio IEEE Latino Americano e Robótica e Simpósio Brasileiro de Robótica, 2012, Fortaleza. Anais do III Workshop de robótica Educacional, 2012.

8.
Silva, A. B ; ALMEIDA, E. S. . A Olimpíada Brasileira de Robótica e a Robótica Educativa como Ferramenta de Ensino/aprendizagem no Ensino Fundamental. In: WEIBASE 2011: Workshop de Informatica e Educação Bahia-alagoas-Sergipe, 2011, Salvador. Anais da XI Escola Regional de Computação Bahia-alagoas-Sergipe, 2011.

9.
Silva, F. H. T. ; Ribeiro, R. P. ; Lopes, E. T. ; Silva, P. R. I. ; ALMEIDA, E. S. . Uma Experiencia de Inclusao Digital e Incentivo aos Alunos de Escolas Publicas Atraves da Metodologia CapInfo-SL. In: WEIBASE 2011: Workshop de Informatica e Educação Bahia-alagoas-Sergipe, 2011, Salvador. Anais da XI Escola Regional de Computação Bahia-alagoas-Sergipe, 2011.

10.
Gomes, C. C. C. ; LIMA, D. H. S. ; Ribeiro, R. P. ; ALMEIDA, E. S. ; Brito, P. H. . Aprendizagem de Programac ao com Base na Resoluc ao de Problemas em um Ambiente Apoiado por um Assistente Inteligente. In: WEIBASE 2011: Workshop de Informatica e Educação Bahia-alagoas-Sergipe, 2011, Salvador. Anais da XI Escola Regional de Computação Bahia-alagoas-Sergipe, 2011.

11.
LIMA, D. H. S. ; Gomes, C. C. C. ; Ribeiro, R. P. ; Brito, P. H. ; ALMEIDA, E. S. . Uma Proposta de Arquitetura para um Ambiente Inteligente de Aprendizagem de Programacao Baseado na Resolucao de Problemas. In: WTICG 2011: Workshop de Trabalhos de Inciciação Científica e Graduação Bahia-alagoas-Sergipe, 2011, Salvador. Anais da XI Escola Regional de Computação Bahia-alagoas-Sergipe, 2011.

12.
Gomes, C. C. C. ; LIMA, D. H. S. ; Ribeiro, R. P. ; ALMEIDA, E. S. ; Brito, P. H. . Uma Proposta para Auxiliar Alunos e Professores no Ensino de Programacao: O Ambiente AIIP. In: XIX Workshop sobre Educação em Computação - WEI - CSBC 2011, 2011, Natal. Anais do XIX Workshop sobre Educação em Computação - WEI - CSBC 2011, 2011.

13.
Gomes, C. C. C. ; LIMA, D. H. S. ; Ribeiro, R. P. ; ALMEIDA, E. S. ; Brito, P. H. . Uma Proposta para Auxiliar Alunos e Professores no Ensino de Programacao: O Ambiente AIIP. In: Workshop de Educação em Informática - XXXI Congresso da Sociedade Brasileira de Computação -WEI/CSBC 2011, 2011, Natal. Nais do XXXI Congresso da Sociedade Brasileira de COmputação, 2011.

14.
Cavalcante, T. ; CAVALCANTE, E. S. ; LIMA, D. H. S. ; ALMEIDA, E. S. . Proposta de Sistema Computacional de Apoio os Estudantes do Ensino Fundamental das Escolas Públicas no Treinamento para a OBI. In: X Escola Regional Bahia - Alagoas - Sergipe - WEIBASE 2010, 2010, Maceió. Anais da X Escola Regional Bahia - Alagoas - Sergipe, 2010.

15.
CAVALCANTE, E. S. ; Cavalcante, T. ; LIMA, D. H. S. ; ALMEIDA, E. S. . Uma Experiência de Extensão Universitária a partir da Realização da Olimpíada Brasileira de Informática nas Escolas Públicas de Alagoas. In: X Escola Regional Bahia - Alagoas - Sergipe - WIND 2010, 2010. Anais da X Escola Regional Bahia - Alagoas - Sergipe.

16.
Frery, A. ; ALMEIDA, E. S. ; Medeiros, A. C. . Are Octave, Scilab and Matlab reliable?. In: CILAMCE 2010: XXXI Congreso Ibero-Latino-Americano de Métodos Computacionales en la Ingeniería, 2010, Buenos Aires. CILAMCE 2010: XXXI Congreso Ibero-Latino-Americano de Métodos Computacionales en la Ingeniería. Buenos Aires, 2010. v. XXIX. p. 2293-2297.

17.
SANTOS JUNIOR, J. R. ; COSTA, J. T. C. ; ALMEIDA, E. S. . Um Sistema de Informação Modelado com Redes Bayesianas para Auxílio na Resolução de Testes de Paternidade. In: Simposio Brasileiro de Sistemas de Informacao, 2009, Brasilia. Anais do Simposio Brasileiro de sistemas de Informacao, 2009.

18.
LIMA, D. H. S. ; ALMEIDA, E. S. . Aprendendo Maquina de Turing atraves de um Ambiente Grafico de Simulaçao. In: IX Escola Regional Bahia - Alagoas - Sergigipe - Workshop de Educaçao em Computaçao e Informatica, 2009, Ilheus. Anais da X Escola Regional Bahia - Alagoas - Sergigipe - Workshop de Educaçao em Computaçao e Informatica, 2009.

19.
MELO NETO, A. S. ; SILVA, C. A. F. ; LIMA, D. H. S. ; ALMEIDA, E. S. . Utilizando Grafo de Dependências como ferramenta grafica para auxiliar no aprendizado de Funções Recursivas. In: IX Escola Regional Bahia - Alagoas - Sergigipe - Workshop de Educaçao em Computaçao e Informatica, 2009, Ilheus. Anais da IX Escola Regional Bahia - Alagoas - Sergigipe - Workshop de Educaçao em Computaçao e Informatica, 2009.

20.
SILVA, E. R. ; LOBO, V. T. C. ; LIMA, D. H. S. ; ALMEIDA, E. S. . Construindo uma Interface para um Ambiente Educacional de Apoio ao Aprendizado dos Aspectos Formais da Computação. In: IX Escola Regional Bahia - Alagoas - Sergigipe - Workshop de Trabalhos de Iniciação Científica e Graduação, 2009, Ilheus. Anais da IX Escola Regional Bahia - Alagoas - Sergigipe - Workshop deTrabalhos de Iniciação Científica e Graduação, 2009.

21.
LINS, A. G. T. ; MORAIS, T. ; ALMEIDA, E. S. . Modelagem Formal de Workflow com Redes de Petri e Software Livre na Gestão de Processos de Negócio em Saúde Pública. In: Workshop de Software Livre do 10o Forum Internacional de Software Livre, 2009, Bento Gonçalves. Anais do 10o Forum Internacional de Software Livre, 2009.

22.
LINS, A. G. T. ; MORAIS, T. ; ALMEIDA, E. S. . Modelagem Formal de Workflow com Redes de Petri na Gestão de Processos de Negócio em Saúde Ambienta. In: Workshop de Informatica Médica - CSBC 2009, 2009, Bento Goncalves. Anais do XXIX Congrasso da Sociedade Brasileira de Computação, 2009.

23.
VIEIRA, V. N. ; MARCOLINO, V. ; LIMA, D. H. S. ; ALMEIDA, E. S. . Uma Ferramenta de Apoio ao Ensino de Computabilidade que facilita o entendimento de máquinas abstratas. In: XX Simpósio Brasileiro de Informática na Educação, 2009, Florianópolis. Anais do XX Simpósio Brasileiro de Informática na Educação, 2009.

24.
PAES, A. ; ALMEIDA, E. S. . Um Ambiente para Execução de funções Computáveis através de uma Ferramenta Gráfica de Simulação utilizando o Conceito de Grafo de Dependências e Linguagens de Programação. In: WEIBASE 2008 - VIII Escola Regional de Computação Bahia - Alagoas - Sergipe, 2008, Salvador. Anais da VIII Escola Regional de Computação Bahia - Alagoas - Sergipe, 2008.

25.
VIEIRA, V. N. ; MARCOLINO, V. ; ALMEIDA, E. S. . Uma Ferramenta de Apoio ao Ensino de Computabilidade que Facilita o Entendimento das Evidências da Tese de Church. In: WEIBASE 2008 - VIII Escola Regional de Computação Bahia - Alagoas - Sergipe, 2008, Salvador. Anais da VIII Escola Regional de Computação Bahia - Alagoas - Sergipe, 2008.

26.
FERRERO, S. ; MOSCHETTI, E. ; Frery, A. ; ALMEIDA, E. S. . Combinacion de Tecnicas Multivariadas para Classificacion. In: XXIX CILAMCE - Iberian Latin American Congress on Comp. Methods in Engineering, 2008, Maceió - AL. Anais do XXIX CILAMCE - Iberian Latin American Congress on Comp. Methods in Engineering.

27.
LINS, A. G. T. ; MORAIS, T. ; ALMEIDA, E. S. . Gerenciamento dos Dados e Processos de Negócio na Modelagem de um Padrão de Workflow para Inferência sobre Indicadores de Saúde Pública. In: Simpósio Brasileiro de Informática na Saúde, 2008. Anais do Simpósio Brasileiro de Informática na Saúde, 2008.

28.
COSTA, J. T. C. ; SANTOS JUNIOR, J. R. ; ALMEIDA, E. S. . Utilização de Redes Bayesianas na Verificação de Vínculo Genético. In: VIII Encontro Regional de Matemática Aplicada e Computacional, 2008, Natal - RN. Anais do VIII Encontro Regional de Matemática Aplicada e Computacional, 2008.

29.
PAES, A. ; ALMEIDA, E. S. . Transformando Funções Recursivas em Programas através de uma ferramenta gráfica de simulação. In: VIII Encontro Regional de Matemática Aplicada e Computacional, 2008, Natal - RN. Anais do VIII Encontro Regional de Matemática Aplicada e Computacional, 2008.

30.
VIEIRA, B. L. ; ALMEIDA, E. S. ; Frery, A. . Detecção de Paralelismo para Filtros Convolucionais. In: XIII Simpósio Brasileiro de Sensoriamento Remoto, 2007, Florianópolis. Anais do XIII Simpósio Brasileiro de Sensoriamento Remoto, 2007. p. 6257-6264.

31.
PEIXOTO, M. ; VIEIRA, B. L. ; ALMEIDA, E. S. . Construindo uma ferramenta para transpor paradigmas de interface em Máquinas de Turing - TOMaTE. In: I Workshop de Ambientes de apoio à Aprendizagem de Algoritmos e Programação, 2007, São Paulo. Anais do XVIII Simpósio Brasileiro de Informática na Educação, 2007.

32.
Frery, A. ; SILVA, G. T. ; ALMEIDA, E. S. ; OUTROS, . Edge Preserving Noise Reduction via Combination of Filters. In: XI Reunión de Trabajo en Procesamiento de la Información y Control, 2005, Rio cuarto. XI Reunión de Trabajo en Procesamiento de la Información y Control, 2005.

33.
CAETANO, L. H. T. ; BARBOSA,, A. B. G. ; ALMEIDA, E. S. ; SILVA., L. A. F. . A Bioinformatic Tool to Assist in Human mtDNA Profiles for Forensic Purposes in Brazil. In: 1st International Conference of the Brazilian Association for Bioinformatics and Computational Biology, 2005, Caxambu. 1st International Conference of the Brazilian Association for Bioinformatics and Computational Biology, 2005.

34.
TIBURCIO, P. ; ALMEIDA, E. S. ; SILVA, G. T. . Modelagem e simulação de ondas acústicas com diferenças finitas. In: II Jornadas de Iniciação Científica - IMPA, 2005, Rio de Janeiro. II Jornadas de Iniciação Científica, 2005.

35.
FERNEDA, E. ; COSTA, E. B. ; ALMEIDA, H. O. ; RODRIGUES, D. G. ; ALMEIDA, E. S. . A web-based cooperative e-learning environment for musical harmony. In: 3rd IASTED International Conference on Web-Based Education (WBE 2004), 2004, Insbruck. Proceedings of the 3rd IASTED International Conference on Web-Based Education. Insbruck: ACTA Press, 2004. p. 43-47.

36.
SILVA, C. K. R. ; Frery, A. ; ALMEIDA, E. S. ; COSTA, E. B. . Cartographic Generalization in Virtual Reality. In: XX International Society for Photogrammetry and Remote Sensing Congress, 2004, Istambul. XXth ISPRS Congress, 2004. v. 1. p. 200-205.

37.
SILVA, G. T. ; Frery, A. ; ALMEIDA, E. S. . Image Formation in Vibro-acoustography with Sector Array Transducers. In: XVII Brazilian Symposium on Computer Graphics and Image Processing - II Ibero-American Symposium on Computer Graphics, 2004, 2004, Curitiba. Proceedings of SIBGRAPI/SICACG 2004. Danvers, MA: IEEE Computer Society, 2004, 2004. v. 1. p. 25-32.

38.
ALMEIDA, E. S. ; COSTA, E. B. ; Frery, A. ; SILVA, C. K. R. . Aplicação da generalização cartográfica em realidade virtual. In: VI Symposium on Virtual Reality, 2003, Ribeirão Preto. Proceedings of SVR 2003, 2003. p. 369-371.

39.
ALMEIDA, E. S. ; COSTA, E. B. ; BRAGA, J. D. H. ; Silva, K. ; PAES, R. B. ; Almeida, A. . Ambap: Um Ambiente de Apoio ao Aprendizado de Programação. In: X Workshop sobre Educação em Computação, 2002, Florianópolis. Anais do WEI 2002/ SBC2002, 2002.

Resumos expandidos publicados em anais de congressos
1.
VIEIRA, B. L. ; ALMEIDA, E. S. . Um simulador para ilustrar graficamente a execução de programas e as noções de computabilidade. In: 59ª Reunião da Sociedade Brasileira para o Progresso da Ciência, 2007, Belém. Anais da 59ª Reunião da SBPC, 2007.

2.
CAETANO, L. H. T. ; BARBOSA,, A. B. G. ; ALMEIDA, E. S. ; SILVA., L. A. F. . Eva: A new bioinformatic system for analysing and storing mtDNA for the identification of missing persons. In: 85th Annual Meeting of the German Society of Legal Medicine and DNA in Forensic, 2006, Innsbruck. proceedings of the 85th Annual Meeting of the German Society of Legal Medicine and DNA in Forensic, 2006.

3.
CAETANO, L. H. T. ; BARBOSA,, A. B. G. ; ALMEIDA, E. S. ; SILVA., L. A. F. . Development of a bioinformatic tool for analysis, data storage and comparisons of mtDNA profiles. In: Fifth International Congress on Mathematical and Computational Biology (Biomat 5), 2005, Petrópolis. Proceedings of the Fifth International Congress on Mathematical and Computational Biology (Biomat 5), 2005.

Resumos publicados em anais de congressos
1.
Cavalcante, T. ; AQUINO, A. L. L. ; ROSSO, O. A. ; CAVALCANTE, E. S. ; ALMEIDA, E. S. . A study of VANETs behavior: a information theory approach. In: XVII Conference in Nonequilibrion Statistical Mechanics and Nonlinear Physic, 2012, Santiago. XVII Conference in Nonequilibrion Statistical Mechanics and Nonlinear Physic, 2012.

2.
LIMA, D. H. S. ; ALMEIDA, E. S. . Paralelização de programas de diferenças finitas. In: VI Congresso Acadêmico da UFAL, 2009, Maceió. Anais do VI Congresso Acadêmico da UFAL, 2009.

3.
VIEIRA, B. L. ; ALMEIDA, E. S. ; Frery, A. . Detecção de paralelismo através de grafos de dependências em filtros convolucionais.. In: 60ª Reunião Anual da Sociedade Brasileira para o Progresso da Ciência, 2008, Campinas. Anais da 60ª Reunião Anual da Sociedade Brasileira para o Progresso da Ciência, 2008.

4.
LOBO, V. T. C. ; LIMA, D. H. S. ; SILVA, E. R. ; ALMEIDA, E. S. . Um arcabouçode ferramentas computacionais para auxílio ao ensino de computação: ACARAjE. In: V Congresso Acadêmico da UFAL, 2008, Maceió. Anais do V Congresso Acadêmico da UFAL, 2008.

5.
VIEIRA, B. L. ; Frery, A. ; ALMEIDA, E. S. . Vicroacustografia: Teoria, Aplicações Processamento e Análise - VATAPA. In: Congresso Acadêmico da UFAL, 2007, Maceió. Anais do IV Congresso Acadêmico da UFAL, 2007.

6.
VIEIRA, B. L. ; ALMEIDA, E. S. . Um Simulador para Ilustrar Graficamente a Execução de programas e as Noções de computabilidade. In: Congresso Acadêmico da UFAL, 2006, Maceió. Anais do Congresso Acadêmico da UFAL, 2006.

7.
SANTOS, D. F. ; Dias, U. M. ; VIEIRA, R. V. ; ALMEIDA, E. S. . Improving the Multiple Protein Alignment using Genetic Algorith Based on Abstract Data Types. In: X-meeting 2005- 1st International Conference of the Brazilian Association for Bioinformatics and Computational Biology, 2005, Caxambu - MG. Proccedings of the Brazilian Association for Bioinformatics and Computational Biology, 2005.

8.
BRASILEIRO FILHO, V. P. ; ALMEIDA, E. S. ; Almeida, A. . Partitional Clustering applied to Bioinformatics: Case study in the analysis os types of HPV. In: 1st International Conference of the Brazilian Association for Bioinformatics and Computational Biology, 2005, Caxambu. Proceedings of the 1st International Conference of the Brazilian Association for Bioinformatics and Computational Biology, 2005, 2005.

9.
VIEIRA, B. L. ; ALMEIDA, E. S. . Um Simulador para Ilustrar Graficamente a Execução de programas e as Noções de computabilidade. In: Congresso Acadêmico da UFAL, 2005, Maceió. Anais do Congresso Acadêmico da UFAL, 2005.

10.
VIEIRA, B. L. ; ALMEIDA, E. S. ; OUTROS, . Um Simulador para Ilustrar Graficamente a Execução de programas e as Noções de computabilidade. In: Congresso Acadêmico da UFAL, 2004, Maceió. Anais do Congresso Acadêmico da UFAL, 2004.

11.
ALMEIDA, E. S. ; Frery, A. ; COSTA, E. B. ; KELNER, J. ; CANDEIAS, A. L. B. ; CARVALHO JUNIOR, A. A. . Modelagem de Conteúdo Histórico na Web: A Batalha do Jenipapo. In: VI Symposium on Virtual Reality, 2003, Ribeirão Preto. Proceedings of SVR 2003, 2003. p. 425-425.

12.
ALMEIDA, E. S. ; Frery, A. ; CANDEIAS, A. L. B. ; COSTA, E. B. ; KELNER, J. ; LIMA, F. C. D. C. . Análise de ferramentas gratuitas para construção de mundos virtuais: o metrô de Teresina em Alice. In: VI Symposium on Virtual Reality, 2003, Ribeirão Preto. Proceedings of SVR 2003, 2003. p. 432-432.

13.
ALMEIDA, E. S. ; Almeida, A. ; Silva, K. ; Paes, R. . AMBAP: Um Ambiente de Aprendizado de Programação. In: 6o Concresso de Iniciação Científica, 2001, São Carlos. Anais do 6o Congresso de Iniciação Científica, 2001.

14.
ALMEIDA, E. S. ; HAEUSLER, E. H. . LoRec: uma Linguagem Lógica de Especificação de Sistemas Concorrentes desenvolvida a partir do uso de recursos no formalismo de Redes de petri Lugar/Transição. In: I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre, 1998.

15.
ALMEIDA, E. S. ; HAEUSLER, E. H. . From Petri Nets to a Logical Specification Language of Concurrent Systems. In: II Workshop do Projeto Locus (Logic For Concurrency and Synchronization), 1998, Recife. Relatório do II Workshop do Projeto Locus (Logic For Concurrency and Synchronization), 1998.

Apresentações de Trabalho
1.
ALMIRON, M. ; Frery, A. ; ALMEIDA, E. S. . R é confiável para estatística computacional?. 2010. (Apresentação de Trabalho/Simpósio).

2.
ALMEIDA, E. S. . A Sociedade Brasileira de Computação (SBC) e o profissional da área de Informática: Por que é importante participar da SBC?. 2010. (Apresentação de Trabalho/Conferência ou palestra).

3.
ALMEIDA, E. S. . A Tecnologia da Informação e suas Perspectivas na Análise Forense do DNA. 2008. (Apresentação de Trabalho/Conferência ou palestra).

4.
ALMEIDA, E. S. . Uma proposta de especificação de software científico para simulação computacional. 2007. (Apresentação de Trabalho/Conferência ou palestra).

5.
ALMEIDA, E. S. . Um Formalismo Lógico para Especificar Propriedades Dinâmicas em Sistemas Concorrentes. 2004. (Apresentação de Trabalho/Seminário).

6.
ALMEIDA, E. S. . Um Formalismo Lógico para Especificar Propriedades Dinâmicas em Sistemas Concorrentes. 2004. (Apresentação de Trabalho/Seminário).

7.
SILVA, C. K. R. ; Frery, A. ; COSTA, E. B. ; ALMEIDA, E. S. . Aplicação de Generalização Cartográfica em Realidade Virtual. 2003. (Apresentação de Trabalho/Simpósio).

8.
CARVALHO JUNIOR, A. A. ; Frery, A. ; ALMEIDA, E. S. . 1. Modelagem de Conteúdo Histórico na Web: A Batalha do Jenipapo. 2003. (Apresentação de Trabalho/Simpósio).

9.
LIMA, F. C. D. C. ; Frery, A. ; ALMEIDA, E. S. . 2. Análise de Ferramentas Gratuitas para Construção de Mundos Virtuais: o Metrô de Teresina em Alice. 2003. (Apresentação de Trabalho/Simpósio).

Outras produções bibliográficas
1.
ALMEIDA, E. S. ; SILVA, D. W. ; RAMALHO, E. ; SANTOS, R. J. R. . Filogenia Molecular de Microorganismos 2001 (Trabalho apresentado em poster na II Escola de Verão: Métodos Computacionais em Biologia. LNCC/MCT).

2.
ALMEIDA, E. S. ; MAFFEO, B. . Especificação de Estruturas conceituais Básicas através de Redes de Petri Compactas 1997 (Relatório Técnico - PUC-Rio Inf MCC26/97).

3.
ALMEIDA, E. S. ; MAFFEO, B. . Especificação de Estruturas Conceituais Básicas através da Lógica de Predicados 1997 (Relatório Técnico - PUC-Rio Inf MCC44/97).

4.
ALMEIDA, E. S. ; HAEUSLER, E. H. . A Lambda Calculus for the Lambek Calculus 1996 (Relatório Técnico - PUC-Rio Inf MCC40/96).


Produção técnica
Programas de computador sem registro
1.
COSTA, J. T. C. ; SANTOS JUNIOR, J. R. ; ALMEIDA, E. S. . THEMIS. 2009.

2.
PAES, A. ; ALMEIDA, E. S. . SiR: Um Simulador de Funções Recursivas. 2008.

3.
PEIXOTO, M. ; ALMEIDA, E. S. . TOMaTE. 2007.

4.
CAETANO, L. H. T. ; ALMEIDA, E. S. ; SILVA., L. A. F. . EVA. 2006.

5.
ALMEIDA, E. S. ; Almeida, A. ; Silva, K. ; COSTA, E. B. ; PAES, R. B. ; BRAGA, J. D. H. . AMBAP. 2001.

Trabalhos técnicos
1.
ALMEIDA, E. S. ; OUTROS, . Comissão de seleção para ingresso no Mestrado em Modelagem Computaional de Conhecimento da UFAL. 2011.

2.
ALMEIDA, E. S. ; OUTROS, . Comissão de seleção para ingresso no Mestrado em Informática da UFAL. 2011.

3.
ALMEIDA, E. S. . Relator de artigo na revista TEMA - Tendências em Matemática Aplicada e Computacional periódico, na Seleta do XXXII CNMAC - Volume 11. 2010.

4.
ALMEIDA, E. S. ; OUTROS, . Comissão de seleção para ingresso no Mestrado em Modelagem Computaional de Conhecimento da UFAL. 2010.

5.
ALMEIDA, E. S. ; OUTROS, . Comissão de Seleção para ingresso no Mestrado em Modelagem Computacional de Conhecimento da UFAL. 2009.

6.
ALMEIDA, E. S. . Revisor de periódico Braszilian Journal of Probability and Statistics. 2008.


Demais tipos de produção técnica
1.
ALMEIDA, E. S. . Avaliação Externo na Área Temática de Tecnologia e Produção do PIBIEX - UFAL. 2011. (Avaliação Institucional).

2.
ALMEIDA, E. S. . Avaliadora ad hoc de projeto(s) no Processo de Seleção do PIBIC - UFAL. 2011. (Avaliação Institucional).

3.
ALMEIDA, E. S. ; HAEUSLER, E. H. ; ANDRADE, A. . Avaliação Externa do Instituto de Computação da Universidade Federal Fluminense. 2006. (Avaliação Institucional).

4.
ALMEIDA, E. S. . Bioinformática. 2003. (Curso de curta duração ministrado/Especialização).

Demais trabalhos
1.
ALMEIDA, E. S. . Realização da OBI no ambito da UFAL. 2009 (Projeto de Extensão Universitária) .

2.
ALMEIDA, H. O. ; FERREIRA, G. V. V. M. ; OLIVEIRA, E. A. S. ; ALMEIDA, E. S. . Projeto WebLIB: um ambiente Web para indexação de conteúdo científico. 2003 (Projeto de Pesquisa) .

3.
ALMEIDA, E. S. ; SILVA, D. W. ; RAMALHO, E. ; COSTA, E. B. ; LOPES, M. A. . Projeto de Desenvolvimento de Sistemas Evolucionários para Tratamento de Problemas de Alta Complexidade: Desenvolvimento e uso de algoritmos genéticos para alinhamento de DNA. 2002 (Projeto de Pesquisa em Bioinformática) .

4.
ALMEIDA, E. S. ; COSTA, E. B. . Projeto de pesquisa MaAE: Um Ambiente para Engenharia de Aplicações Multiagente. 2001 (Projeto de Pesquisa) .

5.
ALMEIDA, E. S. ; SILVA, D. W. ; RAMALHO, E. ; COSTA, E. B. ; LOPES, M. A. ; VIEIRA, R. V. . Projeto de Desenvolvimento e Pesquisa em Tecnologia de Bioinformação Genômica. 2001 (Projeto de Pesquisa em Bioinformática) .



Patentes e registros



Programa de computador
1.
SARMENTO, F. J. Q. ; ARAUJO, D. A. M. ; ALMEIDA, E. S. ; ANDRADE, T. G. ; LIMA, F. P. . 'BACSEARCH'. 2012.
Patente: Programa de Computador. Número do registro: 000194, título: "'BACSEARCH'" , Instituição de registro:INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
ALMEIDA, E. S.; Frery, A.; CLARO, D.B.. Participação em banca de André Gustavo Teixeira Lins. Modelagem Formal de Workflows a partir de uma Metodologia para Gestão de Processos de Negócio na Saúde Pública. 2010. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

2.
Frery, A.; Cintra, R.; ALMEIDA, E. S.. Participação em banca de Bruno Lopes Vieira. Reconstrução de Sinais em Redes de Sensores sem Fios com Técnicas de Geoestatística. 2010. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

3.
LOUREIRO, A.A.F.; Frery, A.; ALMEIDA, E. S.. Participação em banca de Marcelo Gabriel Almiron. Conectividade em Redes de Sensores sem Fios. 2009. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

4.
ALMEIDA, E. S.; Frery, A.; MARENGONI. M.. Participação em banca de José Tenório Cesar Costa. THEMIS: um sistema para análise forense de DNA utilizando Redes Bayesianas. 2009. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

5.
VIEIRA, R. V.; GUIMARAES, K. S.; LUNA, H. P. L.; ALMEIDA, E. S.. Participação em banca de Diniz Fireman de Araujo Filho. Reconhecimento de Padrões em Dados Biológicos: Sistema de Apoio a Tipificação do Vírus HPV (SAT-HPV). 2008. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

6.
ANDRADE, A.; SILVA, P. V.; ALMEIDA, E. S.. Participação em banca de Alexandre Paes. Um simulador da execução de funções computavéis utilizando o conceito de grafo de dependências. 2008. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

7.
ALMEIDA, E. S.; GONCALVES, L. M. G.; MARINHO, P.; COSTA, J. A. F.. Participação em banca de Kliger Kinseger Fernandes Rocha. Um Sistema Computacional para Diagnosticar Viroses de Plantas usando Técnica de PCR com construção de Primers Espécie-Específicos. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

8.
ALMEIDA, E. S.; PERKUSICH, A.. Participação em banca de Adriano José Pinheiro Lemos. Reuso de Modelos em Redes de Petri Coloridas. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Teses de doutorado
1.
GONCALVES, L. M. G.; Frery, A.; ALMEIDA, E. S.. Participação em banca de Rummenigge Rudson Dantas. GATE - uma abordagem baseada em middleware para aplicações interperceptivas envolvendo multiplos dispositivos. 2009. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

Trabalhos de conclusão de curso de graduação
1.
Frery, A.; ALMEIDA, E. S.; Pereira, L. V.. Participação em banca de Evellyn Soares Cavalcante.XPTAGRAF: Visualização Facilitada de dados na Web utilizando R. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas.

2.
ALMEIDA, E. S.; Machado, A. P.; CAVALCANTE, E. S.. Participação em banca de Tamer Stefani Cavalcante.Estudo e Proposta de um Objeto de Aprendizagem para Estimular o Raciocínio Lógico em Alunos de Ensino Fundamental e Médio. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas.



Participação em bancas de comissões julgadoras
Concurso público
1.
ANDRADE, A.; ALMEIDA, E. S.; Benevides, M.. Concurso Público para provimento do cargo de professor adjunto , Matéria: Teoria da Computação, Inteligência Artificial e Métodos Formais. 2010. Universidade Federal da Bahia.

2.
ALMEIDA, E. S.; LEITE, J. C.; MUSICANTE, M.. Concurso publico para provimento de cargo de professor adjunto. 2008. Universidade Federal do Rio Grande do Norte.

3.
ALMEIDA, E. S.; HAEUSLER, E. H.; LIRA W. W. M.. Concurso Publico para provimento de cargo de professor adjunto no Instituto de Computação. 2008. Universidade Federal de Alagoas.

4.
ALMEIDA, E. S.. Seleção de Candidatos a Carreira de Magistério Superior - Prof. Adjunto. 2006. Universidade Federal Fluminense.

5.
ALMEIDA, E. S.; DIAS, G. A.; FERNEDA, E.. Concurso Público para professor Assistente - Pólo Penedo (Interiorização). 2006. Universidade Federal de Alagoas.

6.
ALMEIDA, E. S.; DIAS, G. A.; FERNEDA, E.. Concurso Público para Professor Assistente - Pólo Palmeira dos Índios (Interiorização). 2006. Universidade Federal de Alagoas.

7.
ALMEIDA, E. S.; FERNEDA, E.; SILVA, G. T.. Concurso para Professor Assitente - Pólo Arapiraca (Interiorização). 2006. Universidade Federal de Alagoas.

8.
ALMEIDA, E. S.. Concurso Público para Professor adjunto. 2004. Universidade Federal de Alagoas.

9.
ALMEIDA, E. S.; Souza, A.; Moura Filho, G.. Concurso Público para Professor Adjunto. 2002. Universidade Federal de Alagoas.

10.
ALMEIDA, E. S.; COSTA, E. B.; PERKUSICH, A.. Concurso Público para Professor Adjunto. 2002. Universidade Federal de Alagoas.

11.
ALMEIDA, E. S.; Silva, S. C.; Albuquerque, C. C.. Concurso Público para Professor Substituto no setor de estudos Teoria de Linguagens e Compuladores. 2001. Universidade Federal de Alagoas.

12.
ALMEIDA, E. S.; COSTA, E. B.; Coradine, L. C.. Concurso Público para Professor Substituto no setor de estudos Engenharia de Software. 1999. Universidade Federal de Alagoas.

Outras participações
1.
ALMEIDA, E. S.; OUTROS,. Concurso para monitor da disciplina de Linguagens Formais e Automatos. 2010. Universidade Federal de Alagoas.

2.
ALMEIDA, E. S.; OUTROS,. Concurso para monitor da disciplina de Teoria da Computação. 2010. Universidade Federal de Alagoas.

3.
ALMEIDA, E. S.. Concurso para monitor na disciplina de Linguagens Formais e Automatos. 2009. Universidade Federal de Alagoas.

4.
ALMEIDA, E. S.. COncurso para monitor de disciplina e lógica aplicada a computação. 2009. Universidade Federal de Alagoas.

5.
ALMEIDA, E. S.. Concurso para monitor na disciplina de Linguagens Formais e Automatos. 2008. Universidade Federal de Alagoas.

6.
ALMEIDA, E. S.; Bomfim, W. G.; Santos, J. E.. Concurso para Seleção de Monitor na disciplina de Programação I. 1999. Universidade Federal de Alagoas.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
XII Escola Regional Bahia-Alagoas Sergipe. Avaliação de trabalhos de Iniciação Científica e do WEIBASE. 2012. (Congresso).

2.
XI Escola Regional Bahia - Alagoas - Sergipe. Reconhecimento aos relevantes seriços prestados em prol do evento e da comunidade científica dos estados da Bahia, Alagoas e Sergipe. 2011. (Congresso).

3.
ARACOMP 2011 - II Congresso de CIência da Computação de Arapiraca. A SBC e os grande desafios da pesquisa em Computação no Brasil. 2011. (Congresso).

4.
I Semana da Computação do Instituto de Computação da UFAL. A Importância da Extensão. 2009. (Congresso).

5.
VIII Escola Regional Bahia - Alagoas - Sergipe. A Tecnologia da Informação e suas perspectivas na Análise Forense do DNA. 2008. (Congresso).

6.
WTICG 2008 - VIII Escola Regional de Computação Bahia - Alagoas - Sergipe.membro do comitê de programa. 2008. (Outra).

7.
I Escola Brasileira de Inteligência Atrificial e Bioinformática.I Escola Brasileira de Inteligência Atrificial e Bioinformática. 2001. (Outra).

8.
II Escola de Verão em Metodos Computacionais em Biologia.II Escola de Verão em Métodos Computacionais em Biologia. 2001. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
SILVA, L. D. ; ALMEIDA, E. S. ; OUTROS, . XXXIII Congresso da Sociedade Brasileira de Computação. 2013. (Congresso).

2.
ALMEIDA, E. S. ; OUTROS, . Olimpíada Brasileira de Informática (no âmbito de Alagoas). 2012. (Outro).

3.
ALMEIDA, E. S. ; Silva, P. R. I. ; OUTROS, . Olimpíada Brasileira de Robótica (no âmbito de Alagoas). 2012. (Outro).

4.
AMBROSIO, P. E. ; ALMEIDA, E. S. . WTICG-BASE - Workshop de Trabalhos de Iniciação científica e graduação Bahia-Alagoas-Sergipe. 2011. (Congresso).

5.
ALMEIDA, E. S. ; OUTROS, . Olimpíada Brasileira de Informática (no âmbito de Alagoas). 2011. (Outro).

6.
Santos, A. ; ALMEIDA, E. S. . X Escola Regional de Computação Bahia - Alagoas - Sergipe. 2010. (Congresso).

7.
ALMEIDA, E. S. ; OUTROS, . Olimpíada Brasileira de Informática (no âmbito de Alagoas). 2010. (Outro).

8.
ALMEIDA, E. S. ; CLARO, D.B. . WTICG-BASE 2009 - IX Escola de Computação Bahia-Alagoas-Sergipe. 2009. (Congresso).

9.
ALMEIDA, E. S. ; OUTROS, . Olimpíada Brasileira de Informática (no âmbito de Alagoas). 2009. (Outro).

10.
ALMEIDA, E. S. ; MOISES, D. . WEIBASE 2008 - VIII Escola de Computação Bahia-Alagoas-Sergipe. 2008. (Congresso).

11.
ALMEIDA, E. S. ; Silva, P. R. I. ; OUTROS, . Olimpíada Brasileira de Informática (no âmbito de Alagoas). 2008. (Outro).

12.
ALMEIDA, E. S. . Olimpíada Brasileira de Informática. 2007. (Outro).

13.
ALMEIDA, E. S. ; OUTROS, . VII Escola Regional de Computação Bahia-Alagoas-Sergipe. 2007. (Congresso).

14.
ALMEIDA, E. S. ; BRASILEIRO FILHO, V. P. ; VIEIRA, B. L. ; OUTROS, . EPOMaC: Encontro Regional de Pesquisa Operacional e Matemática Computacional. 2005. (Congresso).

15.
ALMEIDA, E. S. ; Frery, A. ; ALMEIDA, H. O. ; COSTA, E. B. . Congresso alagoano de Tecnologia da Informação. 2003. (Congresso).

16.
ALMEIDA, E. S. ; ALMEIDA, H. O. ; RIBEIRO, M. M. . Ciclo de Seminários do Departamento de Tecnologia da Informação, 2003. 2003. (Outro).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Fernando Pinto. Especificação Semântica de LAND: Uma Linguagem para o Método das Diferenças Finitas. 2013. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, . Orientador: Eliana Silva de Almeida.

2.
Tamer Stefani Cavalcante. Teoria da Informação Aplicada à Caracterização de Velocidades em Redes Veículares. 2013. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eliana Silva de Almeida.

3.
David Henrique de Souza Lima. Um sistema oportunista para detecção de vagas de estacionamento utilizando placas inteligentes acopladas em câmeras de segurança. 2012. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Eliana Silva de Almeida.

4.
Cledson Calaça Cavalcante Gomes. Estratégias e Ferramentas Pedagógicas para Ensino de Lógica: o ambiente AMBAP.. 2012. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, . Orientador: Eliana Silva de Almeida.

5.
Andre Gustavo Teixeira Lins. Modelagem Formal de Workflows a partir de uma Metodologia para Gestão de Processos de Negócio na Saúde Pública. 2010. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, . Orientador: Eliana Silva de Almeida.

6.
Felipe Prata. Caracterização de Dados de Sobrevivência em Câncer Colorretal através de uma Abordagem de Agrupamento de Dados. 2010. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Eliana Silva de Almeida.

7.
Alexandre Braga. Um Modelo de Baixo Custo para Aulas de Robótica Educativa usando a Interface Arduino. 2010. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, . Orientador: Eliana Silva de Almeida.

8.
José Tenório Cesar Costa. THÊMIS Sistema para Análise Forense de DNA Autossômico e Mitocondrial. 2009. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Eliana Silva de Almeida.

9.
Cledson Calaça Cavalcante Gomes. "Modelagem de um ambiente para iniciantes em programação apoiado por um assistente inteligente. 2009. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, . Orientador: Eliana Silva de Almeida.

10.
Diniz Fireman de Araujo Filho. Reconhecimento de Padrões em Dados Biológicos: Sistema de Apoio a Tipificação do Vírus HPV (SAT-HPV). 2008. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, . Co-Orientador: Eliana Silva de Almeida.

11.
Alexandre Paes. Um simulador da execução de funções computavéis utilizando o conceito de grafo de dependências. 2008. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, . Orientador: Eliana Silva de Almeida.

12.
Ulisses Martins Dias. Predição da função das proteínas sem alinhamentos usando máquinas de vetor de suporte. 2007. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Co-Orientador: Eliana Silva de Almeida.

13.
Felipe José de Queiroz Sarmento. Modelagem de um Ambiente de apoio a Análise de DNA para Genética Forense. 2006. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Eliana Silva de Almeida.

14.
Luis Henrique Teixeira Caetano. Um ambiente de apoio e análise à identificação humana através do DNA Mitocondrial. 2006. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Eliana Silva de Almeida.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
CARLOS HENRIQUE OLIVEIRA ARAÚJO. A TECNOLOGIA DA INFORMAÇÃO COMO FATOR DE SUCESSO NA ESTRATÉGIA DE RETENÇÃO DE CLIENTES: UM SISTEMA APLICADO A UMA PRESTADORA DE SERVIÇOS DE SEGURO SAÚDE. 2006. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

2.
EDUARDO MELO DA CUNHA. Uma Estratégia para Retenção de Clientes Rentáveis numa Operadora de Plano de Saúde. 2006. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

3.
Emmanuelle Gusmão de Mendonça. CRM (Customer Relationship Management) e o cliente que não quer calar. 2003. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

4.
Michelle Marie Regis Ferreira. CRM - De uma idéia interessante a uma necessidade das organizações. 2003. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

5.
Diana do Couto Rebelo. Website interno como instrumento dinamizador das ações técnicas e administrativas da Fundação Nacional de Saude. 2003. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

6.
Edson de Carvalho Silva. Desenvolvimento e implementação de um site corporativo com integração de banco de dados como ferramenta dinamizadora dos procedimentos técnicos administrativos do Ministério da Saude em Alagoas. 2003. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

7.
Wilma Salgueiro de Almeida. Segurança da Informação em Redes de Computadores. 2003. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

8.
Luciano Silva Gomes de Melo. A Ergonomia como Medida Preventiva na Tecnologia da Informação. 2002. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

9.
Luis Silva Gomes de Melo. Supply Chain Management: um fator de Competitividade Empresarial. 2002. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

10.
Glauber Arthur N. da Silva. ETL: Extração, Transformação e Carga de Dados em DataWarehouse. 2002. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

11.
Ítalo Germano Argollo de Moraes. Desenvolvendo um Sistema Utilizando Active Server Pages 3.0 (ASP) - Controle de processos Jurídicos na Web. 2002. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

Trabalho de conclusão de curso de graduação
1.
Lucas Miranda Barros. Metodologia para Análise de Acuracia Numérica de Software. 2013. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

2.
Tamer Stefani Cavalcante. Estudo e Proposta de um Objeto de Aprendizagem para Estimular o Raciocínio Lógico em Alunos de Ensino Fundamental e Médio. 2010. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

3.
Amanda Batista Modesto. Banco de Dados para Genética Forense. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

4.
João Roberto Santos. UM Ambiente para identificação de paternidade em genética forense. 2008. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

5.
Mario Peixoto. Estudo e Aplicações de Arquitetura orientada a Serviços (SOA). 2008. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

6.
Vicente de Paula Brasileiro Filho. Algoritmo para Predição de Estruturas Moleculares Protéicas. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

7.
Glória Adélia de Carvalho Freitas. Processo de Testes para Aplicações Móveis. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

8.
Bruno Lopes Vieira. Detecção de Paralelismo atr\avés de Grafos de Dependências em Filtros Convolucionais. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

9.
Wallace Franco de Azevedo Nogueira. Projeto e implementação de jogos para dispositivos móveis. 2005. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

10.
Cristiane Maria Santos Fereira. Um sistema para alocação de docentes baseado em simulated annealing. 2005. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

11.
Elthon Allex da Silva Oliveira. Especificação e verificação formal do modelo de componentes COMPOR-CM utilizando Redes de Petri Coloridas Hierárquicas. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

12.
André Atanásio Maranhão de Almeida. Aplicação de Algoritmos de Agrupamento a dados Biológicos. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

13.
Julian diego Herrera Braga. Tradutor Orientado a Objetos de Linguagem Algorítmica para Assembly. 2003. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

14.
Alcimeire Alessandra Costa. Analisando a Usabilidade dos Websites. 2003. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

15.
David Fernandes França. Banco de Dados Genômicos. 2003. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

16.
André Luis Lins de Aquino. Mobilidade Usando IP. 2002. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

17.
Elizeu dos Santos Neto. Escalonamento Hierárquico. 2002. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

18.
André Gustavo Teixeira Lins. Desenvolvendo Aplicações Web usando Server Side Scripts. 2001. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

19.
Sóstenes de Gusmão Silva. e-business na Tecnologia da Informação: um foco em CRM e Database Marketing. 2001. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

20.
Hélio Jugurta Silva Lima Cabral Junior. E-commerce: aspectos de segurança em pagamento eletônico. 2001. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

Iniciação científica
1.
Ivo Gabriel Guedes Alves. Estudo de Acurácia Numérica de Software como suporte no Desenvolvimento de Técnicas de Visão Computacional para Veículos Aéreos Não Tripulados. 2013. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Financiadora de Estudos e Projetos. Orientador: Eliana Silva de Almeida.

2.
Leonildo Mello. Analise de Acurácia numérica de Software. 2012. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliana Silva de Almeida.

3.
Igor Souza Ferraz. Avaliação da qualidade numérica de software científico. 2011. Iniciação Científica. (Graduando em Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliana Silva de Almeida.

4.
Antônio Carlos Medeiros. Interação Humano-Computador através de Gráficos Dinâmicos. 2010. Iniciação Científica. (Graduando em Bacharelado em Meteorologia) - Universidade Federal de Alagoas, Sociedade Amigos da Cinemateca. Orientador: Eliana Silva de Almeida.

5.
Evellyn Soares Cavalcante. Análise Crítica de Gráficos baseados na Interação com Usuários de TV Digital. 2010. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Sociedade Amigos da Cinemateca. Orientador: Eliana Silva de Almeida.

6.
David Henrique de Souza Lima. Estudo e Especificação Colaborativa de Passos de Dança em TV Digital. 2010. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Sociedade Amigos da Cinemateca. Orientador: Eliana Silva de Almeida.

7.
David Henrique de Souza Lima. Ambiente Computacional Aplicado: Recursos para ajuda educacional. 2010. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, CNPq - AF. Orientador: Eliana Silva de Almeida.

8.
Emanuelle Ramalho. Construindo uma Interface para um Ambiente Educacional de Apoio ao Aprendizado dos Aspectos Formais da Computacao. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Eliana Silva de Almeida.

9.
Adriano Sales de Azevedo Melo Neto. Um Ambiente para simular execução de funções computavéis através de grafo de dependências. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

10.
Carlos Antonio Fernandes da Silva. Um Ambiente para simular execução de funções computavéis através de grafo de dependências. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

11.
David Henrique de Souza Lima. Aprendendo Maquina de Turing atraves de um Ambiente Grafico de Simulacao. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

12.
Vilker Tenório. Construindo uma Interface para um Ambiente Educacional de Apoio ao Aprendizado dos Aspectos Formais da Computacao. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Eliana Silva de Almeida.

13.
Vitor Normande Vieira. Um simulador de Máquinas Abstratas em Linguagem de Programação. 2007. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

14.
Mario Peixoto. Church-Turing thesis: um simulador de apoio ao seu estudo. 2006. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Eliana Silva de Almeida.

15.
Ícaro Rafael da Silva Medeiros. Visualização de dados Biológicos na Web utilizando o sistema R.. 2005. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Eliana Silva de Almeida.

16.
Vicente de Paula Brasileiro Filho. Agrupamento de dados aplicados a Bioinformática: Estudo de caso na análise de tipos de HPV. 2004. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

17.
JOSÉ TENÓRIO CÉSAR COSTA. cVivusLib: Um Sistema Indexador de Conteúdo Científico Digitalizado para Comunidade Virtual cVivus.. 2004. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

18.
Anderson Gomes da Silva. ESTUDOS DE ALGORITMOS PARA AGRUPAMENTO DE DADOS. 2004. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Eliana Silva de Almeida.

19.
Bruno Lopes Vieira. UM SIMULADOR PARA ILUSTRAR GRAFICAMENTE A EXECUÇÃO DE PROGRAMAS E AS NOÇÕES DE COMPUTABILIDADE. 2004. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliana Silva de Almeida.

20.
Elthon Alex da Silva Oliveira. Construção da Comunidade Virtual cVivus. 2003. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Eliana Silva de Almeida.

21.
André Atanásio Maranhão de Almeida. Estudo de Algoritmos de Agrupamento aplicados a Bioinformática. 2003. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Eliana Silva de Almeida.

22.
Luiz Josué da Silva Filho. UM SIMULADOR PARA ILUSTRAR GRAFICAMENTE A EXECUÇÃO DE PROGRAMAS E AS NOÇÕES DE COMPUTABILIDADE NO SISTEMA SISCO. 2003. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

23.
André Atanásio Maranhão de Almeida. Estudo de Algoritmos de Agrupamento aplicados a Bioinformática. 2002. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Eliana Silva de Almeida.

24.
Julian Herrera. AMBAP: Um Ambiente de Aprendizado de Programação. 2001. Iniciação Científica. (Graduando em Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

25.
André Atanásio Maranhão de Almeida. AMBAP: Um Ambiente de Aprendizado de Programação. 2001. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

Orientações de outra natureza
1.
Leonildo Mello. Monitoria da Disciplina de Linguagens Formais e Automatos. 2013. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

2.
Raphael P Ribeiro. Projeto de Capacitação em Informática através do Raciocínio Lógico e do uso de Tecnologias e Ferramentas de Software Livre CapInfo-SL. 2011. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliana Silva de Almeida.

3.
Fernando Tavares. Projeto de Capacitação em Informática através do Raciocínio Lógico e do uso de Tecnologias e Ferramentas de Software Livre CapInfo-SL. 2011. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliana Silva de Almeida.

4.
Guilherme Melo de Medeiros. Projeto de Capacitação em Informática através do Raciocínio Lógico e do uso de Tecnologias e Ferramentas de Software Livre CapInfo-SL. 2011. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliana Silva de Almeida.

5.
Bruno Normande Lins. Monitoria da Disciplina de Linguagens Formais e Automatos na Graduacao. 2011. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

6.
Emanuella Toledo. Monitoria da disciplina de Teoria da Computacao. 2011. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

7.
Paulo Ricardo Inácio. Capacitação em Raciocínio Logico para Escolas Públicas de Ensino Fundamental. 2011. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Alagoas, Proex - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

8.
Tamer Cavalcante. Monitoria de Linguagens Formais e Autômatos. 2010. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

9.
Phillipe da Silva Cavalcante. Apoio Técnico ao Centro de Pesquisa em Matemática Computacional. 2010. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

10.
Bruno Normande Lins. Monitoria de Linguagens Formais e Autômatos. 2010. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

11.
David Henrique de Souza Lima. Monitoria de Teoria da Computação. 2010. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

12.
Paulo Ricardo Inácio da Silva. Projeto de apoio a capacitação de alunos de Escolas Públicas para a participação na OBI. 2010. Orientação de outra natureza. (Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas, Proex - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

13.
Antonio Carlos Medeiros. Apoio técnico a pesquisa. 2010. Orientação de outra natureza. (Bacharelado em Meteorologia) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

14.
Tamer Stefani Guimarães Cavalcante. Apoio a Escola Pública na capacitação dos seus alunos em Informática. 2009. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

15.
Adriano Sales Melo Neto. Monitoria de Linguagens Formais e Autômatos. 2009. Orientação de outra natureza. (Bacharelado em Ciências da Computação) - Universidade Federal de Alagoas, Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

16.
Lucas Miranda de Barros. Monitoria de Teoria da Computação. 2009. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

17.
Tamer Cavalcante. Monitoria da disciplina Linguagens Formais e Autômatos. 2008. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

18.
José William Ramos Barreto Filho. Monitoria da disciplina Linguagens Formais e Autômatos. 2008. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

19.
Vitor Normande Vieira. Monitoria da disciplina Teoria da Computação. 2008. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Eliana Silva de Almeida.

20.
Vitor Marcolino dos Santos. Bolsa de Apoio Técnico. 2006. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliana Silva de Almeida.



Inovação



Programa de computador registrado
1.
SARMENTO, F. J. Q. ; ARAUJO, D. A. M. ; ALMEIDA, E. S. ; ANDRADE, T. G. ; LIMA, F. P. . 'BACSEARCH'. 2012.
Patente: Programa de Computador. Número do registro: 000194, título: "'BACSEARCH'" , Instituição de registro:INPI - Instituto Nacional da Propriedade Industrial.


Projetos de pesquisa


Educação e Popularização de C & T



Programa de Computador registrado
1.
SARMENTO, F. J. Q. ; ARAUJO, D. A. M. ; ALMEIDA, E. S. ; ANDRADE, T. G. ; LIMA, F. P. . 'BACSEARCH'. 2012.
Patente: Programa de Computador. Número do registro: 000194, título: "'BACSEARCH'" , Instituição de registro:INPI - Instituto Nacional da Propriedade Industrial.


Organização de eventos, congressos, exposições e feiras
1.
ALMEIDA, E. S. ; OUTROS, . Olimpíada Brasileira de Informática (no âmbito de Alagoas). 2009. (Outro).

2.
ALMEIDA, E. S. ; OUTROS, . Olimpíada Brasileira de Informática (no âmbito de Alagoas). 2010. (Outro).

3.
ALMEIDA, E. S. ; OUTROS, . Olimpíada Brasileira de Informática (no âmbito de Alagoas). 2011. (Outro).

4.
ALMEIDA, E. S. ; Silva, P. R. I. ; OUTROS, . Olimpíada Brasileira de Robótica (no âmbito de Alagoas). 2012. (Outro).




Página gerada pelo Sistema Currículo Lattes em 17/09/2014 às 12:33:33