Carolina Ribeiro Xavier

Possui graduação em Ciência da Computação pela Universidade Federal de Juiz de Fora (2006), mestrado em Modelagem Computacional pela Universidade Federal de Juiz de Fora (2009) e doutorado na área de Sistemas Computacionais no Programa de Engenharia Civil da Coppe - UFRJ(2015). É docente na UFSJ desde 2010, foi coordenadora do curso de Ciência da Computação, atuando no colegiado e no NDE deste curso entre 2012 e 2014. De 2015 à 2019 foi chefe do departamento de Ciência da Computação. Atuou como representante dos docentes de graduação no Conselho Superior de Ensino, Pesquisa e Extensão (CONEP) por dois mandadatos de 2015 a 2019 e atualmente é conselheira do Conselho Superior Diretor (CONDI). Em pesquisa, atua nas áreas de modelagem computacional, otimização, redes complexas e ciência de dados. Atualmente coordena o Programa de Pós Graduação em Ciência da Computação (PPGCC) da UFSJ, o qual fez parte do grupo de docentes proponentes e coorienta no Programa de Pós Graduação em modelagem computacional da UFJF e no Programa de Pós graduação em Ciência da Computação da UFMG. Atua na extensão em projetos de solidariedade e do observatório de saúde coletiva de São joão del Rei. É mãe de dois filhos, nascidos em 2011 e 2016.

Informações coletadas do Lattes em 15/06/2023

Acadêmico

Formação acadêmica

Doutorado em Engenharia Civil

2010 - 2015

Universidade Federal do Rio de Janeiro
Título: Maximização de influência em redes complexas para o modelo de Spreading Activation: Estudo de caso em uma rede de telefonia
, Ano de obtenção: 2015. Alexandre Gonçalves Evsukoff. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: detecção de comunidades; ranking; Redes Complexas; Maximização modularidade.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Otimização. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos numéricos aplicados.

Mestrado em Modelagem Computacional

2007 - 2009

Universidade Federal de Juiz de Fora
Título: Comparação de métodos de otimização para o problema de ajuste de histórico em ambientes paralelos
, Ano de Obtenção: 2009.Rodrigo Weber dos Santos.Coorientador: Marcelo Lobosco.

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

2003 - 2006

Universidade Federal de Juiz de Fora
Título: Algoritmos genéticos distribuidos para a solução das equações do bidomínio
Orientador: Rodrigo Weber dos Santos

Curso técnico/profissionalizante em Transações Imobiliárias

2001 - 2002

Colegio Técnico Universitário

Pós-doutorado

2022

Pós-Doutorado. , Universidade de São Paulo, USP, Brasil. , Bolsista do(a): Universidade de São Paulo, USP, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências da Saúde / Área: Nutrição.

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Francês

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

Áreas de atuação

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

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

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada.

Grande área: Ciências Exatas e da Terra / Área: Probabilidade e Estatística / Subárea: Estatística/Especialidade: Análise de Dados.

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.

Participação em eventos

20th International Conference in Computational Science and Its Applications, 2020. Simplified Models for Electromechanics of Cardiac Myocyte. 2020. (Congresso).

I Seminário online do observatório de Saúde coletiva de São João del Reo.São João del Rei no contexto da Pandemia - Análise de dados de saúde pública. 2020. (Seminário).

XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL e X ENCONTRO DE CIÊNCIA E TECNOLOGIA DE MATERIAIS.. Escolha de indivíduos a serem imunizados via Algoritmo Genético sobre o modelo SIR em redes complexas. 2019. (Encontro).

XXV Simpósio Brasileiro de Sistemas Multimídia e Web.Sara - A Semi-Automatic Framework for Social Network Analysis. 2019. (Simpósio).

Kdmile 2018 - Symposium on Knowledge Discovery, Mining and Learning.Análise do impacto das copas do mundo no mercado de transações de jogadores de futebol e da globalização do futebol utilizando técnicas de redes complexas. 2018. (Simpósio).

Complenet 2015 - Complex Networks 2015. Studying Reciprocity and Communication Probability Ratio in Weighted Phone Call Ego Networks. 2015. (Congresso).

XXXVI Iberian Latin American Congress on Computational Methods in Engineering. COMPARAÇÃO DE ALGORITMOS EVOLUTIVOS PARA O PROBLEMA DE AJUSTE DE HISTÓRICO USANDO O MODELO IMPES. 2015. (Congresso).

2013 BRICS Congress on Computational Intelligence & 11th Brazilian Congress on Computational Intelligence (BRICSCCI & CBIC), 2013. Efficient Community Detection in Large Scale Networks. 2013. (Congresso).

International Conference on Computational Science. Genetic Algorithm for the History Matching Problem (apoio FAPEMIG). 2013. (Congresso).

CILAMCE. ANÁLISE DE DESEMPENHO DE UM SIMULADOR DE RESERVATÓRIOS EM UM AMBIENTE PARALELO MULTIPROCESSADO. 2009. (Congresso).

Curso de verão LNCC. 2008. (Outra).

Encontro da rede singer-petrobras.Comparação de métodos de otimização para o problema de ajuste de histórico. 2008. (Encontro).

19 SBAC-PAD International Symposium on Computer Architecture and High Performance Computing. 2007. (Simpósio).

2nd Marathon of parallel programming - SBAC-PAD.maratona de programacao. 2007. (Outra).

Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD). 2007. (Oficina).

X Encontro de Modelagem Computacional.Paralelização de um Simulador Cardíaco explorando a Independência de Tarefas. 2007. (Encontro).

1st Marathon of parallel programming - SBAC-PAD. 2006. (Outra).

2nd LNCC Meeting on Computational Modelling. 2006. (Encontro).

SBAC-PAD International Symposium on Computer Architecture and High Performance Computing. 2006. (Simpósio).

VECPAR. 2006. (Congresso).

Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD). 2006. (Outra).

Worshop on High Performance Computing in the life Sciences. 2006. (Outra).

Participação em bancas

Aluno: Ana Roberta Melo Nascimento

Ribeiro Xavier, Carolina; OLIVEIRA, RAFAEL SACHETTO; SANTOS, Rodrigo Weber dos. PARALELIZAÇÃO EM MEMÓRIA DISTRIBUÍDA E MULTI-GPU DE UM SIMULADOR DA ELETROFISIOLOGIA CARDÍACA. 2023. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Luisa Silva Ribeiro Nogueira

Ribeiro Xavier, Carolina; Queiroz, R. A. B.; FACANHA, J. M. F.. Estimativa e identificabilidade de parâmetros em experimentos de qualidade de espuma em meios porosos. 2023. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal de Juiz de Fora.

Aluno: Lucas Gabriel da Silva Felix

MELO, P. O. S. V.;Ribeiro Xavier, Carolina; Souza, F. S. H.; ALMEIDA, J. M.. PLANET CARAVAN: A FULL TRIP PLANNER. 2022. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Ronaldo Alves Marques Júnior

Xavier, Carolina RibeiroVIEIRA, VINÍCIUS DA FONSECAOLIVEIRA, R. S.; SANTOS, Rodrigo Weber dos. Estudo de critérios de distribuição de vacinas com doses limitadas - uma abordagem baseada em redes complexas. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: José Mauro Ribeiro

Xavier, Carolina R.; GUIDONI, D. L.;Vieira, Vinicius da FonsecaA. G. Evsukoff. Caracterização e análise de redes sociais a partir de dados de telefonia móvel. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Vitor Elisiário do Carmo

Ribeiro Xavier, CarolinaVieira, Vinicius da Fonseca; Souza, F. S. H.; CARVALHO, I. A.. FastCELF++: Uma heurística de baixo custo computacional para maximização da influência em redes. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Carlos Magno Geraldo Barbosa

Vieira, Vinicius da FonsecaRibeiro Xavier, Carolina; Cirilo, E. J. R.; MENEZES, V. S. A.. SARA: um framework para análise de redes sociais online. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: ALEXANDRE HENRIQUE TEIXEIRA DIAS

LUIZ HENRIQUE ANDRADE CORREIA; MALHEIROS, N. CNEUMAR COSTA MALHEIROS.;XAVIER, C. R.; VIEIRA, A. B.. "TOWARD GREEN CLOUD COMPUTING ENVIRONMENT BY MEANS OF VIRTUAL MACHINES CONSOLIDATION". 2020. Dissertação (Mestrado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Lavras.

Aluno: Alexandre Henrick da Silva Alves

AMARAL, L. R.; CARNEIRO, M. G.;XAVIER, C. R.. Estudo e Análise de Novas Abordagens para Mineração de Regras de Classificação Utilizando Algoritmos Genéticos. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Gilma Aparecida Santos Campos

Xavier, C.R.VIEIRA, VINCIUS DA FONSECA; BORGES, C. C. H.. Estudo do impacto da seleção de sementes baseada em centralidade e em informações de comunidades sobrepostas em redes complexas. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Ygor Henrique de Paula Barros Baêta

XAVIER, C. R.PIGOZZO, A. B.; DURELLI, V. H. S.; BARBOSA, C. B.. Recuperação de Erros em Derivação de Gramáticas Livres de Contexto Aplicado à Correção de Erros Ortográficos e Gramaticais. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: João Gabriel Rocha Silva

SANTOS, R. W.Xavier, Carolina RibeiroOLIVEIRA, R. S.; Queiroz, R. A. B.. Modelos simplificados para o acoplamento eletromecânico do coração. 2018. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal de Juiz de Fora.

Aluno: Lucas Arantes Berg

SANTOS, R. W.; Queiroz, R. A. B.; Cherry, Elizabeth Maura;Xavier, Carolina Ribeiro; ROCHA, B. M.. Estudo da Propagação Elétrica em Fibras de Purkinje. 2018. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal de Juiz de Fora.

Aluno: Raphael Pereira Cordeiro

LOBOSCO, M.; Santos, Rodrigo Weber dos;OLIVEIRA, R. S.; BENTES, C. B.;Xavier, Carolina Ribeiro; ROCHA, B. M.. Agrupando dados e krenels de um simulador cardíaco em um ambiente multi-GPU. 2017. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal de Juiz de Fora.

Aluno: Jesuliana Nascimento Ulysses

Xavier, Carolina R.OLIVEIRA, R. S.; Barros, Marcelo Miranda; Goliatt, Leonardo; dos SANTOS, Rodrigo Weber; ROCHA, B. M.; Queiroz, R. A. B.. Um método baseado em otimização para construção da rede de Purkinje cardíaca. 2019. Tese (Doutorado em Modelagem Computacional) - Universidade Federal de Juiz de Fora.

Aluno: João Gabriel Rocha Silva

CAMPOS, J. O.;OLIVEIRA, R. S.Ribeiro Xavier, Carolina; SANTOS, Rodrigo Weber dos; Queiroz, R. A. B.. Modelo mínimo para potencial de ação, cálcio e tensão ativa acoplado de miócitos cardíacos. 2023. Exame de qualificação (Doutorando em Modelagem Computacional) - Universidade Federal de Juiz de Fora.

Aluno: Uncertainty Quantification and Stochastic Variables for Mode

OLIVEIRA, R. S.; LOBOSCO, M.; dos SANTOS, Rodrigo Weber;Xavier, Carolina R.. Uncertainty Quantification and Stochastic Variables for Models of Cardiac Myocytes. 2019. Exame de qualificação (Doutorando em Modelagem Computacional) - Universidade Federal de Juiz de Fora.

Aluno: Jesuliana Nascimento Ulysses

OLIVEIRA, R. S.; BARRA, L. P. S.;Xavier, C.R.. Modelagem Computacional da rede de Purkinje do Coração. 2016. Exame de qualificação (Doutorando em Modelagem Computacional) - Universidade Federal de Juiz de Fora.

Aluno: Victor Ferreira Almeida Mota

PEREIRA, M. A.; KAKITANI, M. T.;VIEIRA, VINÍCIUS DA FONSECARibeiro Xavier, Carolina. Otimização de modelo de predição de sinal celular utilizando Inteligência Artificial. 2023. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Júlio César Mendes de Resende

Santos, E. B.;Ribeiro Xavier, Carolina; LAIA, M. A. M.; NEPOMUCENO, E. G.. Combinando Técnicas do Aprendizado por Reforço Profundo. 2021. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: ALEXANDRE HENRIQUE TEIXEIRA DIAS

CORREA, L. H. A.; MALHEIROS, N. C.;Xavier, Carol Ribeiro. TOWARD GREEN CLOUD COMPUTING ENVIRONMENT BY MEANS OF VIRTUAL MACHINES CONSOLIDATION. 2019. Exame de qualificação (Mestrando em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Lavras.

Aluno: Anna Luisa de Aguiar Bergo Coelho

SANTOS, Rodrigo Weber dos;Xavier, Carolina Ribeiro; CAMPOS, R. S.. Modelagem de Miócito Cardíaco através de Sistema Massa-Mola. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia Computacional) - Universidade Federal de Juiz de Fora.

Aluno: Antonio Pedro Santos Alves

Ribeiro Xavier, Carolina; GUIDONI, D. L.;Vieira, Vinicius da Fonseca. Avaliação turística em cidades históricas: Um estudo sobre a cidade de Tiradentes. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Túlio Ribeiro Torres

Ribeiro Xavier, Carolina; SILVA, J. G. R.; LAIA, M. A. M.. Laboratório de Simulação de Aprendizado por Reforço em R. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Jan Pierre Agenciano da Silva Rocha

Loureiro, M. M. S.;PIGOZZO, A. B.Xavier, C.R.. Aplicação do método das diferenças finitas generalizadas em um problema geométrico inverso de biotransferência de calor para detecção de tumores via algoritmo genético. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Valney de Paiva Faria

Vieira, Vinicius da FonsecaXavier, C.R.; Cirilo, E. J. R.. Análise de Dados Abertos no Contexto de Políticas Públicas. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Braulio Antonio Mesquita de Souza

Souza, F. S. H.; GUIDONI, D. L.;Xavier, Carolina R.. Heurísticas aplicadas ao problema de projeto de redes heterogêneas resilientes com qualidade de serviço. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Iago Augusto de Carvalho

Xavier, Carolina R.; Santos, E. B.; Souza, F. S. H.. COMPARAÇÃO DE ALGORITMOS EVOLUTIVOS PARA O PROBLEMA DE AJUSTE DE HISTÓRICO. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Pedro Henrique Simões Martins

Xavier, Carolina R.; Cirilo, E. J. R.; Albergaria, E. T.. Construção de um framework de algoritmos evolutivos utilizando boas práticas de programação. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Daniel Gonçalves Rocha

Xavier, Carolina R.Vieira, Vinicius da Fonseca; Santos, E. B.. Comparação de métodos evolutivos - um estudo de parâmetros. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Thiago Peixoto Leal

Xavier, Carolina R.Vieira, Vinicius da FonsecaRocha, L. C. D.; Madeira, D. L. A.. UMA ABORDAGEM DISCRETA DE UM ALGORITMO DE EVOLUÇÃO DIFERENCIAL PARA DETECÇÃO DE COMUNIDADES. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Leandro Ribeiro Galvão

Vieira, Vinicius da FonsecaXavier, Carolina R.Rocha, L. C. D.. Agrupamento de Coleções de Documentos Utilizando Técnicas de Mineração de Textos e Redes Complexas. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Walkiria Karla Resende

Vieira, Vinicius da FonsecaXavier, Carolina RibeiroOLIVEIRA, R. S.. Metodologia para predição automática de função de proteínas. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei.

Aluno: Rafael Gomes de Oliveira Polo

Figueiredo, S. M;XAVIER, C. R.Vieira, Vinicius da Fonseca. Desenvolvimento Ágil de Sistemas para a Web 2.0 com Rails. 2009. Trabalho de Conclusão de Curso (Graduação em ciência da computação) - Instituto Metodista Bennett.

Aluno: Sabrina Arêas

Figueiredo, S. M;Vieira, Vinicius da FonsecaXavier, Carolina Ribeiro. Desenvolvimento Ágil de Sistemas para a Web 2.0 com Rails. 2009. Trabalho de Conclusão de Curso (Graduação em ciência da computação) - Instituto Metodista Bennett.

Aluno: Cheila Cristina da Silva

Costa, M. N.;Xavier, Carolina RibeiroVieira, Vinicius da Fonseca. Ambiente de Ensino a Distância com Moodle. 2009. Trabalho de Conclusão de Curso (Graduação em Tecnológo em análise de sistemas) - Instituto Metodista Bennett.

Aluno: Fernando de Mello Cárdenas

Costa, M. N.;XAVIER, C. R.Vieira, Vinicius da Fonseca. Ambiente de Ensino a Distância com Moodle. 2009. Trabalho de Conclusão de Curso (Graduação em Tecnológo em análise de sistemas) - Instituto Metodista Bennett.

Aluno: Paulo Ferreira das Neves

Costa, M. N.;Xavier, Carolina RibeiroVieira, Vinicius da Fonseca. Ambiente de Ensino a Distância com Moodle. 2009. Trabalho de Conclusão de Curso (Graduação em Tecnológo em análise de sistemas) - Instituto Metodista Bennett.

Aluno: Pierre Bruno Moreira Bastos

Costa, M. N.;XAVIER, C. R.Vieira, Vinicius da Fonseca. Ambiente de Ensino a Distância com Moodle. 2009. Trabalho de Conclusão de Curso (Graduação em Tecnológo em análise de sistemas) - Instituto Metodista Bennett.

Aluno: Bruno Rocha da Silva

Costa, M. N.;Xavier, Carolina RibeiroVieira, Vinicius da Fonseca. Sistema para Análise de Circuitos ADSL. 2009. Trabalho de Conclusão de Curso (Graduação em Tecnológo em análise de sistemas) - Instituto Metodista Bennett.

Aluno: Vinícius da Silva Carvalho

Costa, M. N.;Xavier, Carolina RibeiroVieira, Vinicius da Fonseca. Sistema para Análise de Circuitos ADSL. 2009. Trabalho de Conclusão de Curso (Graduação em Tecnológo em análise de sistemas) - Instituto Metodista Bennett.

Aluno: Anderson Luis Silva de Souza

Costa, M. N.;Xavier, Carolina RibeiroVieira, Vinicius da Fonseca. Projeto Bustrace. 2009. Trabalho de Conclusão de Curso (Graduação em Tecnológo em análise de sistemas) - Instituto Metodista Bennett.

Aluno: Cíntia Vaz da Silva

Costa, M. N.;Xavier, Carolina RibeiroVieira, Vinicius da Fonseca. Projeto Bustrace. 2009. Trabalho de Conclusão de Curso (Graduação em Tecnológo em análise de sistemas) - Instituto Metodista Bennett.

Aluno: Renata Mattos Portal

Costa, M. N.;Xavier, Carolina RibeiroVieira, Vinicius da Fonseca. Projeto Bustrace. 2009. Trabalho de Conclusão de Curso (Graduação em Tecnológo em análise de sistemas) - Instituto Metodista Bennett.

Xavier, Carolina R.; SILVA, A. S. N. E.; FLORINDO, J. B.. Redes complexas. 2019. Universidade Federal de Ouro Preto.

Xavier, Carolina R.; CARVALHO, DÁRLINTON BARBOSA FERES; VILLELA, R. T. N. B.. Conceitos de Linguagens de Programação e Programação Orientada a Objetos. 2016. Universidade Federal de São João Del-Rei.

Xavier, Carolina Ribeiro; Ferreira, R. A. C.; Malaquias, J. R.. Teoria de Linguagens e compiladores. 2014. Universidade Federal de São João Del-Rei.

Vieira, Luiz Filipe M.;SANTOS, R. W.Xavier, Carolina Ribeiro. Arquitetura de computadores. 2010. Universidade Federal de Juiz de Fora.

Orientou

João paulo Silva de Freitas

Ferramentas para auxílio ao tratamento de crianças acometidas pela microcefalia causada pelo ZIKAV; Início: 2022; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; (Orientador);

Fernando Augusto de Oliveira Coelho

Plataforma Inteligente de Análise de Fundos de Investimento Imobiliário e Suas Relações; Início: 2021; Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal de São João Del-Rei; (Orientador);

Victor Ferreira Almeida Mota

Construção de um modelo georreferenciado de predição de sinal de telefonia; Início: 2021; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei; (Orientador);

João Gabriel Rocha Silva

Modelo eletromecânico personalizado para auxílio no implante de marca-passos; Início: 2018; Tese (Doutorado em Modelagem Computacional) - Universidade Federal de Juiz de Fora, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Coorientador);

Lucas Gabriel da Silva Felix

PLANET CARAVAN: A FULL TRIP PLANNER; 2022; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Coorientador: Carolina Ribeiro Xavier;

Ronan José Lopes

intitulada: Construção de uma plataforma para análise de tendências, padrões e interações de usuários em conteúdos publicados no Twitter,; 2022; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei,; Orientador: Carolina Ribeiro Xavier;

Vitor Elisiário do Carmo

FastCELF++: Uma heurística de baixo custo computacional para maximização da influência em redes; 2021; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei,; Orientador: Carolina Ribeiro Xavier;

Ronaldo Alves Marques Júnior

Estudo de critérios de distribuição de vacinas com doses limitadas - uma abordagem baseada em redes complexas; 2021; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei,; Orientador: Carolina Ribeiro Xavier;

Carlos Magno Geraldo Barbosa

SARA: um framework para análise de redes sociais online; 2021; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Carolina Ribeiro Xavier;

Gilma Aparecida Santos Campos

Estudo do impacto da seleção de sementes baseada em centralidade e em informações de comunidades sobrepostas em redes complexas; 2020; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei,; Orientador: Carolina Ribeiro Xavier;

Ygor Henrique de Paula Barros Baêta

Recuperação de Erros em Derivação de Gramáticas Livres de Contexto Aplicado à Correção de Erros Ortográficos e Gramaticais; 2020; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São João Del-Rei, Universidade Federal de São João del Rei; Orientador: Carolina Ribeiro Xavier;

João Gabiel Rocha Silva

Modelos simplificados para o acoplamento eletromecânico do coração; 2018; Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal de Juiz de Fora, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Carolina Ribeiro Xavier;

Antonio Pedro Santos Alves

Avaliação turística em cidades históricas: Um estudo sobre a cidade de Tiradentes; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Túlio Ribeiro Torres

Laboratório de Simulação de Aprendizado por Reforço em R; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Eduarda Aparecida Goulart

Sistemas de Recomendação - Estudo de algoritmos, medidas de similaridade e medidas de qualidade; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Lucas Gabriel da Silva Felix

KDFoot - Knowledge Discover in Football - Métodos de aprendizado de máquina para predição do valor de jogadores de futebol; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Rodrigo Ferreira Rodrigues

Escolha de indivíduos a serem imunizados via Algoritmo Genético sobre o modelo SIR em redes complexas; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Arthur Rodrigues da Silva

Maximização de influência em redes usando medidas de centralidade e algoritmos genéticos sobre Linear Threshold Model; ; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

João Gabriel Rocha Silva

Solução do Problema da Dieta com um algoritmo de Evolução diferencial; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Walkiria Karla Resende

Metodologia para predição automática de função de proteínas; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Iago Augusto Carvalho

Comparação de métodos de otimização evolutivos para o problema de ajuste de histórico; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Daniel Gonçalves Rocha

Comparação de métodos evolutivos - um estudo de parâmetros; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Thiago Peixoto Leal

Uma abordagem discreta para o algoritmo de evolução diferencial para o problema de detecção de comunidades; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Pedro Henrique Simões Martins

Construção de um framework de algoritmos evolutivos utilizando boas práticas de programação; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Túlio Ribeiro Torres

Ajuste do modelo SEIR para simulação do espalhamento do Corona Vírus; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Paulo Gabriel Nunes Cançado

Ajuste do modelo SIR para simulação do espalhamento do Corona Vírus; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carolina Ribeiro Xavier;

Paulo Gabriel Nunes Cançado

Calibração de parâmetros do novo corona vírus em São joão del Rei; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carolina Ribeiro Xavier;

Antonio Pedro Santos Alves

DESENVOLVIMENTO DE UM ALGORITMO GENÉTICO PARA SOLUÇÃO DA MAXIMIZAÇÃO DE INFLUÊNCIA; 2020; Iniciação Científica - Universidade Federal de São João Del-Rei, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Carolina Ribeiro Xavier;

Thales Mrad Leijoto

Desenvolvimento de operadores genéticos para solução da maximização de influência; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Antonio Pedro Santos Alves

Modelos de difusão em redes complexas - Rede da Leishmaniose em Congonhas-MG; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Lucas Teixeira Reis

Desenvolvimento um algoritmo de evolução diferencial para solução da maximização de influência; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Thales Mrad Leijoto

Ajuste de modelos epidemiológicos em redes complexas para simulação da transmissão do Corona Vírus; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Lucas Gabriel da Silva Felix

Algoritmos evolutivos aplicados a modelos epidemiológicos; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Leandro Lima de Paula

Estudo de modelos de Influência; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Rodrigo Ferreira Rodrigues

Algoritmos evolutivos aplicados a modelos epidemiológicos; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Eduarda Aparecida Goulart

Algoritmos evolutivos aplicados a modelos epidemiológicos; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carolina Ribeiro Xavier;

Rafael Paiva de Moraes

Estudo de modelos de difusão de inovação em redes complexas - HEURÍSTICAS PARA MAXIMIZAÇÃO DA DIFUSÃO UTILIZANDO COMUNIDADES; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Elvis Hernandes Ribeiro

Estudos de Modelos de influência; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Carolina Ribeiro Xavier;

Vinícius Latini Gonçalves

Estudo de modelos de influência; 2019; Iniciação Científica - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Rodrigo Ferreira Rodrigues

Estudo do modelo de influência threshold model; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Carolina Ribeiro Xavier;

Vinícius Marques do Nascimento

Estudo de modelos de difusão de inovação em redes complexas; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Arthur Rodrigues da Silva

Estudo comparativo de modelos de influência em redes complexas; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Francisco Augusto Gomes Santos

Estudo comparativo de modelos de influência em redes complexas; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Carolina Ribeiro Xavier;

Lucas Gabriel da Silva Felix

Algoritmos evolutivos aplicados a modelos epidemiológicos para estudo de imunização; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Arthur Rodrigues da Silva

Estudo de algoritmos de detecção de comunidades em redes complexas - Otimização da condutancia; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Vinícius Marques do Nascimento

Estudo comparativo de métodos de ranking e de influência em redes complexas; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Lavínia Thalya Oliveira de Carvalho

Estudo comparativo de métodos de ranking e de influência em redes complexas; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Lucas Gabriel da Silva Felix

Estudo de algoritmos de detecção de comunidades em redes complexas; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carolina Ribeiro Xavier;

Leandro Campos Peres

Estudo do algoritmo de influência Spreading Activation; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Jean Brayan Ferreira

Estudo do algoritmo de influência Spreading Activation; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Marina Ramos Nunes

Análise de redes de amizades e relação com desempenho acadêmico; 2015; Iniciação Científica - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

João Gabriel Rocha

Comparação de métodos de Ranking em redes complexas; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Jean Brayan Ferreira

Análise de redes de amizades e relação com desempenho acadêmico; 2015; Iniciação Científica - Universidade Federal de São João Del-Rei, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Carolina Ribeiro Xavier;

Vinícius Marques do Nascimento

Análise de redes de amizades e relação com desempenho acadêmico; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Lucas Nogueira Rodrigues

Análise de redes de amizades e relação com desempenho acadêmico; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Carolina Ribeiro Xavier;

Thiago Peixoto Leal

Uma abordagem discreta para o algoritmo de evolução diferencial; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Alan Pacífico Lima Teles

Implementação, ajuste e paralelização de evolução diferencial para o problema de ajuste de histórico; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Matheus Felipe Marques da Silva

Implementação, ajuste e paralelização de um AG para o problema de ajuste de histórico; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Lucivânia Ester da Costa

O software R pode ajudar no processo de ensino-aprendizagem de Estatística e Probabilidade? ? Uma investigação no Curso de Ciência da Computação da UFSJ (colaborador); 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Matheus Felipe Marques da Silva

O Uso do Software Geogebra no Ensino de Geometria Analítica (colaborador); 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Monica Neli de Resende

O uso do software R como ferramenta de ensino-aprendizagem da disciplina de Cálculo I - um estudo de caso em uma turma do primeiro período do curso de Ciência da Computação da UFSJ (colaborador); 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Leandro Ribeiro Galvão

Otimizacao do Processo de Manutencao de Equipamentos Através de Mineracao de Dados (Colaborador); 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Walkiria Karla Resende

O Uso de Support Vector Machine na Predição de Função de Proteínas; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Carolina Ribeiro Xavier;

Felipe C

Teixeira; Desenvolvimento de um corretor ortográfico automático de alto desempenho (Colaborador); 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;

Vinícius Latini Gonçalves

Estudo de modelos de difusão de inovação em redes complexas - HEURÍSTICAS PARA MAXIMIZAÇÃO DA DIFUSÃO UTILIZANDO COMUNIDADES; 2019; Orientação de outra natureza - Centro Federal de Educação Tecnológica de Minas Gerais; Orientador: Carolina Ribeiro Xavier;

Produções bibliográficas

  • Xavier, Carolina Ribeiro ; OLIVEIRA, RAFAEL SACHETTO ; VIEIRA, VINÍCIUS DA FONSECA ; ROCHA, BERNARDO MARTINS ; REIS, RUY FREITAS ; QUINTELA, BÁRBARA DE MELO ; Lobosco, Marcelo ; SANTOS, Rodrigo Weber dos . Timing the race of vaccination, new variants, and relaxing restrictions during COVID-19 pandemic. Journal of Computational Science , v. 1, p. 101660, 2022.

  • Xavier, Carolina Ribeiro ; OLIVEIRA, R. S. ; Vieira, Vinicius da Fonseca ; Lobosco, M. ; dos SANTOS, Rodrigo Weber . Characterisation of Omicron Variant during COVID-19 Pandemic and the Impact of Vaccination, Transmission Rate, Mortality, and Reinfection in South Africa, Germany, and Brazil. Biotech , v. 11, p. 2, 2022.

  • Xavier, Carolina Ribeiro ; SILVA, JOAO GABRIEL ROCHA ; DUARTE, G. L. ; CARVALHO, I. A. ; VIEIRA, VINCIUS DA FONSECA ; Goliatt, Leonardo . An island-based hybrid evolutionary algorithm for caloric-restricted diets. Evolutionary Intelligence (Print) , v. 1, p. 1-20, 2021.

  • BARBOSA, C. M. ; FELIX, L. G. S. ; Xavier, Carolina R. ; V. F. Vieira . Investigating the relation between companies with topological analysis of a network of Stock Exchange in Brazil. Journal of Information and Data Management - JIDM , v. 10, p. 130-145, 2020.

  • ALVES, A. P. S. ; FELIX, L. G. S. ; BARBOSA, C. M. ; CARMO, VITOR E. DO ; V. F. Vieira ; Xavier, Carolina Ribeiro . World Cups impact analysis in the soccer players transaction and soccer globalization using complex network techniques. Journal of Information and Data Management - JIDM , v. 10, p. 166-183, 2020.

  • VIEIRA, VINÍCIUS DA FONSECA ; Xavier, Carolina Ribeiro ; EVSUKOFF, ALEXANDRE GONÇALVES . A comparative study of overlapping community detection methods from the perspective of the structural properties. Applied Network Science , v. 5, p. 51-42, 2020.

  • Xavier, Carolina Ribeiro ; Vieira, Vinicius da Fonseca ; A. G. Evsukoff . Studying the effect of community structure for seed selection in an influence model. INTERNATIONAL JOURNAL OF INFORMATION AND DECISION SCIENCES , v. 11, p. 300-319, 2019.

  • FELIX, L. G. S. ; BARBOSA, C. M. ; CARVALHO, I. A. ; da Fonseca Vieira, Vinícius ; Xavier, Carolina R. . Uma análise das seleções da Copa do Mundo de Futebol 2018 utilizando uma rede de transferências de jogadores entre países. iSys - Revista Brasileira de Sistemas de Informação , v. 11, p. 1-21, 2019.

  • SILVA, J. G. R. ; XAVIER, C. R. ; CAMPOS, R. S. ; SANTOS, R. W. . DESENVOLVIMENTO DE UM MODELO SIMPLIFICADO PARA A ATIVIDADE ELETROMECÂNICA CARDÍACA. SODEBRÁS , v. 14, p. 53-57, 2019.

  • SILVA, J. G. R. ; Campos, R. S. ; ROCHA, B. M. ; Xavier, Carolina Ribeiro ; SANTOS, Rodrigo Weber dos . MODELOS SIMPLIFICADOS PARA ACOPLAMENTO ELETROMECÂNICO DE MIÓCITO CARDÍACO. Mecánica Computacional , v. 35, p. 1-412, 2017.

  • PEROBELLI, S.M. ; GALVANI, R.G. ; GONÇALVES-SILVA, T. ; Xavier, C.R. ; NÓBREGA, A. ; BONOMO, A. . Plasticity of neutrophils reveals modulatory capacity. Brazilian journal of medical and biological research , v. 48, p. 1-11, 2015.

  • VIEIRA, VINÍCIUS DA FONSECA ; Xavier, Carolina Ribeiro ; EBECKEN, NELSON FRANCISCO FAVILLA ; EVSUKOFF, ALEXANDRE GONÇALVES . Performance Evaluation of Modularity Based Community Detection Algorithms in Large Scale Networks. MATHEMATICAL PROBLEMS IN ENGINEERING , v. 2014, p. 1-15, 2014.

  • Andrade, G. N. ; Teixeira, F. C. de S. ; Xavier, Carolina Ribeiro ; Rocha, L. C. D. . HASCH: Um Corretor Ortográfico Automático de Alto Desempenho para Textos Oriundos da Web. Revista Eletrônica de Iniciação Científica. Revista Eletrônica de Iniciação Científica , v. 12, p. 1-20, 2012.

  • XAVIER, C. R. ; Vieira, Vinicius da Fonseca ; Meira, Wagner . Multi-Level Parallelism for the Cardiac Bidomain Equations. International Journal of Parallel Programming , v. 37, p. 572-592, 2009.

  • Geraldo Barbosa, Carlos Magno ; da Silva Félix, Lucas Gabriel ; Santos Alves, Antônio Pedro ; Ribeiro Xavier, Carolina ; da Fonseca Vieira, Vinícius . SaraBotTagger - A Light Tool to Identify Bots in Twitter. Studies in Computational Intelligence. 1ed.: Springer International Publishing, 2021, v. , p. 104-116.

  • da F. Vieira, Vinícius ; Xavier, Carolina R. ; EVSUKOFF, ALEXANDRE G. . Comparing the Community Structure Identified by Overlapping Methods. Studies in Computational Intelligence. 1ed.: Springer International Publishing, 2020, v. , p. 262-273.

  • Félix, Lucas G. S. ; BARBOSA, CARLOS M. ; Carvalho, Iago A. ; da F. Vieira, Vinícius ; Xavier, Carolina Ribeiro . Forecasting Soccer Market Tendencies Using Link Prediction. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2020, v. , p. 663-675.

  • de Paula Barros Baêta, Ygor Henrique ; Pigozzo, Alexandre Bittencourt ; Xavier, Carolina Ribeiro . Top-Down Parsing Error Correction Applied to Part of Speech Tagging. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2020, v. , p. 650-662.

  • SILVA, JOÃO GABRIEL ROCHA ; Campos, Ricardo Silva ; Xavier, Carolina Ribeiro ; dos SANTOS, Rodrigo Weber . Simplified Models for Electromechanics of Cardiac Myocyte. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2020, v. , p. 191-204.

  • BOECHAT, B. B. ; Xavier, Carolina Ribeiro ; SILVA, D. L. . DESPERTANDO PARA AS TECNOLOGIAS DIGITAIS: UMA EXPERIÊNCIA NO ENSINO FUNDAMENTAL. In: Alex Mourão Terzi; Débora Andrade; Dener Luiz da Silva. (Org.). Diálogos Inter (disciplinares): caminhos de um programa de extensão universitária. 1ed.Belo Horizonte: FTD, 2018, v. 1, p. 11-21.

  • Rodrigues, Rodrigo Ferreira ; da Silva, Arthur Rodrigues ; da Fonseca Vieira, Vinícius ; Xavier, Carolina Ribeiro . Optimization of the Choice of Individuals to Be Immunized Through the Genetic Algorithm in the SIR Model. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 62-75.

  • da Silva, Arthur Rodrigues ; Rodrigues, Rodrigo Ferreira ; da Fonseca Vieira, Vinícius ; Xavier, Carolina Ribeiro . Influence Maximization in Network by Genetic Algorithm on Linear Threshold Model. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 96-109.

  • Carvalho, Iago Augusto ; da Rocha, Daniel G. ; SILVA, JOÃO GABRIEL ROCHA ; da Fonseca Vieira, Vinícus ; Xavier, Carolina Ribeiro . Study of Parameter Sensitivity on Bat Algorithm. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. , p. 494-508.

  • SILVA, JOÃO GABRIEL ROCHA ; Carvalho, Iago Augusto ; LOUREIRO, MICHELLI MARLANE SILVA ; da Fonseca Vieira, Vinícus ; Xavier, Carolina Ribeiro . Developing Tasty Calorie Restricted Diets Using a Differential Evolution Algorithm. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. 1, p. 171-186.

  • Xavier, Carolina Ribeiro ; da Fonseca Vieira, Vinícius ; EBECKEN, NELSON FRANCISCO FAVILLA ; Evsukoff, Alexandre Goncalves . Studying Reciprocity and Communication Probability Ratio in Weighted Phone Call Ego Networks. In: Giuseppe Mangioni, Filippo Simini ,Stephen Miles Uzzo , Dashun Wang. (Org.). Studies in Computational Intelligence. 1ed.: Springer International Publishing, 2015, v. 597, p. 201-208.

  • BARBOSA, CARLOS M. G. ; FÉLIX, LUCAS G. DA S. ; ALVES, ANTÔNIO PEDRO S. ; Xavier, Carolina Ribeiro ; VIEIRA, VINÍCIUS DA FONSECA . Uso de URLs para caracterização de comunidades em Redes Sociais Online. In: Brazilian Workshop on Social Network Analysis and Mining, 2022, Brasil. Anais do XI Brazilian Workshop on Social Network Analysis and Mining (BraSNAM 2022), 2022. p. 25.

  • ALVES, ANTÔNIO P. S. ; FÉLIX, LUCAS G. DA SILVA ; BARBOSA, CARLOS M. G. ; VIEIRA, VINÍCIUS DA FONSECA ; Xavier, Carolina Ribeiro . Tiradentes no TripAdvisor - O que se fala sobre essa simpática cidade histórica?. In: Brazilian Workshop on Social Network Analysis and Mining, 2022, Brasil. Anais do XI Brazilian Workshop on Social Network Analysis and Mining (BraSNAM 2022), 2022. p. 145.

  • BARBOSA, C. M. ; FELIX, L. G. S. ; ALVES, A. P. S. ; XAVIER, C. R. ; V. F. Vieira . SaraBotTagger - A Light Tool to Identify Bots in Twitter. In: COMPLEX NETWORKS 2020 2020: Complex Networks & Their Applications IX, 2021, online. Studies in Computational Intelligence, 2020. v. 944. p. 104-116.

  • OLIVEIRA, R. S. ; Ribeiro Xavier, Carolina ; Vieira, Vinicius da Fonseca ; ROCHA, B. M. ; REIS, R. F. ; QUINTELA, B. M. ; Lobosco, Marcelo ; SANTOS, Rodrigo Weber dos . How fast vaccination can control the COVID-19 pandemic in Brazil?. In: International Conference on Computational Science, 2021. International Conference on Computational Science, 2021. v. 12743. p. 497-510.

  • COELHO, A. L. A. B. ; Campos, R. S. ; SILVA, J. G. R. ; Ribeiro Xavier, Carolina ; dos SANTOS, Rodrigo Weber . Modeling the Electromechanics of a Single Cardiac Myocyte. In: The International Conference on Computational Science, 2021. Lecture Notes in Computer Science, 2021. v. 12743. p. 540-550.

  • RIBEIRO, JOSÉ MAURO ; ALENCAR, RICARDO ; MARTINS, GUSTAVO ; XAVIER, CAROLINA ; EVSUKOFF, ALEXANDRE ; VIEIRA, VINÍCIUS . Caracterização da relação entre redes sociais e mobilidade de indivíduos em contextos urbanos. In: Brazilian Workshop on Social Network Analysis and Mining, 2021, Brasil. Anais do X Brazilian Workshop on Social Network Analysis and Mining (BraSNAM 2021), 2021. p. 32.

  • M. JÚNIOR, RONALDO A. ; VIEIRA, VINÍCIUS F. ; Xavier, Carolina R. . Estudo de critérios de distribuição de vacinas com doses limitadas - uma abordagem baseada em redes complexas. In: Brazilian Workshop on Social Network Analysis and Mining, 2021, Brasil. Anais do X Brazilian Workshop on Social Network Analysis and Mining (BraSNAM 2021), 2021. p. 103.

  • SILVA, SAMUEL O. ; GOULART, BRUNO O. ; SCHETTINI, MARIA JÚLIA M. ; XAVIER, CAROLINA ; SILVA, JOÃO GABRIEL . Estudo comparativo de métricas de ranking em Redes Sociais. In: Encontro Nacional de Computação dos Institutos Federais, 2020, Brasil. Anais do Encontro Nacional de Computação dos Institutos Federais (EnCompIF 2020), 2020. p. 53.

  • SILVA, J. G. R. ; CAMPOS, R. S. ; Xavier, Carolina Ribeiro ; SANTOS, Rodrigo Weber dos . Simplified Models for Electromechanics of Cardiac Myocyte. In: Computational Science and Its Applications - ICCSA 2020, 2020, Caligary. Lecture Notes in Computer Science LNCS, 2020. v. 12249. p. 191-204.

  • BAETA, Y. H. P. B. ; PIGOZZO, A. B. ; Xavier, Carolina Ribeiro . Top-Down Parsing Error Correction Applied to Part of Speech Tagging. In: Computational Science and Its Applications - ICCSA 2020, 2020. Lecture Notes in Computer Science LNCS, 2020. v. 12249. p. 650-662.

  • FELIX, L. G. S. ; BARBOSA, C. M. ; CARVALHO, I. A. ; V. F. Vieira ; Xavier, Carolina R. . Forecasting Soccer Market Tendencies Using Link Prediction. In: ICCSA 2020 - 20th International Conference on Computational Science and Its Applications -, 2020, Cagliary. Lecture Notes in Computer Science LNCS, 2020. v. 12249. p. 663-675.

  • Rodrigues, Rodrigo Ferreira ; V. F. Vieira ; XAVIER, CAROLINA RIBEIRO XAVIER . Escolha de indivíduos a serem imunizados via Algoritmo Genético sobre o modelo SIR em redes complexas. In: XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL ? X ENCONTRO DE CIÊNCIA E TECNOLOGIA DE MATERIAIS, 2019, Juiz de Fora. XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL ? X ENCONTRO DE CIÊNCIA E TECNOLOGIA DE MATERIAIS, 2019.

  • ROCHA, J. P. ; Loureiro, M. M. S. ; XAVIER, CAROLINA RIBEIRO XAVIER ; LOUREIRO, F. S. . UM PROBLEMA GEOMÉTRICO INVERSO DE BIOTRANSFERÊNCIA DE CALOR PARA DETECÇÃO DE TUMORES VIA ALGORITMO GENÉTICO. In: XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL ? X ENCONTRO DE CIÊNCIA E TECNOLOGIA DE MATERIAIS, 2019, Juiz de Fora. XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL ? X ENCONTRO DE CIÊNCIA E TECNOLOGIA DE MATERIAIS, 2019.

  • CARMO, V. E. ; TORGA, R. A. ; Xavier, Carolina R. ; Vieira, Vinicius da Fonseca . Investigação de usuários influentes para propagação de notícias em redes sociais. In: XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL ? X ENCONTRO DE CIÊNCIA E TECNOLOGIA DE MATERIAIS, 2019, Juiz de Fora. XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL ? X ENCONTRO DE CIÊNCIA E TECNOLOGIA DE MATERIAIS, 2019.

  • BARBOSA, CARLOS MAGNO G. ; FELIX, LUCAS GABRIEL DA S. ; Xavier, Carolina R. ; VIEIRA, VINÍCIUS DA F. . A framework for the analysis of information propagation in social networks combining complex networks and text mining techniques. In: the 25th Brazillian Symposium, 2019, Rio de Janeiro. Proceedings of the 25th Brazillian Symposium on Multimedia and the Web - WebMedia '19. New York: ACM Press, 2019. p. 401.

  • FELIX, LUCAS G. S. ; BARBOSA, CARLOS M. ; VIEIRA, VINÍCIUS DA F. ; Xavier, Carolina Ribeiro . A Social Network Analysis of Football with Complex Networks. In: XXV Simpósio Brasileiro de Sistemas Multimídia e Web, 2019. Anais Estendidos do Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia), 2019. p. 47.

  • BARBOSA, CARLOS ; FÉLIX, LUCAS ; VIEIRA, VINÍCIUS ; XAVIER, CAROLINA . Sara - A Semi-Automatic Framework for Social Network Analysis. In: XXV Simpósio Brasileiro de Sistemas Multimídia e Web, 2019. Anais Estendidos do Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia), 2019. p. 59.

  • RIBEIRO, ELVIS H. ; PIGOZZO, ALEXANDRE B. ; Xavier, Carolina R. ; DOS SANTOS, RODRIGO W. ; Lobosco, Marcelo . Stochastic Petri Net Models for the Study of Macrophage Reprogramming. In: 2019 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), 2019, San Diego. 2019 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), 2019. p. 2184-2191.

  • da F. Vieira, Vinícius ; XAVIER, C. R. ; A. G. Evsukoff . Comparing the Community Structure Identified by Overlapping Methods. In: Studies in Computational Intelligence, 2019, Lisboa. Proceedings of the Eighth International Conference on Complex Networks and Their Applications. Cham: Springer, 2019. p. 262-273.

  • SILVA, J. G. R. ; ROCHA, B. M. ; Campos, R. S. ; Xavier, Carolina Ribeiro ; SANTOS, R. W. . MODELOS SIMPLIFICADOS PARA ACOPLAMENTO ELETROMECÂNICO DE MIÓCITO CARDÍACO. In: XXIII Congreso sobre Métodos Numéricos y sus Aplicaciones, 2018, La Plata. Anais do XXIII Congreso sobre Métodos Numéricos y sus Aplicaciones, 2018.

  • RODRIGUES, F. ; A. G. Evsukoff ; Xavier, Carolina Ribeiro ; ZIVIANI, A. ; Vieira, Vinicius da Fonseca . Análise de Mobilidade Urbana em Diferentes Estratos Sociais a partir de uma Rede de Telefonia Móvel. In: Computação Urbana, 2018, Campos do Jordão. Anais do II Workshop de Computação Urbana (COURB 2018), 2018. v. 2. p. 1-12.

  • Rodrigues, Rodrigo Ferreira ; da Silva, Arthur Rodrigues ; Vieira, Vinicius da Fonseca ; Xavier, Carolina R. . Escolha de indivíduos a serem imunizados via Algoritmo Genético sobre o modelo SIR em redes complexas. In: Simpósio Brasileiro de Pesquisa Operacional, 2018, Rio de Janeiro. Anais do L Simpósio Brasileiro de Pesquisa Operacional, 2018. v. 1. p. 1-12.

  • da Silva, Arthur Rodrigues ; Rodrigues, Rodrigo Ferreira ; Vieira, Vinicius da Fonseca ; Xavier, Carolina R. . Influence Maximization in Network by Genetic Algorithm on Linear Threshold Model. In: International Conference on Computational Science and Its Applications 2018, 2018, Melborne. Lecture Notes in Computer Science LNCS, 2018. v. 1. p. 1-12.

  • Rodrigues, Rodrigo Ferreira ; da Silva, Arthur Rodrigues ; Vieira, Vinicius da Fonseca ; Xavier, Carolina R. . Optimization of the Choice of Individuals to Be Immunized Through the Genetic Algorithm in the SIR Model. In: International Conference on Computational Science and Its Applications, 2018, Melborne. Lecture Notes in Computer Science LNCS, 2018.

  • FELIX, L. G. S. ; BARBOSA, C. M. ; CARVALHO, I. A. ; V. F. Vieira ; XAVIER, C. R. . Uma Análise das Seleções da Copa Utilizando uma Rede de Transferências de Jogadores entre Países. In: Brazilian Workshop on Social Network Analysis and Mining (BraSNAM), 2018, Natal. Brazilian Workshop on Social Network Analysis and Mining, 2018. v. 1. p. 1-12.

  • BARBOSA, C. M. ; FELIX, L. G. S. ; V. F. Vieira ; Xavier, Carolina R. . Investigação da relação entre empresas através da análise topológica de uma rede na Bolsa de Valores do Brasil. In: KDMiLe 2018, 2018, São Paulo. Symposium on Knowledge Discovery, Mining and Learning proceedings, 2018. v. 1. p. 1-8.

  • Félix, Lucas G. S. ; Xavier, Carolina Ribeiro ; BARBOSA, CARLOS M. ; Carvalho, Iago A. ; VIEIRA, VINÍCIUS DA F. . Uma análise das seleções da copa utilizando uma rede de transferências de jogadores entre países. In: VII Brazilian Workshop on Social Network Analysis and Mining, 2018. Anais do Brazilian Workshop on Social Network Analysis and Mining (BraSNAM). v. 1.

  • SILVA, JOAO GABRIEL ROCHA ; BERNARDINO, HEDER SOARES ; BARBOSA, HELIO JOSE CORREA ; DE CARVALHO, IAGO AUGUSTO ; DA FONSECA VIEIRA, VINICIUS ; LOUREIRO, MICHELLI MARLANE SILVA ; Xavier, Carolina Ribeiro . Solving a Multiobjective Caloric-Restricted Diet Problem using Differential Evolution. In: 2017 IEEE Congress on Evolutionary Computation (CEC), 2017, Donostia. 2017 IEEE Congress on Evolutionary Computation (CEC), 2017. v. 1. p. 2062.

  • CARVALHO, I. A. ; ROCHA, DANIEL GONÇALVES ; SILVA, J. G. R. ; V. F. Vieira ; Xavier, Carolina Ribeiro . Study of Parameter Sensitivity on Bat Algorithm. In: Computational Science and Its Applications ? ICCSA 2017, 2017, Trieste, Itália. Lecture notes in computer science. Cham: Springer International Publishing, 2017. v. 10404. p. 494-508.

  • SILVA, J. G. R. ; CARVALHO, I. A. ; Vieira, Vinicius da Fonseca ; Xavier, Carolina Ribeiro . A Differential Evolution Algorithm for Computing Caloric-Restricted Diets - Island-Based Model. In: Computational Science and Its Applications ? ICCSA 2017, 2017, Trieste, Itália. Lecture Notes in Computer Science LNCS. Cham: Springer International Publishing, 2017. v. 10404. p. 385-400.

  • SILVA, J. G. R. ; CARVALHO, I. A. ; BARBOSA, H. J. C. ; Vieira, Vinicius da Fonseca ; Xavier, Carolina Ribeiro . Um estudo comparativo entre um algoritmo genético e um algoritmo de evolução diferencial para o problema da dieta restrita em calorias. In: XLIX Simpósio Brasileiro de Pesquisa Operacional, 2017, Blumenal. Anais de XLIX Simpósio Brasileiro de Pesquisa Operacional, 2017.

  • SILVA, J. G. R. ; CARVALHO, I. A. ; Loureiro, M. M. S. ; VIEIRA, VINÍCIUS DA FONSECA ; Xavier, Carolina Ribeiro . Developing tasty calorie restricted diets using a Differential Evolution algorithm. In: ICCSA 2016 - International Conference on Computational Science and Its Applications 2016, 2016, Beijing. LNCS ICCSA 2016 Proceedings, 2016.

  • Schons, Thiago ; Xavier, Carolina Ribeiro ; A. G. Evsukoff ; VIEIRA, VINÍCIUS DA FONSECA . Analysis Spreading Patterns Generated by Model. In: ICCSA 2016 - International Conference on Computational Science and Its Applications 2016, 2016, Beijing. LNCS ICCSA 2016 Proceedings, 2016.

  • Xavier, Carolina Ribeiro ; VIEIRA, VINÍCIUS DA FONSECA ; EVSUKOFF, ALEXANDRE GONÇALVES . Populational algorithm for influence maximization. In: ICCSA 2016 - International Conference on Computational Science and Its Applications 2016, 2016, Beijing. LNCS ICCSA 2016 Proceedings, 2016.

  • SILVA, JOÃO GABRIEL ROCHA ; Xavier, Carolina Ribeiro ; VIEIRA, VINÍCIUS DA FONSECA . Estudo comparativo de métricas de ranqueamento em redes complexas utilizando coeficientes de correlação. In: 12. Congresso Brasileiro de Inteligência Computacional, 2015, Curitiba. Anais do 12. Congresso Brasileiro de Inteligência Computacional. p. 1.

  • VIEIRA, VINÍCIUS DA F. ; CARMO, VITOR E. DO ; Xavier, Carolina R. ; EVSUKOFF, ALEXANDRE G. ; EBECKEN, NELSON F. F. . Investigação Sobre Robustez de Comunidades em Redes. In: 12. Congresso Brasileiro de Inteligência Computacional, 2015, Curitiba. Anais do 12. Congresso Brasileiro de Inteligência Computacional. p. 1.

  • XAVIER, CAROLINA RIBEIRO XAVIER ; Vieira, Vinicius da Fonseca ; Ebecken, N. F. ; A. G. Evsukoff . Studying Reciprocity and Communication Probability Ratio in Weighted Phone Call Ego Networks. In: Complenet 2015 - Complex Networks 2015, 2015, Nova York. Studies in Computational Intelligence. Switzerland: Springer International Publishing, 2015. v. 597. p. 201.

  • CARVALHO, IAGO AUGUSTO DE CARVALHO ; ROCHA, DANIEL GONÇALVES ; VIEIRA, VINÍCIUS DA FONSECA VIEIRA ; XAVIER, CAROLINA RIBEIRO XAVIER . COMPARAÇÃO DE ALGORITMOS EVOLUTIVOS PARA O PROBLEMA DE AJUSTE DE HISTÓRICO USANDO O MODELO IMPES. In: XXXVI Iberian Latin American Congress on Computational Methods in Engineering, 2015, Rio de Janeiro, 2015.

  • Vieira, Vinicius da Fonseca ; Xavier, Carolina R. ; Ebecken, N. F. ; Evsukoff, A.G. . Modularity Based Hierarchical Community Detection in Networks. In: The 14th International Conference on Computational Science and Its Applications, 2014, Guimaraes. Computational Science and Its Applications - ICCSA 2014, 2014. v. 8582.

  • LEAL, THIAGO P. ; GONCALVES, AMANDA C.A. ; VIEIRA, VINICIUS DA F. ; Xavier, Carolina R. . DECoDe - Differential Evolution Algorithm for Community Detection. In: 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013), 2013, Manchester. 2013 IEEE International Conference on Systems, Man, and Cybernetics. p. 4635-4640.

  • VIEIRA, VINICIUS DA F. ; Xavier, Carolina R. ; EVSUKOFF, ALEXANDRE G. . Efficient Community Detection in Large Scale Networks. In: 2013 BRICS Congress on Computational Intelligence & 11th Brazilian Congress on Computational Intelligence (BRICSCCI & CBIC), 2013, Ipojuca. 2013 BRICS Congress on Computational Intelligence and 11th Brazilian Congress on Computational Intelligence, 2013. p. 669.

  • Xavier, C.R. ; SANTOS, E. P. ; VIEIRA, VINÍCIUS DA FONSECA ; Santos, Rodrigo Weber dos . Genetic Algorithm for the History Matching Problem. In: 2013 International Conference on Computational Science, 2013, Barcelona. Procedia Computer science - 2013 International Conference on Computational Science, 2013. v. 18. p. 946-955.

  • RESENDE, WALKIRIA K. ; NASCIMENTO, RENATO A. ; Xavier, Carolina R. ; LOPES, IARA F. ; NOBRE, CRISTIANE N. . The use of support vector machine and genetic algorithms to predict protein function. In: 2012 IEEE International Conference on Systems, Man and Cybernetics SMC, 2012, Seoul. 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC). p. 1773-1778.

  • Andrade, G. N. ; Teixeira, F. C. de S. ; XAVIER, C. R. ; OLIVEIRA, R. S. ; Rocha, L. C. D. ; A. G. Evsukoff . HASCH: High Performance Automatic Spell Checker for Portuguese Texts from the Web. In: International Conference on Computational Science, ICCS 2012, 2012, Omaha. Procedia Computer Science - International Conference on Computational Science 2012, 2012. v. 9. p. 403-411.

  • AMORIM, E. P. S. ; Xavier, Carolina Ribeiro ; Campos, R. S. ; SANTOS, R. W. . Comparison between Genetic Algorithms and Differential Evolution for Solving the History Matching Problem. In: ICCSA 2012, 2012, Salvador. Lectures Notes in computer science. Berlin, Heidelberg: Springer, 2012. v. 1.

  • Resende, W. K. ; Lisboa, B. T. ; Andrade, C. C. ; Vieira, Vinicius da Fonseca ; Nobre, C. N. ; XAVIER, C. R. . The use of genetic algorithms in adjusting the parameters of Support Vector Machine in the context of prediction of the translation initiation site. In: Iberian Latin American Congress on Computational Methods in Engineering, 2011, Ouro Preto. Iberian Latin American Congress on Computational Methods in Engineering, 2011.

  • Galvão, L. R. ; dos Santos, C. K. ; XAVIER, C. R. ; Vieira, Vinicius da Fonseca . Optimization of Equipment Maintenance Process Using Data Mining. In: Iberian Latin American Congress on Computational Methods in Engineering, 2011, Ouro Preto. Iberian Latin American Congress on Computational Methods in Engineering, 2011.

  • Teixeira, F. C. de S. ; Andrade, G. N. ; XAVIER, C. R. ; Rocha, L. C. D. . Automatic Spell Checker for Portuguese Texts from the Web. In: Iberian Latin American Congress on Computational Methods in Engineering, 2011, Ouro Preto. Iberian Latin American Congress on Computational Methods in Engineering, 2011.

  • Xavier, Carolina Ribeiro ; AMORIM, E. P. S. ; AMORIM, R. M. ; GOLDFELD, Paulo ; DICKSTEIN, Fllávio ; Lobosco, Marcelo ; Santos, Rodrigo Weber dos . Performance Evaluation of a Reservoir Simulator on a Multi-core Cluster. In: ICCSA 2010, 2010, Fukuoka. Lectures Notes in computer science. Berlin, Heidelberg: Springer, 2010. v. 1. p. 395-408.

  • AMORIM, E. P. S. ; GOLDFELD, Paulo ; DICKSTEIN, Fllávio ; Santos, Rodrigo Weber dos ; Xavier, Carolina Ribeiro . Automatic History Matching in Petroleum Reservoirs Using the TSVD Method. In: ICCSA 2010, 2010, Fukuoka. Lectures Notes in computer science. Berlin, Heidelberg: Springer, 2010. v. 1. p. 475-487.

  • XAVIER, C. R. ; SANTOS, E. P. ; Lobosco, M. ; Goldfeld, P. ; Dickstein, F. ; SANTOS, R. W. . ANÁLISE DE DESEMPENHO DE UM SIMULADOR DE RESERVATÓRIOS EM UM AMBIENTE PARALELO MULTIPROCESSADO. In: CILAMCE, 2009, Buzios. CILAMCE, 2009.

  • Xavier, Carolina Ribeiro ; SANTOS, E. P. ; Goldfeld, P. ; Dickstein, F. ; SANTOS, R. W. . Comparação de métodos de otimização para o problema de ajuste de histórico. In: XII Encontro de Modelagem Computacional, 2009, Rio de Janeiro. XII Encontro de Modelagem Computacional, 2009.

  • Xavier, Carolina Ribeiro ; SANTOS, Elisa Portes dos ; Goldfeld, Paulo ; Dickstein, Flavio ; SANTOS, R. W. . Comparing Genetic Algorithms and Newton-Like Methods for the Solution of the History Matching Problem. In: ICCSA 2009, 2009, Baton Rouge. Lectures Notes in computer science. Berlin, Heidelberg: Springer, 2009. v. 1. p. 377-386.

  • XAVIER, CAROLINA ; SACHETTO, RAFAEL ; VIEIRA, VINICIUS ; Weber dos Santos, Rodrigo ; MEIRA JR., WAGNER . Multi-level Parallelism in the Computational Modeling of the Heart. In: 19th International Symposium on Computer Architecture and High Performance Computing (SBACPAD'07), 2007, Gramado. 19th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'07), 2007. p. 3.

  • XAVIER, C. R. ; SANTOS, R. W. . Paralelização de um Simulador Cardíaco explorando a Independência de Tarefas. In: X Encontro de Modelagem Computacional, 2007, Nova Friburgo. X Encontro de Modelagem Computacional, 2007.

  • XAVIER, C. R. ; MARTINS, D. ; SANTOS, R. W. . Comparing Two Parallel Genetic Algorithms for the Inverse Problem Associated to the Cardiac Bidomain Equations. In: Workshop on High Performance Computing in the life Sciences, 2006, ouro preto. International Symposium on Computer Architecture and High Performance Computing, 2006.

  • MARTINS, D. ; XAVIER, C. R. ; SANTOS, E. P. ; OLIVEIRA, R. S. ; SANTOS, R. W. . Estimating Conductivity Distribution of Transmural Wedges of the Left Ventricle Using Parallel Genetic Algorithms. In: Computers in Cardiology, 2006, Valencia/Espanha. Computers in Cardiology, 2006. p. 49-52.

  • da F. Vieira, Vinícius ; Xavier, Carolina R. ; EVSUKOFF, ALEXANDRE GONÇALVES . SOCS: A Fast Method for Overlapping Community Detection in Large Networks. In: 8th International Conference on Complex Networks and their Applications, 2019, Lisboa. 8th International Conference on Complex Networks and their Applications, 2019.

  • MARTINS, D. ; XAVIER, C. R. ; SANTOS, E. P. ; SANTOS, R. W. . TWO-LEVEL PARALLELISM EXPLOITED IN THE SOLUTION OF THE INVERSE PROBLEM ASSOCIATED TO CARDIAC ELECTROPHYSIOLOGY. In: 2nd LNCC Meeting on Computational Modelling, 2006, Petrópolis. 2nd LNCC Meeting on Computational Modelling, 2006.

  • Vieira, Vinicius da Fonseca ; Xavier, Carolina Ribeiro ; Evsukoff, A.G. . Hierarchy Identification in Networks Based on Modularity Variation. In: International School and conference on network science, 2013, Copenhagen. NetSci 2013, 2013.

  • BARBOSA, C. M. ; FELIX, L. G. S. ; ALVES, A. P. S. ; Ribeiro Xavier, Carolina ; VIEIRA, VINÍCIUS DA FONSECA . Investigation of the information sources for the characterization of users in Online Social Networks. iSys - Revista Brasileira de Sistemas de Informação , 2023.

  • CARMO, V. E. ; VIEIRA, VINCIUS DA FONSECA ; SACHETTO, RAFAEL ; Ribeiro Xavier, Carolina . Brazil FastCELF++: a novel and fast heuristic for influence maximization in complex networks. LECTURE NOTES IN COMPUTER SCIENCE (INTERNET) , 2023.

  • SACHETTO, RAFAEL ; Ribeiro Xavier, Carolina . OdeShell: an interactive tool and a specific domain language to develop models based on Ordinary Differential Equations. LECTURE NOTES IN COMPUTER SCIENCE (INTERNET) , 2023.

  • Xavier, Carolina Ribeiro ; AMORIM, E. P. S. ; Vieira, Vinicius da Fonseca ; SANTOS, R. W. . Genetic Algorithm for the History Matching Problem. 2013. (Apresentação de Trabalho/Conferência ou palestra).

  • Teixeira, F. C. de S. ; Andrade, G. N. ; XAVIER, C. R. ; Rocha, L. C. D. . Automatic Spell Checker for Portuguese Texts from the Web. 2011. (Apresentação de Trabalho/Congresso).

  • Galvão, L. R. ; dos Santos, C. K. ; XAVIER, C. R. ; Vieira, Vinicius da Fonseca . Optimization of Equipment Maintenance Process Using Data Mining. 2011. (Apresentação de Trabalho/Congresso).

  • Resende, W. K. ; Lisboa, B. T. ; Andrade, C. C. ; Vieira, Vinicius da Fonseca ; Nobre, C. N. ; XAVIER, C. R. . The use of genetic algorithms in adjusting the parameters of Support Vector Machine in the context of prediction of the translation initiation site. 2011. (Apresentação de Trabalho/Congresso).

  • XAVIER, C. R. ; SANTOS, E. P. ; Goldfeld, P. ; Dickstein, F. ; SANTOS, R. W. . Desenvolvimento de um modelo de reservatorios. 2010. (Apresentação de Trabalho/Outra).

  • XAVIER, C. R. ; SANTOS, E. P. ; Lobosco, M. ; Goldfeld, P. ; Dickstein, F. ; SANTOS, R. W. . ANÁLISE DE DESEMPENHO DE UM SIMULADOR DE RESERVATÓRIOS EM UM AMBIENTE PARALELO MULTIPROCESSADO. 2009. (Apresentação de Trabalho/Congresso).

  • XAVIER, C. R. ; SANTOS, R. W. ; Goldfeld, P. ; Dickstein, F. ; SANTOS, E. P. . Comparação de métodos de otimização para o problema de ajuste de histórico. 2008. (Apresentação de Trabalho/Conferência ou palestra).

  • XAVIER, C. R. ; SANTOS, R. W. . Paralelização de um Simulador Cardíaco Explorando a Independência de Tarefa. 2007. (Apresentação de Trabalho/Conferência ou palestra).

Projetos de pesquisa

  • 2023 - Atual

    INCT Combate a Fome: Estratégias e políticas públicas para a realização do direito humano à alimentação adequada - Abordagem transdisciplinar de sistemas alimentares com apoio de Inteligência Artificial, Descrição: A fome é um problema complexo que não natural nem aceitável, com caráter estrutural e multicausal, natureza política e econômica, e impactos sobre a vida social. A alimentação adequada é um direito humano, e sua garantia está alinhada aos ODS. Porém, há um aumento global da fome e desnutrição, agravada pela situação pandêmica. No Brasil, 33 milhões de brasileiros hoje estão em Insegurança Alimentar (InA) grave. A InA tem conexões com todas as etapas das atividades dos sistemas alimentares e requerem soluções sustentáveis e justas. Porém, evidências em avaliação de programas de combate à fome apontam resultados divergentes de uma mesma política pública. Nesta proposta, utilizando uma abordagem multi e transdisciplinar serão desenvolvidos estudos a partir de cinco eixos: Saúde e Nutrição; Inteligência Artificial; Políticas Públicas, Cadeia de Valor e Comunicação. São objetivos: conduzir estudos investigando a InA e os desafios e estratégias para atendimento do direito humano à alimentação adequada; identificar os determinantes da produção sustentável de alimentos, a redução dos gargalos ao abastecimento e distribuição de alimentos de qualidade e saudáveis e diminuição das perdas e desperdício de alimentos; investigar os determinantes sociais vinculados aos resultados de políticas públicas de alimentação e nutrição; pesquisar, desenvolver e aplicar ferramentas e técnicas computacionais para coleta, fusão, processamento, armazenamento, análise, extração do conhecimento e disseminação de dados e informações sobre fome e InA em ambientes urbanos. Como inovação, serão construídas ferramentas de análise e visualização modernas, que apoiem o tomador de decisão usando inteligência artificial. Outra inovação é a constituição da Comunicação como um eixo de investigação para a difusão e divulgação científicas, possibilitando a democratização do conhecimento para a melhoria da qualidade de vida das pessoas e a diminuição das desigualdades.... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Coordenador / Dirce Maria Lobo Marchioni - Integrante.

  • 2022 - Atual

    Desenvolvimento de modelos computacionais personalizados da miocardite e da formação de edemas decorrentes de infecção viral, Descrição: Para garantir que seu projeto seja compreendido pelos revisores e, ao mesmo tempo, seja avaliado rapidamente, monte seu resumo conforme a estrutura abaixo: 1. Uma ou duas sentenças fornecendo uma introdução básica do tema global da proposta, de modo compreensível a um cientista de qualquer área do conhecimento; 2. Duas ou três sentenças enfocando mais detalhadamente o tema específico da proposta, de modo compreensível a um cientista atuante em temas correlatos; 3. Uma ou duas sentenças declarando claramente o problema geral a ser abordado nesta proposta, enfatizando sua importância e necessidade de estudos; 4. Uma sentença explicando a questão específica ou a hipótese a ser investigada; 5. Uma ou duas sentenças apresentando evidências de que esta questão ou hipótese é plausível; 6. Uma ou duas sentenças explicando a estratégia metodológica que permitirá resolver.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Doutorado: (2) . , Integrantes: Carolina Ribeiro Xavier - Integrante / Rafael Sachetto Oliveira - Integrante / Marcelo Lobosco - Integrante / Vinicius da Fonseca Vieira - Integrante / Rodrigo Weber dos Santos - Integrante / Michelli Marlane Silva Loureiro - Integrante / Bernardo Martins Rocha - Coordenador / Rafael Alves Bonfim de Queiroz - Integrante / Alexandre B. Pigozzo - Integrante / Ruy Freitas Reis - Integrante / Barbara Melo Quintela - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2021 - Atual

    FERRAMENTAS DE APOIO TRATAMENTO MICROCEFALIA, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Coordenador / Rodrigo Weber dos Santos - Integrante / Rafael Sachetto Oliveira - Integrante / Vinicius da Fonseca Vieira - Integrante / Marcelo Lobosco - Integrante / Bernardo Martins Rocha - Integrante / Alexandre B. Pigozzo - Integrante / Suellen Mary Marinho dos Santos Andrade - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

  • 2021 - Atual

    Construção de uma plataforma de ensino de programação, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Coordenador / Rafael Sachetto Oliveira - Integrante / Vinicius da Fonseca Vieira - Integrante., Financiador(es): Universidade Federal de São João Del-Rei - Auxílio financeiro.

  • 2019 - Atual

    Análise, simulação e validação de um modelo matemático da resposta imune inata a uma infecção, Descrição: Nos últimos anos, tem havido um crescente interesse na modelagem matemática e computacional do sistema imune humano (SIH). Modelos computacionais da dinâmica do SIH podem contribuir para um melhor entendimento da relação entre fenômenos complexos e a resposta imune. Além disso, no futuro, modelos computacionais irão auxiliar o desenvolvimento de novos medicamentos e terapias para diferentes doenças. Este trabalho pretende estudar a resposta imune durante uma infecção por Staphylococcus aureus e a formação de abscessos durante esse processo infeccioso. As infecções por S. aureus estão associadas à formação de abscessos e à persistência da bactéria no corpo. Após a administração intravenosa de S. aureus em camundongos, a bactéria S. aureus se dissemina rapidamente em tecidos de órgãos e provoca lesões chamadas abscessos que se desenvolvem ao longo de semanas. Os estafilococos crescem como colônias no centro da lesão do abscesso e são fechados por pseudocápsulas (coágulos de fibrina), separando-os e protegendo-os de leucócitos polimorfonucleares (também conhecidos como neutrófilos) e outras células do sistema imunológico. O objetivo dessa pesquisa é modelar e simular a dinâmica espaço-temporal de células e moléculas representativas da resposta imune inata a uma infecção por Staphylococcus aureus. Além disso, pretende-se validar o modelo desenvolvido com dados experimentais. Tal objetivo constitui a extensão e aplicação de modelos desenvolvidos no escopo de trabalhos anteriores.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Integrante / Vinicius da Fonseca Vieira - Integrante / Lobosco, Marcelo - Integrante / Michelli Marlane Silva Loureiro - Integrante / Alexandre B. Pigozzo - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2018 - 2019

    Estudo de modelos de influência, Descrição: Para realização de uma análise da topologia de uma rede é necessário a definição de alguma métrica. Existem diversas métricas e medidas utilizadas para essas análises, neste trabalho serão estudadas as métricas mais importantes para o entendimento da importância dos nós de uma rede complexa. A proposta se preocupa com o entendimento dos algoritmos de redes complexas para simulação da influência. O bolsista da graduação praticará muito da programação de computadores e fará muitas análises de resultados, compreenderá a importância de testes estatticos e da busca por fontes confiáveis na literatura vasta da área de redes complexas. Serão estudados os algoritmos conhecidos de influência para redes direcionadas ou não-direcionadas, com ou sem peso nas arestas. Os resultados serão comparados entre si utilizando, principalmente, coeficientes de correlação e confronto com o ground truth nos casos em que as redes possuirem esta possiblidade.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Coordenador / Vinicius da Fonseca Vieira - Integrante / da Silva, Arthur Rodrigues - Integrante.

  • 2017 - 2018

    Algoritmos evolutivos aplicados a modelos epidemiológicos para estudo de imunização, Descrição: O estudo de processos de espalhamento tem papel fundamental na compreensão de fenômenos em diversos cenários. Em um contexto biológico, processos epidemiológicos de propagação de doenças como HIV, gripes e tuberculose podem ser analisados através de modelos de espalhamento. Em sistemas digitais, a propagação de vrus de computadores tem um padrão de espalhamento semelhante ao espalhamento de doenças e pode também ser estudada como um processo epidêmico. Nesse sentido, vale destacar o importante trabalho de Pastor-Satorras e Vespignani, no qual são analisados dados de epidemias reais de vrus de computadores. Os autores obtêm uma caracterização estatstica que auxilia na compreensão, não apenas sobre vrus de computadores mas também de outros fenômenos de comunicação e fenômenos sociais. A analogia da epidemiologia com processos de espalhamento também é essencial em fenômenos observados em redes sociais, muitas vezes modelados como processos de difusão de informação. Neste projeto utilizaremos um modelo epidemiológico em redes para simular o espalhamento de uma doença e faremos a identificação de indivduos importantes em uma rede através de um algoritmo evolutivo. Visando conhecer o modelo com o seu próposito inicial, a epidemiologia, para então e trabalhos futuros utilizá-lo para fenômenos bastante utilizados hoje, o espalhamento de informações.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Coordenador / Rodrigues, Rodrigo Ferreira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2017 - Atual

    Mineração de dados de consumo para utilização eficiente de energia elétrica em contextos urbanos, Projeto certificado pelo(a) coordenador(a) Vinícius da Fonseca Vieira em 23/05/2022., Descrição: Com o avanço do crescimento da população em áreas urbanas, tem havido um grande interesse em estrategias que permitam a utilização eficiente e sustentável de energia elétrica e de tal forma que atendaas a demanda. Neste projeto, pretende-se explorar os dados de consumo de energia em edifícios, obtidos atraves de smart meters instalados em cada uma das construçoes. A partir da análise dos dados de consumo, propõe-se o desenvolvimento de uma metodologia capaz de identificar padroes de consumo dos diferentes usuários, permitindo a compreensão do comportamento dos consumidores em diferentes localizações nas cidades e durante um longo período de tempo. Com isso, e possível a definiçao de estratégias inteligentes para identificação de consumidores que apresentem grande potencial a programas de deslocamento de pico de demanda, melhorando a eficiencia do sistema elétrico como um todo. Mais ainda, os diferentes perfis de consumo podem ser incorporados a modelos de microgrid, que são linhas de transmissão de energia em unidades com alto grau de autonomia que podem gerenciar com eficiencia a produção e a distribuição de energia utilizando painéis solares e sistemas de armazenamento de energia. O trabalho proposto tem grande potencial de contribuição para a academia, para as empresas e para a sociedade em geral, já que visa compreender o consumo de energia, permitindo a utilizaçao racional e eficiente de recursos naturais.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Integrante / Vinicius da Fonseca Vieira - Coordenador / Alexandre Gonçalves Evsukoff - Integrante / Pedro Bittencourt - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2016 - 2017

    Estudo do algoritmo de influência Spreading Activation, Descrição: O modelo Spreading Activation surgiu da psicologia cognitiva como forma de modelar a memória humana, representando a maneira que o cérebro utiliza uma rede de conceitos para relacionar as informações da memória. Os conceitos são apresentados como sequências de unidades cognitivas, que podem ser representados graficamente como vértices, ligados por arestas quando os conceitos são diretamente relacionados. Utilizando uma representação de grafos tradicional, associações mais próximas poderiam estar relacionadas por arestas com pesos maiores. O Spreading Activation pode ser interpretado como um processo de propagação de energia. Esse modelo tem sido utilizado tanto para modelar o processamento de informações no cerébro como para métodos de recuperação de informação em redes, além da simulação de espalhamento de influência em redes de ligações telefônicas, aplicação que tem importância mais destacada no presente projeto. A ideia do Spreading Activation pode ser aplicada ao contexto de redes sociais quando leva-se em consideração a hipótese de que os indivduos podem causar um efeito boca-a-boca na rede, ou seja, indivduos em uma rede podem influenciar seus amigos a adotarem uma determinada ideia, comportamento ou produto. Esses amigos recém ativados pelos indivduos influenciadores, agora acabarão por influenciar os seus vizinhos, no entanto, com menos intensidade. Assim, os indivduos que vão sendo ativados nas iterações subsequentes farão isso com cada vez menos intensidade, até que nenhum vértice seja ativado em um dado passo de tempo. Neste projeto sera implementado um simulador do referido modelo e será estudado o seu comportamento, identificando os cenários que ele melhor representa.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Coordenador / Vinicius da Fonseca Vieira - Integrante / EVSUKOFF, ALEXANDRE G. - Integrante / Leandro campos Peres - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2016 - 2017

    Estudo de algoritmos de detecção de comunidades em redes complexas - Otimização da condutância, Descrição: Uma das caractersticas mais importantes que podem ser observadas a partir da análise das interações nas redes é a formação de comunidades, isto é, uma divisão da rede em grupos que apresentem grande densidade de conexões internas e uma baixa densidade de conexões externas. Existe um grande número de métodos com o objetivo de detectar tais comunidades na literatura. Entende-se, então, que o sentido de comunidade fica mais evidente a medida em que aumenta-se a diferença entre a densidade interna e a densidade externa de conexões. Dessa forma, é fundamental a definição de critérios para a avaliação de uma determinada divisão de uma rede em comunidades. A partir da análise de critérios de qualidade de comunidades em redes complexas, pode-se definir métodos que, sem nenhuma informação prévia a respeito da estrutura de uma rede, seja capaz de identificar redes com estruturas de comunidade bem definidas e redes queapresentam uma estrutura formada basicamente por conexões aleatórias. As medidas mais populares de qualidade de uma comunidade são a condutância e a modularidade. No entanto, neste projeto faremos o levantamento de diversos algoritmos que visam otimizar a condutância.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Carolina Ribeiro Xavier - Coordenador / Vinicius da Fonseca Vieira - Integrante / da Silva, Arthur Rodrigues - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2015 - 2016

    Estudo de métodos de ranking em redes complexas de larga escala, Descrição: Para realização de uma análise da topologia de uma rede é necessário a definição de alguma métrica. Existem diversas métricas e medidas utilizadas para essas análises, neste trabalho serãoestudadas as métricas mais importantes para o entendimento da importância dos nós de uma rede complexa. A proposta se preocupa com o entendimento dos algoritmos de redes complexas para ranking de nós. O bolsista da graduação praticará muito da programação de computadores e fará muitas análises de resultados, compreenderá a importância de testes estatticos e da busca por fontes cofiáveis na literatura vasta da área de redes complexas. Serão estudados os algoritmos conhecidos de ranking de nós para todo tipo de rede: direcionada ou não-direcionada, com ou sem peso nas arestas. Os eesultados serão validados e comparados entre eles utilizando, princiapalmente coeficientes de correlação e confronto com o ground truth nos casos em que as redes possuirem esta possiblidade.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Carolina Ribeiro Xavier - Coordenador / Vinicius da Fonseca Vieira - Integrante / João Gabriel Rocha Silva - Integrante / Iago Augusto de Carvalho - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.

  • 2015 - 2016

    Estudo de algoritmos de detecção de comunidades em redes complexas, Descrição: Os algoritmos de detecção de comunidades são usados para dividir um conjunto de dados em várias partições, chamadas de comunidades. Essas comunidades devem ter ligações densas internamente e ligações esparsas com elementos de outras comunidades. Podem ser encontrados na literatura diversos tipos de algorimos com o objetivo de dividir os dados em grupos, no entanto, a maioria deles são supervisionados ou semi-supervisionados, o que significa que o usuário necessita fornecer dados anteriores ou conhecer o número de grupos que deseja separar. Nos algoritmos de detecção de comunidades o único pré requisito é que os dados sejam representados por uma rede.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Coordenador / Vinicius da Fonseca Vieira - Integrante / Lucas Gabriel da Silva Félix - Integrante., Financiador(es): Universidade Federal de São João Del-Rei - Bolsa.

  • 2012 - 2015

    Gerência de Dados na Web por meio de Multivisões, Descrição: Descrição: A Internet tem vivenciado uma notória expansão e popularização nos últimos anos. Novos componentes e serviços estão sendo incorporados em um ritmo bastante acelerado e, a cada dia, são criadas novas aplicações que geram e utilizam uma quantidade maior de dados dos mais diversos tipos que atingem a quase todos os grupos de usuários. Esse grande volume de dados disponível na Web gerou nos últimos anos um desafiante cenário para variadas aplicações: há mais dados que efetivamente pode-se analisar. As duas abordagens comuns para lidar com essa grande quantidade de dados consistem em associá-los a categorias semanticamente significativas (Classificação Automática) ou filtrá-los, selecionando apenas aqueles potencialmente úteis aos usuários finais (Sistemas de Recomendação). Para o cenário da Web, em que os dados podem ser disponibilizados por meio de diferentes visões (e.g., o mesmo conteúdo apresentado sob a forma de áudio, vídeo e texto), e que nem todos os dados são efetivamente relevantes, um conjunto de técnicas que vem se mostrando muito efetivo são aquelas relacionadas a Classificação Multivisão e a Recomendação Multivisão. Assim, o objetivo deste projeto de pesquisa é propor novos modelos e algoritmos de mineração de dados capazes de explorar as diversas visões em que os dados são disponibilizados, bem como seus complexos relacionamentos, permitindo, assim, tanto uma organização quanto uma recomendação mais precisa de informação. Mais especificamente, o foco principal do presente projeto consiste na elaboração de novos modelos e algoritmos para classificação automática e recomendação de dados, que considerem as diversas visões dos dados e seus relacionamentos. Para que haja utilidade prática, esses modelos e algoritmos devem considerar aspectos intrínsecos dos dados reais que afetam negativamente modelos previamente propostos na literatura, tais como (1) qualidade da informação, (2) evolução temporal e (3) desbalanceamento e esparsidade de dados.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Integrante / Rafael Sachetto Oliveira - Integrante / Wagner Meira Júnior - Integrante / Rocha, L.C. - Coordenador / Thiago Cunha de Moura Salles - Integrante / Fernando Heneique Mourão - Integrante / Marcos André Gonçalves - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

  • 2012 - 2013

    Paralelizacao de um algoritmo de evolucao diferencial para o problema de ajuste de histórico, Descrição: A Engenharia de Reservatórios se preocupa com a retirada dos fluidos do interior das rochas, de modo que eles possam ser conduzidos até a superfcie. São estudadas na Engenharia de Reservatórios a caracterização das jazidas, as propriedades das rochas, as propriedades dos fluidos nelas contidos, a maneira como estes fluidos interagem dentro da rocha e as leis fsicas que regem o movimento dos fluidos no seu interior, com o objetivo de maximizar a produção de hidrocarbonetos com o menor custo possvel. Nos estudos de um reservatório de petróleo é fundamental o conhecimento de propriedades básicas da rocha e dos fluidos nela contidos. São essas propriedades que determinam as quantidades dos fluido existentes no meio poroso, a sua distribuição, a capacidade desses fluidos se moverem e, mais importante de todas, a quantidade de fluido que pode ser extrada. Além da porosidade e da permeabilidade, outras importantes propriedades devem ser consideradas . Em pequena escala, as propriedades de uma rocha podem ser obtidas através de experimentos em laboratório. Porém, na realidade, os reservatórios apresentam grandes extensões tornando impossvel a obtenção de suas propriedades globalmente. O estudo das propriedades através de amostragem também é inviável devido à grande heterogeneidade de caractersticas ao longo de um reservatório. Por isso, a crescente demanda pelo conhecimento das propriedades de reservatórios impulsionou o desenvolvimento de técnicas alternativas para a obtenção dessas informações. A simulação de reservatório é uma das mais poderosas técnicas atualmente disponveis para a engenharia de reservatórios. Basicamente, um simulador de reservatório tem como objetivo reproduzir in-silico o reservatório e as leis fsicas que regem o escoamento dos fluidos, por exemplo, água e óleo. Dessa forma, um simulador de reservatório possibilita que diferentes técnicas de recuperação de petróleo sejam avaliadas a um custo baixo [4]. Porém, novamente, para que o simulador possa reproduzir o objeto de estudo da forma mais fiel possvel, as propriedades fsicas do reservatório devem ser conhecidas. Um processo muito conhecido na área de engenharia de reservatório que auxilia na estimativa dessas propriedades do reservatório é o processo denominado ajuste de histórico. Em um reservatório em operação há alguns anos, informações sobre fluxos e pressões nos poços são conhecidas. Este conjunto de dados é chamado de histórico do reservatório. O ajuste de histórico tem como principal objetivo calibrar modelos numéricos de reservatórios de petróleo, afim de que os resultados simulados sejam coerentes com o histórico de produção existente para que os modelos possam ser usados na previsão de produção com a confiabilidade desejada. Durante o processo de ajuste de histórico, alguns parâmetros do modelo de reservatório são alterados visando reproduzir numericamente da melhor forma possvel os dados do histórico do reservatório. Tipicamente um modelo de reservatórios depende de diversos parâmetros fsicos. Alguns parâmetros tpicos que podem ser determinados por um processo de ajuste histórico são, por exemplo, os campos de porosidade e de permeabilidade absoluta K.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Coordenador / Matheus Felipe Marques da Silva - Integrante.

  • 2010 - 2011

    Desenvolvimento de um corretor ortográfico automático de alto desempenho, Descrição: O surgimento da Web 2.0 provocou uma verdadeira democratização no âmbito da geração de dados. Esses dados são, em sua grande maioria, providos na forma de textos e vão desde reportagens providas por portais de notícias, utilizando uma linguagem formal, até comentários adicionados em aplicações de blog e micro-blogging que abusam do uso de uma linguagem informal ("Internetês"). Tratar essa heterogeneidade é um reprocessamento indispensável para que esses dados possam ser utilizados por ferramentas que visam inferir informações precisas. Nessa linha, uma importante ferramenta que precede qualquer outra tarefa de tratamento desses textos são os corretores ortográficos, ferramentas responsáveis por verificar e corrigir erros ortográficos. Verificar é apenas definir se ela está ou não na linguagem e corrigir é criar uma lista de palavras candidatas a substituição da errada e substituí-la por alguma palavra contida nesta lista. Os corretores podem ser interativos ou automáticos. Sendo os interativos beneficiados pelo auxílio do usuário, já no processo automático o algoritmo deve determinar qual a melhor substituição e realizá-la. O objetivo desse projeto de pesquisa é elaborar uma ferramenta de correção ortográfica completamente automática para ser utilizada na ponta de coletores automáticos de texto da Web (tweets, notícias, etc.) em português... , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Carolina Ribeiro Xavier - Integrante / leonardo rocha - Coordenador., Número de produções C, T & A: 1

  • 2007 - 2009

    Modelagem Matemática e Simulação de Reservatórios de Petróleo, Descrição: O processo de ajuste histórico para a Simulação de Reservatórios e o benefício decorrente de uma maior automação deste processo é extremamente importante para o planejamento e pesquisa em prospecção de petróleo. Trabalhos recentes desenvolveram programas computacionais de ajuste automático de histórico baseado no método de Gauss-Newton, regularizado por TSVD (decomposição em valores singulares truncada). Os resultados obtidos até o momento são encorajadores. O objetivo deste projeto é dar continuidade a este estudo. Este trabalho compreende diversas etapas. Inicialmente será desenvolvido um simulador de reservatório bifásico bidimensional incompressível. Neste simulador serão implementados opções de cálculo de derivadas. Este simulador servirá de base para o desenvolvimento de um código computacional paralelo eficiente para o ajuste automático de histórico baseado na técnica TSVD (decomposição em valores singulares truncada)... , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Integrante / Rodrigo Weber dos Santos - Integrante / Elisa Portes dos Santos - Integrante / Flávio Dickstein - Coordenador / Paulo Goldfeld - Integrante., Financiador(es): Petróleo Brasileiro - Rio de Janeiro - Matriz - Bolsa.

  • 2005 - 2007

    Modelagem numérica da eletrofisiologia cardíaca: Magnetocardiografia aplicada à Miocardite viral., Descrição: Caracterização não invasiva do status da doença de miocardite através de Magnetocardiografia e modelagem computacional, visando a redução do número de procedimentos invasivos (biopsia) realizados para o controle da dosagem do medicamento utilizado (Interferon). Metodos numéricos: Modelagem da atividade elétrica e magnética do coração através sistemas de eq. diferenciais parciais não lineares. Solução numérica através de elementos finitos, métodos de splitting, métodos de multigrid e computação paralela. Desenvolvimento e validação dos modelos: Diferentes parâmetros do modelo são usados para a reprodução das características eletrofisiológicas da patologia de miocardite. Os parâmetros se baseiam em experimentos animais ou procedimentos histológicos realizados com biopsias do endocardio humano. Alguns modelos são validados através de experimentos animais tipo perfusão Langendorff. Aplicacao dos resultados numéricos: Diferentes etapas da doença de miocardite devem ser reproduzidos pelos modelos numéricos. A solução para-frente dos modelos deve reproduzir a evolução espaço-temporal do campo magnético produzido pela atividade elétrica cadíaca. O campo magnético dos pacientes é medido através do método de Magnetocardigrafia. A comparação dos dados clínicos com os resultados numéricos dos diferentes modelos de miocardite deve auxiliar na tomada de decisão relacionada à dosagem do medicamento Interferon e desta forma reduzir o número de procedimentos invasivos (biopsia) aos quais os pacientes devem se submeter.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carolina Ribeiro Xavier - Integrante / Daves Marcio Silva Martins - Integrante / Rodrigo Weber dos Santos - Coordenador / Elisa Portes dos Santos - Integrante / Rafael Sachetto Oliveira - Integrante / Vinicius da Fonseca Vieira - Integrante., Financiador(es): Universidade Federal de Juiz de Fora - Bolsa.

Prêmios

2019

Melhor paper de Iniciação científica (orientadora) - A Social Network Analysis of Football with Complex Networks, Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia).

2018

Menção Honrosa - Investigação da relação entre empresas através da análise topológica de uma rede na Bolsa de Valores do Brasil, KDMILE - 6th Symposium on Knowledge Discovery,Mining and Learning.

2017

Menção Honrosa - Prêmio de Iniciação científica (orientadora), PROPE/UFSJ.

2007

Best application paper sbac-pad 2007, SBAC-PAD and NEC Award.

2007

3rd place in 2nd Marathon of parallel programming - SBAC-PAD 2007, SBAC-PAD and SGI.

Histórico profissional

Endereço profissional

  • Universidade Federal de São João Del-Rei, Departamento de Ciência da Computação. , Campus CTAN - BR 494, Km 2, Bengo, 36300-000 - Juiz de Fora, MG - Brasil, Telefone: (32) 33735138, URL da Homepage:

Experiência profissional

2023 - Atual

Universidade de São Paulo

Vínculo: , Enquadramento Funcional:

2015 - Atual

Universidade Federal de São João Del-Rei

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

2010 - 2015

Universidade Federal de São João Del-Rei

Vínculo: , Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Licença parcial para realização do doutorado.

Atividades

  • 04/2021

    Direção e administração, Programa de Pós Graduação em Ciência da Computação.,Cargo ou função, Coordenação do programa.

  • 08/2020

    Conselhos, Comissões e Consultoria, Conselho Diretor da UFSJ.,Cargo ou função, conselheira representante dos docentes.

  • 08/2017

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

  • 08/2010

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Algoritmos e estruturas de dados I, grafos, Linguagens formais e autômatos, Algoritmos genéticos, Algoritmos bioinspirados, Computaadores e sociedade

  • 07/2017 - 07/2019

    Conselhos, Comissões e Consultoria, Conselho de Ensino, Pesquisa e Extensão da UFSJ.,Cargo ou função, conselheira representante dos docentes que atuam na graduação.

  • 06/2015 - 03/2019

    Direção e administração, Departamento de Ciência da Computação.,Cargo ou função, Chefe de Departamento.

  • 02/2015 - 08/2016

    Conselhos, Comissões e Consultoria, Conselho de Ensino, Pesquisa e Extensão da UFSJ.,Cargo ou função, Conselheira representante dos docentes de graduação.

  • 05/2012 - 06/2014

    Direção e administração, Pró-Reitoria de Ensino de Graduação.,Cargo ou função, Coordenadora do Curso de Ciência da Computação.

  • 05/2012 - 06/2014

    Conselhos, Comissões e Consultoria, Coordenação do Curso de Ciência da Computação.,Cargo ou função, Membro do Núcleo Docente Estruturante.

  • 03/2012 - 06/2014

    Conselhos, Comissões e Consultoria, Coordenação do Curso de Ciência da Computação.,Cargo ou função, Membro do Colegiado do Curso de Ciência da Computação.

  • 10/2011 - 11/2012

    Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação.,Cargo ou função, Comissão de autoavaliação para visita do MEC - dimensão 1.

  • 02/2011 - 12/2011

    Conselhos, Comissões e Consultoria, Coordenação do Curso de Ciência da Computação.,Cargo ou função, Comissão de reformulação do Projeto Pedagógico do Curso de Ciência da Computação - UFSJ.

2010 - 2010

Universidade Federal de Juiz de Fora

Vínculo: Servidor Público, Enquadramento Funcional: professor substituto, Carga horária: 40

2006 - 2007

Universidade Federal de Juiz de Fora

Vínculo: Pesquisa e desenvolvimento, Enquadramento Funcional: Bolsista BIC-UFJF, Carga horária: 20, Regime: Dedicação exclusiva.

2006 - 2006

Universidade Federal de Juiz de Fora

Vínculo: Pesquisa e desenvolvimento, Enquadramento Funcional: voluntaria, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Projeto de Pesquisa orientado pelo professor Rodrigo Weber dos Santos

Atividades

  • 03/2010 - 07/2010

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos, Laboratório de programação, Laboratório de programação para web, Laboratório de programação 2

  • 03/2010 - 07/2010

    Ensino, Engenharia Elétrica - Energia, Nível: Graduação,Disciplinas ministradas, Algoritmos, Laboratório de programação 1

  • 03/2010 - 07/2010

    Ensino, Engenharia de produção, Nível: Graduação,Disciplinas ministradas, Algoritmos, Laboratório de programação 1

  • 03/2006 - 03/2007

    Pesquisa e desenvolvimento, Instituto de Ciências Exatas.,Linhas de pesquisa

  • 04/2004 - 03/2005

    Treinamentos ministrados , Reitoria, Pró-Reitoria de Pós-Graduação e Pesquisa.,Treinamentos ministrados, programação web

2007 - 2009

Universidade Federal do Rio de Janeiro

Vínculo: bolsista de pesquisa, Enquadramento Funcional: pesquisadora, Carga horária: 20

Outras informações:
Pesquisa para Petrobras. Simulação de poços e reservatório de petróleo.

Atividades

  • 08/2007 - 09/2008

    Pesquisa e desenvolvimento, Petrobras.,Linhas de pesquisa

2009 - 2009

Instituto Metodista Bennett

Vínculo: Celetista formal, Enquadramento Funcional: professor, Carga horária: 30

Outras informações:
Disciplinas: Linguagem Formais e Automatos - presencial Compliadores - presencial Redes - presencial Interaçao homem maquina - EAD Modelagem e avaliaçao de desempenho - EAD Modelagem e especificaçao de banco de dados - EAD

Atividades

  • 08/2009 - 12/2009

    Ensino, ciência da computação, Nível: Graduação,Disciplinas ministradas, compiladores, interação homem máquina, linguagens formais, modelagem e avaliação de desempenho, modelagem e especificação de banco de dados, redes de computadores

2008 - 2010

ADDLabs-UFF

Vínculo: Celetista formal, Enquadramento Funcional: analista de sistemas, Carga horária: 30

Atividades

  • 10/2009 - 02/2010

    Pesquisa e desenvolvimento, ADDGDPO.,Linhas de pesquisa

2005 - 2006

Andromeda Informática ltda

Vínculo: Estagiário, Enquadramento Funcional: Estágio regulamentado pela ufjf, Carga horária: 20

Outras informações:
Participação no projeto Equipment force, que consiste em um sistema codificado com auxílio do framework MIOLO e se destina a gestão de equipamentos pesados, idealizado por Alexandre Thees e coordenado por Marcos Henrique Ribeiro.

Atividades

  • 06/2005 - 05/2006

    Estágios , Desenvolvimento.,Estágio realizado, Banco de Dados - POSGRE.

2002 - 2005

Ricardo Antunes Imóveis

Vínculo: Estagio, Enquadramento Funcional: estagio regulamentado pelo CTU, Carga horária: 20

Outras informações:
Estágio exigido para formação no curso técnico de Transações Imobiliárias cursado no colégio técnico universitário de Juiz de Fora.