|
|
Instituto de Computação
Teses de doutorado
1.
|
|
"O Método de Geração de Colunas Aplicado a Problemas de Oti-mização em Grafos", Autor: Edna Ayako Hoshino, Orientador: Cid Carvalho de Souza. Data da defesa: 22/12/2009. Tese de doutorado ligado ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.
|
2.
|
|
"Explorando Memória Transacional em Software nos Contextos de Arquiteturas Assimétricas, Jogos Computacionais e Comsu- mode Energia", Autor: Alexandro José Baldassin, Orientador: Paulo Cesar Centoducatte. Data da defesa: 18/12/2009.
|
3.
|
|
"Negociação Automática de Contratos Multi-laterais em Cadeias Produtivas Agropecuárias", Autor: Evandro Baccarin, Orientador: Edmundo Roberto Mauro Madeira. Co-Orientador: Cláudia Maria Bauzer Medeiros. Data da defesa: 18/12/2009. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.
|
4.
|
|
"Um Experimento Formal para Avaliar Novas Formas de Visuali-zação de Prontuários Clínicos Eletrônicos", Autor: Cléo Zanella Billa, Orientador: Jacques Wainer. Data da defesa: 17/12/2009.
|
5.
|
|
"Geração de Conjuntos de Teste para Sistemas Reativos, de Tempo-Real, e com Transformações de Contexto", Autor: Adilson Luiz Bonifácio, Orientador: Arnaldo Vieira Moura. Data da defesa: 16/12/2009.
|
6.
|
|
"Anotação Semântica de Dados Geoespaciais", Autor: Carla Geovana do Nascimento Macário, Orientador: Cláudia Maria Bauzer Medeiros. Data da defesa: 16/12/2009. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.
|
7.
|
|
"Fluxos Inteiros e Colorações", Autor: Cândida Nunes da Silva, Orientador: Cláudio Leonardo Lucchesi. Data da defesa: 04/12/2009. Tese de doutorado ligado ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.
|
8.
|
|
"Reconhecimento e Delineamento Sinérgicos de Objetos em Imagens com Aplicações na Medicina", Autor: Paulo André Vechiatto de Miranda, Orientador: Alexandre Xavier Falcão. Data da defesa: 04/11/2009. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.
|
9.
|
|
"Grafos Pfaffianos e Problemas Relacionados", Autor: Alberto Alexandre Assis Miranda, Orientador: Cláudio Leonardo Lucchesi. Data da defesa: 26/10/2009. Tese de doutorado ligado ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.
|
10.
|
|
"Técnicas Avançadas de Modelagem, Análise e Otimização de Potência em Sistemas Digitais", Autor: Felipe Vieira Klein, Orientador: Rodolfo Jardim de Azevedo. Co-Orientador: Guido Costa Souza de Araújo. Data da defesa: 21/10/2009. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.
|
11.
|
|
"Mecanismos de Controle em Redes de Comutação de Rajadas Òpticas", Autor: Gustavo Bittencourt Figueiredo, Orientador: Nelson Luís Saldanha da Fonseca. Co-Orientador: Marcos Rogério Salvador. Data da defesa: 16/10/2009.
|
12.
|
|
"Uma Abordagem Arquitetural para o Desenvolvimento Rigoroso de Sistemas Confiáveis Baseado em Componentes", Autor: Patrick Henrique da Silva Brito, Orientador: Cecilia Mary Fischer Rubira. Data da defesa: 15/05/2009.
|
13.
|
|
Classificadores e Aprendizado em Processamento de Imagens e Visão Computacional. Autor: Anderson de Rezende Rocha, Orientador: Siome Klein Goldenstein. Data da defesa: 03/03/2009. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.
|
14.
|
|
Tranformações de Imagens Baseadas em Morfologia Matemática. Autor: Leyza Elmeri Baldo Dorini, Orientador: Neucimar Jerônimo Leite. Data da defesa: 16/02/2009. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.
|
|
|
|