Relatório Carga Fapesp / 2012Emissão: 10/04/2014 21:04:02

DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO

Projeto Alterado
Nome Projeto: ALGORITMOS PARA PROBLEMAS DE GALERIA DE ARTE
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 01/2013
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: ALGORITMOS PARA PROBLEMAS DE GALERIA DE ARTE
Linha Pesquisa:
Algoritmos e Otimização
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Mestrado MS
Nº Processo na Financiadora: 2012/18384-7
Data Início Financiamento: 01/2013
Data Fim Financiamento: 03/2014
Valor do Financiamento: R$ 22.087,36
Complemento do Tipo Financiamento: BOLSA NO PAIS-MS-II
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Davi Colli Tozoni( Participante )
CID CARVALHO DE SOUZA( Responsável )

Projeto Alterado
Nome Projeto: COMPUTACAO QUANTICA E TEORIA DA COMPUTACAO
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 07/2012
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: COMPUTACAO QUANTICA E TEORIA DA COMPUTACAO
Linha Pesquisa:
Algoritmos e Otimização
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Mestrado MS
Nº Processo na Financiadora: 2012/06648-0
Data Início Financiamento: 07/2012
Data Fim Financiamento: 04/2014
Valor do Financiamento: R$ 28.315,95
Complemento do Tipo Financiamento: BOLSA NO PAIS-MS-II
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Alex Bredariol Grilo( Participante )
ARNALDO VIEIRA MOURA( Responsável )

Projeto Alterado
Nome Projeto: VISUALIZACAO UTILIZANDO METAFORAS GEOGRAFICAS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 06/2013
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: VISUALIZACAO UTILIZANDO METAFORAS GEOGRAFICAS
Linha Pesquisa:
Bioinformática e Biologia Computacional
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Mestrado MS
Nº Processo na Financiadora: 2012/24634-6
Data Início Financiamento: 06/2013
Data Fim Financiamento: 05/2014
Valor do Financiamento: R$ 23.432,13
Complemento do Tipo Financiamento: BOLSA NO PAIS-MS-II
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Pedro Henrique de Araújo Siqueira( Participante )
GUILHERME PIMENTEL TELLES( Responsável )

Projeto Alterado
Nome Projeto: PROBLEMAS DE REARRANJO DE GENOMAS VISTOS ATRAVES DE PERMUTACOES, MATRIZES E OUTROS CONCEITOS DE ALGEBRA
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 01/2013
Ano Fim Projeto: 2015
Tipo Envolvimento Contrato: Individual
Descrição Projeto: PROBLEMAS DE REARRANJO DE GENOMAS VISTOS ATRAVES DE PERMUTACOES, MATRIZES E OUTROS CONCEITOS DE ALGEBRA
Linha Pesquisa:
Bioinformática e Biologia Computacional
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Doutorado DR
Nº Processo na Financiadora: 2012/14104-0
Data Início Financiamento: 01/2013
Data Fim Financiamento: 02/2015
Valor do Financiamento: R$ 101.056,38
Complemento do Tipo Financiamento: BOLSA NO PAIS-DR-II
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Priscila do Nascimento Biller( Participante )
JOAO MEIDANIS( Responsável )

Projeto Alterado
Nome Projeto: TECNICAS DE MODELAGEM PARA RESOLUCAO DE PROBLEMAS DE OTIMIZACAO COMBINATORIA
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 11/2012
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: Bolsa Pos doutorado no país PD T ECNICAS DE MODELAGEM PARA RESOLUCAO DE PROBLEMAS DE OTIMIZACAO COMBINATORIA
Linha Pesquisa:
Algoritmos e Otimização
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Pos doutorado no país PD
Nº Processo na Financiadora: 2012/17585-9
Data Início Financiamento: 11/2012
Data Fim Financiamento: 10/2014
Valor do Financiamento: R$ 163.565,67
Complemento do Tipo Financiamento: BOLSA NO PAIS-PD
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
ALEXANDRE DA SILVA FREIRE( Participante )
CID CARVALHO DE SOUZA( Responsável )

Projeto Alterado
Nome Projeto: ESTRUTURA DE DADOS GEMA PARA TRIANGULACAO DE MAPAS TOPOLOGICOS N-DIMENSIONAIS.
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 11/2012
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: ESTRUTURA DE DADOS GEMA PARA TRIANGULACAO DE MAPAS TOPOLOGICOS N-DIMENSIONAIS.
Linha Pesquisa:
Algoritmos e Otimização
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Doutorado DR
Nº Processo na Financiadora: 2012/14698-7
Data Início Financiamento: 11/2012
Data Fim Financiamento: 07/2014
Valor do Financiamento: R$ 81.677,05
Complemento do Tipo Financiamento: BOLSA NO PAIS-DR-II
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Lucas Moutinho Bueno( Participante )
JORGE STOLFI( Responsável )

Projeto Alterado
Nome Projeto: GERACAO AUTOMATICA DE TESTES PARA SISTEMAS REATIVOS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 04/2013
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: GERACAO AUTOMATICA DE TESTES PARA SISTEMAS REATIVOS
Linha Pesquisa:
Algoritmos e Otimização
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Pos doutorado no país PD
Nº Processo na Financiadora: 2012/23500-6
Data Início Financiamento: 04/2013
Data Fim Financiamento: 04/2014
Valor do Financiamento: R$ 89.229,96
Complemento do Tipo Financiamento: BOLSA NO PAIS-PD
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Adilson Luiz Bonifácio( Participante )
ARNALDO VIEIRA MOURA( Responsável )

Projeto Alterado
Nome Projeto: PROBLEMAS DE DISTANCIAS DE REARRANJOS DE GENOMAS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 07/2012
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto
Um modo de comparar dois genomas é computar uma distância entre eles. Idealmente, essa distância deve refletir as divergências evolucionárias entre ambos. Os fenômenos responsáveis pelas diferenciações entre os seres-vivos são as mutações ocorridas no material genético. Os eventos de mutação mais comuns afetam pontualmente o genoma, inserindo, removendo ou substituindo nucleotídeos. Entretanto, eventos de mutações globais, os chamados rearranjos de genomas, afetam grandes trechos do genoma e são um desafio para a teoria da computação, pois, na maioria dos casos, computar uma distância entre genomas na presença de operações globais resulta em problemas NP-Completos. Este projeto de pesquisa foca em heurísticas, algoritmos e provas formais para problemas NP-Completos ou com complexidade indefinida em rearranjo de genomas. Alguns tópicos de pesquisa serão específicos para certas classes de operações como, por exemplo, reversões ou transposições.
Linha Pesquisa:
Bioinformática e Biologia Computacional
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Pos doutorado no país PD
Nº Processo na Financiadora: 2012/01584-3
Data Início Financiamento: 07/2012
Data Fim Financiamento: 06/2015
Valor do Financiamento: R$ 252.334,48
Complemento do Tipo Financiamento: BOLSA NO PAIS-PD
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Ulisses Martins Dias( Participante )
ZANONI DIAS( Responsável )

Projeto Alterado
Nome Projeto: LIMITANTES DUAIS E ALGORITMOS EXATOS PARA PROBLEMAS DE DILATACAO MINIMA EM GRAFOS GEOMETRICOS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 11/2012
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: LIMITANTES DUAIS E ALGORITMOS EXATOS PARA PROBLEMAS DE DILATACAO MINIMA EM GRAFOS GEOMETRICOS
Linha Pesquisa:
Algoritmos e Otimização
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Mestrado MS
Nº Processo na Financiadora: 2012/17965-6
Data Início Financiamento: 11/2012
Data Fim Financiamento: 07/2014
Valor do Financiamento: R$ 39.569,41
Complemento do Tipo Financiamento: BOLSA NO PAIS-MS-II
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Aléx Fernando Brandt( Participante )
CID CARVALHO DE SOUZA( Responsável )



Voltar