Relatório Carga Fapesp / 2012Emissão: 10/04/2013 21:05:47
DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO

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:
Teoria da Computação e Algoritmos
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$ 71.031,47
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: ESTUDO DE PROBLEMAS DE OTIMIZACAO COMBINATORIA RELACIONADOS A VISUALIZACAO DE DADOS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 04/2012
Ano Fim Projeto: 2015
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
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: 07/2015
Valor do Financiamento: R$ 118.840,94
Complemento do Tipo Financiamento: BOLSA NO PAIS-DD-2
Ó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: 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:
Teoria da Computação e Algoritmos
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$ 36.928,05
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
Nome Projeto: ALGORITMOS PARA DETERMINACAO DE VENCEDORES E PRECIFICACAO EM LEILOES COMBINATORIAIS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
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:
Teoria da Computação e Algoritmos
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.853,99
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: CONJETURA DE ALBERTSON
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
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:
Teoria da Computação e Algoritmos
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$ 25.051,86
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: 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:
Teoria da Computação e Algoritmos
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: 07/2014
Valor do Financiamento: R$ 37.429,32
Complemento do Tipo Financiamento: BOLSA NO PAIS-MS-I
Ó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: 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:
Teoria da Computação e Algoritmos
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.059,29
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: 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:
Teoria da Computação e Algoritmos
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.257,14
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: 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:
Teoria da Computação e Algoritmos
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$ 161.677,14
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: 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:
Teoria da Computação e Algoritmos
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$ 30.257,14
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: 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: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto: ALGORITMOS PARA PROBLEMAS DE GALERIA DE ARTE
Linha Pesquisa:
Teoria da Computação e Algoritmos
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: 12/2013
Valor do Financiamento: R$ 22.589,79
Complemento do Tipo Financiamento: BOLSA NO PAIS-MS-I
Ó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: 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: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto: Bolsa Pos doutorado no exterior PD
Linha Pesquisa:
Teoria da Computação e Algoritmos
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$ 60.081,60
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: 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:
Teoria da Computação e Algoritmos
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.265,81
Complemento do Tipo Financiamento: BOLSA NO PAIS-MS-I
Ó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: O PROBLEMA DA INTERSECAO DE CAMINHOS MAIS LONGOS EM CLASSES DE GRAFOS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
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:
Teoria da Computação e Algoritmos
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$ 7.536,35
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: 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:
Teoria da Computação e Algoritmos
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/2014
Valor do Financiamento: R$ 166.746,19
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: 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:
Teoria da Computação e Algoritmos
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$ 99.357,54
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: 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:
Teoria da Computação e Algoritmos
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: 03/2013
Valor do Financiamento: R$ 15.194,31
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: MODELO ALGEBRICO DE REARRANJO DE GENOMAS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 10/2012
Ano Fim Projeto: 2015
Tipo Envolvimento Contrato: Individual
Descrição Projeto: MODELO ALGEBRICO DE REARRANJO DE GENOMAS
Linha Pesquisa:
Teoria da Computação e Algoritmos
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: 02/2015
Valor do Financiamento: R$ 108.326,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
João Paulo Pereira Zanetti( Participante )
JOAO MEIDANIS( Responsável )



Voltar