Dissertações 1997-2006

1997

001 PIMENTEL, Andrey Ricardo, (Orientador: DIRENE, Alexandre Ibrahim) Medidas cognitivas para o ensino de conceitos visuais com sistemas tutores inteligentes, 09/10/97

1998

002 CELINSKI, Tatiana Montes, (Orientador: BELLON, Olga Regina Pereira) Metodos de agrupamento: uma abordagem comparativa com aplicação em segmentação de imagens de profundidade, 09/11/98,

1999

003 BINDER, Fabio Vinícius, (Orientador: DIRENE, Alexandre Ibrahim) Conceitos e ferramentas para apoiar o ensino de logica de programação imperativa 14/04/99,

004 SANTOS, Aldri Luiz dos, (Orientador: HEXSEL, Roberto A.) Conceitos e ferramentas para apoiar o ensino de logica de programação imperativa, 20/05/99

005 REZENDE, Denis Alcides, (Orientador: DIRENE, Alexandre Ibrahim) Ferramentas para apoio ao ensino estruturado de conceitos visuais na educação de surdos 05/10/99,

006 OLIVEIRA, Hermeson Nobrega Barros de, (Orientador: BELLON, Olga Regina Pereira, Co-orientador: GEUS, Klaus de) Segmentação e classificação de imagens LANDSAT TM, 18/10/99.

007 BONACIN, Rodrigo, (Orientador: DIRENE, Alexandre Ibrahim) Interpretação pedagogica de relações logicas em diálogos para o ensino de conceitos visuais, 09/10/99

2000

008 RODACKI, Andrea, (Orientador: SUNYE, Marcos Sfair) Aplicação de estrategias de integração de bancos de dados: um estudo de caso, 26/01/00

009 FARIAS, Denilson Atilio Godry (Orientador: HEXSEL, Roberto A) Paralelização da Técnica Branch and Bound com PVM, 20/03/00

010 NASCIMENTO, Elisa (Orientador: DIRENE, Alexandre Ibrahim) Representação e ferramentas para apoiar a programação de dispositivos digitais com mecanismos de interpretação independentes de liguagem, 31/03/00

011 BRANCO, Parahuari Solnowski (Orientador: CARVALHO, Carlos A) Implementação de uma rede sem fio: estudo de caso na plataforma windows, 10/05/00

012 PERES, Ewerton Cesário (Orientador: CARVALHO, Carlos Alberto Picanço de) RPWNT – Protocolo para comunicação de rádio pacote: experimento no ambiente de rede Windows NT, 12/05/00

013 BRAWERMAN, Alessandro (Orientador: DUARTE JUNIOR, Elias Procopio) Uma estratégia de testes isócrona para diagnóstico hierárquico distribuído, 19/05/00

014 MATHIAS, Ivo Mario (Orientador: RAMIREZ POZO, Aurora Trinidad) SISMAT: Sistema de Matrícula Inteligente, 17/07/00

015 FURLAN, Diógenes Cogo (Orientador: MUSICANTE, Martin A, Co-orientador DUARTE JUNIOR, Elias Procopio) Especificação formal do SNMPv3 usando semântica de ações, 21/07/00

016 HASSE, Mozart (Orientador: RAMIREZ POZO, Aurora Trinidad) Mineração de dados usando algoritmos genéticos, 03/08/00

017 ALBINI, Luiz Carlos Pessoa (Orientador: DUARTE JUNIOR, Elias Procopio) Um algoritmo baseado em comparações para diagnóstico distribuído hierárquico, 25/08/00

018 SILVA, Luciano (Orientador: BELLON, Olga Regina Pereira) Segmentação de imagens de profundidade por detecção de bordas, 04/10/00

019 SOARES, Inali Wisniewski (Orientador: VERGILIO, Silvia Regina) Análise de mutantes e critérios restritos no contexto de teste de software: resultados de uma avalição empírica, 06/10/00

020 AGNER, Luciane Telinski Wiedermann (Orientador: VERGILIO, Silvia Regina) Manutenção incremental de visões materializadas em ambientes data warehousing, 06/10/00

021 SCHÄFER, Herbert (Orientador: DIRENE, Alexandre Ibrahim) Conceitos e ferramentas para apoiar o ensino de xadrez através de computadores, 09/10/00

022 SILVA, Fabiano (Orientador: CASTILHO, Marcos Alexandre) Algoritmos para planificação baseada em strips, 10/10/00

023 HAUAGGE, Josiane Michalak (Orientador: MUSICANTE, Martin A) Uma proposta de especificação formal para data warehousing, 10/11/00

024 TEIXEIRA, Jaylson (Orientador: MUSICANTE, Martin A, Co-Orientador: SUGA, Nelson) Método para gerenciamento de pequenos projetos de software, 29/11/00

025 GUIMARAES, Alaine Margarete (Orientador: RAMIREZ POZO, Aurora Trinidad) Agente-M: um matriculador inteligente, 08/12/00

026 SILVA, Djalma Inácio da (Orientador: GEUS, Klaus de) Visualização científica de dados analíticos filtrados por formulações matemáticas: estudo de caso “distribuição de temperaturas”, 11/12/00

2001

027 QUAQUARINI, Sergio (Orientador: DIRENE, Alexandre Ibrahim) Representação e ferramentas para a modelagem de aprendizes no ensino de conceitos visuais, 16/02/01

028 SANCHES, Ionildo José (Orientador: RIBEIRO, Eduardo Parente) Compressão sem perdas de projeções de tomografia computadorizada usando a transformada Wavelet, 20/02/01

029 CHAVES, Leonardo Bordbeck (Orientador: VERGILIO, Silvia Regina) Uma avaliação empírica de métricas para programas orientados a objeto no contexto de teste de software, 21/02/01

030 DUARTE, Denio (Orientador: VERGILIO, Silvia Regina, Co:Orientador: RAMIREZ POZO, Aurora Trinidad) Utilizando técnicas de programaçao lógica indutiva para mineraçao de banco de dados relacional, 22/02/01

031 GUEIBER, Ezequiel (Orientador: SUNYE, Marcos Sfair) Viquen: um ambiente interativo para consulta visual e extração de esquemas, 23/02/01

032 PEREIRA, Luis Dias (Orientador: CARVALHO, Carlos Alberto Picanço de) Visualização de camadas de informação em ambiente Internet, 05/03/01.

033 MATTOS, Giorgia de Oliveira (Orientador: Elias Procópio Duarte Júnior) Um Algoritmo Baseado em Inundação para Diagnóstico de Redes de Topologia Arbitrária 16/03/01

034 ROMANICHEN, Edilza (Orientador: CARVALHO, Carlos Alberto Picanço de) Uma proposta de aplicação integrada para a transferência automática de documentos estruturados por meio da web, utilizando serialização de objetos e meta-linguagem XML, 19/03/01

035 CESTARI, José Marcelo Almeida Prado (Orientador: DUARTE JUNIOR, Elias Procopio) Uma abordagem distribuída baseada no algoritmo do carteiro chinês para diagnóstico de redes de topologia arbitrária, 23/03/01

036 MUELLER, Eléia Gisele (Orientador: RAMIREZ POZO, Aurora Trinidad) Agentes mediadores, 29/03/01

037 LOPES, Fábio Mendonça (Orientador:RAMIREZ POZO, Aurora Trinidad) Algoritmo genético restrito por listas tabu no contexto de mineração de dados, 30/03/01

038 MARINI, Marcos Junior (Orientador: DIRENE, Alexandre Ibrahim) A produção de material de curso como subproduto da prática pericial, 06/04/01

039 KAVALCO, Gilmar (Orientador: SUNYE, Marcos Sfair) Automatização da evolução de esquemas em ferramentas de transporte de dados para data warehouse 08/06/01

040 BORSOI, Beatriz Terezinha (Orientador: MURTA, Cristina Duarte) Negociação de preço em comércio eletrônico : uma investigação experimental, 09/07/01

041 BORTOLLI, Marcos Vinícius de (Orientador: DIRENE, Alexandre Ibrahim) Ensino por tutor inteligente de linguagens textuais de comandos em aplicações de sistemas operacionais, 10/07/01

042 PIETRUCHINSKI, Mônica Hoeldtke (Orientador: DIRENE, Alexandre Ibrahim) Linguagem e ferramenta de autoria para a meta-modelagem de aprendizes de conceitos visuais, 11/07/01

043 DAL LAGO, Fábio (Orientador: DIRENE, Alexandre Ibrahim) Construindo descrições simbólicas consistentes com aplicação a um sistema de autoria de conceitos visuais, 12/07/01

044 NORONHA, Robinson Vida ( Orientador: DIRENE, Alexandre Ibrahim) Ferramenta de autoria e ensino de perícias em circuitos elétricos, 16/07/01

045 FERREIRA, Simone Nasser Matos (Orientador: MUSICANTE, Martin A) Especificação formal e implementação de um protótipo para a linguagem paralog, 26/07/01

046 INSSA, Mateus Cordeiro (Orientador: DUARTE JUNIOR, Elias Procopio) Um protocolo para difusao confiável em redes de topologia arbitrária, 24/08/01

047 MEDEIROS, Luciano Frontino de (Orientador: RIBEIRO, Eduardo Parente) Reconstrução de imagens tomográficas com redes neurais parcialmente conectadas, 30/08/01

048 VOLPI, Lisiane Maes (Orientador: VERGILIO, Silvia Regina) Uma estratégia de teste de software para ambiente cliente-servidor, 31/08/01

049 PINTO, Jose Simão de Paula (Orientador: SUNYE, Marcos Sfair) Mapeamento de atributos complexos e multivalorados na extração de esquemas utilizando XML, 30/08/01

050 NOBRE, Emerson Faria (Orientador: KRAUSE, Decio, CO-Orientador: MUSICANTE, Martin A) Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada, 31/08/01

051 CORLASSOLI, Tarcísio Paulo (Orientador: MURTA, Cristina Duarte) Uma política de escalonamento para servidores web baseada na velocidade da conexão, 20/09/01

052 FERNANDES, Henrique Denes Hilgenberg (Orientador: MUSICANTE, Martin A, Co-Orientador: DUARTE JUNIOR, Elias Procopio) Anemona: uma linguagem de configuração para aplicações de monitoração de redes, 21/09/01

053 ITAKURA, Fernando Takashi (Orientador: VERGILIO, Silvia Regina) Towabe: uma ferramenta para avaliação de usabilidade de aplicações para web, 21/09/01

054 MARCHAUKOSKI, Jeroniza Nunes (Orientador: SUNYE, Marcos Sfair) Princípios para a construção de banco de dados de imagens médicas, 09/11/01

055 SILVA, Glória da (Orientador: Michel Gagnon) Interpretação dos advérbios de localização temporal em Português, 22/11/01

056 PEREIRA, Simone Vieira (Orientador: Olga Regina Pereira Bellon) Avaliação de Sistemas de Recuperação de Imagens Baseada em Conteúdo: Um Estudo de Caso na Área Médica 07/12/01

057 SCHNEIDER,Mário Jorge (Orientador: Olga Regina Pereira Bellon) Processamento Digital de Imagens e a Evolução Tecnológica na Resolução em Sensoriamento Remoto: O Caso da Fusão de Imagens de Diferentes Resoluções Especiais, 12/12/01

058 GORGA, Cristovão Nunes (Orientador: BELLON, Olga Regina Pereira) Um sistema computacional para apoio à neonatologia utilizando o método footscan, 13/12/01

2002

059 BASSI, Patrícia Rucker (Orientador:Laura Sanchez Garcia) Um Ambiente de Interface Visual para a Geração de Sub-Esquemas para uma Ferramenta de Consulta Baseada no Modelo ERC+, 27/02/02

060 RANTHUM, Geraldo (Orientador: Laura Sanchez Garcia) Um Ambiente de Interface para Visualização da Resposta em uma Ferramenta de Consulta a Banco de Dados, 28/02/02

061 BONA, Luis Carlos Erpen de (Orientador: DUARTE JUNIOR, Elias Procopio) Gerencia confiável de redes locais baseada em diagnóstico distribuído, 01/03/02

062 EMER, Maria Cláudia Figueiredo Pereira (Orientador: VERGILIO, Silvia Regina) Seleção e avaliação de dados de teste baseadas em programação genética, 13/03/02

063 KRETSCHEK, Martin Alain (Orientador: HEXSEL, Roberto A) Panalyse, uma ferramenta de baixo impacto para mediçao de utilizaçao de recursos do sistema operacional linux, 15/03/02

064 MIOLA, Mariza (Orientador: Michel Gagnon) Construção de Gramática do Português para um Estudo Comparativo da Robustez de Alguns Algoritmos de Análise Gramatical, 18/03/02

065 MACHADO, Edson Luiz (Orientador: GAGNON, Michel, Orientador: GODOY, Elena) Implementação de uma análise semântica da construção ESTAR + PARTICÍPIO PASSADO em português, 27/03/02

066 CAVALHEIRO, Andréa de Fátima (Orientador: Aurora Trinidad Ramirez Pozo) GADBMS – Um Algoritmo Genético Minerador de Dados para Base de Dados Relacionais, 02/04/02

067 RODRIGUES, Ernesto Luis Malta (POZO, Aurora Trinidad Ramirez) Evolução de funções em programação genética orientada a gramáticas, 19/04/02

068 SPINOSA, Eduardo Jaques (Orientador: RAMIREZ POZO, Aurora Trinidad) Adaptação dinâmica de parâmetros em computação evolucionária: o controle do tamanho da população em um sistema de programação genética, 06/05/02

069 BOSCARIOLI, Clodis (Orientador: SÁNCHEZ GARCÍA, Laura) Um ambiente de interface visual para a elaboração de predicados para uma ferramenta de consultas a banco de dados sob o modelo ERC+, 07/05/02

070 ISHIDA, Celso Yoshikazu (Orientador: Aurora Trinidad Ramirez Pozo) Programação Genética Orientada a Gramática e a Mineração de Base de Dados Relacional, 09/05/02

071 VARZINCZAK, Ivan José (Orientador:CASTILHO, Marcos Alexandre) Causalidade e dependência em raciocínio sobre ações, 06/06/02

072 NUNES, Luelson Marlos (Orientador: DUARTE JUNIOR, Elias Procopio) Uma infra-estrutura baseada em FT-Corba para o desenvolvimento de aplicações distribuídas confiáveis, 05/07/02

073 CARVILHE, Cláudio Ricardo Vieira (Orientador: Martin Alejandro Musicante) Semântica de Ações Orientada a Objetos, 15/07/02

074 FREITAS, Cilas (Orientador: Klaus de Geus) Uma Arquitetura baseada em Padrões Abertos para Visualização Científica via Internet Aplicada à Medicina, 12/08/02

075 DOMETERCO, José Henrique (Orientador: Klaus de Geus) Uma plataforma para visualização tridimensional de regiões de ativação cerebral por imagens de ressonância magnética funcional, 26/08/02

076 SIQUEIRA, Jadson Igor (Orientador: DUARTE JUNIOR, Elias Procopio) Uma estratégia para diagnóstico distribuído de redes de topologia arbitrária, 30/08/02

077 MARTINS, Valdir (Orientador: Eduardo Parente Ribeiro) Avaliação da taxa de compressão sem perdas em projeções de tomografia computadorizada, 30/08/02

078 PASQUAL, Juliana (Orientador: Marcos Sfair Sunyé) Uso de XML para Interoperabilidade Entre Bases Heterogêneas, 28/08/02

079 VALLIM, David da Assunçao (Orientador: SUNYE, Marcos Sfair) Extraçao de regras de integridade referencial a partir do código fonte, 17/09/02

080 GOTARDO, Paulo Fabiano Urnau (Orientador: OLGA REGINA PEREIRA) Segmentaçao de imagens de profundidade utilizando curvaturas de superfícies e um método de estimativa robusto, 14/09/02

081 SEVERICH, Maurício (Orientador: BELLON, Olga Regina Pereira) Uma feramenta de processamento de imagens para o sistema footscan, 15/10/02

082 VIEIRA, Everton Vidal (Orientador: Olga Regina Pereira Bellon) Mineração de Imagens: Conceitos e Aplicações em Sistemas de Recuperação de Imagens por Conteúdo, 16/10/02

083 AUGUSTO, Mário Ezequiel (Orientador: Cristina Duarte Murta) Avaliação Experimental de Ferramentas para Medição de Largura de Banda, 25/11/02

084 SUZUKI, Denis Felipe (Orientador: COELHO, Eliana de Mattos Pinto, Co-Orientador: GAGNON, Michel) Implementaçao de um sistema gerador de frases no domínio de tráfego aéreo utilizando ontologias, 09/12/02

085 LIMA, Tiago Santos de (Orientador: GAGNON, Michel, Co-Orientador: BORGES NETO, Jose) Análise semântica do objeto nulo em Português do Brasil, 11/12/02

086 FINGER, Roger Antonio (Orientador: COELHO, Eliana de Mattos Pinto, Co-Orientador: GAGNON, Michel) Geração de perífrases verbais do tipo estar+gerúndio e estar+particípio passado em Português, 13/12/02

2003

087 URBAN, Antônio Edson (Orientador: Alexandre Ibrahim Direne) Ao Redor dos Sistemas: Os Saberes Não-Aristotélicos e os Limites em Sistemas de Ensino-Aprendizagem, 26/02/03

088 ROJO, Roberta Vanessa (Orientador: CASTILHO, Marcos Alexandre) Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre ações, 27/02/03

089 RUBIO, Cassio Augusto (Orientador: GEUS, Klaus de) Estilização e visualização tridimensional de tumores intracranianos em exames de tomografia computadorizada, 27/02/03

090 NASCIMENTO, Joao Paulo Ribeiro do (Orientador: PEDRINI, Hélio) Análise e classificação de imagens baseadas em características de textura utilizando matrizes de co-ocorrência, 14/04/03

091 TAVARES, Rui Alberto Ecke (Orientador: Elias Procópio Duarte Jr) Um Algoritmo para Paginação de Árvores Binárias de Pesquisa Utilizando Empacotamento Unidimensional, 07/07/03

092 GARCIA, Patrícia de Andrade Bueno (Orientador: SUNYE, Marcos Sfair) Provedores de dados de baixo custo: publicação digital ao alcance de todos, 24/07/03

093 INÁCIO JÚNIOR, Edmundo (Orientador: CONSTANTINO, Ademir Aparecido, Co-orientador: MENDONÇA NETO, Candido Ferreira Xavier de) Planarização de grafos por divisão de vértices, 30/07/03

094 HAYDU, Nícholas Bender (Orientador: FIGUEIREDO, Mauricio Fernandes) Uma abordagem baseada em seleçao pelas conseqüencias para aprendizagem de redes neurais multi-camadas voltadas a concepção de sistemas autônomos inteligentes, 15/07/03

095 HALMEMAN, Radames Juliano (Orientador: GIMENES, Itana Maria de Souza) Projeto do componente gerenciador de execução de workflow segundo a abordagem de linha de produto de software, 22/07/03

096 LOPES, Fabrício Martins (Orientador: CONSULARO, Luís Augusto e FIGUEIREDO, Co-orientador: Mauricio Fernandes) Um modelo perceptivo de limiarização de imagens digitais, 22/08/03

097 JAQUES, Osvaldo Vargas (Orientador: FIGUEIREDO, Mauricio Fernandes, Co-orientador: COELHO, Regina Célia) Síntese de estruturas neurais usando gramáticas vetoriais estocásticas, 22/08/03

098 BATISTA, Lígia Flávia Antunes (Orientador: GIMENES, Itana Maria de Souza, Co-orientador: TRINDADE, José Tarcísio Pires, Co-orientador: DIRENE, Alexandre Ibrahim) Autoria de diretrizes pedagógicas destinadas ao treinamento das múltiplas capacidades da perícia em conceitos visuais complexos, 22/08/03

099 MORO, Cesar Fernando (Orientador: HUZITA, Elisa Hatsue Moriya) Suporte a persistencia de artefatos para o ambiente distribuído de desenvolvimento de softoware disen, 22/08/03

100 PEDRAS, Maria Edith Villela (Orientador: HUZITA, Elisa Hatsue Moriya, Co-orientador: TAIT, Tania Fatima Calvi) Uma ferramenta de apoio ao gerenciamento de desenvolvimento de software distribuído, 22/08/03

101 SEREDA, Patrícia (Orientador: HEXSEL, Roberto A) Servidor de vídeo SVFSERVER, 27/08/03

102 BATISTA, Sueleni Mendez (Orientador: HUZITA, Elisa H) Uma ferramenta de apoio a definiçao de requisitos da mdsodi no contexto do ambiente disen, 27/08/03

103 BATISTA, Denerval Mendez (Orientador: DELAMARO, Marcio Eduardo, Co-orientador: SPOTO, Edmundo Sergio DBValTool: uma ferramenta para apoiar o teste e a validação de projeto de banco de dados relacional, 29/08/03

104 RIBAS, Luiz Vinicius Marra (Orientador: FIGUEIREDO, Mauricio Fernandes) Uso de redes neurais na previsao de desvios em arquiteturas superescalares, 29/08/03

105 UTSUNOMIYA, Carla Tiaki (Orientador: DELAMARO, Marcio Eduardo) Métricas 00 aplicadas a código objeto java 29/08/03

106 TOALDO, Juliano Rogerio (Orientador: VERGILIO, Silvia Regina) Utilizando análise de mutantes no teste de programas prolog, 25/09/03

107 CAMARGO, Neilor Fermino (Orientador: CARVALHO, Carlos Alberto Picanço de) VFT: uma estrutura de aplicação para visualização de fenômenos terrestres em 3D via WEB, 26/09/03

108 SOUZA, Alexandre Mendonça de (Orientador: GEUS, Klaus de) Identificação de tumores cerebrais por meio do modelo de contornos ativos e algoritmos genéticos, 26/09/03

109 MILSZTAJN, Flavio (Orientador: GEUS, Klaus de) Segmentação de tecidos cerebrais em imagens de ressonância magnética utilizando campos aleatórios de Markov, 29/09/03

110 SOARES, Sandramara Scandelari Kusano de Paula (Orientador: SÁNCHEZ GARCÍA, Laura) MaTrigs: um ambiente de interface para mapeamento de triggers em modelo erc+, 29/09/03

111 ABREU, Amilcar Fernandes Costa de (Orientador: GUEDES, Andre Luiz Pires) Indexação de imagens de profundidade baseada em conteúdo, 30/09/03

112 BORGES, Suzan Kelly (Orientador: RAMIREZ POZO, Aurora Trinidad) Resolução de Timetabling utilizando algoritmos genéticos e evolução cooperativa, 14/10/03

113 SCOPIM, Kemmel da Silva (Orientador: SUNYE, Marcos Sfair) J-schemas integrator: uma ferramenta para integraçao de esquemas de bancos de dados heterogeneos, 27/11/03

114 SANTINI, Rogério (Orientador: DUARTE JUNIOR, Elias Procopio) Roteamento tolerante a falhas baseado em desvios de alta conectividade, 07/11/03

115 STELMATCHUK, Júlio Cesar Franchetti (Orientador: SUNYE, Marcos Sfair, Co-orientador: HARA, Carmem Satie, XTREM: uma ferramenta para armazenamento de documentos XML em banco de dados relacionais, 19/11/03

116 SILVA, Edenilson José da (Orientador: VERGILIO, Silvia Regina) PREDTOOL: uma ferramenta para apoiar o teste baseado em predicados, 25/11/03

117 FERREIRA, Luciano Petinati (Orientador: VERGILIO, Silvia Regina) TDSGen – uma ferramenta de geraçao de dados de teste baseada em algoritmos genéticos, 28/11/03

118 SASS, Glaucia Gabriel (Orientador: GIMENES, Itana Maria de Souza) Proposta de uma arquitetura de componentes para sistemas de informação baseados na WEB: nível lógico, 11/12/03

2004

119 SANTOS, Gabriel dos (Orientador:DIRENE, Alexandre Ibrahim, Co-Orientador: GUEDES, Andre Luiz Pires ) Autoria e interpretaçao tutorial de soluções alternativas para promover o ensino de programação de computadores, 30/01/04

120 VENSKE, Sandra Mara Guse Scós (Orientador:MUSICANTE, Martin A) Verificação de tipos de XQuery: um protótipo em ASF+SDF, 16/02/04

121 TROIANO, Marcelo (Orientador:GEUS, Klaus de) Visualização de regiões de ativação cerebral por fMRI sobre volumes multimodais, 16/02/04

122 LECHETA, Edson Martins (Orientador:CASTILHO, Marcos Alexandre) Algoritmos genéticos para planejamento em inteligencia artificial, 26/02/04

123 NOGUCHI, Maria Tereza Galeb (Orientador:BELLON, Olga Regina Pereira) Um sistema baseado em regras fuzzy para classificação supervisionada de imagens multiespectrais de alta resolução, 27/02/04

124 SILVESTRE, Alessandro Rogério Bérgamo (Orientador:PEDRINI, Hélio) Avaliação de critérios para aproximação de superfícies em imagens digitais utilizando malhas triangulares, 27/02/04

125 KIEFER, Andreas (Orientador:DUARTE JUNIOR, Elias Procopio) Gerencia de desempenho baseada em pesquisa multidimensional, 26/04/04

126 BRAZ, Marcio Rodrigo (Orientador:VERGILIO, Silvia Regina) Métricas de software baseadas em casos de uso e teoria Fuzzy, 26/04/04

127 ARAUJO, Marcelo (Orientador:MUSICANTE, Martin A, Co-Orientador: GUEDES, Andre Luiz Pires ) Language features library: uma biblioteca de classes para semântica de ações orientadas a objetos,30/04/04

128 DUTRA, Geri Natalino (Orientador:MURTA, Cristina Duarte) Caracterização de parâmetros para modelos de serviço http, 30/04/04

129 HILGENSTIELER, Egon (Orientador:DUARTE JUNIOR, Elias Procopio) Roteamento reverso na internet, 04/06/04

130 MELLO, Thiago Eugenio Bezerra de (Orientador:HEXSEL, Roberto A) Nariz – um sistema de correlacionamento distribuído de alertas, 22/06/04

131 REGOLIN, Evandro Nunes (Orientador:RAMIREZ POZO, Aurora Trinidad) Programação genética e algoritmos de estimação de distribuição, 25/06/04

132 ZAMBONI, Alessandro Rodrigues (Orientador:GUEDES, Andre Luiz Pires) Uma proposta de sistema de software para auxílio na geração de tranformações de formalismo BAV para integração de bancos de dados, 07/07/04

133 ALMEIDA, Eduardo Cunha de (Orientador:SUNYE, Marcos Sfair) Estudo de viabilidade de uma plataforma de baixo custo para Data Warehouse, 03/07/04

134 LIMA, Johnatan Daniel Fromholz (Orientador:CARVALHO, Carlos Alberto Picanço de) Uma interface para a persistencia de fenômenos terrestres representados como objetos, 17/07/04

135 SILVA, Murilo Vicente Gonçalves da (Orientador:André Luiz Pires Guedes) Algoritmos para Teste de Perfeição de Grafos, 26/07/04

136 ZIWICH, Roverli Pereira (Orientador:DUARTE JUNIOR, Elias Procopio) Detecção distribuída de alterações em sistemas com conteúdo replicado utilizando diagnóstico baseado em comparações, 17/09/04

137 SOUZA, Gustavo Alexandre de (Orientador:VERGILIO, Silvia Regina) Utilizando redes neurais artificiais para modelar a confiabilidade de software, 22/09/04

138 CARVALHO JUNIOR, Jose de (Orientador:SUNYE, Marcos Sfair) Definição de um padrão baseado em xml para descrição de normas jurídicas brasileiras, 30/11/04

139 MARYNOWSKI, Joao Eugenio (Orientador:CASTILHO, Marcos Alexandre) Ambiente de planejamento ipe, 01/12/04

140 ANDRADE NETO, Pedro Ribeiro de (Orientador:GUEDES, Andre Luiz Pires) Busca de padrões em subdivisões planares, 10/12/04

141 FADEL, Nilo Sérgio (Orientador:HARA, Carmem Satie) Estudo da adequação do uso de XML para o armazenamento de dados históricos, 21/12/04

142 SOUZA, Lucelia de (Orientador:SÁNCHEZ GARCÍA, Laura) Informação de auxílio ao usuário no paradigma de auto-publicação em arquivos abertos, 22/12/04

2005

143 SILVA, Ernesto Cleyton Linhares da (Orientador:MURTA, Cristina Duarte) Análise da interdependencia de métricas de desempenho na composição de clusters de servidores WEB, 27/01/05

144 MARQUES FILHO, Sergio Luiz (Orientador:HEXSEL, Roberto A) Uma abordagem multithread em aplicações paralelas utilizando MPI, 14/03/05

145 NASSU, Bogdan Tomoyuki (Orientador:DUARTE JUNIOR, Elias Procopio) Descoberta da topologia de redes dinâmicas e descentralizadas com agentes móveis inteligentes, 18/03/05

146 SCHWARTZ, William Robson (Orientador:PEDRINI, Hélio) Segmentação de imagens baseada em dependencia espacial utilizando campo aleatório de Markov associado com características de texturas, 21/03/05

147 MORAIS, Cátia Garcia (Orientador:MURTA, Cristina Duarte) Modelagem de desempenho de servidores Web empregando a teoria Network Calculus, 22/03/05

148 KAICK, Oliver Matias Van (Orientador:PEDRINI, Hélio) Métricas para simplificação de malhas triangulares, 22/03/05

149 HARTMANN, Celso Mauricio (Orientador:DIRENE, Alexandre Ibrahim) Linguagem e ferramenta de autoria para promover o desenvolvimento de perícias em xadrez, 29/03/05

150 MAURER, Maurício Rafael (Orientador:PEDRINI, Hélio) Reconstrução tridimensional de imagens de microscopia de luz, 29/03/05

151 FERREIRA, Cloris Ragna (Orientador:GUEDES, Andre Luiz Pires) Uso de grafos na recuperação de imagens por conteúdo, 31/03/05

152 NOGUEIRA, Valmir Cesar (Orientador:Carmem Satie Hara) J-QUERY – Uma ferramenta para consulta a banco de dados heterogeneos distribuídos, 07/04/05

153 TRALESKI, Rodrigo (Orientador:RAMIREZ POZO, Aurora Trinidad) Otimização de um algoritmo de estimativa de distribuição na tarefa de seleção de características, 07/04/05

154 KOZIEVITCH, Nadia Puchalski (Orientador:SUNYE, Marcos Sfair) Dados meteorológicos: um estudo de viabilidade utilizando um SGBD em plataforma de baixo custo, 17/05/05

155 LANGIANO, Beatriz do Carmo (Orientador:SUNYE, Marcos Sfair) Um mecanismo para automatizar a criação dos metadados das imagens de bibliotecas digitais e prover buscas por conteúdo, 18/05/05

156 FARAH, Paulo Roberto (Orientador:MURTA, Cristina Duarte) Geração e análise de sobrecarga em servidores WEB, 18/07/05

157 JONACK, Marco Antonio (Orientador:MURTA, Cristina Duarte) Limites de capacidade e proteção de servidores em redes gigabit, 19/07/05

158 SILVA, Eduardo Sant’Ana da (Orientador:PEDRINI, Hélio) Compactação eficiente da geometria de malhas triangulares, 28/07/05

159 STEIN, Tatiane (Orientador:PEDRINI, Hélio) Avaliação de descritores de textura para segmentação de imagens, 29/07/05

160 AIRES, Joao Paulo (Orientador:VAZ, Maria Salete Marcon Gomes) Uma arquitetura distribuída para o modelo de metadados metamídia, 27/09/05

161 BARBOSA FILHO, Rubens (Orientador:RAMIREZ POZO, Aurora Trinidad) Multi-PBil: um algoritmo de estimação de distribuição aplicado a problemas de otimização multimodais, 23/09/05

162 HAUSEN, Alexandre Ceolin (Orientador:VERGILIO, Silvia Regina) ValiMPI: uma ferramenta de teste estrutural para programas paralelos em ambiente de passagem de mensagem, 27/09/05

163 ROCHA, Cláudio Martin (Orientador:VERGILIO, Silvia Regina) Explorando o relacionamento entre métricas baseadas em caso de uso e o número de casos de teste, 27/09/05

164 GONÇALVES, Juliano Lucas (Orientador:VAZ, Maria Salete Marcon Gomes) Estudo de gestao de dados nao convencionais baseada em metadados para o ambiente de dispositivos móveis, 28/09/05

165 PRADO, José Augusto Soares (Orientador:DONADELLI JÚNIOR, Jair) Análise experimental do quicksort probabilístico com gerador de números pseudo-aleatórios penta-independente, 18/11/05

166 FARIA, Diego Resende (Orientador:RIBEIRO, Eduardo Parente) Reconhecimento de impressões digitais com baixo custo computacional para um sistema de controle de acesso, 19/12/05

2006

167 BRANDAO, André Luiz (Orientador:SÁNCHEZ GARCÍA, Laura) Estudo de caso de um ambiente de edição colaborativa de material técnico-didático utilizando engenharia semiótica, 17/02/06

168 EHLERS, Cássio da Pieva (Orientador:SÁNCHEZ GARCÍA, Laura) Um método de avaliação de interfaces de mapas interativos para WEB, 20/02/06

169 STIVANIN, Zeno (Orientador:GUEDES, Andre Luiz Pires) Traçado automático de hipergrafos direcionados, 10/03/06

170 SCHROEDER, Jonatan (Orientador:DUARTE JUNIOR, Elias Procopio) Roteamento dinâmico tolerante a falhas baseado em avaliação de fluxo máximo, 10/03/06

171 POTRICH, Edinardo (Orientador:MUSICANTE, Martin A) PEWS Editor, um front-end para a linguagem PEWS, 10/03/06

172 CARRERO, Marcos Aurélio (Orientador:MUSICANTE, Martin A) Um sistema de tempo de execução para a linguagem PEWS, 10/03/06

173 FRANZOTTE, Ledyvânia (Orientador:VERGILIO, Silvia Regina) Utilizando análise de mutantes para realizar o teste de documentos XML Schema, 16/03/06

174 ALMEIDA JUNIOR, Lourival Francisco de (Orientador:VERGILIO, Silvia Regina) Explorando teste baseado em perturbação no contexto de Web Services, 17/03/06

175 VRIESMANN, Leila Maria (Orientador:RAMIREZ POZO, Aurora Trinidad, Co-orientador: GUIMARAES, Alaine Margarete) Boosting e estratégias evolucionárias na tarefa de regressão para a mineração de dados temporais, 28/03/06

176 COSTA, Eduardo Oliveira (Orientador:RAMIREZ POZO, Aurora Trinidad) Proposta de um algoritmo de programação genética baseado em estratégias evolucionárias, 30/03/06

177 MARTINESCHEN, Daniel (Orientador:DIRENE, Alexandre Ibrahim) Alternância entre competição e colaboração para promover o aprendizado por meio de heurísticas de jogos, 31/03/06

178 SILVA, Ricardo Czelusniak da (Orientador:VAZ, Maria Salete Marcon Gomes) Benchmark em banco de dados multimídia: análise de desempenho em recuperação de objetos multimídia, 24/04/06

179 ARAÚJO, Anderson Viçoso (Orientador:BELLON, Olga Regina Pereira, Co-orientador: SILVA, Luciano) Árvores de decisao fuzzy na mineração de imagens do sistema footScanAge, 24/04/06

180 PINHEIRO, Luciane Cristina (Orientador:VAZ, Maria Salete Marcon Gomes) Método de representação espacial de Clustering, 28/04/06

181 WATTER, Leslie Harlley (Orientador:HEXSEL, Roberto A) Avaliação de desempenho do protocolo IEEE 802.2-LLC no Kernel do Linux, 28/04/06

182 MARTINHAGO, Adriana Zanella (Orientador:SUNYE, Marcos Sfair) Customização em ambientes de qualidade de dados, 29/05/06

183 GUTTOSKI, Pryscila Barvick (Orientador:SUNYE, Marcos Sfair) Otimização de consultas no PostgreSQL utilizando o algoritmo de Kruskal, 22/06/06

184 DELFINO JUNIOR, Joao Bosco (Orientador:SUNYE, Marcos Sfair) Aplicaçoes de algorítimos usando visoes materializadas para integração de Bibliotecas Digitais, 23/06/06

185 BARBIERO, Andreia Aparecida (Orientador:HEXSEL, Roberto A) Ambiente de suporte ao projeto de sistemas embarcados, 10/07/06

186 SANTOS, Rodrigo Cordeiro dos (Orientador:HARA, Carmem Satie) XKeyMatch: um algoritmo semântico para detecção de diferenças entre documentos XML, 14/07/06

187 PORTO, Silvio Alexandre (Orientador:CASTILHO, Marcos Alexandre) Planejamento em redes de tarefas hierárquicas com aplicação em jogos, 13/09/06

188 ROJAS MONTAÑO, Razer Anthom Nizer (Orientador:SILVA, Fabiano) Aplicação de formulas não-clausais em planejamento com redes de Petri, 14/09/06

189 NANDI, Regina de Cassia (Orientador:GUEDES, Andre Luiz Pires) Isomorfismo de grafos aplicado à comparação de impressões digitais, 15/09/06

190 STIVAL, Marcelo Loyola (Orientador:HEXSEL, Roberto A) Avaliação de desempenho em aglomerados de PCs interligados por Ethernet, 15/09/06

191 FEITOSA, Alexandre Rômolo Moreira (Orientador:DIRENE, Alexandre Ibrahim) Definição formal de táticas de xadrez por meio da autoria incremental de conceitos heurísticos, 22/09/06

192 ALMEIDA, Leonelo Dell Anhol (Orientador:GARCÍA, Laura Sánchez) Modelo de apoio ao design de ambientes colaborativos para elaboração de conteúdos didáticos, 05/12/06