Karla Roberta Pereira Sampaio Lima

  • Endereço para acessar este CV: http://lattes.cnpq.br/8474346566632932
  • Última atualização do currículo em 12/09/2018


Possui bacharelado em Matemática pela Universidade Federal de Goiás (2002), mestrado em Ciência da Computação pela Universidade Federal de Goiás (2006) e Doutorado em Ciências da Computação (2010). Atualmente é membro do corpo docente da Universidade de São Paulo. (Texto informado pelo autor)


Identificação


Nome
Karla Roberta Pereira Sampaio Lima
Nome em citações bibliográficas
LIMA, KARLA ROBERTA;Lima, Karla R;LIMA, KARLA R.

Endereço


Endereço Profissional
Universidade de São Paulo, Escola de Artes Ciências e Humanidades.
Universidade de São Paulo, Escola de Artes Ciências e Humanidades (EACH). Av. Arlindo Bettio, 1000 Ermelino Matarazzo
Ermelino Matarazzo
03828000 - São Paulo, SP - Brasil
Telefone: (11) 30918121


Formação acadêmica/titulação


2006 - 2011
Doutorado em Ciências da Computação.
Universidade de São Paulo, USP, Brasil.
Título: Recoloração Convexa de Caminhos, Ano de obtenção: 2011.
Orientador: Yoshiko Wakabayashi.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Algoritmos de Aproximação; Branch-and-cut; Caminho; Faceta; Poliedro; Recoloração Convexa.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria dos Grafos.
Setores de atividade: Atividades profissionais, científicas e técnicas; Pesquisa e desenvolvimento científico.
2004 - 2006
Mestrado em Ciências da Computação.
Universidade Federal de Goiás, UFG, Brasil.
Título: Sobre uma classe de grafos Zm-bem-cobertos,Ano de Obtenção: 2006.
Orientador: Rommel Melgaço Barbosa.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1999 - 2002
Graduação em Matemática.
Universidade Federal de Goiás, UFG, Brasil.
Título: Programação Matemática em Variedades Riemannianas.
Orientador: Orizon Pereira Ferreira.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.




Atuação Profissional



Universidade de São Paulo, USP, Brasil.
Vínculo institucional

2012 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Docente, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2012 - Atual
Pesquisa e desenvolvimento , Escola de Artes Ciências e Humanidades, .

08/2012 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estrutura de Dados 2, Métodos Quantitativos aplicados à Administração de Empresas, Matrizes, Vetores e Geometria Analítica, Matemática Discreta I


Linhas de pesquisa


1.
Teoria dos Grafos, Otimização Combinatória, Programação Inteira


Projetos de pesquisa


2014 - Atual
Estudos Tóricos e Práticos de Problemas e Técnicas de Otimização

Projeto certificado pelo(a) coordenador(a) Yoshiko Wakabayashi em 23/05/2018.
Descrição: O principal objetivo do projeto é a aplicação de técnicas de otimização a diversos problemas, teóricos e práticos, com destaque ao uso de ferramentas de programação semidefinida, programação mista, combinatória poliédrica e algoritmos de aproximação. Nossas investigações contribuirão para avançar o estado-da-arte em otimização combinatória e em áreas correlatas..
Situação: Em andamento; Natureza: Pesquisa.
2013 - 2017
Estruturas Combinatórias, Otimização e Algoritmos em Teoria da Computação
Descrição: A área de Ciência da Computação experimenta hoje um crescimento vertiginoso. Novidades tecnológicas surgem e tornam-se obsoletas em um ou dois anos de existência. Novas abordagens surgem com enorme rapidez. Tal desenvolvimento se dá por necessidades criadas em outras áreas do conhecimento de novas técnicas para resolver problemas cada vez mais complexos. Hoje em dia é impossível imaginar um pesquisador de qualquer área do conhecimento que possa desenvolver suas atividades sem o apoio de métodos, técnicas ou tecnologia desenvolvida por pesquisadores de Ciência da Computação. É evidente que os mais bem sucedidos avanços tecnológicos em Ciência da Computação estão fundamentados em resultados teóricos. Áreas como mineração de dados e reconhecimento de padrões, para citar apenas duas, têm seus métodos fortemente baseados em técnicas desenvolvidas em Teoria da Computação. Nosso objetivo neste projeto é o estudo de estruturas combinatórias e diversas formas de abordar problemas relacionados com tais estruturas: métodos algébricos, geométricos, probabilísticos, combinatórios, etc. Uma melhor compreensão destes objetos pode resultar em novas estratégias e algoritmos mais eficientes para resolver problemas a eles relacionados. A equipe proponente tem pesquisadores com grande experiência que cobrem uma ampla gama de subáreas de Teoria da Computação, permitindo uma maior sinergia para a solução dos problemas abordados. As principais contribuições esperadas neste projeto são a publicação de artigos científicos em conferências e periódicos bem estabelecidos, com alta circulação e de seletiva política editorial. Desejamos também intensificar o intercâmbio internacional do grupo e a formação de alunos nos vários níveis (de iniciação científica a pós-doutorandos). Pretendemos ainda, durante a execução do projeto, realizar uma Escola Avançada de Ciências na área de Teoria da Computação..
Situação: Concluído; Natureza: Pesquisa.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Otimização Combinatória.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria dos Grafos.


Idiomas


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


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
1CAMPÊLO, M.2016 CAMPÊLO, M. ; FREIRE, ALEXANDRE S. ; LIMA, KARLA ROBERTA ; MOURA, PHABLO F. S. ; WAKABAYASHI, YOSHIKO . The convex recoloring problem: polyhedra, facets and computational experiments. MATHEMATICAL PROGRAMMING, v. 156, p. 303-330, 2016.

2.
2CAMPÊLO, MANOEL2013 CAMPÊLO, MANOEL ; LIMA, KARLA R. ; MOURA, PHABLO F.S. ; Wakabayashi, Yoshiko . Polyhedral studies on the convex recoloring problem. Electronic Notes in Discrete Mathematics, v. 44, p. 233-238, 2013.

3.
3LIMA, KARLA ROBERTA;Lima, Karla R;LIMA, KARLA R.2013 LIMA, KARLA ROBERTA; Wakabayashi, Yoshiko . Convex recoloring of paths. Discrete Applied Mathematics, v. 161, p. 000, 2013.

4.
4LIMA, KARLA ROBERTA2011 LIMA, KARLA ROBERTA; Wakabayashi, Yoshiko . Convex Recoloring of Paths. Electronic Notes in Discrete Mathematics, v. 37, p. 165-170, 2011.

Trabalhos completos publicados em anais de congressos
1.
BERGAMASCO, L. C. C. ; Lima, Karla R ; ROCHITTE, C. E. ; NUNES, F. L. S. . 3D medical objects retrieval approach using SPHARMs descriptor and network flow as similarity measure. In: 31st Conference on Graphics, Patterns and Images, 2018, Foz do Iguaçu. SIBGRAPI, 2018.

2.
FREIRE, A. S. ; LIMA, KARLA R. ; ROJAS, D. I. Z. . Um Sistema de Busca de Motifs em Redes Biológicas. In: Simpósio Brasileiro de Sistemas de Informação, 2018, Caxias do Sul. XIV Simpósio Brasileiro de Sistemas de Informação, 2018.

3.
LIMA, KARLA ROBERTA; BRIGATTO, F. . Desenvolvimento de uma Formulação Inteira para o problema de Motifs em Grafos. In: Simpósio Brasileiro de Sistemas de Informação, 2015, Goiânia. II Workshop de Inciação Científica de Sistemas de Informação WICSI, 2015. v. 2. p. 29-32.

4.
BARBOSA, R. M. ; Lima, Karla R . ALGUNS PROBLEMAS SOBRE CONJUNTOS INDEPENDENTES EM GRAFOS. In: XXXVIII Simpósio Brasileiro de Pesquisa Operacional, 2006, Goiânia, GO. Pesquisa Operacional na Sociedade: Educação, Meio Ambiente e Desenvolvimento, 2006. v. 2006. p. 2243-2253.

Resumos expandidos publicados em anais de congressos
1.
CAMPELO NETO, M. B. ; LIMA, KARLA R. ; MOURA, PHABLO F.S. ; Wakabayashi, Yoshiko . Polyhedral studies on the convex recoloring problem. In: VII Latin-american Algorithms, Graphs and Optimization Symposium (LAGOS 2013), 2013, Playa Del Carmen. Proceedings of the VII Latin-american Algorithms, Graphs and Optimization Symposium (LAGOS 2013). v. 44. p. 233-238.

Apresentações de Trabalho
1.
FREIRE, A. S. ; Lima, Karla R ; ROJAS, D. I. Z. . A System For Motif Search In Biological Networks. 2018. (Apresentação de Trabalho/Simpósio).

2.
LIMA, KARLA R.; BRIGATTO, F. . Desenvolvimento de uma Formulação Inteira para o problema de Motifs em Grafos. 2015. (Apresentação de Trabalho/Simpósio).

3.
LIMA, KARLA ROBERTA; Wakabayashi, Yoshiko . Convex Recoloring of Paths. 2011. (Apresentação de Trabalho/Simpósio).

4.
LIMA, KARLA ROBERTA; Ferreira, Orizon P . Programação Matemática em Variedades Riemaniannas. 2002. (Apresentação de Trabalho/Congresso).

5.
LIMA, KARLA ROBERTA; Ferreira, Orizon P . Funções Convexas via Isometria. 2002. (Apresentação de Trabalho/Seminário).


Demais tipos de produção técnica
1.
Lima, Karla R. Pesquisa Operacional e Aplicações. 2018. (Curso de curta duração ministrado/Extensão).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Lima, Karla R; SUN, V.; BISCARO, H.. Participação em banca de Ernani Baltazar Ferreira. Tecnologia e plataformas de ensino: uma nova Óotica para o ensino da Matematica;. 2018. Dissertação (Mestrado em Mestrado Profissional em Matemática em Rede Nacional) - Universidade de São Paulo.

2.
HASE, M. O.; Lima, Karla R. Participação em banca de Fabio Tosseto Reale. Méetodos de Monte Carlo para amostragem de permutações com Restrições. 2018. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo.

Trabalhos de conclusão de curso de graduação
1.
LIMA, KARLA ROBERTA. Participação em banca de Lucas Puccinelli e William Sanches Almazan.Algoritmos para o cálculo do permanente, um problema #P-completo. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade de São Paulo.

2.
LIMA, KARLA ROBERTA. Participação em banca de Anderson Rodrigues de Sousa.Avaliação de Fisioterapia realizada com Jogos Virtuais com o Kinect. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade de São Paulo.

3.
LIMA, KARLA ROBERTA. Participação em banca de Fernanda Moraes Bernardo.CLASSIFICAÇÃO DE ALIMENTOS A PARTIR DE IMAGENS BIDIMENSIONAIS. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade de São Paulo.

4.
Lima, Karla R. Participação em banca de Luciano Manoel Pinto.Protótipo de Sistema de Gestão de Recomendações Automáticas para Compras e Vendas de Ações. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade de São Paulo.

5.
Lima, Karla R. Participação em banca de Eduardo Yazawa, Flavio Akio Sakamoto, Rafael Ramos Bravin.Estrutura e Análise de Grafos Aleatórios Complexos: Passeios Aleatórios e Tempos de Recobrimento.. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade de São Paulo.

6.
Lima, Karla R. Participação em banca de Everton de Carvalho Silva.Estudo de Simetrias em Álgebra/Grupos de Lie Aplicadas na Construção de um Simulador de Arquitetura de Supercomputação. 2012. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade de São Paulo.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
Workshop em Estruturas Combinatórias, Otimização e Algoritmos. 2013. (Encontro).

2.
VI Latin - American Graphs, Algorithms and Optimization Symposium.Convex Recoloring of Paths. 2011. (Simpósio).

3.
VI Encontro de Matemática e Estatística.Programação Matemática em Variedades Riemaniannas. 2002. (Encontro).

4.
X Seminário de Iniciação Científica.Funções Convexas via Isometria. 2002. (Seminário).

5.
23 Colóquio Brasileiro de Matemática. 2001. (Congresso).

6.
V Encontro de Matemática e Estatística. 2001. (Encontro).

7.
IV Encontro de Matématica e Estatística. 2000. (Encontro).

8.
VII Jornada de Educação Matemática. 2000. (Congresso).

9.
III Encontro de Matématica e Estatística. 1999. (Encontro).


Organização de eventos, congressos, exposições e feiras
1.
LIMA, KARLA ROBERTA. VII Jornada de Educação Matemática. 2000. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Cláudio Cardoso de Moura. Geometria e suas aplicações cotidianas. Início: 2014. Dissertação (Mestrado profissional em Mestrado Profissional em Matemática em Rede Nacion) - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Ernani Eugenio Baltazar Ferreira. O uso de jogos no aprendizado de sistemas lineares. Início: 2014. Dissertação (Mestrado profissional em Mestrado Profissional em Matemática em Rede Nacion) - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.
José Alves de Amorim. Desvendando as formas do mundo através da geometria espacial. Início: 2013. Dissertação (Mestrado profissional em Mestrado Profissional em Matemática em Rede Nacion) - Universidade de São Paulo. (Orientador).

4.
Ednaldo José Leandro. Provas e demonstrações matemáticas no ensino médio: Um estudo de caso. Início: 2013. Dissertação (Mestrado profissional em Mestrado Profissional em Matemática em Rede Nacion) - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Trabalho de conclusão de curso de graduação
1.
Bruno Cezar de Lima de Paula. Heurísticas para o Problema de Ocorrência de Padrões em Grafos. Início: 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade de São Paulo. (Orientador).

Orientações de outra natureza
1.
Leonardo Veras Alves Souza. Construção de um Sistema Digital de Presença. Início: 2016. Orientação de outra natureza. Universidade de São Paulo. (Orientador).

2.
Marcel Canhisares. Aplicativo para Auxílio na Mobildiade de Cegos. Início: 2016. Orientação de outra natureza. Universidade de São Paulo. (Orientador).


Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Marcos Rogério Borges. Desenvolvimento de Pacote Estatístico Para Validação em Repositório R Via Plataforma CRAN; Estudo Para Construção de um Guia Prático. 2015. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade de São Paulo. Orientador: Karla Roberta Pereira Sampaio Lima.

2.
Ricardo Lemos Cardoso. Implementação de algoritmo de ajuste para a estatística da razão de verossimilhança no software R. 2014. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade de São Paulo. Orientador: Karla Roberta Pereira Sampaio Lima.

3.
Erick André dos Santos. Implementação de uma formulação inteira para problema de recoloração convexa de redes com galhas. 2014. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade de São Paulo. Orientador: Karla Roberta Pereira Sampaio Lima.

Iniciação científica
1.
Felipe Brigatto. Desenvolvimento de uma formulação inteira para o problema de motifs em Grafos. 2014. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade de São Paulo. Orientador: Karla Roberta Pereira Sampaio Lima.




Página gerada pelo Sistema Currículo Lattes em 19/12/2018 às 24:16:15