Instituto de Computação   Dissertações de Mestrado   1.   Segmentação de Imagens Tomográficas Usando Contorno Defor- máveis com Segmentos de Custo Mínimo. Autor: Elisângela de Araújo Rodrigues , Orientador: ALEXANDRE XAVIER FALCAO. Data da defesa: 22/12/2000.   2.   Avaliação da Construção e Uso de Classes Autotestáveis. Autor: Rosileny Lie Yanagawa , Orientador: ELIANE MARTINS. Data da defesa: 22/12/2000.   3.   Intermap: Ferramenta para Visualização da Interação em Ambientes de Educação a Distância na WEB. Autor: Luciana Alvim Santos Romani , Orientador: HELOISA VIEIRA DA ROCHA. Data da defesa: 19/12/2000.   4.   Determinação de Parâmetros de Forma para Análise de Celulas Sangüíneas. Autor: Wanderley de Souza Filho , Orientador: NEUCIMAR JERONIMO LEITE. Data da defesa: 18/12/2000.   5.   Processamento de Consultas ao Banco de Dados de Biodiversi- dade do BIOTA. Autor: Sandro de Paula Matias , Orientador: CLAUDIA MARIA BAUZER MEDEIROS. Data da defesa: 15/12/2000.   6.   LIBRASweb - Ambiente Computacional para Auxiliar a Aprendi- zagem da Língua Brasileira de Sinais. Autor: Simone Aparecida Marcato , Orientador: HELOISA VIEIRA DA ROCHA. Data da defesa: 15/12/2000.   7.   Uma Facilidade de Gerenciamento de Configuração para Aplica-ções Corba. Autor: Cláudio Márcio da Silveira , Orientador: EDMUNDO ROBERTO MAURO MADEIRA. Data da defesa: 14/12/2000.   8.   EDUWEB - Um Ambiente de Colaboração para Instituições Educa-cionais. Autor: Rodrigo Cascão Araújo , Orientador: HELOISA VIEIRA DA ROCHA. Data da defesa: 06/12/2000.   9.   Grafos de Sequências de DNA. Autor: Marília Dias Vieira Braga , Orientador: JOAO MEIDANIS. Data da defesa: 27/11/2000.   10.   Aspectos de Desempenho das Redes CDPD. Autor: Vitor Hugo Furtado , Orientador: NELSON LUIS SALDANHA DA FONSECA. Data da defesa: 24/11/2000.   11.   Ambiente de Autoria de Cursos a Distância (AUTORWEB). Autor: Marcia Renata Matero Tessarollo , Orientador: HELOISA VIEIRA DA ROCHA. Data da defesa: 21/11/2000.   12.   MAPS-15554: Uma Metodologia de Avaliação de Processo de Software para o Ambiente ExPSEE Baseada no ISSO/IEC TR 15504. Autor: Ademir Morgenstern Padilha , Orientador: JACQUES WAINER. Data da defesa: 25/09/2000.   13.   Um Modelo de Segurança de Redes para Ambientes Cooperativos. Autor: Emilio Tissato Nakamura , Orientador: PAULO LICIO DE GEUS. Data da defesa: 25/09/2000.   14.   Visualização Tridimensional em Medicina usando EstereogramasHolográficos. Autor: Cesar Augusto de Carvalho Vannini , Orientador: ALEXANDRE XAVIER FALCAO. Data da defesa: 22/09/2000.   15.   Provisão de Serviços Inseguros usando Filtros de Pacotes comEstados. Autor: Marcelo Barbosa Lima , Orientador: PAULO LICIO DE GEUS. Data da defesa: 04/09/2000.   16.   Estudo e Desenvolvimento de Ambientes de Aprendizado Colabo-rativo a Distância para o Contexto da Educação Inclusiva. Autor: Gianfrancesca Cutini Barcellos , Orientador: MARIA CECILIA CALANI BARANAUSKAS. Data da defesa: 22/08/2000.   17.   Uma Arquitetura Baseada em CORBA para Workflow de Larga Escala. Autor: Roberto Silveira Silva Filho , Orientador: JACQUES WAINER. Co-Orientador(es): EDMUNDO ROBERTO MAURO MADEIRA. Data da defesa: 21/08/2000.   18.   F-SOFIST: Uma Ferramenta para Teste de Protocolos Tolerantesa Falhas. Autor: Marcos Renato Rodrigues Araujo , Orientador: ELIANE MARTINS. Data da defesa: 17/08/2000.   19.   Fatores que Afetam o Desempenho de Métodos de Junções Espaciais: Um Estudo com Base em Dados Reais. Autor: Sandro Danilo Gatti , Orientador: GEOVANE CAYRES MAGALHAES. Data da defesa: 31/07/2000.   20.   Melhoria da Testabilidade de Classes usando o Conceito de Autoteste. Autor: Cristina Maria Toyota , Orientador: ELIANE MARTINS. Data da defesa: 17/07/2000.   21.   Experimentos com Codificação e Compactação no Gerenciamento de Memória da Máquina Virtual Java. Autor: Sandro Rigo , Orientador: GUIDO COSTA SOUZA DE ARAUJO. Data da defesa: 04/07/2000.   22.   PLIM - Processamento de Língua Natural Utilizando o Paradig-ma Multi-Agentes. Autor: Ivan Santa Maria Filho , Orientador: ARIADNE MARIA BRITO RIZZONI CARVALHO. Data da defesa: 30/06/2000.   23.   Agendamento de Reuniões Através de Sistemas Multi-Agentes. Autor: Paulo Roberto Ferreira Júnior , Orientador: JACQUES WAINER. Data da defesa: 30/06/2000.   24.   Análise de Problemas para a Implantação de Workflow. Autor: Kelcy Mayumi Matsuda , Orientador: JACQUES WAINER. Data da defesa: 15/06/2000.   25.   Problemas Combinatórios de Congestionamento. Autor: Arlindo Flavio da Conceição , Orientador: JOAO CARLOS SETUBAL. Data da defesa: 09/06/2000.   26.   O Problema da Designação e sua Variante Paramétrica. Autor: Lidio Nunes de Abreu Junior , Orientador: JOAO CARLOS SETUBAL. Data da defesa: 29/05/2000.   27.   Verificação e Síntese de Sistemas Hibridos. Autor: Adilson Luiz Bonifácio , Orientador: ARNALDO VIEIRA MOURA. Data da defesa: 28/04/2000.   28.   Problemas de Escalonamento no Tratamento Coletivo: Programa-ção por Restrições e outras Técnicas. Autor: Tallys Hoover Yunes , Orientador: ARNALDO VIEIRA MOURA. Co-Orientador(es): CID CARVALHO DE SOUZA. Data da defesa: 26/04/2000.   29.   Alocação Global de Registradores de Endereçamento Usando Co-bertura do Grafo de Indexação e uma Variação de Forma SSA. Autor: Marcelo Silva Cintra , Orientador: GUIDO COSTA SOUZA DE ARAUJO. Data da defesa: 18/04/2000.   30.   Tratamento de Exceções em Sistemas Concorrentes Orientados a Objetos. Autor: Alessandro Fabricio Garcia , Orientador: CECILIA MARY FISCHER RUBIRA. Data da defesa: 14/04/2000.   31.   Compressão de Byte-Code Utilizando Recuperação de Sintaxe Abstrata. Autor: Bruno Kraychete da Costa , Orientador: GUIDO COSTA SOUZA DE ARAUJO. Data da defesa: 22/03/2000.   32.   Avaliação de Desempenho de Estruturas de Acesso a Dados Hiper-dimensionais. Autor: Nathan Gevaerd Colossi , Orientador: MÁRIO ANTONIO DO NASCIMENTO. Co-Orientador(es): ALEXANDRE XAVIER FALCAO. Data da defesa: 21/03/2000.   33.   Qualidade de Dados em Aplicações Geográficas. Autor: Alexandre Carvalho de Alencar , Orientador: CLAUDIA MARIA BAUZER MEDEIROS. Data da defesa: 20/03/2000.   34.   Gaia-Ambiente Computacional Auxiliar à Aprendizagem de Geo- grafia Utilizando Sistemas de Informações Geográficas. Autor: Roberta Monteiro Gabinio , Orientador: HELOISA VIEIRA DA ROCHA. Data da defesa: 14/03/2000.   35.   Contribuições da Semiótica ao Redesign de Interfaces para Ferramentas de Comunicação Eletrônica. Autor: Flavia Rossler , Orientador: MARIA CECILIA CALANI BARANAUSKAS. Data da defesa: 29/02/2000.   36.   Avaliação de Protocolos de Roteamento Multicast sobre Redes TCP/IP. Autor: Aldecir Vieira Simonaci , Orientador: RICARDO DE OLIVEIRA ANIDO. Data da defesa: 28/02/2000.   37.   Segmentação de Imagens de Mapas Telefônicos por Morfologia Matemática. Autor: Pablo Martins , Orientador: NEUCIMAR JERONIMO LEITE. Data da defesa: 02/02/2000.   38.   Montagem de Fragmentos de DNA. Autor: Fábio Ribeiro Cerqueira , Orientador: JOAO MEIDANIS. Data da defesa: 21/01/2000.