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
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
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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
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);
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);
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);
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);
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
Estudo de modelos de influência; 2019; Iniciação Científica - Universidade Federal de São João Del-Rei; Orientador: Carolina Ribeiro Xavier;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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
2015 - Atual
Universidade Federal de São João Del-ReiVí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-ReiVí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 ForaVínculo: Servidor Público, Enquadramento Funcional: professor substituto, Carga horária: 40
2006 - 2007
Universidade Federal de Juiz de ForaVínculo: Pesquisa e desenvolvimento, Enquadramento Funcional: Bolsista BIC-UFJF, Carga horária: 20, Regime: Dedicação exclusiva.
2006 - 2006
Universidade Federal de Juiz de ForaVí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 JaneiroVí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 BennettVí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-UFFVí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 ltdaVí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óveisVí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.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Carolina Ribeiro Xavier e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?