Relatório Carga Fapesp / 2012Emissão: 12/05/2014 21:04:00
DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO

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: 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: 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: 04/2014
Valor do Financiamento: R$ 50.830,16
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: 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 )



Voltar