Fábio Henrique Viduani Martinez

Possui graduação em Ciência da Computação pela Universidade Federal de Mato Grosso do Sul (1991), mestrado em Matemática Aplicada pela Universidade de São Paulo (1996), doutorado em Ciência da Computação pela Universidade de São Paulo (2004) e dois pós-doutorados em Bioinformática pela Universität Bielefeld (2013-2014 e 2018-2019). Atualmente é professor associado da Universidade Federal de Mato Grosso do Sul. Tem experiência na área de Ciência da Computação, com ênfase em algoritmos.

Informações coletadas do Lattes em 24/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Ciências da Computação

1999 - 2004

Universidade de São Paulo
Título: Aproximações para restrições do problema de Steiner em grafos
José Augusto Ramos Soares. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Algoritmos de aproximação; Teoria dos Grafos; Complexidade Computacional.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação. Setores de atividade: Informática.

Mestrado em Matemática Aplicada

1993 - 1996

Universidade de São Paulo
Título: Algoritmos Paralelos para Construção da Árvore dos Sufixos e suas Aplicações,Ano de Obtenção: 1996
Siang Wun Song.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Árvore dos Sufixos; Computação Paralela.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Graduação em Bacharelado Em Ciência da Computação

1988 - 1991

Universidade Federal de Mato Grosso do Sul

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2018 - 2019

Pós-Doutorado. , Bielefeld University, U.B., Alemanha. , Bolsista do(a): Deutscher Akademischer Austauschdienst, DAAD, Alemanha. , Grande área: Ciências Exatas e da Terra

2013 - 2014

Pós-Doutorado. , Bielefeld University, U.B., Alemanha. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Bandeira representando o idioma Alemão

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

Seção coletada automaticamente pelo Escavador

Organização de eventos

Fábio Martinez . Concurso de Trabalhos de Iniciação Científica (CTIC) do Congresso da SBC. 2006. (Concurso).

Fábio Martinez . Maratona de Programação. 2005. (Concurso).

Fábio Martinez . VI Semana de Computação. 1998. (Congresso).

Fábio Martinez . V Semana de Computação. 1996. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em eventos

17th RECOMB Comparative Genomics Satellite Conference. Analysis of local genome rearrangement improves resolution of ancestral genomic maps in plants. 2019. (Congresso).

16th Workshop on Algorithms in Bioinformatics - WABI 2016. A Linear Time Approximation Algorithm for the DCJ Distance for Genomes with Bounded Number of Duplicates. 2016. (Congresso).

14th Workshop on Algorithms in Bioinformatics (WABI 2014). On the family-free DCJ distance. 2014. (Congresso).

9th Brazilian Symposium on Bioinformatics (BSB 2014). On the multichromosomal Hultman number. 2014. (Congresso).

Summer School in Mathematics. 2014. (Outra).

RECOMB Comparative Genomics 2013. 2013. (Simpósio).

Enumeration Algorithms & Exact Methods For Exponential Problems in Computational Biology. 2012. (Oficina).

RECOMB Comparative Genomics 2012. 2012. (Simpósio).

VII Brazilian Symposium in Bioinformatics. 2012. (Simpósio).

Workshop in Bioinformatics and Algorithms. 2012. (Oficina).

Workshop in Bioinformatics and Algorithms. 2010. (Encontro).

Workshop do Projeto STIC-AmSud. 2009. (Encontro).

Workshop on Discrete Structures, Complexity and Algorithms. 2009. (Encontro).

Workshop of Genetic Regulatory and Metabolic Networks. 2008. (Encontro).

Workshop on Foundations of Computer Science: Combinatorial Algorithms and Discrete Structures. 2007. (Encontro).

15th International Conference on Computing. Steiner Trees with a Terminal Order. 2006. (Congresso).

The Eleventh International Computing and Combinatorics Conference (COCOON 2005). The Eleventh International Computing and Combinatorics Conference (COCOON 2005). 2005. (Congresso).

XXV Congresso da Sociedade Brasileira de Computação. Algoritmos e heurísticas para comparações exata e aproximada de seqüências. 2005. (Congresso).

Semana de Computação.Problema de Steiner em Grafos. 2004. (Encontro).

Workshop on Combinatorics, Algorithms, and Applications. 2003. (Oficina).

11a. Escola de Computação. 1998. (Congresso).

21o. Colóquio Brasileiro de Matemática. 1997. (Congresso).

10a. Escola de Computação. 1996. (Congresso).

8a. Escola de Computação. 1992. (Congresso).

IX Congressso da Sociedade Brasileira de Computação. 1989. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Luiz Fernando Alvino

STEFANES, M. A.; PINA JR., J. C.;Fábio V. Martinez. Problema do Fluxo Máximo em Redes Utilizando OpenMP e CUDA. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Diego Padilha Rubert

Fábio Viduani MartinezJosé Soares; DE ARAÚJO, F. E. S.. Algoritmos para Alinhamentos de Redes Metabólicas. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: [Nome removido após solicitação do usuário]

José Coelho de Pina; FEOFILOFF, P.;Fábio Viduani Martinez. Algoritmos para o Problema da Árvore de Steiner com Coleta de Prêmios. 2012. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo.

Aluno: Márcio Takashi Iura Oshiro

José Coelho de Pina; WAKABAYASHI, Y.;Fábio Viduani Martinez. k-árvores de Custo Mínimo. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Luciano Lacerda Silveira

Marcelo Carvalho; LUCCHESI, C. L.; Luciano Lacerda Silveira;Fábio Viduani Martinez. Decomposição em Circuitos de Grafos Cobertos por Junções. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Ronaldo Fiorilo dos Santos

ADI, S. S.; FERREIRA, C. E.;Fábio Viduani Martinez. Identificação de Genes por Comparação de DNAs. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Claudia Regina Tinós Peviani

Marco Stefanes; SONG, S. W.;Fábio Martinez. Algoritmos Paralelos Realísticos para a Maior Subseqüência Comum. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Domingos Soares Neto

José SoaresJosé Coelho de PinaFábio Martinez. Filtros para a Busca e Extração de Padrões Aproximados em Cadeias Biológicas. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Paulo Vieira Milreu

Maria Emília Machado Telles Walter; ADI, S. S.;Fábio Martinez. Análise de Nutrientes Utilizando Redes Metabólicas. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Fabio Andreatta Santos

LEE, O.;Fábio Martinez; Marcelo Carvalho. O Problema da Orientação Pfaffiana de Grafos. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Delair Osvaldo Martinelli Junior

Delair Osvaldo Martinelli Júnior; Marcelo Carvalho; LEE, O.;Fábio Martinez. O Método de Distribuição de Cargas. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Rodrigo Porfírio da Silva Sacchi

Fábio Martinez. ETW: Um Núcleo para Simulação Distribuída Otimista. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Denis Santos Silva

Fábio Martinez. Decomposição em Orelhas de Grafos Cobertos por Emparelhamentos. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: José Augusto Soares Prado

Fábio Martinez. Análise Experimental do QuickSort Probabilístico com Gerador de Números Pseudo-aleatórios Penta-independente. 2005. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Jesmmer da Silveira Aves

CASTONGUAY, D.; CENTENO, C.; ALVARES, E. R.; LONGO, H. J.;Fábio Viduani Martinez. Definitividade de Formas Quadráticas - Uma Abordagem Polinomial. 2016. Tese (Doutorado em CIÊNCIAS EXATAS E TECNOLÓGICAS) - Universidade Federal de Goiás.

Aluno: Anderson Corrêa de Lima

CACERES, E. N.; SONG, S. W.; NAVAUX, P. O. A.; PISTORI, H.; Nalvo F. Almeida;Fábio V. Martinez. Soluções para os problemas da soma máxima e do k-ésimo menor elemento de uma sequência usando o modelo BSP/CGM. 2015. Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul.

Aluno: Francisco Elói Soares de Araújo

José Soares; FERREIRA, C. E.;Fábio Viduani Martinez; ROZANTE, L. C. da S.; DIAS, Z.. Alinhamentos e Comparação de Sequências. 2012. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Diego Padilha Rubert

ARAUJO, F. E. S.; STOYE, J.;Fábio V. Martinez. Distance and Similarity Measures in Comparative Genomics. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Gênesis Medeiros do Carmo

HIGA, C. H. A.; DE ARAÚJO, F. E. S.;Martinez, Fábio V.. Rearranjo de Genomas por Reversões com Pesos. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Fabio Henrique Noburo Abe

HOSHINO, E. A.; SOUZA, C. C.;Fábio V. Martinez. Problema da pseudo-arborescência capacitada com localização de facilidades. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Humberto Roque Kuhn

HOSHINO, E. A.; Marcelo Carvalho;Fábio Viduani Martinez. Um Algoritmo Exato para o Problema da Cobertura Mínima por Cortes. 2013. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Phelipe Araujo Fabres

Fábio Viduani Martinez; CHEUNG, L. M.; ADI, S. S.. Métodos para Construção de Árvores Filogenéticas a partir de Redes Metabólicas. 2012. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Pedro Henrique Neves da Silva

Marco Stefanes;Fábio Viduani Martinez; ISHII, R. P.. Algoritmos Paralelos para o Alinhamento de Sequências Genômicas. 2012. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Gutember Assunção Vieira

Marcelo Carvalho; LUCCHESI, C. L.;Fábio Viduani Martinez. Um Método para Detecção de Fraudes em Redes de Informações. 2010. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Leandro de Jesus

LEE, O.;Fábio Martinez; Marcelo Carvalho. Grafos Cobertos por Junções. 2008. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Paulo Vieira Milreu

Maria Emília Machado Telles Walter; ADI, S. S.;Fábio Martinez. Análise de Nutrientes Utilizando Redes Metabólicas. 2007. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Claudia Regina Tinós Peviani

Marco Stefanes; MONGELLI, H.;Fábio Martinez. Algoritmos Paralelos Realísticos para a Maior Subseqüência Comum. 2006. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Fabio Andreatta Santos

Marcelo Carvalho; LITTLE, C. H. C.;Fábio Martinez. O Problema da Orientação Pfaffiana de Grafos. 2006. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Dilson R

PAGLIOSA, P. A.;Fábio Martinez. Higa, Paulo R. S. de Sousa.Um Traçador de Raios Primários em CUDA. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Alain C

Marcelo Carvalho;Fábio Martinez. Álvarez, Carlos O. Bitencourt, Francisco S. Neto.O Problema do Transporte Aplicado à Distribuição de Professores e Disciplinas. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Edgard Arakaki

Fábio Martinez; MONGELLI, H.. Programação Estocástica. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Diogo H

Fábio Martinez; Marcelo Carvalho. P. Castelano, Eduardo R. Félix e Fábio A. Santos.Uma Implementação Eficiente do Algoritmo de Edmonds. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: MARCELO H

Fábio Martinez. A. Zucareli, Max P. Brites e Patrick A. Gonçalves.Criptografia Utilizando o Sistema RSA. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul.

Fábio Martinez. Concurso Público para Provimento do Cargo de Analista de Tecnologia da Informação no NIn/UFMS. 2008. Universidade Federal de Mato Grosso do Sul.

Fábio Martinez; Nalvo F. Almeida; CACERES, E. N.. Concurso Público para Provimento do Cargo de Professor Adjunto no DCT/UFMS. 2006. Universidade Federal de Mato Grosso do Sul.

Fábio Martinez; Marcelo Carvalho; MOREANO, N. B.. Concurso Público para Provimento do Cargo de Professor Assistente no CPXO/UFMS. 2006. Universidade Federal de Mato Grosso do Sul.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Flávio Keidi Miyazawa

J. A. R. SoaresC. E. FerreiraF. K. MiyazawaK. S. GuimarãesM. H. Carvalho. O Problema da árvore de Steiner com Restrições. 2004. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Siang Wun Song

SONG, S. W.. Algoritmos paralelos para construção da árvore dos sufixos e suas aplicaçõe. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

MARCELO HENRIQUES DE CARVALHO

CARVALHO, M. H.; SOARES, José Augusto R.; FERREIRA, Carlos Eduardo; MIYAZAWA, Flávio K.; GUIMARÃES, Katia Silva. Aproximações para restrições do problema de Steiner em grafos. 2004. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Carlos Eduardo Ferreira

FERREIRA, C. E.; SOARES, José Augusto Ramos; MIAZAWA, F. K.; GUIMARÃES, K. S.; CARVALHO, M. H.. Aproximações para restrições do problema de Steiner em grafos. 2004. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Carlos Eduardo Ferreira

FERREIRA, C. E.. Algoritmos para rearranjos de genoma. 2002. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade de São Paulo.

Seção coletada automaticamente pelo Escavador

Orientou

Helmuth Ossinaga Martines da Silva

Problema da mediana em genômica comparativa; Início: 2020; Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; (Orientador);

Gabriel Leme Medeiros

Similaridade DCJ no modelo livre de famílias gênicas; Início: 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Phelipe Araujo Fabres

Métodos para construção de árvores filogenéticas baseadas em redes metabólicas; 2013; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;

Diego Padilha Rubert

Algoritmos para Alinhamentos de Redes Metabólicas; 2012; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;

Paulo Vieira Milreu

Análise de Nutrientes Utilizando Redes Metabólicas; 2008; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Fábio Henrique Viduani Martinez;

Diego Padilha Rubert

Distance and Similarity Measures in Comparative Genomics; 2019; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Deutscher Akademischer Austauschdienst; Orientador: Fábio Henrique Viduani Martinez;

André Luiz Santagostino

Método da Parcimônia para Contrução de Árvores Filogenéticas; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;

Phelipe Araujo Fabres

Árvores Filogenéticas de Redes Metabólicas usando Distâncias e Similaridades; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;

Vinícius Aparecido Martinez

Algoritmos Probabilísticos para o Problema do Circuito Hamiltoniano; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;

Edgar França Jardim

Experimentos sobre Algoritmos para o Problema do Casamento de Cadeias; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;

Brivaldo A

da Silva Jr; , Diego P; Rubert e Felipe V; Rigo; Algoritmos para o Problema do Caminho Mínimo entre todos os Pares de Vértices de um Grafo; 2006; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;

Odilar G

Júnior; , Paulo S; Zilio, Wellington G; do Amaral; Métodos para Construção de Árvores Filogenéticas; 2006; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;

Lívia V

Gregório, Marcelo N; Alencar, Markus S; Rebmann; Um Algoritmo Pseudo-polinomial para o Problema da Cobertura por Telhas; 2005; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;

Cláudia Akemi Izeki e Luciane Lumiko Izeki

O Problema do Casamento de Padrões: Duas Abordagens; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;

Daniela Burigato e Gisele Shirado

Introdução às Cifras de Seqüências; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;

Ivone Penque Matsuno, Said Sadique Adi e Taciana da Rocha

IDEA: um Estudo sobre um Novo Padrão de Criptografia de Dados; 1997; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;

Valgney Ishimi e Vanessa Nishi

Introdução aos Sistemas Criptográficos Assimétricos e ao RSA; 1997; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;

Ilma Ferreira Gonçalves e Luciane de Oliveira Marin

Um Estudo sobre o PES: Uma tentativa de Modificação do Padrão de Criptografia de Dados (DES); 1996; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;

Dimitre Moreira Ortt

Detecção de estruturas conservadas em genômica comparativa; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Pró-reitoria de Pesquisa e Pós-graduação - UFMS; Orientador: Fábio Henrique Viduani Martinez;

Phelipe Araujo Fabres

Árvores Filogenéticas de Redes Metabólicas baseadas em Análise de Similaridade; 2010; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;

Vinícius Aparecido Martinez

Algoritmos Probabilísticos para Problemas de Otimização Combinatória; 2008; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;

Lincoln Garcia Silva

Laboratórios de Computadores de Baixo Custo: Projeto Multiterminal e Projeto LTSP; 2008; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;

Rodrigo Mitsuo Kishi

Experimentos sobre o Problema da Árvore de Steiner dos Terminais Folhas; 2005; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Fundação de Apoio ao Desenvolvimento do Ensino, Ciência e Tecnologia de MS; Orientador: Fábio Henrique Viduani Martinez;

Graziela Santos Araújo

Alinhamento de Múltiplas Seqüências de DNA em Biologia Molecular Computacional; 1999; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;

Alerso de Souza Delgado

Mapeamento Físico do DNA em Biologia Molecular Computacional; 1999; 0 f; Iniciação Científica; (Graduando em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;

Welton Faria Balani

Alinhamentos de Duas Seqüências de DNA em Biologia Molecular Computacional; 1999; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;

Paulo Barros Alencar

Laboratórios de Computadores de Baixo Custo: Projeto Multiterminal e Projeto LTSP; 2007; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Bolsa do Programa de Extensão, UFMS; Orientador: Fábio Henrique Viduani Martinez;

Fabiano Tormena

Laboratórios de Computadores de Baixo Custo: Projeto Multiterminal e Projeto LTSP; 2007; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Bolsa do Programa de Extensão, UFMS; Orientador: Fábio Henrique Viduani Martinez;

Seção coletada automaticamente pelo Escavador

Foi orientado por

José Augusto Ramos Soares

Aproximações para restrições do problema de Steiner em grafos; 2004; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jose Augusto Ramos Soares;

Siang Wun Song

Algoritmos Paralelos Para Construção da Árvore dos Sufixos e Suas Aplicações; 1996; Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Siang Wun Song;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • Rubert, Diego P. ; Fábio V. Martinez ; STOYE, J. ; DOERR, D. . Analysis of local genome rearrangement improves resolution of ancestral genomic maps in plants. BMC GENOMICS , v. 21, p. (Suppl 2):273, 2020.

  • RUBERT, D. P. ; HOSHINO, E. A. ; BRAGA, M. D. V. ; STOYE, J. ; Fábio Viduani Martinez . Computing the family-free DCJ similarity. BMC BIOINFORMATICS , v. 19, p. (Suppl 6):152, 2018.

  • Rubert, Diego P. ; FEIJÃO, PEDRO ; BRAGA, MARÍLIA DIAS VIEIRA ; Stoye, Jens ; MARTINEZ, FÁBIO HENRIQUE VIDUANI . Approximating the DCJ distance of balanced genomes in linear time. Algorithms for Molecular Biology , v. 12, p. 3, 2017.

  • Martinez, F. V. ; FEIJAO, P. ; BRAGA, M. D. V. ; STOYE, J. . On the family-free DCJ distance and similarity. Algorithms for Molecular Biology , v. 10, p. 13, 2015.

  • FEIJÃO, PEDRO ; MARTINEZ, FÁBIO ; THÉVENIN, ANNELYSE . On the distribution of cycles and paths in multichromosomal breakpoint graphs and the expected value of rearrangement distance. BMC Bioinformatics , v. 16, p. S1, 2015.

  • Adi, Said S. ; Braga, Marília D.V. ; Fernandes, Cristina G. ; Ferreira, Carlos E. ; Martinez, Fábio Viduani ; Sagot, Marie-France ; Stefanes, Marco A. ; Tjandraatmadja, Christian ; Wakabayashi, Yoshiko . Repetition-free longest common subsequence. Discrete Applied Mathematics , v. 158, p. 1315-1324, 2010.

  • KISHI, R. M. ; Fábio Martinez . Experimentos para o problema da árvore de Steiner dos terminais folhas. Revista Eletrônica de Iniciação Científica , v. VIII, p. 44-77, 2008.

  • Fábio Martinez ; José Coelho de Pina ; José Soares . Algorithms for terminal Steiner trees. Theoretical Computer Science , v. 389, p. 133-142, 2007.

Seção coletada automaticamente pelo Escavador

Outras produções

Fábio Martinez . Plano Institucional de Bolsas de Iniciação Científica, UEMS (Avaliador, Ciências Exatas). 2008.

Fábio V. Martinez . International Journal of Sensors, Wireless Communications and Control (Reviewer). 2019.

Fábio V. Martinez . 17th RECOMB Comparative Genomics (Program Committee). 2019.

Fábio V. Martinez . Algorithms for Molecular Biology (Reviewer). 2019.

Fábio V. Martinez . IEEE/ACM Transactions on Computational Biology and Bioinformatics (Reviewer). 2019.

Fábio V. Martinez . Proceedings of the 11th Brazilian Symposium in Bioinformatics (Reviewer). 2018.

Fábio V. Martinez . Proceedings of the 17th Asia Pacific Bioinformatics Conference (Reviewer). 2018.

Fábio V. Martinez . 16th RECOMB Comparative Genomics (Program Committee). 2018.

Fábio V. Martinez . Frontiers in Genetics (Reviewer). 2017.

Fábio V. Martinez . 15th International Workshop RECOMB Comparative Genomics (Reviewer). 2017.

Fábio V. Martinez . Proceedings of the 21st Annual International Conference on Research in Computational Molecular Biology (Reviewer). 2017.

Fábio V. Martinez . Proceedings of the 28th International Symposium on Algorithms and Computation (Reviewer). 2017.

Fábio V. Martinez . Journal of Universal Computer Science (Reviewer). 2017.

Fábio V. Martinez . Networks (Reviewer). 2016.

Fábio V. Martinez . Journal of Discrete Algorithms (Reviewer). 2015.

Fábio V. Martinez . Proceedings of the 14th Workshop on Algorithms in Bioinformatics (Reviewer). 2014.

Fábio V. Martinez . Proceedings of the Brazilian Symposium on Bioinformatics (Reviewer). 2014.

Fábio Viduani Martinez . 7th Brazilian Symposium on Bioinformatics (Reviewer). 2012.

Fábio V. Martinez . Information Processing Letters (Reviewer). 2010.

Fábio Martinez . Processo de Seleção de Projetos e Bolsistas de Iniciação Científica da Universidade do Estado da Bahia. 2009.

Fábio Martinez . 32o Congresso Nacional de Matemática Aplicada e Computacional (Reviewer). 2009.

Fábio Martinez . INFOCOMP Journal of Computer Science (Reviewer). 2008.

Fábio Martinez . Conferencia Latinoamericana de Informática -- CLEI 2008 (Reviewer). 2008.

Fábio Martinez . Operations Research Letters (Reviewer). 2008.

Fábio Martinez . Concurso de Teses e Dissertações -- CTD 2007 (Avaliador). 2007.

Fábio Martinez . Latin American Theoretical Informatics (Reviewer). 2007.

Fábio Martinez . INFOCOMP Journal of Computer Science (Reviewer). 2007.

Fábio Martinez . Latin American Theoretical Informatics (Reviewer). 2006.

Fábio Martinez . INFOCOMP Journal of Computer Science (Editor Associado). 2006.

Fábio Martinez . Concurso de Teses e Dissertações -- CTD 2006 (Avaliador). 2006.

Fábio Martinez . Concurso de Trabalhos de Iniciação Científica -- CTIC 2006 (Avaliador). 2006.

Fábio Martinez . 1st International Conference of the Brazilian Association for Bioinformatics and Computational Biology (Reviewer). 2005.

Fábio Martinez . 2nd Brazilian Symposium on Graphs, Algorithms, and Combinatorics (Reviewer). 2005.

Fábio Viduani Martinez . Algoritmos e Programação II. 2010. (Desenvolvimento de material didático ou instrucional - Material didático).

Fábio Viduani Martinez . Algoritmos e Programação I. 2010. (Desenvolvimento de material didático ou instrucional - Material didático).

Fábio Martinez ; GARCIA, R. E. . Autorização de funcionamento curso de graduação. 2008. (Avaliação).

Fábio Martinez ; ASCENCIO, A. F. G. . Autorização de funcionamento curso de graduação. 2007. (Avaliação).

Fábio Martinez ; SAGOT, M. . Visita técnica ao Laboratoire de Biométrie et Biologie Évolutive, Université Claude Bernard, Lyon I, Inria Rhône-Alpes. 2006. (Visita técnica).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2017 - Atual

    Otimização em Genômica Comparativa, Descrição: Genômica comparativa é uma área de pesquisa da Biologia Molecular Computacional em que características genômicas de diferentes organismos são comparadas. As características genômicas podem incluir sequências de DNA, genes, ordem dos genes, sequências regulatórias e outros marcos estruturais genômicos. Neste ramo de pesquisa, genomas inteiros ou grandes partes dos genomas resultantes de projetos genoma são comparados para estudar semelhanças biológicas básicas e diferenças, bem como as relações evolutivas entre os organismos. O princípio fundamental da genômica comparativa é que as características comuns dos dois organismos, muitas vezes, são codificadas dentro do DNA, e essas informações são evolutivamente conservadas entre eles. Este projeto prevê o estudo de problemas de detecção de estruturas conservadas, rearranjo de genomas e de reconstrução da ordem ancestral de genes em genômica comparativa, com uso de técnicas de otimização para o desenvolvimento de algoritmos eficientes como proposta de solução dos problemas computacionais relacionados.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) / Doutorado: (2) . , Integrantes: Fábio Henrique Viduani Martinez - Coordenador / Francisco Elói Soares de Araújo - Integrante / Jens Stoye - Integrante / Diego Padilha Rubert - Integrante., Número de orientações: 2

  • 2009 - 2011

    Continuidade na Consolidação das Linhas de Pesquisa do Mestrado em Ciência da Computação do DCT--UFMS, Descrição: Apesar do evidente progresso do Programa de Mestrado em Ciência da Computação do DCT, o programa ainda apresenta pontos a serem melhorados. Em todas as avaliações anuais e trienais da CAPES, o programa tem se esforçado para minimizar e corrigir os problemas apontados. A participação de orientadores do Programa em comitês de programa ou atividades similares, nacionais ou internacionais, não é significativa. Isto é, de certa forma, uma conseqüência do reduzido número de docentes do grupo de pesquisa do DCT no momento da avaliação da CAPES e da pouca visibilidade do grupo nos cenários científicos nacional e internacional. Esta questão não é mais tão grave como em 2001, 2002, 2003 e 2004, os anos em que a CAPES avaliou o Programa. Acredita-se que isto seja corrigido como uma conseqüência natural do aumento da produção científica do grupo de pesquisa do DCT e do esforço de seus docentes para se inserir no cenário científico nacional. Um exemplo disso é o fato do DCT ter organizado em Campo Grande o Congresso da SBC de 2006, o XXI Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2008) e o 20th International Symposium on Computer Architecture and High Performance Computing (SBAC--PAD 2008). O tempo de titulação dos alunos ainda é alto e é decorrente da escassez de bolsas de mestrado para financiar os estudos dos alunos do programa, o que os obriga a trabalhar e se tornarem alunos em tempo parcial. A produção intelectual não está uniformemente distribuída entre os orientadores do programa, com participação dos estudantes de mestrado, pois alguns docentes ainda têm baixa produtividade. Nesta proposta, recursos financeiros foram solicitados para implementar um conjunto de ações que visem tratar as questões levantadas. Estas ações envolvem a participação dos grupos de pesquisa do DI da PUC--Rio, IME--USP, ICMC--USP, IC--UNICAMP e CIC--UnB. O foco dessas ações é a consolidação das várias linhas de pesquisa do Programa de Mestrado em Ciência da. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (50) / Mestrado profissional: (0) / Doutorado: (10) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / Marcelo Henriques de Carvalho - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2008 - 2010

    Algoritmos para Análise Pós-genômica, Descrição: Dentre os objetivos de um projeto genoma está a determinação das funções de cada um dos genes do organismo de interesse. Isso permite um melhor conhecimento dos mecanismos celulares responsáveis pelo desenvolvimento desse organismo. O conhecimento pode então ser usado no controle de pragas, prevenção de doenças, tratamento de endemias, etc. Uma forma de se determinar as funções dos genes de um organismo é por meio da análise dos produtos derivados dessas regiões funcionais: proteínas, no caso de genes codificadores, e RNAs, no caso de genes não codificadores. Nesse último caso, analisa-se a seqüência dos RNAs pertencentes ao transcriptoma do organismo. Essa análise tem por objetivo identificar os {\RNA}s não-mensageiros e definir o tipo desse RNA. O problema da análise de proteínas consiste na análise das redes metabólicas de um organismo na busca por informações úteis sobre o papel desempenhado pelas suas proteínas. Apesar de haver um número considerável de ferramentas de identificação de genes não-codificadores dentro do genoma, poucos são os trabalhos que tratam da identificação de RNAs não-codificadores dentro do transcriptoma. Sobre o problema da análise de redes metabólicas, considerando que os dados relativos a essas redes constituem informações relativamente novas, não são muitos os trabalhos que tratam da análise dessas estruturas. Essas considerações e a relevância associada à tarefa de determinação das funções dos genes justificam pesquisas adicionais nesses campos, com o desenvolvimento de formulações mais adequadas, novas metodologias e programas para análise de RNAs e de redes metabólicas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Fábio Henrique Viduani Martinez - Coordenador., Financiador(es): Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2007 - 2009

    Modelos e Algoritmos para Biologia Integrativa (Projeto STIC/AMSUD/CAPES), Descrição: Historicamente, a área de Biologia Computacional, ao menos sob o ponto de vista algorítmico, originou-se com a análise de seqüências. Durante vários anos, apenas seqüências isoladas eram analisadas. Com avanços dos projetos de seqüenciamento, genomas completos passaram então a serem analisados. De início, outros tópicos de interesse da área tratavam ou de questões relacionadas a seqüências (filogenia molecular, por exemplo) ou relacionadas com a análise de outros elementos biológicos elementares (tais como proteina ou RNA). Recentemente, o interesse em um entendimento mais profundo de como tais objetos biológicos elementares interagem entre si no contexto geral de um genoma, célula ou organismo levou ao desenvolvimento de toda uma nova área de invostigação. O estudo de relações, apesar de não completamente novo, ganhou um grande destaque nos últimos anos. Tais relações dizem respeito a todos os elementos de uma célula ou organismo. Eles podem até mesmo envolver elementos extra-celulares, ou elementos que pertencem ao ambiente de um organismo, já que alguns deles pode ter influência direta no funcionamento de um sistema vivo. Investigar essas relações requer o estudo do que se chama Biologia Integrativa. Este é o objetivo geral deste projeto. Para alcançar este objetivo, o projeto se utilizará das experiências de pesquisadores de áreas diferentes e complementares (modelagem matemática e análise formal, análise de dados, algoritmos estocáticos e discretos, combinatória, e biologia evolucionária e computacional) pertencentes aos vários grupos envolvidos, alguns deles com longa história de colaborações (o coordenador francês é ex-aluno da Universidade de São Paulo) enquanto outras colaborações são mais recentes (entre UFMS e França) ou totalmente novas (entre Chile e Brasil, e Chile e França).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (5) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / Said Sadique Adi - Integrante / Marco Aurélio Stefanes - Integrante / Carlos Eduardo Ferreira - Integrante / Cristina Gomes Fernandes - Integrante / Yoshiko Wakabayashi - Integrante / Marie-France Sagot - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Instituto de Matemática e Estatística - Cooperação / Universidade Adolfo Ibañez - Cooperação / Universidade Federal de Mato Grosso do Sul - Cooperação / Institut National de Recherche en Informatique et en Automatique - Siège - Cooperação., Número de produções C, T & A: 1 / Número de orientações: 1

  • 2007 - 2009

    Consolidação das Linhas de Pesquisa do Mestrado em Ciência da Computação do DCT-UFMS, Descrição: Prposta de consolidação de novos grupos de pesquisa do programa de mestrado em Ciência da Computação do Departamento de Computação e Estatística (DCT) da Universidade Federal de Mato Grosso do Sul, com participação do DI-PUC-Rio, DCC-IME-USP, ICMC-USP-São Carlos e IC-UNICAMP (Projeto CNPq Processo Número 620171/2006-5).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (50) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / Said Sadique Adi - Integrante / Nalvo Franco de Almeida Jr. - Integrante / Marcelo Henriques de Carvalho - Integrante / Marco Aurélio Stefanes - Integrante / Henrique Mongelli - Coordenador / Edson Norberto Cáceres - Integrante / Marcelo Augusto Santos Turine - Integrante / Marcelo Ferreira Siqueira - Integrante., Financiador(es): Instituto de Ciências Matemáticas e de Computação - Cooperação / Instituto de Matemática e Estatística - Cooperação / Pontifícia Universidade Católica do Rio de Janeiro - Cooperação / Universidade Estadual de Campinas - Cooperação / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 1

  • 2005 - 2007

    Restrições do Problema de Steiner em Grafos, Descrição: O problema de Steiner em grafos é um problema amplamente estudado devido às suas aplicações em diversas áreas. Esse problema é computacionalmente difícil e algoritmos de aproximação têmsido propostos para solucioná-lo desde 1968. Um problema correlato, chamado problema da árvore de Steiner de terminais folhas surge em outras aplicações tais como em roteamento de placas VLSI, transporte, telecomunicações, construção de árvores filogenéticas, entre outros. Esse problema é uma restrição do problema de Steiner em grafos, é computacionalmente difícil e algoritmos de aproximação também têm surgido. Esse projeto tem como objetivo desenvolver algoritmos de aproximação para problemas difíceis motivados por restrições do problema de Steiner em grafos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (0) . , Integrantes: Fábio Henrique Viduani Martinez - Coordenador / José Coelho de Pina Júnior - Integrante / José Augusto Ramos Soares - Integrante / Marcelo Henriques de Carvalho - Integrante., Financiador(es): Universidade de São Paulo - Cooperação / Fundação de Apoio ao Desenvolvimento do Ensino, Ciência e Tecnologia de MS - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 1

  • 2005 - 2007

    Transporte do Sistema Linux para Estações de Jogos Baseadas na Arquitetura MIPS, Descrição: A construção de máquinas paralelas, nos primórdios, sempre envolveu vultuosos recursos para alcançar máquinas de alto desempenho. O atual estado da arte da computação paralela apresenta perspectivas promissoras na produção de máquina paralelas de alto desempenho a baixo custo. Para isto, faz-se o uso de PC?s agrupados, processos chamados de clustering, através de uma rede de alta velocidade. O nosso estudo tem por objetivo transportar o sistema operacional GNU/Linux para a plataforma MIPS do console de estação de jogos da Sony, o Playstation 2, com o intuito de transformá-la em uma máquina computacional de propósito geral em uma arquitetura paralela.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / Marco Aurélio Stefanes - Coordenador., Financiador(es): Fundação de Apoio ao Desenvolvimento do Ensino, Ciência e Tecnologia de MS - Auxílio financeiro.

  • 2005 - 2007

    Otimização Combinatória: Teoria, Projeto de Algoritmos e Aplicações (CNPq Projeto Universal 478329/2004-0), Descrição: O objetivo desse projeto é o estudo de problemas de otimização combinatória. Temos particular interesse em projeto de algoritmos de aproximação e em resultados de inaproximabilidade para tais problemas. Consideraremos em nossas pesquisas problemas clássicos da teoria dos grafos, problemas de empacotamento e problemas em biologia computacional.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (5) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / Said Sadique Adi - Integrante / José Coelho de Pina Júnior - Integrante / José Augusto Ramos Soares - Integrante / Carlos Eduardo Ferreira - Coordenador / Cristina Gomes Fernandes - Integrante / Márcia Rosana Cerioli - Integrante / Paulo Feofiloff - Integrante / Yoshiko Wakabayashi - Integrante., Financiador(es): Universidade de São Paulo - Cooperação / Universidade Federal do Rio de Janeiro - Cooperação / Universidade Federal de Mato Grosso do Sul - Cooperação / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1 / Número de orientações: 2

  • 2005 - 2007

    Algoritmos Paralelos com Programação Dinâmica para Problemas de Otimização Combinatória, Descrição: A técnica de programação dinâmica tem produzido soluções eficientes para muitos problemas de otimização com diversas aplicações práticas. Dentre eles, podemos citar os mais famosos como o problema da maior subseqüência comum com aplicações em processamento de textos e em biologia molecular computacional, problema da construção dos caminhos de custo mínimo entre todos os pares de vértices em um grafo, com aplicações em roteamento de placas VLSI, redes de computadores, transporte de cargas, telecomunicações e geoprocessamento, problema da tringularização ótima de um polígono convexo, com aplicações em geometria computacional, computação gráfica e visão computacional. Por outro lado, a computação paralela consiste de um conjunto de processadores interligados que juntos resolvem um determinado problema, de forma mais rápida que a computação seqüencial, a qual utiliza somente um processador. Em áreas que trabalham com um grande quantidade de informações, como por exemplo, biologia computacional, processamento de imagens, modelagem e simulação de grandes sistemas, entre outras o uso de paralelismo tem conseguido acelerações de tempo significativas. Neste projeto propomos o desenvovimento de algoritmos paralelos realísticos para solucionar problemas de otimização através da técnica de programação dinâmica com economia de tempo e espaço. Implementações desses algoritmos serão projetadas para solucionar esses problemas e aplicá-las a casos reais em biologia molecular computacional, geoprocessamento, computação gráfica, entre outros.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / Said Sadique Adi - Integrante / José Augusto Ramos Soares - Integrante / Marco Aurélio Stefanes - Coordenador / Edson Norberto Cáceres - Integrante., Financiador(es): Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro.

  • 2004 - 2008

    Foundations of Computer Science: Combinatorial Algorithms and Discrete Structures -- Thematic/ProNEx Project (FAPESP/CNPq) Proc. FAPESP 2003/09925-5, Descrição: The research proposed under this project focuses on the development of efficient combinatorial algorithms and on the investigation of discrete structures of intrinsic interest, with the global aim of giving support of fundamental nature to computer science (CS). This project's approach is of a classical nature. Of the multiple fronts of CS that try to give support to computationally intense research projects of modern science, this project falls into the mathematical category, attacking algorithmic problems rigorously. The algorithms that are developed are analysed for correctness and computational complexity, and, when, relevant, they are implemented.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (10) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / José Coelho de Pina Júnior - Integrante / José Augusto Ramos Soares - Integrante / Marcelo Henriques de Carvalho - Integrante / Marco Aurélio Stefanes - Integrante / Carlos Eduardo Ferreira - Integrante / Cristina Gomes Fernandes - Integrante / Paulo Feofiloff - Integrante / Yoshiko Wakabayashi - Integrante / Alair Pereira do Lago - Integrante / Yoshiharu Kohayakawa - Coordenador / Renato José da Silva Carmo - Integrante / Ricardo Dahab - Integrante / Jair Donadelli Jr. - Integrante / André Luiz Pires Guedes - Integrante / Orlando Lee - Integrante / Manoel Lemos - Integrante / Sóstenes Lins - Integrante / Cláudio Leonerdo Lucchesi - Integrante / Flávio Keidi Miyazawa - Integrante / Cid Carvalho de Souza - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Universidade de São Paulo - Cooperação / Universidade Estadual de Campinas - Cooperação / Universidade Federal de Pernambuco - Cooperação / Universidade Federal de Mato Grosso do Sul - Cooperação / Universidade Federal do Paraná - Cooperação., Número de produções C, T & A: 5 / Número de orientações: 2

  • 1997 - 2004

    Complexity of Discrete Structures (Projeto ProNEx 107/97 - MCT/CNPq Proc. CNPq 664107/1997-4), Descrição: Investigação dos problemas relacionados a estruturas discretas, algoritmos e complexidades.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (20) / Mestrado acadêmico: (30) / Doutorado: (10) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / José Coelho de Pina Júnior - Integrante / José Augusto Ramos Soares - Integrante / Nalvo Franco de Almeida Jr. - Integrante / Marcelo Henriques de Carvalho - Integrante / Carlos Eduardo Ferreira - Integrante / Cristina Gomes Fernandes - Integrante / Márcia Rosana Cerioli - Integrante / Paulo Feofiloff - Integrante / Yoshiko Wakabayashi - Integrante / Yoshiharu Kohayakawa - Coordenador / Ricardo Dahab - Integrante / Manoel Lemos - Integrante / Sóstenes Lins - Integrante / Cláudio Leonerdo Lucchesi - Integrante / Flávio Keidi Miyazawa - Integrante / Cid Carvalho de Souza - Integrante / Celina M. H. Figueiredo - Integrante / Cleide S. Martins Gomes - Integrante / Katia Silva Guimarães - Integrante / Sulamita Klein - Integrante / Arnaldo Mandel - Integrante / João Meidanis - Integrante / Célia Picinin de Mello - Integrante / João Carlos Setubal - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade de São Paulo - Cooperação / Universidade Federal de Mato Grosso do Sul - Cooperação / Universidade Estadual de Campinas - Cooperação / Universidade Federal do Rio de Janeiro - Cooperação / Universidade Federal de Pernambuco - Cooperação., Número de produções C, T & A: 2 / Número de orientações: 3

Seção coletada automaticamente pelo Escavador

Prêmios

2014

Patrono da Turma de Graduação em Análise de Sistemas, UFMS.

2007

Patrono da Turma de Graduação em Ciência da Computação, UFMS.

2006

Paraninfo da Turma de Graduação em Ciência da Computação, UFMS.

1999

Professor Homenageado da Turma de Graduação em Ciência da Computação, UFMS.

1998

Paraninfo da Turma de Graduação em Ciência da Computação, UFMS.

1997

Paraninfo da Turma de Graduação em Ciência da Computação, UFMS.

1996

Paraninfo da Turma de Graduação em Ciência da Computação, UFMS.

1996

Professor Homenageado da Turma de Graduação em Análise de Sistemas, UFMS.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal de Mato Grosso do Sul, Conselho de Ensino de Graduação da UFMS, Faculdade de Computação (FACOM). , Av Costa e Silva, S/N, Cidade Universitária, 79070900 - Campo Grande, MS - Brasil - Caixa-postal: 549, Telefone: (67) 33457854, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

2012 - Atual

Universidade Federal de Mato Grosso do Sul

Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 8, Regime: Dedicação exclusiva.

2004 - 2012

Universidade Federal de Mato Grosso do Sul

Vínculo: , Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

1996 - 2004

Universidade Federal de Mato Grosso do Sul

Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 0, Regime: Dedicação exclusiva.

Atividades

  • 02/2020

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estruturas de Dados

  • 02/2020

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I

  • 03/2018 - 06/2018

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Análise de Algoritmos

  • 02/2018 - 06/2018

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I

  • 08/2017 - 12/2017

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I

  • 08/2017 - 12/2017

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I

  • 04/2017 - 07/2017

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I

  • 04/2017 - 07/2017

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos Grafos e seus Algoritmos

  • 11/2016 - 04/2017

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos

  • 08/2016 - 12/2016

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Análise de Algoritmos

  • 05/2016 - 09/2016

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos Grafos e seus Algoritmos

  • 05/2016 - 09/2016

    Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação

  • 09/2015 - 04/2016

    Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação

  • 09/2015 - 04/2016

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos Grafos e seus Algoritmos

  • 03/2015 - 06/2015

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I

  • 03/2015 - 06/2015

    Ensino, Engenharia Ambiental, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação

  • 08/2014 - 12/2014

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Análise de algoritmos

  • 08/2014 - 12/2014

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação I

  • 08/2013 - 12/2013

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Análise de Algoritmos

  • 02/2012 - 07/2013

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação I

  • 02/2011 - 02/2013

    Direção e administração, Conselho de Ensino de Graduação da UFMS, Faculdade de Computação (FACOM).,Cargo ou função, Coordenador de Curso.

  • 12/2010 - 02/2013

    Outras atividades técnico-científicas , Conselho de Ensino de Graduação da UFMS, Conselho de Ensino de Graduação da UFMS.,Atividade realizada, Tutor do Programa de Educação Tutorial PET-Sistemas (Bacharelado em Análise de Sistemas, Tecnologia em Análise e Desenvolvimento de Sistemas e Tecnologia em Redes de Computadores).

  • 07/2011 - 12/2011

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação I

  • 02/2011 - 07/2011

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação I

  • 08/2010 - 12/2010

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação II

  • 02/2010 - 07/2010

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação I

  • 02/2009 - 12/2009

    Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Programação de Computadores I

  • 05/2006 - 06/2009

    Direção e administração, Conselho de Ensino de Graduação da UFMS, Departamento de Computação e Estatística.,Cargo ou função, Chefe de Departamento.

  • 02/2008 - 12/2008

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Programação de Computadores I

  • 04/2007 - 12/2007

    Extensão universitária , Conselho de Extensão, Cultura e Assuntos Estudantis, .,Atividade de extensão realizada, Desenvolvimento do projeto de laboratórios de computadores de baixo custo: Projeto Multiterminal e Projeto LTSP.

  • 02/2007 - 12/2007

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Programação de Computadores I

  • 07/2006 - 12/2006

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria dos Grafos

  • 02/2006 - 12/2006

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados I

  • 09/2004 - 08/2006

    Pesquisa e desenvolvimento , Conselho de Pesquisa e Pós-Graduação da UFMS, Departamento de Computação e Estatística.,Linhas de pesquisa

  • 02/2006 - 07/2006

    Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Teoria dos Grafos

  • 01/2005 - 06/2006

    Conselhos, Comissões e Consultoria, Conselho de Ensino de Graduação da UFMS, .,Cargo ou função, Presidente da Comissão de Estágio dos Cursos de Bacharelado em Análise de Sistemas e Bacharelado em Ciência da Computação.

  • 06/2004 - 06/2006

    Conselhos, Comissões e Consultoria, Conselho de Ensino de Graduação da UFMS, .,Cargo ou função, Representante do CCET na Comissão de Avaliação de Projetos de Ensino.

  • 02/2005 - 12/2005

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados II

  • 02/2005 - 07/2005

    Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Teoria dos Grafos

  • 08/2004 - 12/2004

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados II

  • 08/2004 - 12/2004

    Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Fundamentos de Teoria da Computação

  • 04/1996 - 07/1999

    Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados I, Algoritmos e Estruturas de Dados II, Laboratório de Computação, Linguagens de Programação

  • 04/1996 - 07/1999

    Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados I, Algoritmos e Estruturas de Dados II, Análise de Algoritmos, Introdução à Teoria dos Grafos, Linguagens Formais e Autômatos

  • 04/1996 - 06/1996

    Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Computação e Estatística.,Atividade de extensão realizada, UNIX para iniciantes.