MARCELO HENRIQUES DE CARVALHO
Possui graduação em Licenciatura Plena em Matemática pela Universidade Federal de Mato Grosso do Sul (1984), mestrado em Matemática Aplicada pela Universidade de São Paulo (1988), doutorado em Ciência da Computação pela Universidade Estadual de Campinas (1996), e Pós-Doutorado pela University of Waterloo, Canadá (2004). É professor titular da Universidade Federal de Mato Grosso do Sul e realiza pesquisas na área de Ciência da Computação, com ênfase em Teoria dos Grafos e Algoritmos.
Informações coletadas do Lattes em 30/04/2022
Acadêmico
Formação acadêmica
Doutorado em Ciência da Computação
1992 - 1996
Universidade Estadual de Campinas
Título: Decomposição ótima em orelhas para grafos matching covered
Orientador: Cláudio Leonardo Lucchesi
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Grafo; emparelhamento perfeito; grafo coberto por emparelhamento.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Mestrado em Matemática Aplicada
1985 - 1988
Universidade de São Paulo
Título: Uma introdução a algoritmos paralelos e suas complexidades,Ano de Obtenção: 1988
Orientador: Routo Terada
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: algoritmo; algoritmo paralelo; complexidade.Grande área: Ciências Exatas e da TerraSetores de atividade: Outros.
Graduação em Licenciatura Plena em Matemática
1981 - 1984
Pós-doutorado
2002 - 2004
Pós-Doutorado. , University of Waterloo, U.WATERLOO, Canadá. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Idiomas
Inglês
Compreende Razoavelmente, Fala Bem, Lê Bem, Escreve Bem.
Á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: Teoria dos Grafos e Algoritmos.
Organização de eventos
CARVALHO, M. H. ; MIYAZAWA, Flávio K. . XIX Concurso de Teses e Dissertacoes da Sociedade Brasileira de Computacao. 2006. (Concurso).
Participação em bancas
Coelho, J. P. J.; COLLI, E.;CARVALHO, M. H.. Matemática e algoritmos das dobras. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CACERES, E. N.; FREITAS, E. S.;CARVALHO, M. H.; Mongelli, H.. Algoritmos Paralelos para Extensão Linear em Digrafos. 2006. Dissertação (Mestrado em Ciência da Computaçcão) - Departamento de Computação e Estatística.
LUCCHESI, C. L.CARVALHO, M. H.; Lee, O.. Orientacoes Pfaffianas e o furtivo grafo de Heawood. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
CARVALHO, M. H.; Coelho, J.P.; Fernandes, C.G.. Algoritmos para caminhos mínimos. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
CARVALHO, M. H.; Feofiloff, P.; Fernandes, C.G.. T-junções, T-cortes e funções conservativas. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
Wakabayashi, Y.; Coelho, J. P. J.; Lee, O.;CARVALHO, M. H.; Lins, S. L. S.. Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias. 2012. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.
de Carvalho, Marcelo H.; Cerioli, M.R.. Partições convexas geodésicas e contornos em grafos. 2010. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
de Carvalho, Marcelo H.; Feofiloff, P.;LUCCHESI, C. L.; Lee, O.. Fluxos inteiros e colorações. 2009. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.
Wakabayashi, Y.; MIYAZAWA, Flávio K.;CARVALHO, M. H.; Coelho, J.P.; Faria, L. Empacotamento de subgrafos em grafos. 2006 - Universidade de São Paulo.
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.
Song, S. W.; DOURADO, M. C.;CARVALHO, M. H.. Professor Adjunto. 2011. Universidade Federal do Ceará.
Orientou
Grafos PM-Compactos; Início: 2020; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; (Orientador);
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,; Orientador: Marcelo Henriques de Carvalho;
O metodo de distribuicao de cargas; 2007; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Fundacao Para o Desenvolvimento da Ciencia e Tecnologia de Mato Grosso do S; Orientador: Marcelo Henriques de Carvalho;
Decomposição em Orelhas de Grafos Cobertos por Emparelhamentos; 2005; 60 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul,; Orientador: Marcelo Henriques de Carvalho;
Algoritmos Lineares para Teste de Planaridade em Grafos; 2002; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul,; Orientador: Marcelo Henriques de Carvalho;
O Problema das Quatro Cores; 2002; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul,; Orientador: Marcelo Henriques de Carvalho;
Braces minimais e suas propriedades; 2021; Tese (Doutorado 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: Marcelo Henriques de Carvalho;
Novas Abordagens de Aprendizado Semisupervisionado por Conectividade Otima; 2016; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul,; Orientador: Marcelo Henriques de Carvalho;
O problema do transporte aplicado a grafos; 2005; 15 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Marcelo Henriques de Carvalho;
Uma implementacao eficiente do algoritmo de Edmonds; 2005; 15 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Marcelo Henriques de Carvalho;
Mapeamento fisico de DNA; 2004; 15 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Marcelo Henriques de Carvalho;
Fluxo em grafos; 2001; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Marcelo Henriques de Carvalho;
Algoritmos para desenho de grafos; 2000; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Henriques de Carvalho;
O problema das quatro cores; 1999; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Henriques de Carvalho;
Emparelhamento em grafos; 1999; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Henriques de Carvalho;
Foi orientado por
Decomposição Ótima em Orelhas para Grafos Matching Covered; 1996; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cláudio Leonardo Lucchesi;
Produções bibliográficas
-
KOTHARI, NISHAD ; Marcelo H. Carvalho ; LUCCHESI, C. L. ; LITTLE, C. H. C. . On essentially 4-edge-connected cubic bricks. ELECTRONIC JOURNAL OF COMBINATORICS , v. 27, p. 1-44, 2020.
-
de Carvalho, Marcelo H. ; KOTHARI, NISHAD ; WANG, XIUMEI ; LIN, YIXUN . Birkhoff--von Neumann Graphs that are PM-Compact. SIAM JOURNAL ON DISCRETE MATHEMATICS , v. 34, p. 1769-1790, 2020.
-
KOTHARI, NISHAD ; CARVALHO, MARCELO H. . Generating simple near-bipartite bricks. Journal of Graph Theory (Online) , v. 95, p. 594-637, 2020.
-
FABRES, PHELIPE A. ; KOTHARI, NISHAD ; CARVALHO, MARCELO H. . Minimal braces. JOURNAL OF GRAPH THEORY , v. 96, p. 490-509, 2020.
-
CARVALHO, MARCELO H. ; LUCCHESI, CLÁUDIO L. ; MURTY, U. S. R. . On tight cuts in matching covered graphs. JOURNAL OF COMBINATORICS , v. 9, p. 163-184, 2018.
-
LUCCHESI, CLÁUDIO L. ; de Carvalho, Marcelo H. ; KOTHARI, NISHAD ; MURTY, U. S. R. . On Two Unsolved Problems Concerning Matching Covered Graphs. SIAM JOURNAL ON DISCRETE MATHEMATICS , v. 32, p. 1478-1504, 2018.
-
Marcelo H. Carvalho ; LITTLE, C. H. C. . A characterization of minimal non-Seymour graphs. Discrete Mathematics , v. 339, p. 547-559, 2016.
-
AMORIM, WILLIAN P. ; FALCÃO, ALEXANDRE X. ; PAPA, JOÃO P. ; CARVALHO, MARCELO H. . Improving Semi-Supervised Learning through Optimum Connectivity. Pattern Recognition , v. 60, p. 75-85, 2016.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U. S. R. . Thin Edges in Braces. The Electronic Journal of Combinatorics , v. 22, p. 1-38, 2015.
-
WANG, XIUMEI ; SHANG, WEIPING ; LIN, YIXUN ; CARVALHO, MARCELO H. . A CHARACTERIZATION OF PM-COMPACT CLAW-FREE CUBIC GRAPHS. Discrete Mathematics, Algorithms and Applications , v. 06, p. 1450025, 2014.
-
CARVALHO, M. H. ; LITTLE, C. H. C. . Matching Covered Graphs with Three Removable Classes. The Electronic Journal of Combinatorics , v. 21, p. 13, 2014.
-
CARVALHO, MARCELO H. ; LITTLE, C. H. C. . The parity of a thicket. The Electronic Journal of Combinatorics , v. 21, p. 1-12, 2014.
-
Wang X. ; Lin Y. ; de Carvalho, Marcelo H. ; LUCCHESI, C. L. ; Sanjith G. ; LITTLE, C. H. C. . A characterization of PM-compact bipartite and near-bipartite graphs. Discrete Mathematics , v. 313, p. 772-783, 2013.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . On the Number of Perfect Matchings in a Bipartite Graph. SIAM Journal on Discrete Mathematics (Print) , v. 27, p. 940-958, 2013.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . A generalization of Littles Theorem on Pfaffian orientations. Journal of Combinatorial Theory. Series B (Print) , v. 102, p. 1241-1266, 2012.
-
SILVEIRA, L. L. ; CARVALHO, M. H. . Ear decompositions of join covered graphs. Electronic Notes in Discrete Mathematics , v. 37, p. 171-176, 2011.
-
CARVALHO, M. H. ; LITTLE, C. H. C. . Circuit decompositions of join-covered graphs. Journal of Graph Theory (Print) , v. 62, p. 220-233, 2009.
-
CARVALHO, M. H. ; LITTLE, C. H. C. . Vector spaces and the Petersen graph. The Electronic Journal of Combinatorics , v. 15, p. R9, 2008.
-
CARVALHO, M. H. ; LITTLE, C. H. C. . Ear decompositions in combed graphs. The Electronic Journal of Combinatorics , v. 15, p. R19, 2008.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . How to build a brick. Discrete Mathematics , v. 306, p. 2383-2410, 2006.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . On the number of dissimilar Pfaffian orientation of graphs. RAIRO. Informatique Théorique et Applications , Franca, v. 39, n.01, p. 93-114, 2005.
-
CARVALHO, M. H. ; CHERIYAN, Joseph . An O(V.E) algorithm for ear decompositions of matching covered graphs. ACM Transactions on Algorithms , v. 1, n.2, p. 324-337, 2005.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U. S. R. . Graphs with Independent Perfect Matchings. Journal of Graph Theory , Estados Unidos, v. 48, p. 19-50, 2005.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . The perfect matching polytope and solid bricks. Journal of Combinatorial Theory. Series B , v. 92, p. 319-324, 2004.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . Graphs with independent perfect matchings. Journal of Graph Theory , v. 48, p. 19-50, 2004.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . On a Conjecture of Lovász Concerning Bricks I. The Characteristic of a Matching Covered Graph. Journal of Combinatorial Theory. Series B , Canadá, v. 85, n.1, p. 94-136, 2002.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . On a Conjecture of Lovász Concerning Bricks II. Bricks of Finite Characteristic. Journal of Combinatorial Theory. Series B , Canadá, v. 85, n.1, p. 137-180, 2002.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . Optimal Ear Decompositions of Matching Covered Graphs and Bases for the Matching Lattice. Journal of Combinatorial Theory. Series B , Canadá, v. 85, n.1, p. 59-93, 2002.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . Ear decompositions of matching covered graphs. Combinatorica , Hungria, v. 2, n.19, p. 151-174, 1999.
-
CARVALHO, M. H. ; LUCCHESI, C. L. . Matching Covered Graphs And Odd Subdivisions Of K4 And C6 Complement. Journal of Combinatorial Theory. Series B , v. 66, n.2, p. 263-268, 1996.
-
LUCCHESI, C. L. ; CARVALHO, M. H. . Bases For The Matching Lattice Of Matching Covered Graphs. Resenhas do Instituto de Matemática e Estatística da Universidade de São Paulo , São Paulo, v. 2, n.2, p. 219-227, 1995.
-
CARVALHO, M. H. . Vetores e Geometria Analítica. 1. ed. Campo Grande: Editora UFMS, 2009. v. 1. 134p .
-
CARVALHO, M. H. ; FERREIRA, Carlos Eduardo ; Fernandes, C.G. ; MIYAZAWA, Flávio K. ; Coelho, J.P. ; GUIMARÃES, Katia Silva ; Cerioli, M.R. ; Feofiloff, P. ; Dahab, R. ; Wakabayashi, Y. . Uma Introdução Sucinta a Algoritmos de Aproximação. 1. ed. Rio de Janeiro: IMPA, 2001. v. 1. 157p .
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . The matching lattice. In: B. Reed and C.L. Sales. (Org.). Recent Advances in Algorithms and Combinatorics. : Springer, 2003, v. 1, p. 1-14.
-
AMORIM, WILLIAN P. ; BORGES, FELIPE SILVEIRA BRITO ; PACHE, MARCIO C.B. ; CARVALHO, MARCELO H. ; PISTORI, HEMERSON . Optimum-Path Forest in the classification of defects in Bovine Leather. In: 2019 XV Workshop de Visão Computacional (WVC), 2019, São Bernardo do Campo. 2019 XV Workshop de Visão Computacional (WVC), 2019. v. 1. p. 49-53.
-
SAITO, P. ; AMORIM, W. P. ; FALCAO, A. X. ; REZENDE, P. J. ; SUZUKI, C. ; GOMES, J. ; CARVALHO, M. H. . Active Semi-Supervised Learning using Optimum-Path Forest. In: 22nd International Conference on Pattern Recognition (ICPR), 2014, Stockholm. Anals of the 22nd International Conference on Pattern Recognition (ICPR), 2014. v. 1. p. 3798-3803.
-
AMORIM, W. P. ; FALCÃO, ALEXANDRE X. ; CARVALHO, M. H. . Semi-Supervised Pattern Classification Using Optimum-Path Forest. In: Conference on Graphics, Patterns and Images (SIBGRAPI), 2014, Rio de janeiro. Proceedings of the 2014 Conference on Graphics, Patterns and Images, 2014.
-
AMORIM, W. P. ; Marcelo H. Carvalho ; ODAKURA, V. V. V. A. . Face Recognition using Optimum-path Forest Local Analysis. In: Brazilian Conference on Intelligent Systems, 2013, Fortaleza. Proceedings of the 2013 Brazilian Conference on Intelligent Systems, 2013. v. 1. p. 242-248.
-
AMORIM, W. P. ; CARVALHO, M. H. . Supervised Learning Using Local Analysis in an Optimal-Path Forest. In: CONFERENCE ON GRAPHICS, PATTERNS AND IMAGES, 2012, Ouro Preto. SIBGRAPI, 2012. p. 330-335.
-
Quinta L. N. B ; AMORIM, W. P. ; CARVALHO, M. H. ; Cereda M. P. ; Pistori H. . Floresta de Caminhos Ótimos na Classificação de Pólen. In: Workshop de Visão Computacional, 2012, Goiânia. Workshop de Visão Computacional, 2012.
-
CARVALHO, M. H. ; CHERIYAN, Joseph . An O(VE) algorithm for ear decomposition of matching covered graphs. In: ACM-SIAM Symposuim on Discrete Algorithms, 2005, Vancouver. Proceedings of the sixteenth annual symposium on discrete algorithms, 2005. p. 415-423.
-
CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . The matching lattice. In: Brazilian Summer School on Combinatorics and Algorithms, 2001, Fortaleza. Anais do I Brazilian Summer School on Combinatorics and Algorithms. Berlin: Springer Verlag, 2001. v. 1. p. 1-24.
-
CARVALHO, M. H. ; LUCCHESI, C. L. . Decomposição Ótima Em Orelhas Para Grafos Matching Covered. In: XVII Congresso da Sociedade Brasileuira de Computação, 1997, Brasilia - DF. Anais do XVII Congresso da Sociedade Brasileuira de Computação, 1997. v. 1. p. 451-462.
-
CARVALHO, M. H. ; LUCCHESI, C. L. . Edge Implication In Matching Covered Graphs. In: Workshop Internacional de Combinatória, 1996, Rio de Janeiro. Workshop Internacional de Combinatória, 1996. v. 1. p. 47-55.
-
SILVEIRA, L. L. ; CARVALHO, M. H. . Ear decompositions of join covered graphs. In: VI Latin American Algorithms, Graphs, and Optimization Symposium, 2011, Bariloche. Anais do LAGOS 2011, 2011. v. 1. p. 216-221.
Projetos de pesquisa
-
2015 - Atual
Técnicas computacionais para rastreamento de focos de Tuberculose Bovina, Descrição: Este projeto visa desenvolver uma plataforma de rastreamento de Tuberculose Bovina na América do Sul, provendo informações atualizadas acerca da evolução da doença.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (5) . , Integrantes: Marcelo Henriques de Carvalho - Coordenador / C. L. Lucchesi - Integrante / Willian Paraguassu Amorim - Integrante / Nalvo Franco de Almeida Junior - Integrante / Guilherme Pimentel Telles - Integrante / Maria Emilia T. Walter - Integrante / João Carlos Setúbal - Integrante / Flábio Ribeiro de Araújo - Integrante., Financiador(es): Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro.
-
2013 - 2015
Novas técnicas de aprendizagem supervisionada aplicadas à Agropecuária e à Biotecnologia, Descrição: O problema de reconhecimento de padrões pode ser definido como a classificação de dados baseado no conhecimento adquirido ou na extração de informações estatísticas de padrões (representações), e tem como objetivo procurar por regras de decisão que possam maximizar a separação entre classes. A técnica mais promissora aplicada ao reconhecimento e classificação de padrões consiste em modelar o problema como um grafo completo, definido em seu espaço de atributos, com pesos positivos em seus arcos. A proposta consiste em aprimorar esta técnica e propor outras mais eficientes, com o uso da teoria de grafos e da bioinformática, visando soluções eficientes para problemas em aprendizagem supervisionada e reconhecimento de padrões, com aplicações diretas em agropecuária e biotecnologia, como por exemplo, na classificação de couro bovino e classificação de leveduras no processo de geração do etanol.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (3) . , Integrantes: Marcelo Henriques de Carvalho - Coordenador / C. L. Lucchesi - Integrante / U.S.R. Murty - Integrante / Willian Paraguassu Amorim - Integrante / Nalvo Franco de Almeida Junior - Integrante / Guilherme Pimentel Telles - Integrante / Maria Emilia T. Walter - Integrante., Financiador(es): Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro.
-
2013 - Atual
Emparelhamento em Grafos e Aplicações, Descrição: O assunto tratado neste projeto de pesquisa insere-se na subárea da teoria da computação denominada teoria dos grafos, e pode ser descrito da seguinte forma: grafos cobertos por emparelhamentos são grafos em que toda aresta pertence a um emparelhamento perfeito. Muitos problemas da teoria dos grafos, como por exemplo o famoso problema das quatro cores, podem ser expressos em termos de grafos cobertos por emparelhamentos. O objetivo geral deste projeto de pesquisa consiste em explorar propriedades estruturais dos grafos cobertos por emparelhamentos, bem como suas principais aplicações.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Marcelo Henriques de Carvalho - Coordenador / U.S.R. Murty - Integrante / Nalvo Franco de Almeida Junior - Integrante / Cláudio Leonardo Lucchesi - Integrante.
-
2008 - 2012
Uma Proposta para Consolidação e Expansão do Programa de Pós-Graduação em Ciência da Computação do DCT-UFMS, Descrição: A UFMS é a IES proponente, a USP é a IES associada principal e a Unicamp é a IES associada co-principal. Cada umas dessas IES possui uma única equipe participante neste projeto. A equipe da UFMS é formada por professores e alunos do Programa de Pós-Graduação em Computação da UFMS; a equipe da USP é formada por professores do Programa de Pós-Graduação em Ciência da Computação do Instituto de Matemática e Estatística da USP, do Programa de Pós-Graduação em Ciências da Computação e Matemática Computacional do Instituto de Ciências Matemáticas e da Computação da USP, em São Carlos (SP), e do Programa de Pós-Graduação em Engenharia Elétrica da Escola Politécnica da USP; e a equipe da Unicamp é formada por professores do Programa de Pós-Graduação em Computação do Instituto de Computação. da Unicamp.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Marcelo Henriques de Carvalho - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
-
2008 - 2010
Continuidade na Consolidação das Linhas de Pesquisa do Mestrado em Ciência da Computação do DCT?UFMS, Descrição: O Programa de Mestrado em Ciência da Computação (PMCC) do Departamento de Computação e Estatística (DCT) da Universidade Federal de Mato Grosso do Sul (UFMS), com objetivo de promover o fortalecimento de seus grupos de pesquisa e, assim, consolidar seu programa de pós-graduação, é o proponente deste projeto de pesquisa. O PMCC do DCT?UFMS é um programa ?não consolidado?, que obteve nota 4 na última avaliação da CAPES e, por isso, satisfaz um dos requisitos para proposição deste projeto. O Programa de Pós-graduação em Computação do Departamento de Informática (DI) da Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio) é o programa de pós-graduação ?consolidado? que se apresenta como parceiro nesta proposta. Outros programas ainda ?não consolidados?, mas participantes do projeto como colaboradores, estão listados abaixo: ? Programa de Pós-graduação em Ciência da Computação do Instituto de Matemática e Estatística (IME) da Universidade de São Paulo (USP); ? Programa de Pós-graduação em Ciências de Computação e Matemática Computacional do Instituto de Ciências Matemáticas e de Computação (ICMC) da Universidade de São Paulo (USP); ? Programa de Pós-graduação em Computação do Instituto de Computação (IC) da Universidade Estadual de Campinas (UNICAMP); ? Programa de Pós-graduação em Computação do Instituto de Computação da Universidade Federal Fluminense (UFF); ? Programa de Mestrado em Informática do Departamento de Computação (CIC) da Universidade de Brasília (UnB);. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Marcelo Henriques de Carvalho - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2007 - 2009
Grafos Conservativos e Aplicações, Descrição: O assunto tratado neste projeto de pesquisa insere-se na subárea da teoria da computação denominada teoria dos grafos, e pode ser descrito da seguinte forma: uma função peso w : E {-1,1} definida sobre as arestas de um grafo G=(V,E) é chamada conservativa se a soma dos pesos das arestas ao longo de qualquer circuito de G é não-negativa. Por exemplo, um emparelhamento em um grafo define uma função conservativa se atribuirmos peso -1 para as arestas do emparelhamento e peso 1 para as demais arestas. Dizemos que um par (G,w) é um grafo conservativo se a função w definida sobre as arestas do grafo G é conservativa. O conceito de grafo conservativo generaliza vários conceitos da teoria dos grafos, como por exemplo o de emparelhamento. Há teoremas que generalizam diversos resultados sobre emparelhamento em grafos, como os bem conhecidos teoremas de Tutte e de Berge. Na verdade, o conceito de grafo conservativo fornece uma ?linguagem? geral que nos possi-bilita tratar diversos problemas em grafos de forma única [15]. Este é o grande fator que nos motiva a trabalhar neste tema. As pesquisas neste tópico são bem recentes, e se concen-tram basicamente nos trabalhos de A. Sebo e K. Padayachee. O trabalho proposto neste projeto de pesquisa consiste em explorar propriedades estruturais dos grafos conservativos e dos grafos cobertos por junções, bem como suas principais aplicações.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Marcelo Henriques de Carvalho - Coordenador / Charles H. C. Little - Integrante / Fábio Andreatta Santos - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1
-
2005 - 2007
Orientações Pfaffian de Grafos e Aplicações, Descrição: O assunto tratado neste projeto de pesquisa insere-se na subárea da teoria da computação denominada teoria dos grafos. O problema que é objeto de pesquisa deste projeto pode ser descrito da seguinte forma: Dado um grafo simples G e um emparelhamento perfeito M de G, queremos orientar as arestas de G de tal forma que todos os circuitos M-alternados tenham paridade ímpar, ou seja, ao percorrermos um tal circuito em algum sentido encontramos um número ímpar de arestas orientadas nesse sentido. Nem todo grafo admite uma orientação com esta propriedade, por exemplo, K_{3,3} e o grafo de Petersen não admitem uma tal orientação. O problema da orientação Pfaffian consiste em decidir se um dado grafo admite uma orientação que satisfaz a propriedade acima. Este problema está relacionado com alguns problemas fundamentais em teoria dos grafos, como o problema da contagem de emparelhamentos perfeitos e o de decidir se um grafo orientado possui circuito orientado com um número par de arestas. Até o momento, o problema da orientação Pfaffian foi resolvido apenas para algumas classes de grafos: Grafos planares, grafos bipartidos, grafos quase-bipartidos e grafos sólidos. Neste projeto, pretendemos explorar e determinar novas condições necessárias e suficientes para que um grafo admita uma orientação Pfaffian visando resolver o problema para classes mais gerais de grafos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Marcelo Henriques de Carvalho - Coordenador / C. L. Lucchesi - Integrante / U.S.R. Murty - Integrante / Charles H. C. Little - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro / Universidade Federal de Mato Grosso do Sul - Cooperação., Número de produções C, T & A: 3
Prêmios
1997
Concurso de teses de doutorado (1. colocado), Sociedade Brasileira de Computação (SBC).
Histórico profissional
Endereço profissional
-
Universidade Federal de Mato Grosso do Sul, Faculdade de Computação. , FACOM - UFMS, Av. Costa e Silva/SN, Cidade Universitária, 79070-900 - Campo Grande, MS - Brasil - Caixa-postal: 549, Telefone: (67) 33457459, Fax: (67) 33457518, URL da Homepage:
Experiência profissional
1987 - Atual
Universidade Federal de Mato Grosso do SulVínculo: Servidor Público, Enquadramento Funcional: PROFESSOR, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Coordenador do curso de Doutorado em Ciência da Computação da UFMS, em associação com a UFG, desde agosto de 2009 até a presente data.
Atividades
-
03/1987
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos e estrutura de dados II
Você é MARCELO HENRIQUES DE CARVALHO?
Que tal assumir essas informações?
Basta criar uma conta no Escavador e enviar uma forma de comprovante. São três passos:
Escolha uma dentre três formas de verificação: Facebook, CPF ou Documento com Foto.
O Escavador irá analisar a sua solicitação.
As informações presentes nessa página serão transferidas para a sua página do perfil.
Depois do processo concluído, quem acessar essa página será redirecionado para seu cantinho no Escavador, seunome.escavador.com. Onde você poderá fazer a sua reputação, conhecer gente antenada, se informar e até mesmo ganhar clientes. Tudo isso de graça!
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de MARCELO HENRIQUES DE CARVALHO e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?