Relatório Carga Fapesp / 2011Emissão: 10/02/2012 21:05:49
DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO

Projeto Alterado
Nome Projeto: METODOS FORMAIS ALGEBRICOS PARA GERCAO DE INVARIANTES.
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 09/2011
Ano Fim Projeto: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto: METODOS FORMAIS ALGEBRICOS PARA GERCAO DE INVARIANTES.
Linha Pesquisa:
Teoria da Computação e Algoritmos
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp
Tipo do Financiamento: Bolsa Pos doutorado no país PD
Nº Processo na Financiadora: 2011/08947-1
Data Início Financiamento: 09/2011
Data Fim Financiamento: 08/2013
Valor do Financiamento: R$ 147.724,02
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
Rachid Rebiha( Participante )
ARNALDO VIEIRA MOURA( Responsável )

Projeto Alterado
Nome Projeto: COMPARACAO DE GENOMAS PELA IDENTIFICACAO DE CLIQUES MAXIMAIS EM GRAFOS DE SEQUENCIAS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 08/2011
Ano Fim Projeto: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto: COMPARACAO DE GENOMAS PELA IDENTIFICACAO DE CLIQUES MAXIMAIS EM GRAFOS DE SEQUENCIAS
Linha Pesquisa:
Teoria da Computação e Algoritmos
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp
Tipo do Financiamento: Auxílio Pesquisa
Nº Processo na Financiadora: 2011/08401-9
Data Início Financiamento: 08/2011
Data Fim Financiamento: 07/2013
Valor do Financiamento: R$ 23.879,05
Complemento do Tipo Financiamento: AUXILIO-PESQUISA
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
GUILHERME PIMENTEL TELLES( Responsável )

Projeto Alterado
Nome Projeto: ALGORITMOS PARA PROBLEMAS DE EMPACOTAMENTO COM RESTRICOES DE DESCARREGAMENTO
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 08/2011
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: ALGORITMOS PARA PROBLEMAS DE EMPACOTAMENTO COM RESTRICOES DE DESCARREGAMENTO
Linha Pesquisa:
Teoria da Computação e Algoritmos
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp
Tipo do Financiamento: Bolsa Doutorado DR
Nº Processo na Financiadora: 2011/08563-9
Data Início Financiamento: 08/2011
Data Fim Financiamento: 02/2014
Valor do Financiamento: R$ 104.242,01
Complemento do Tipo Financiamento: BOLSA NO PAIS-DR-I
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Jefferson Luiz Moisés da Silveira( Participante )
EDUARDO CANDIDO XAVIER( Responsável )

Projeto Alterado
Nome Projeto: ALGORITMOS LAGRANGEANOS PARA O PROBLEMA DA ARVORE GERADORA DE DILATACAO MINIMA EM UM GRAFO GEOMETRICO
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 07/2011
Ano Fim Projeto: 2012
Tipo Envolvimento Contrato: Individual
Descrição Projeto: ALGORITMOS LAGRANGEANOS PARA O PROBLEMA DA ARVORE GERADORA DE DILATACAO MINIMA EM UM GRAFO GEOMETRICO
Linha Pesquisa:
Teoria da Computação e Algoritmos
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp
Tipo do Financiamento: Bolsa Iniciação Científica IC
Nº Processo na Financiadora: 2011/07929-0
Data Início Financiamento: 07/2011
Data Fim Financiamento: 06/2012
Valor do Financiamento: R$ 7.263,93
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
Aléx Fernando Brandt( Participante )
CID CARVALHO DE SOUZA( Responsável )

Projeto Alterado
Nome Projeto: PROBLEMA DE ROTEAMENTO DE VEICULOS COM RESTRICOES PRATICAS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 11/2011
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: PROBLEMA DE ROTEAMENTO DE VEICULOS COM RESTRICOES PRATICAS
Linha Pesquisa:
Teoria da Computação e Algoritmos
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp
Tipo do Financiamento: Bolsa Doutorado DR
Nº Processo na Financiadora: 2011/13382-3
Data Início Financiamento: 11/2011
Data Fim Financiamento: 10/2014
Valor do Financiamento: R$ 118.689,51
Complemento do Tipo Financiamento: BOLSA NO PAIS-DR-I
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Pedro Henrique Del Bianco Hokama( Participante )
FLAVIO KEIDI MIYAZAWA( Responsável )

Projeto Alterado
Nome Projeto: HEURISTICA PARA O PROBLEMA DO RECORTE ORTOGONAL DISCRETO COM CUSTO NAS CONVERSOES
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 12/2011
Ano Fim Projeto: 2012
Tipo Envolvimento Contrato: Individual
Descrição Projeto: HEURISTICA PARA O PROBLEMA DO RECORTE ORTOGONAL DISCRETO COM CUSTO NAS CONVERSOES
Linha Pesquisa:
Teoria da Computação e Algoritmos
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp
Tipo do Financiamento: Bolsa Iniciação Científica IC
Nº Processo na Financiadora: 2011/18366-6
Data Início Financiamento: 12/2011
Data Fim Financiamento: 07/2012
Valor do Financiamento: R$ 5.051,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
Bruno Espinosa Crepaldi( Participante )
CID CARVALHO DE SOUZA( Responsável )

Projeto Alterado
Nome Projeto: PROTOCOLOS DE ENCRIPTACAO COM PROPRIEDADES ESPECIAIS USANDO RETICULADOS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 07/2011
Ano Fim Projeto: 2012
Tipo Envolvimento Contrato: Individual
Descrição Projeto: PROTOCOLOS DE ENCRIPTACAO COM PROPRIEDADES ESPECIAIS USANDO RETICULADOS
Linha Pesquisa:
Teoria da Computação e Algoritmos
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp
Tipo do Financiamento: Bolsa Iniciação Científica IC
Nº Processo na Financiadora: 2011/11997-0
Data Início Financiamento: 07/2011
Data Fim Financiamento: 03/2012
Valor do Financiamento: R$ 5.312,42
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
Thiago Rosario Caetano( Participante )
RICARDO DAHAB( Responsável )

Projeto Alterado
Nome Projeto: PROTOCOLOS DE ENCRIPTACAO COM PROPRIEDADES ESPECIAIS USANDO RETICULADOS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 07/2011
Ano Fim Projeto: 2012
Tipo Envolvimento Contrato: Individual
Descrição Projeto: PROTOCOLOS DE ENCRIPTACAO COM PROPRIEDADES ESPECIAIS USANDO RETICULADOS
Linha Pesquisa:
Teoria da Computação e Algoritmos
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp
Tipo do Financiamento: Bolsa Iniciação Científica IC
Nº Processo na Financiadora: 2011/12004-5
Data Início Financiamento: 07/2011
Data Fim Financiamento: 03/2012
Valor do Financiamento: R$ 5.312,42
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
Humberto Aboud Torres Lobo( Participante )
RICARDO DAHAB( Responsável )



Voltar