Relatório Carga Fapesp / 2012Emissão: 04/08/2014 21:03:31
DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO

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$ 71.853,52
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: 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: 2014
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: 04/2014
Valor do Financiamento: R$ 50.827,12
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: O PROBLEMA DA MAXIMA INTERSECAO DE K-SUBCONJUNTOS
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: O PROBLEMA DA MAXIMA INTERSECAO DE K-SUBCONJUNTOS
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/08298-6
Data Início Financiamento: 07/2012
Data Fim Financiamento: 02/2014
Valor do Financiamento: R$ 35.700,91
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
Eduardo Theodoro Bogue ( Participante )
CID CARVALHO DE SOUZA ( Responsável )

Projeto Alterado
Suplemento: Auxilio prof visitante
Tipo Projeto: Pesquisa Básica
Situação Projeto: Concluído
Data Início Projeto: 09/2012
Ano Fim Projeto: 2012
Tipo Envolvimento Contrato: Individual
Descrição Projeto: Auxilio prof visitante
Linha Pesquisa:
Teoria da Computação e Algoritmos X
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Auxilio prof visitante
Nº Processo na Financiadora: 2012/09566-4
Data Início Financiamento: 09/2012
Data Fim Financiamento: 10/2012
Valor do Financiamento: R$ 20.326,26
Complemento do Tipo Financiamento: AUXILIO-VISITANTE-EXTERIOR
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
CID CARVALHO DE SOUZA ( Responsável )

Projeto Alterado
Nome Projeto: ALGORITMOS PARA DETERMINACAO DE VENCEDORES E PRECIFICACAO EM LEILOES COMBINATORIAIS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Concluído
Data Início Projeto: 11/2012
Ano Fim Projeto: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto
Bolsa Pos doutorado no exterior PD Os leilões são considerados a maneira mais generalizada de alocação e precificação de bens e serviços quando se desconhece o valor real destes. Tradicionalmente, em um leilão é negociado um item ou grupo de itens onde os agentes envolvidos, conhecidos como licitantes, podem apenas submeter lances sobre um item ou um pacote de itens. Este tipo de negociação pode não levar a eficiência econômica do mercado porque os licitantes podem não ser capazes de expressar suas preferências completamente. Para contornar esta questão, os leilões combinatoriais permitem que os licitantes submetam diversos lances para vários subconjuntos de itens, não necessariamente disjuntos, podendo assim expressar a complementariedade e a substituibilidade entre os itens desejados.
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 exterior PD
Nº Processo na Financiadora: 2012/08222-0
Data Início Financiamento: 11/2012
Data Fim Financiamento: 10/2013
Valor do Financiamento: R$ 58.930,65
Complemento do Tipo Financiamento: BOLSA NO EXTERIOR - ESTAGIO DE PESQUISA
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Carlos Eduardo de Andrade ( Participante )
FLAVIO KEIDI MIYAZAWA ( 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$ 27.776,71
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: 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: ALGORITMOS PARA O PROBLEMA DO MAPEAMENTO DE REDES VIRTUAIS
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: ALGORITMOS PARA O PROBLEMA DO MAPEAMENTO DE REDES VIRTUAIS
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/14845-0
Data Início Financiamento: 11/2012
Data Fim Financiamento: 02/2014
Valor do Financiamento: R$ 30.150,22
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
Igor Rosberg de Medeiros Silva ( Participante )
EDUARDO CANDIDO XAVIER ( Responsável )

Projeto Alterado
Nome Projeto: O PROBLEMA DA INTERSECAO DE CAMINHOS MAIS LONGOS EM CLASSES DE GRAFOS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Concluído
Data Início Projeto: 08/2012
Ano Fim Projeto: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto: O PROBLEMA DA INTERSECAO DE CAMINHOS MAIS LONGOS EM CLASSES DE GRAFOS
Linha Pesquisa:
Grafos e Combinatória
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Iniciação Científica IC
Nº Processo na Financiadora: 2012/10252-4
Data Início Financiamento: 08/2012
Data Fim Financiamento: 07/2013
Valor do Financiamento: R$ 6.892,79
Complemento do Tipo Financiamento: BOLSA NO PAIS-IC
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Vitor Roberto de Almeida Castro ( Participante )
CHRISTIANE NEME CAMPOS ( Responsável )

Projeto Alterado
Nome Projeto: COLORACAO TOTAL SEMIFORTE
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 08/2012
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto
Este é um projeto de pesquisa para a solicitação de uma bolsa de mestrado para Atílio Gomes Luiz. Propõe-se a investigação de um tipo especial de coloração total, denominada coloração total semiforte. Dada uma coloração total, rotula-se cada vértice do grafo com o conjunto formado pela cor do vértice e pelas cores das arestas que nele incidem. Uma coloração total é semiforte quando os rótulos de vértices adjacentes são distintos. O menor número de cores para o qual um grafo admite uma coloração total semiforte é denominado número cromático total semiforte. Pouco se conhece sobre o problema de se determinar o número cromático total semiforte: está determinado para poucas famílias de grafos, mas a complexidade do problema é desconhecida. Neste projeto, pretendemos verificar a conjetura citada para os grafos de algumas classes e, se possível, determinar o número cromático total semiforte desses grafos.
Linha Pesquisa:
Grafos e Combinatória
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/10562-3
Data Início Financiamento: 08/2012
Data Fim Financiamento: 01/2014
Valor do Financiamento: R$ 21.655,99
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
Atilio Gomes Luiz ( Participante )
CELIA PICININ DE MELLO ( Responsável )

Projeto Alterado
Nome Projeto: PROBLEMAS ONLINE E INCREMENTAIS DE LOCALIZACAO DE INSTALACOES
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 10/2012
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: Bolsa Pos doutorado no exterior PD
Linha Pesquisa:
Grafos e Combinatória
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Pos doutorado no exterior PD
Nº Processo na Financiadora: 2012/06728-3
Data Início Financiamento: 10/2012
Data Fim Financiamento: 09/2013
Valor do Financiamento: R$ 53.841,92
Complemento do Tipo Financiamento: BOLSA NO EXTERIOR - ESTAGIO DE PESQUISA
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Mário César San Felice ( Participante )
ORLANDO LEE ( Responsável )

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: 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$ 38.989,32
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 )

Projeto Alterado
Nome Projeto: ESTUDO DE PROBLEMAS DE OTIMIZACAO COMBINATORIA RELACIONADOS A VISUALIZACAO DE DADOS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Concluído
Data Início Projeto: 04/2012
Ano Fim Projeto: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto: ESTUDO DE PROBLEMAS DE OTIMIZACAO COMBINATORIA RELACIONADOS A VISUALIZACAO DE DADOS
Linha Pesquisa:
Teoria da Computação e Algoritmos X
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/00673-2
Data Início Financiamento: 04/2012
Data Fim Financiamento: 12/2013
Valor do Financiamento: R$ 45.676,88
Complemento do Tipo Financiamento: BOLSA NO PAIS-DD-3
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Rafael Ghussn Cano ( Participante )
CID CARVALHO DE SOUZA ( 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$ 22.112,15
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: SOLUCOES EXATAS PARA O PROBLEMA CROMATICO DA GALERIA DE ARTE
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 05/2013
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: SOLUCOES EXATAS PARA O PROBLEMA DA GALERIA DE ARTE CROMATICA E VARIACOES
Linha Pesquisa:
Grafos e Combinatória
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/24993-6
Data Início Financiamento: 05/2013
Data Fim Financiamento: 10/2014
Valor do Financiamento: R$ 29.439,25
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
Mauricio José de Oliveira Zambon ( Participante )
PEDRO JUSSIEU DE REZENDE ( Responsável )

Projeto Alterado
Nome Projeto: COMPLEXIDADE COMPUTACIONAL E COMPUTACAO QUANTICA
Tipo Projeto: Pesquisa Básica
Situação Projeto: Concluído
Data Início Projeto: 04/2013
Ano Fim Projeto: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto: Bolsa Pos doutorado no exterior PD COMPLEXIDADE COMPUTACIONAL E COMPUTACAO QUANTICA
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 exterior PD
Nº Processo na Financiadora: 2012/22478-7
Data Início Financiamento: 04/2013
Data Fim Financiamento: 10/2013
Valor do Financiamento: R$ 32.978,27
Complemento do Tipo Financiamento: BOLSA NO EXTERIOR - ESTAGIO DE PESQUISA
Ó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: 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.194,77
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: ALGORITMOS AVANCADOS PARA ALOCACAO DE RECURSOS, GERENCIA DE ESTOQUE E OUTROS PROBLEMA DE CADEIA DE FORNECIMENTO
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 02/2013
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: Bolsa Pos doutorado no exterior PD
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 exterior PD
Nº Processo na Financiadora: 2012/17634-0
Data Início Financiamento: 02/2013
Data Fim Financiamento: 01/2014
Valor do Financiamento: R$ 65.220,19
Complemento do Tipo Financiamento: BOLSA NO EXTERIOR - ESTAGIO DE PESQUISA
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Lehilton Lelis Chaves Pedrosa ( Participante )
FLAVIO KEIDI MIYAZAWA ( Responsável )

Projeto Alterado
Nome Projeto: O PROBLEMA DO POSICIONAMENTO DE ANTENAS: UM ESTUDO GEOMETRICO E ALGORTMICO
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 12/2012
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: O PROBLEMA DO POSICIONAMENTO DE ANTENAS: UM ESTUDO GEOMETRICO E ALGORTMICO
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/17608-9
Data Início Financiamento: 12/2012
Data Fim Financiamento: 10/2014
Valor do Financiamento: R$ 37.884,72
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
Bruno Espinosa Crepaldi ( Participante )
CID CARVALHO DE SOUZA ( Responsável )

Projeto Alterado
Nome Projeto: CONJETURA DE ALBERTSON
Tipo Projeto: Pesquisa Básica
Situação Projeto: Concluído
Data Início Projeto: 10/2012
Ano Fim Projeto: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto
Bolsa Pos doutorado no exterior PD Este projeto de pesquisa é parte da solicitação de uma bolsa de estágio no exterior para Atílio Gomes Luiz, vinculado ao processo 2012/105623. Propõe-se a investigação da conjetura de Albertson, que relaciona o número cromático e o número de cruzamentos (crossing number) de um grafo. Em 2007, Michael Albertson conjeturou que se um grafo G possui número cromático igual a r, então o número de cruzamentos de G é maior ou igual ao número de cruzamentos do grafo completo com r vértices. Esta conjetura foi provada para r menor ou igual a 16 e continua aberta para os demais casos. O objetivo deste projeto é investigar esta conjetura para algumas classes de grafos.
Linha Pesquisa:
Grafos e Combinatória
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Pos doutorado no exterior PD
Nº Processo na Financiadora: 2012/16418-1
Data Início Financiamento: 10/2012
Data Fim Financiamento: 03/2013
Valor do Financiamento: R$ 23.491,46
Complemento do Tipo Financiamento: BOLSA NO EXTERIOR - ESTAGIO DE PESQUISA
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Atilio Gomes Luiz ( Participante )
CELIA PICININ DE MELLO ( Responsável )

Projeto Alterado
Nome Projeto: MODELO ALGEBRICO DE REARRANJO DE GENOMAS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Concluído
Data Início Projeto: 10/2012
Ano Fim Projeto: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto: MODELO ALGEBRICO DE REARRANJO DE GENOMAS
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/13865-7
Data Início Financiamento: 10/2012
Data Fim Financiamento: 07/2013
Valor do Financiamento: R$ 26.729,13
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
João Paulo Pereira Zanetti ( Participante )
JOAO MEIDANIS ( Responsável )

Projeto Alterado
Nome Projeto: PROBLEMAS DE ASSOCIACOES ESTAVEIS
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
Um problema de associação estável consiste em dividir um grupo de agentes empares, onde cada agente possui uma lista de preferências ordenada, e deseja-seencontrar uma associação que respeite um critério de estabilidade. Estesproblemas são importantes pois possuem muitas aplicações práticas, tais comoassociação de residentes de medicina a hospitais, alocação de recursos emcomunicação sem fio e doação de rim. Devido à importância do tema, propomos umestudo desta classe de problemas, focando na classificação dos problemas doponto de vista computacional. (AU)
Linha Pesquisa:
Grafos e Combinatória
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/16625-7
Data Início Financiamento: 11/2012
Data Fim Financiamento: 02/2014
Valor do Financiamento: R$ 28.875,11
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
Maycon Sambinelli ( Participante )
ORLANDO LEE ( 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: 05/2014
Valor do Financiamento: R$ 123.793,84
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 )



Voltar