Rede de Colaboração
Diretório de grupos de pesquisa|
Eliana Silva de Almeida 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 Centro de Pesquisa em Matemática Computacional (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 e no desenvolvimento de aplicações em informática na educação, saúde e genética forense.
Última
atualização do currículo em 08/08/2011
Endereço para acessar este CV: http://lattes.cnpq.br/9613846902868406 |
Dados pessoais
| Nome | Eliana Silva de Almeida |
| Nome em citações bibliográficas | ALMEIDA, E. S.; |
| Sexo | Feminino |
| 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 57072-970 - Maceio, 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. |
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 |
| 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) |
| 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/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. |
| 03/2007 - Atual | Atividades de Participação em Projeto, Instituto de Matemática, . |
|
Projetos de pesquisa Núcleo de Excelência em Abordagens Matemático-Computacionais e Experimentos em Novos Processos e Materiais |
| 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. |
| 02/2006 - Atual | Atividades de Participação em Projeto, Instituto de Matemática, . |
|
Projetos de pesquisa CPMAT: Centro de Pesquisa em Matemática Computacional |
| 05/2004 - Atual | Atividades de Participação em Projeto, Reitoria, Instituto de Computação. |
|
Projetos de pesquisa Construção de um Ambiente para Estudos e Análise de DNA Forense |
| 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. |
| 04/2004 - Atual | Atividades de Participação em Projeto, Departamento de Tecnologia da Informação, . |
|
Projetos de pesquisa Um simulador para Ilustrar Graficamente a Execução de Programas e as Noções de Computabilidade |
| 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 |
| 2010 - 2013 | Atividades de Participação em Projeto, Instituto de Computação, . |
|
Projetos de pesquisa Modelos Matemático-Computacionais com Aplicações em Problemas Complexos (Pronex III CNPq/Fapeal 67.0001/2008-2) |
| 2009 - 2012 | Atividades de Participação em Projeto, Instituto de Computação, . |
|
Projetos de pesquisa AL-MG-RJ: Projeto e Desenvolvimento de Redes de Sensores sem Fios |
| 2008 - 2012 | Atividades de Participação em Projeto, Laboratório de Computação Científica e Visualização - LCCV, . |
|
Projetos de pesquisa 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 |
| 2011 - 2011 | Atividades de Participação em Projeto, Instituto de Computação - LaCCAN/CPMAT/UFAL, . |
|
Projetos de pesquisa 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 |
| 2010 - 2010 | Atividades de Participação em Projeto, Instituto de Computação, . |
|
Projetos de pesquisa 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 |
| 2008 - 2010 | Atividades de Participação em Projeto, Instituto de Computação, . |
|
Projetos de pesquisa 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) Um arcabouco de ferramentas computacionais para auxilio ao ensino de computacao |
| 03/2009 - 12/2009 | Ensino, Modelagem Computacional de Conhecimento, Nível: Pós-Graduação. |
| Disciplinas ministradas Tópicos em Mo. Quantit. e de Simulação - Tecnicas Formais no Desenvolvimento de Software Científico Fundamentos de Modelagem Computacional |
| 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. |
| 2008 - 2009 | Atividades de Participação em Projeto, Instituto de Computação, . |
|
Projetos de pesquisa THEMIS - Estudos de técnicas formais par apoio a Análise de DNA Forense |
| 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) |
| 12/2004 - 12/2006 | Atividades de Participação em Projeto, Departamento de Tecnologia da Informação, . |
|
Projetos de pesquisa VisuaW: Visualização de dados biológicos na Web |
| 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. |
| 2004 - 2006 | Atividades de Participação em Projeto, Departamento de Tecnologia da Informação, . |
|
Projetos de pesquisa NeXos: Otimização de Redes de Conhecimento e de Utilidade Pública |
| 10/2004 - 09/2005 | Atividades de Participação em Projeto, Departamento de Tecnologia da Informação, . |
|
Projetos de pesquisa Efeitos não-lineares em Vibroacustografia: Teoria e simulação |
| 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. |
| 03/2001 - 02/2005 | Atividades de Participação em Projeto, Departamento de Tecnologia da Informação, . |
|
Projetos de pesquisa AMBAP: Um Ambiente de Aprendizado de Programação |
| 2002 - 2005 | Atividades de Participação em Projeto, Departamento de Tecnologia da Informação, . |
|
Projetos de pesquisa CoCADa - Construção do Conhecimento por Agrupamento de dados |
| 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 |
Projetos de Pesquisa
| 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: Em andamento; Natureza: Extensão. Alunos envolvidos: Graduação ( 3) . Integrantes: Alejandro Cesar Frery Organbide - Integrante / Eliana Silva de Almeida - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - 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: 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 / Eliana Silva de Almeida - 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: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 3) . Integrantes: 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 / Eliana Silva de Almeida - Integrante. Financiador(es): Sociedade Amigos da Cinemateca - Auxílio financeiro.. |
| 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: Edward Hermann Haeusler - Integrante / Alejandro Cesar Frery Organbide - Coordenador / outros - Integrante / Antonio Alfredo Ferreira Loureiro - Integrante / Eliana Silva de Almeida - 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: 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 / Eliana Silva de Almeida - 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: Em andamento; Natureza: Pesquisa. Integrantes: 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 / Eliana Silva de Almeida - 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: Em andamento; 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: Luiz Antônio Ferreira da Silva. - Integrante / Eliana Silva de Almeida - Coordenador. 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: Hilário Alencar da Silva - Coordenador / Eliana Silva de Almeida - 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 / 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: Bruno Lopes Vieira - Integrante / Mário Peixoto - Integrante / Alexandre Paes - Integrante / Eliana Silva de Almeida - Coordenador. 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: Alejandro Cesar Frery Organbide - Integrante / outros - Integrante / Glauber T. Silva - Integrante / Henrique Pacca L. Luna - Integrante / Hilário Alencar da Silva - Coordenador / Eliana Silva de Almeida - Integrante. . |
| 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: Luis Henrique Teixeira Caetano - Integrante / Luiz Antônio Ferreira da Silva. - Integrante / Felipe José Queiroz Sarmento - Integrante / José Tenório Cesar Costa - Integrante / Eliana Silva de Almeida - Coordenador. 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: Evandro de Barros Costa - Integrante / Alejandro Cesar Frery Organbide - Integrante / Luiz Marcos Garcia Gonçalves - Integrante / Eliana Silva de Almeida - Coordenador. 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: Evandro de Barros Costa - Integrante / Alejandro Cesar Frery Organbide - Integrante / outros - Integrante / Henrique Pacca L. Luna - Coordenador / Eliana Silva de Almeida - 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.. |
| 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: Glauber T. Silva - Integrante / André Ferreira da Silva - Integrante / Eliana Silva de Almeida - Coordenador. 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: Alejandro Cesar Frery Organbide - Coordenador / outros - Integrante / Klaus Leite Pinto Vasconcellos - Integrante / Francisco Cribari-Neto - Integrante / Maria Eulália Vares - Integrante / Eliana Silva de Almeida - 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: 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 / Eliana Silva de Almeida - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Bolsa.Número de orientações: 4. |
Á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ção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |   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. |
| 2. | SILVA, 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. |
| 3. | FERNEDA, 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. |
| 4. | ALMEIDA, 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. |
| 5. | ALMEIDA, 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. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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, 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). |
| Demais tipos de produção bibliográfica |
| 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 |
| Softwares sem registro de patente |
| 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. . Relator de artigo na revista TEMA - Tendências em Matemática Aplicada e Computacional periódico, na Seleta do XXXII CNMAC - Volume 11. 2010. |
| 2. | ALMEIDA, E. S. ; OUTROS, . Comissão de Seleção para ingresso no Mestrado em Modelagem Computacional de Conhecimento da UFAL. 2009. |
| 3. | 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. ; HAEUSLER, E. H. ; ANDRADE, A. . Avaliação Externa do Instituto de Computação da Universidade Federal Fluminense. 2006. (Avaliação Institucional). |
| 2. | 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). |
Bancas
| Participação em bancas examinadoras |
| Dissertações |
| 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 |
| 1. | 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). |
| 2. | I Semana da Computação do Instituto de Computação da UFAL.A Importância da Extensão. 2009. (Congresso). |
| 3. | VIII Escola Regional Bahia - Alagoas - Sergipe.A Tecnologia da Informação e suas perspectivas na Análise Forense do DNA. 2008. (Congresso). |
| 4. | WTICG 2008 - VIII Escola Regional de Computação Bahia - Alagoas - Sergipe.membro do comitê de programa. 2008. (Outra). |
| 5. | I Escola Brasileira de Inteligência Atrificial e Bioinformática.I Escola Brasileira de Inteligência Atrificial e Bioinformática. 2001. (Outra). |
| 6. | 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 |
| 1. | AMBROSIO, P. E. ; ALMEIDA, E. S. . WTICG-BASE - Workshop de Trabalhos de Iniciação científica e graduação Bahia-Alagoas-Sergipe. 2011. (Congresso). |
| 2. | Santos, A. ; ALMEIDA, E. S. . X Escola Regional de Computação Bahia - Alagoas - Sergipe. 2010. (Congresso). |
| 3. | ALMEIDA, E. S. ; CLARO, D.B. . WTICG-BASE 2009 - IX Escola de Computação Bahia-Alagoas-Sergipe. 2009. (Congresso). |
| 4. | ALMEIDA, E. S. ; MOISES, D. . WEIBASE 2008 - VIII Escola de Computação Bahia-Alagoas-Sergipe. 2008. (Congresso). |
| 5. | ALMEIDA, E. S. . Olimpíada Brasileira de Informática (no âmbito de Alagoas). 2008. (Concurso). |
| 6. | ALMEIDA, E. S. . Olimpíada Brasileira de Informática. 2007. (Concurso). |
| 7. | ALMEIDA, E. S. ; OUTROS, . VII Escola Regional de Computação Bahia-Alagoas-Sergipe. 2007. (Congresso). |
| 8. | ALMEIDA, E. S. ; BRASILEIRO FILHO, V. P. ; VIEIRA, B. L. ; OUTROS, . EPOMaC: Encontro Regional de Pesquisa Operacional e Matemática Computacional. 2005. (Congresso). |
| 9. | ALMEIDA, E. S. ; Frery, A. ; ALMEIDA, H. O. ; COSTA, E. B. . Congresso alagoano de Tecnologia da Informação. 2003. (Congresso). |
| 10. | 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 em andamento |
| Dissertação de mestrado |
| 1. | Ulisses Douglas Portela Araujo. Um estudo sobre monitoramento de ambientes através do uso de dashboards para o apoio a decisões gerenciais em ambientes de pesquisa. Início: 2011. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas. (Orientador). |
| 2. | Alessandra Nascimento Pontes. Um protocolo de comunicação de incidentes em serviços de atendimento móvel fundamentado em Redes de Petri. Início: 2011. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas. (Orientador). |
| 3. | Tamer Stefani Cavalcante. Uma ferramenta para auxílio no desenvolvimento do raciocínio lógico voltada para estudantes de ensino fundamental. Início: 2011. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador). |
| 4. | Felipe Prata. Sistema de apoio ao diagnóstico do cancer colorretal. Início: 2010. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. (Orientador). |
| 5. | Alexandre Braga. Estudo e Especificação Colaborativa de Passos de Dança em Robótica. Início: 2010. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas. (Orientador). |
| 6. | Fernando Pinto. Estudo e Especificação formal de linguagens na perspectiva de paralelização de programas. Início: 2010. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas. (Orientador). |
| 7. | Cledson Calaça Cavalcante Gomes. Estratégias e Ferramentas Pedagógicas para Ensino de Lógica: o ambiente AMBAP. Início: 2009. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas. (Co-orientador). |
| 8. | Alysson Chagas da Silva. Estudo de técnicas de Agrupamento de Dados na Análise de Doenças em Saúde Pública. Início: 2007. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas. (Orientador). |
| Iniciação científica |
| 1. | Igor Souza Ferraz. Avaliação da qualidade numérica de software científico. Início: 2010. 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). |
| 2. | David Henrique de Souza Lima. Ambiente Computacional Aplicado: Recursos para ajuda educacional. Início: 2010. Iniciação científica (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, CNPq - AF. (Orientador). |
| Orientações de outra natureza |
| 1. | 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. Início: 2011. Orientação de outra natureza. Universidade Federal de Alagoas. Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador). |
| 2. | 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. Início: 2011. Orientação de outra natureza. Universidade Federal de Alagoas. Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador). |
| 3. | 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. Início: 2011. Orientação de outra natureza. Universidade Federal de Alagoas. Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador). |
| 4. | Bruno Normande Lins. Monitoria da Disciplina de Linguagens Formais e Automatos na Graduacao. Início: 2011. Orientação de outra natureza. Universidade Federal de Alagoas. (Orientador). |
| 5. | Emanuella Toledo. Monitoria da disciplina de Teoria da Computacao. Início: 2011. Orientação de outra natureza. Universidade Federal de Alagoas. (Orientador). |
| 6. | Antonio Carlos Medeiros. Apoio técnico a pesquisa. Início: 2010. Orientação de outra natureza. Universidade Federal de Alagoas. (Orientador). |
| Supervisões e orientações concluídas |
| Dissertação de mestrado |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | Í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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| Página gerada pelo Sistema Currículo Lattes em 10/02/2012 às 18:38:51 |