CV Lattes
Universidade Estadual de Campinas (UNICAMP). Instituto de Biologia (IB) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Cleber Mira é doutor em Ciência da Computação pela Universidade Estadual de Campinas, UNICAMP, com tese defendida em 2007. Ele possui experiência em teoria da computação, biologia computacional, programação, sistemas de informação e aplicações científicas. Ele publica trabalhos nos seguintes temas: rearranjos em genomas, sistemas de informação de biodiversidade e optimização de portfólio de projetos. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Um Sistema de Informação de Biodiversidade reúne componentes de software e bancos de dados, com o objetivo de auxiliar a pesquisa em biodiversidade ao armazenar os dados de ocorrência geográfica de seres vivos, nichos de espécies, interações de organismos entre si e seu meio, características morfológicas, definição de áreas de bioprospecção, além de proporcionar ferramentas de auxílio a m…
O objetivo desse projeto de Doutorado é utilizar a nova abordagem de Grupo de Permutações na modelagem de genomas para analisar seus benefícios no estudo de problemas de Rearranjo em Genomas. As principais metas para alcançar esse objetivo são: 1- Demonstrar que há algoritmo polinomial para o problema de calcular a distância de reversão entre dois genomas com sinal. Existe uma prova desse…
Esse projeto de pesquisa tem por objetivo a investigação das principais propriedades dos métodos de provas tradicionais, tais como correção, complexidade e instâncias de resolução ineficiente; relacionando-os às propriedades de sistemas algébricos de prova. Os métodos de prova a serem estudados incluem o método de tableaux semânticos, método de resolução, sistemas de Hilbert, método dialó…
| 3 | Bolsas no país concluídas |
| Processos vinculados | |