DateLevelTitleStudentAdvisor
20/05/2019MasterDetecção de rasuras em símbolos com aprendizado Bayesiano de programas (BPL)Raphael Davis de Oliveira CostaMarcel Parolin Jackowski
13/05/2019MasterAlgoritmos e limitantes para o número de independência em grafos de distânciaLetícia Henares ValentiniFernando Mario de Oliveira Filho
03/05/2019MasterComparativo de algoritmos de otimização em modelos de aprendizagem de máquina com foco em grandes massas de dadosRené Vieira SantinWalter Figueiredo Mascarenhas
03/05/2019MasterOnline, Convexa Online: Algoritmos, Aprendizado, e DualidadeVictor Sanches PortellaMarcel Kenji de Carli Silva
22/04/2019MasterPredição de genes ab initio combinada com informações de alinhamentoBruno Tenório da Silveira LopesAlan Mitchell Durham
18/03/2019DoctorateInterSCSimulator: Um Simulador de Cidades Inteligentes Escalável e de Código AbertoEduardo Felipe Zambom SantanaFabio Kon
15/03/2019DoctorateAbordagem eficiente baseada em grafo hierárquico em camadas para a segmentação de múltiplas regiõesLeissi Margarita Castaneda LeonPaulo Andre Vechiatto de Miranda
07/03/2019MasterExperimentação baseada em Simulação em Sistemas para Cidades InteligentesLucas Kanashiro DuarteFabio Kon
07/02/2019DoctorateAnálise Semântica Neural Profunda: Traduzindo de Linguagem Natural para SPARQLFabiano Ferreira LuzMarcelo Finger
05/02/2019MasterUma visão sobre a próxima geração de abstrações de processos em sistemas operacionaisRodrigo Siqueira JordãoFabio Kon
08/01/2019MasterEstrutura de dados persistentesYan Soares CoutoCristina Gomes Fernandes
20/12/2018DoctorateTransversais de grafosJuan Gabriel Gutierrez AlvaCristina Gomes Fernandes
14/12/2018DoctorateAlgoritmos exatos para problemas de spanner em grafosHugo Vinicius Vaz BragaYoshiko Wakabayashi
13/12/2018MasterUma Nova Técnica de Calibração para Segmentação Semântica Baseada em GrafosMateus RivaRoberto Marcondes Cesar Junior
12/12/2018MasterMigração de redes tradicionais para SDNRenan Rodrigo BarbosaDaniel Macedo Batista
06/12/2018DoctorateEngajamento por meio de elementos de jogos em comunidades online de colaboração abertaAna Paula Oliveira BertholdoMarco Aurélio Gerosa
05/12/2018DoctorateMétodo Beam Search Aplicado a Problemas de Programação da ProduçãoJosé Eurípedes Ferreira de Jesus FilhoErnesto Julian Goldberg Birgin
29/11/2018MasterUm Estudo Comparativo de Métodos de Segmentação de Documentos AntigosNury Yuleny Arosquipa YanqueRoberto Hirata Junior
28/11/2018DoctorateIdentificação de Causalidade em Genética e NeurociênciaAdèle Helena RibeiroAndré Fujita
14/11/2018DoctorateDensidade Local em GrafosLuis Eduardo Zambrano FernandezYoshiharu Kohayakawa
14/11/2018MasterAprendizado Profundo, Aprendizado Ativo, Análise de Sentimento, Monte Carlo DropoutLucas Albuquerque Medeiros de MouraMarcelo Finger
06/11/2018MasterAlgoritmos Eficientes para o Problema do Orçamento Mínimo em Processos de Decisão Markovianos Sensíveis ao RiscoDaniel Augusto de Melo MoreiraKarina Valdivia Delgado
23/10/2018MasterWED-SQL: uma linguagem declarativa intermediáriacom apoio transacional para a modelagem e implementação de Sistemas de Informação Cientes de Processos.Bruno PadilhaJoão Eduardo Ferreira
22/10/2018MasterPlanejamento baseado em Verificação Simbólica de ModelosViviane Bonadia dos SantosLeliane Nunes de Barros
03/10/2018MasterAnálise da modernização de sistemas monolíticos legados para micro-serviços à luz da dívida técnica: um estudo de caso corporativoCaio Henrique Bos LoureiroAna Cristina Vieira de Melo
21/09/2018DoctorateAjuda do Humano em Planejamento Automatizado sob IncertezaIgnasi Andrés FranchLeliane Nunes de Barros
31/08/2018MasterSegmentação de pele humana usando regras de correlação baseadas em agrupamento dinâmico de coresRodrigo Augusto Dias FariaRoberto Hirata Junior
24/08/2018MasterIdentificação de sistema dinâmico em dados de estoque imobiliárioLuiz Paulo Medina de LimaJunior Barrera
23/08/2018MasterAnálise de desempenho do nsQUIC: um Módulo para Simulação do Protocolo QUICDiego de Araujo Martinez CamarinhaDaniel Macedo Batista
10/08/2018DoctorateSegmentação de Objetos via Transformada Imagem-Floresta Orientada com Restrições de ConexidadeLucy Alsina Choque MansillaPaulo Andre Vechiatto de Miranda
10/08/2018DoctorateSeleção de Modelos para o Aprendizado de Hipóteses BooleanasJoel Edu Sanchez CastroRonaldo Fumio Hashimoto
06/08/2018DoctorateAlgoritmos eficientes para análisede campos aleatórios condicionais semi-markovianose sua aplicação em sequências genômicasÍgor BonadioAlan Mitchell Durham
30/07/2018DoctorateRegressão Logística Multinomial: Um modelo à partir do comportamento longitudinal do usuário em rede social para a predição de traços depressivosMaricy CaregnatoFlavio Soares Correa da Silva
30/07/2018MasterA detecção de implicaturas conversacionais da ironia em textos de redes sociais através do Aprendizado de Máquina para portuguêsRayssa Kullian MartinsMarcelo Finger
05/07/2018MasterResolvendo Vestibular Utilizando Recuperação de InformaçãoIgor Cataneo SilveiraDenis Deratani Mauá
25/06/2018DoctoratePredição de Desempenho de Aplicações Executadas em GPUs usando um Simples Modelo Analítico e Técnicas de Aprendizado de MáquinaMarcos Tulio Amaris GonzalezAlfredo Goldman Vel Lejbman
22/06/2018MasterRanqueamento de Avisos de Análise Estática de Código Fonte para Monitoramento de Repositórios de Software LivreAthos Coimbra RibeiroFabio Kon
20/06/2018MasterModelos computacionais prognósticos de lesões traumáticas do plexo braquial em adultosLuciana de Melo e AbudKelly Rosa Braghetto
18/06/2018MasterUma Plataforma Escalável de Código Aberto Baseada em Microsserviços para Cidades InteligentesArthur de Moura Del EsposteFabio Kon
08/06/2018MasterGrafos e hipergrafos com cintura e número cromático grandesGiulia Satiko MaesakaYoshiharu Kohayakawa
25/04/2018DoctorateTestes estatísticos semi paramétricos para discriminação de grafosGabriela Eleutério SoaresAndré Fujita
23/04/2018MasterCidades inteligentes, visão computacional, vegetação urbana, Google Street ViewArtur André Almeida de Macedo OliveiraRoberto Hirata Junior
20/04/2018DoctorateIndependência parcial no problema da satisfazibilidade probabilísticaEduardo Menezes de MoraisMarcelo Finger
17/04/2018DoctorateAvaliação de Localização de Defeitos Baseada em Espectro para Uso PráticoHigor Amario de SouzaFabio Kon
16/04/2018MasterUma análise comparativa de ambientes para Big Data: Apche Spark e HPATRafael Aquino de CarvalhoAlfredo Goldman Vel Lejbman
23/03/2018DoctorateGerenciamento de Dívida Técnica no Contexto de Desenvolvimento deSoftware ÁgilGraziela Simone ToninAlfredo Goldman Vel Lejbman
19/02/2018MasterComparação de algoritmos para o Problema dos K Menores CaminhosDiogo Haruki KykutaCarlos Eduardo Ferreira
15/02/2018MasterTeoria de Ehrhart para fatores reais de dilataçãoTiago RoyerSinai Robins
30/01/2018DoctorateEyeSwipe: Entrada de Texto Usando Gestos do OlharAndrew Toshiaki Nakayama KurauchiCarlos Hitoshi Morimoto
19/01/2018MasterAnomalias na camada de apresentação de aplicativos androidSuelen Goularte CarvalhoMarco Aurélio Gerosa
18/12/2017MasterModelagem de WED-flow TemporalRodrigo Alves LimaJoão Eduardo Ferreira
14/12/2017MasterAceleração de Registro Não-Rígido de Imagens Tomográficas utilizando GPUThiago de Gouveia NunesMarcel Parolin Jackowski
12/12/2017DoctorateRepresentação e Quantificação de Redes Vasculares a Partir de Imagens de Angiografia TridimensionalMiguel Angel Galarreta ValverdeMarcel Parolin Jackowski
11/12/2017MasterExtensão da Transformada Imagem-Floresta Diferencial para funções de conexidade com aumentos baseados na raiz e sua aplicação para geração de superpixelsMarcos Ademir Tejada CondoriPaulo Andre Vechiatto de Miranda
11/12/2017MasterMelhorando o ataque de reação contra o QC-MDPC McElieceThales Areco Bandiera PaivaRouto Terada
08/12/2017MasterAvaliação de Desempenho de Algoritmos de Estimação do Olhar para Interação com Computadores VestíveisFernando Omar AluaniCarlos Hitoshi Morimoto
08/12/2017MasterRedes Neurais Convolucionais Aplicadas ao Projeto de Operadores de ImagensAndré Vinícius LopesRoberto Hirata Junior
06/12/2017DoctorateUm sistema de reconhecimento, busca aproximada, e alinhamento múltiplo de documentos históricosGustavo Enrique Salazar TorresAlair Pereira do Lago
05/12/2017MasterControle em Interfaces Cérebro-Computador de Baixo Custo para Aplicações MusicaisGuilherme Feulo do Espirito SantoMarcelo Gomes de Queiroz
05/12/2017MasterIntegraWeb: uma proposta de arquitetura baseada em mapeamentos semânticos e técnicas de mineração de dadosFelipe Lombardi PierinJaime Simão Sichman
30/11/2017MasterUtilização de Ontologias para Busca em Base de Dados de Acórdãos do STFRafael Brito de OliveiraRenata Wassermann
27/11/2017MasterAcesso a Dados Baseado em Ontologias com NoSQLBarbara Tieko AgenaRenata Wassermann
27/11/2017MasterOntoMongo - Um Método de Acesso a Dados da Plataforma Lattes Baseado em Ontologias e Sistemas NoSQLThiago Henrique Dias AraujoRenata Wassermann
24/11/2017MasterModelo de transporte de luz direcional multipolo para a renderização de materiais translúcidosDiana Estefania Naranjo PomalayaMarcel Parolin Jackowski
23/11/2017MasterSelfMakeup: um Sistema de Realidade Aumentada para Auto-Aplicação de Maquiagem VirtualAline de Fátima Soares BorgesCarlos Hitoshi Morimoto
22/11/2017MasterMétodos de Busca em CoordenadaLuiz Gustavo de Moura dos SantosErnesto Julian Goldberg Birgin
10/11/2017MasterIntegrando banco de dados relacional e orientado a grafos para otimizar consultas com alto grau de indireçãoMarino Hilario CatarinoJoão Eduardo Ferreira
07/11/2017MasterAnálise de Componentes Principais em Data WarehousesRafael Germano RossiJoão Eduardo Ferreira
26/10/2017MasterContagem incremental de padrões locais em árvores de componentes para cálculo de atributosDênnis José da SilvaRonaldo Fumio Hashimoto
24/10/2017MasterTSS e TSB: Novos descritores de forma baseados em Tensor ScaleAnderson Meirelles FreitasPaulo Andre Vechiatto de Miranda
18/10/2017DoctorateO problema de corte não-guilhotinado multiperíodo com sobras aproveitáveisOberlan Christo RomãoErnesto Julian Goldberg Birgin
13/09/2017DoctorateA formal model for strategic planning in cooperative and competitive environments Case study: design and implementation of a basketball simulatorGuilherme Fernandes OtrantoJunior Barrera
06/09/2017MasterMulti-label classification based on sum-product networksJulissa Giuliana Villanueva LlerenaDenis Deratani Mauá
28/08/2017MasterProgramação de tarefas em um ambiente flow shop com m máquinas para a minimização do desvio absoluto total de uma data de entrega comumJulio Cesar Delgado VasquezErnesto Julian Goldberg Birgin
23/08/2017MasterEstudo de algoritmos de Otimização Estocástica aplicados em Aprendizado de MáquinaJessica Katherine de Sousa FernandesErnesto Julian Goldberg Birgin
16/08/2017DoctorateUso de Jogos Digitais no Desenvolvimento de Competências Curriculares da MatemáticaAdalberto Bosco Castro PereiraFlavio Soares Correa da Silva
09/08/2017DoctorateComplexidade em programação não linearJohn Lenon Cardoso GardenghiErnesto Julian Goldberg Birgin
03/08/2017MasterRevisão de Crenças no fragmento universal da CTL usando Verificação de Modelos LimitadaBruno Vercelino da HoraMarcelo Finger
29/06/2017MasterIFT-SLIC: Geração de Superpixels com Base em Agrupamento Iterativo Linear Simples e Transformada Imagem-FlorestaEduardo Barreto AlexandrePaulo Andre Vechiatto de Miranda
13/06/2017DoctorateO problema do conjunto dominante conexo de k-saltos: algoritmos de aproximação e resultados de inaproximabilidadeRafael Santos CoelhoYoshiko Wakabayashi
12/06/2017DoctorateProjeto de W-operadores usando modelos lineares para imagens binárias e em níveis de cinzaIgor dos Santos MontagnerRoberto Hirata Junior
09/06/2017MasterTree Bark framework: competences and mindset rearrangementsfor Digital and Technology Literacy in times of exponential rate of changesCamila Fernandez AchuttiAna Cristina Vieira de Melo
02/06/2017DoctorateReparação interativa de segmentações 3D com transformada imagem-floresta, supervoxels e robustez de sementesAnderson Carlos Moreira TavaresPaulo Andre Vechiatto de Miranda
29/05/2017DoctorateRevelando o comportamento perdido em redes sociais: detectando reações e análises temporaisSamuel Martins Barbosa NetoRoberto Marcondes Cesar Junior
26/05/2017DoctorateIMPROV: Uma arquitetura para a execução confiável de composições de serviços dinâmicasFelipe Pontes GuimaraesDaniel Macedo Batista
24/05/2017DoctorateTecnologias móveis para interação musicalAntonio Deusany de Carvalho JuniorMarcelo Gomes de Queiroz
22/05/2017MasterUm método para paralelização automática de workflows intensivos em dadosElaine Naomi WatanabeKelly Rosa Braghetto
16/05/2017DoctorateAvaliação de diversão a partir de análise de imagens faciaisLuiz Carlos VieiraFlavio Soares Correa da Silva
02/05/2017DoctorateA Evolução dos Ecossistemas de Startups de Software: Um Modelo de MaturidadeDaniel CukierFabio Kon
25/04/2017MasterParalelização de inferência em redes credais utilizando computação distribuída para fatoração de matrizes esparsasRamon Fortes PereiraJulio Michael Stern
17/04/2017MasterAnálise preditiva de desempenho de workflows usando teoria do campo médioWaldir Edison Farfán CaroKelly Rosa Braghetto
30/03/2017DoctorateColorações de grafos e subdivisões de digrafosPhablo Fernando Soares MouraYoshiko Wakabayashi
27/03/2017MasterClassificação de imagens de plâncton usando múltiplas segmentaçõesMariela Atausinchi FernandezNina Sumiko Tomita Hirata
17/03/2017DoctorateAlocação dinâmica de recursos em sistemas elásticos baseada em modelos de escalabilidadePaulo Bittencourt MouraFabio Kon
15/03/2017MasterIdentificação de alterações em conectividades funcionais córtico-cerebelares no transtorno do espectro autistaTaiane Coelho RamosAndré Fujita
15/03/2017MasterProcessamento de imagens de holografia digital para o estudo de organismos planctônicosJefferson Serafim AscaneoRoberto Hirata Junior
13/03/2017MasterUm método de tractografia global usando imagens de ressonância magnética ponderadas por difusãoRafael Reggiani ManzoMarcel Parolin Jackowski
06/03/2017MasterEngenharia de requisitos em startups de software: uma investigação qualitativaJorge Augusto Melegati GonçalvesAlfredo Goldman Vel Lejbman
06/03/2017MasterPlanejamento probabilístico com becos sem saídaThiago Dias SimãoLeliane Nunes de Barros
21/02/2017MasterLimitantes de programação semidefinida para o número de contatoFabrício Caluza MachadoFernando Mario de Oliveira Filho
16/02/2017DoctorateSobre a conexão entre dependências estruturais e mudanças no softwareGustavo Ansaldi OlivaMarco Aurélio Gerosa
14/02/2017DoctorateCausalidade de Granger entre grafos no domínio da frequênciaGustavo Pinto VilelaAndré Fujita
24/01/2017MasterVORPAL: Um middleware de trilhas sonoras em tempo real para jogos digitaisWilson Kazuo MizutaniFabio Kon
10/01/2017MasterAprendizado de redes bayesianas para domínios grandesWalter Perez UrciaDenis Deratani Mauá
19/12/2016MasterProblema dos k-centros e variantesSamuel Plaça de PaulaCristina Gomes Fernandes
16/12/2016DoctorateEfeitos de áudio baseados em decomposição AM/FMAntonio Jose Homsi GoulartMarcelo Gomes de Queiroz
16/12/2016MasterIntervenção em redes de regulação gênica modelada como um processo de decisão markoviano fatorado e imprecisoFabio Alexandre Campos TisovecLeliane Nunes de Barros
15/12/2016DoctorateRastros de contatos e grafos dinâmicosMilson Silva MonteiroAnatoli Iambartsev
15/12/2016DoctorateRepresentação de informações não-estruturadas de laudos de exames radiológicos utilizando modelagem interativa de mapas conceituaisLucio Geronimo ValentinMarcel Parolin Jackowski
15/12/2016DoctorateUm ambiente de execução para offloading de código em plataformas heterogêneas modernasRogério Aparecido GonçalvesAlfredo Goldman Vel Lejbman
14/12/2016MasterProvisionamento dinâmico de recursos para execução de workflows científicos em nuvensRicardo Juliano Mesquita Silva OdaKelly Rosa Braghetto
09/12/2016DoctorateAumentando a migração de instâncias não complacentes em sistemas de informação cientes de processosRafael Liberato RobertoJoão Eduardo Ferreira
09/12/2016MasterRepresentação de variabilidade estrutural de dados por meio de famílias de esquemas de banco de dadosLarissa Cristina Moraes RodriguesKelly Rosa Braghetto
08/12/2016DoctorateSistemas de informação cientes de processos, robustos e confiáveisAndré Luis SchwerzJoão Eduardo Ferreira
07/12/2016MasterMorfologia do trato vocal por imagens de ressonância magnética em tempo realRafael de Assunção SampaioMarcel Parolin Jackowski
01/12/2016DoctorateUtilização de sensores de profundidade de baixo custo para prover qualidade de vida em idososAndré Luiz Satoshi KawamotoFlavio Soares Correa da Silva
09/11/2016MasterProtocolos para jogos de SteinerLucas Mendes Marques GonçalvesJose Augusto Ramos Soares
07/11/2016MasterAvaliação do impacto da comunicação intra e entre-nós em nuvens computacionais para aplicações de alto desempenhoThiago Kenji OkadaAlfredo Goldman Vel Lejbman
04/11/2016DoctorateRastreador de olho de alto desempenho e baixo custo baseado em iluminação estroboscópica diferencialFrank Helbert BorsatoCarlos Hitoshi Morimoto
03/11/2016MasterUma plataforma de exploração e análise de imagens médicas em nuvemIgor José TopcinMarcel Parolin Jackowski
01/11/2016DoctorateiMPaCTS: Um modelo de colaboração por pares para aprendizagemPatricia Alves PereiraLeonidas de Oliveira Brandao
27/10/2016DoctorateEmpacotamento e contagem em digrafos: cenários aleatórios e extremaisRoberto Freitas ParenteCristiane Maria Sato
27/10/2016MasterUtilização de ontologias para busca em um sistema colaborativo de imagens arquitetônicasMarisol Solis YucraRenata Wassermann
03/10/2016DoctorateDesing de jogos baseado em componentesMarcos Silvano AlmeidaFlavio Soares Correa da Silva
27/09/2016DoctorateAnálise e extração de alertas antecipados sobre ameaças e incidentes de segurança em sistemas computacionais usando fontes de dados não estruturadosRodrigo CampioloDaniel Macedo Batista
26/09/2016DoctorateUma abordagem autonômica para mitigar ciberataques em redes de computadoresLuiz Arthur Feitosa dos SantosDaniel Macedo Batista
16/09/2016DoctorateEstratégias de resolução para o problema de job-shop flexívelWellington Donizeti PrevieroCarlos Eduardo Ferreira
14/09/2016DoctorateMétodos de avaliação da microcirculação em um modelo experimental de sepse utilizando imagens por Sidestream Dark field (SDF)Jihan Mohamad ZoghbiMarcel Parolin Jackowski
06/09/2016MasterIluminação baseada em séries temporais de imagens com aplicações em realidade mistaCaio de Freitas ValenteMarcel Parolin Jackowski
29/08/2016DoctorateEconomia de energia e aumento de desempenho usando SSDs no Hadoop Distributed File SystemIvanilton PolatoFabio Kon
26/08/2016DoctorateCircuitos hamiltonianos em hipergrafos e densidades de subpermutaçõesAntonio Josefran de Oliveira BastosGuilherme Oliveira Mota
26/08/2016MasterGerenciando dívida técnica: estado atual e novas propostas em métodos de medidaDiogo de Jesus PinaAlfredo Goldman Vel Lejbman
01/08/2016MasterIdentificação de alterações na estrutura de clusterização das redes funcionais do cérebro associadas com o neurodesenvolvimentoGrover Enrique Castro GuzmánAndré Fujita
15/07/2016DoctoratePapéis arquiteturais em métricas e maus cheiros de códigoMauricio Finavaro AnicheMarco Aurélio Gerosa
29/06/2016MasterPrincipais variáveis na ordenação de anúnciosAndré Henrique Serafim CasimiroJoão Eduardo Ferreira
15/06/2016MasterUtilização de mineração de especificação na identificação de fluxos inválidos em softwaresLuciano Kelvin da SilvaAna Cristina Vieira de Melo
10/06/2016MasterUm algoritmo para simplificar sistemas de equações diferenciais que descrevem a cinética de reações químicasAmanda Sayuri GuimarãesJunior Barrera
24/05/2016DoctorateUso de ontologias modulares para classificação de pacientes da Sindrome de Li-Fraumeni: estudo de caso no A. C. Camargo Cancer CenterRicardo Moura Sekeff BudaruicheRenata Wassermann
18/05/2016MasterProteção dos direitos autorais de imagem estática utilizando criptografia visual e marca d'águaEduardo Almeida FeijóRouto Terada
12/05/2016MasterAlinhamento múltiplo de genomas e sequências de proteínas com repetições e rearranjosLaécio Freitas ChavesAlan Mitchell Durham
06/05/2016DoctorateRevisão de crenças temporaisPaulo de Tarso Guerra OliveiraRenata Wassermann
29/04/2016DoctorateReconhecimento online de expressões matemáticas manuscritas usando informação contextualFrank Dennis Julca AguilarNina Sumiko Tomita Hirata
29/04/2016DoctorateUso de propriedades visuais-interativas na avaliação da qualidade de dadosJoão Marcelo Borovina JoskoJoão Eduardo Ferreira
26/04/2016DoctorateInformações de suporte ao escalonamento de workflows científicos para a execução em plataformas de computação em nuvemEduardo Cotrin TeixeiraKelly Rosa Braghetto
18/03/2016DoctoratePredição de mudanças conjuntas de artefatos de software com base em informações contextuaisIgor Scaliante WieseMarco Aurélio Gerosa
17/03/2016MasterOntoBacen: uma ontologia para gestão de riscos do sistema financeiro brasileiroFilipe Ricardo PolizelJaime Simão Sichman
24/02/2016DoctorateDecomposição de grafos em caminhosFábio Happ BotlerYoshiko Wakabayashi
24/02/2016MasterSegmentação de imagens pela transformada imagem-floresta com faixa de restrição geodésicaCaio de Moraes BrazPaulo Andre Vechiatto de Miranda
23/02/2016MasterPseudo-contrações em revisão de crençasYuri David SantosRenata Wassermann
18/02/2016DoctorateProblema da árvore geradora de comunicação ótima: variantes, complexidade e aproximaçãoSantiago Valdes RaveloCarlos Eduardo Ferreira
22/01/2016DoctorateMedindo inconsistência em bases de conhecimento probabilísticoGlauber De BonaMarcelo Finger
11/12/2015MasterDetecção de fraudes em cartões: um classificador baseado em regras de associação e regressão logísticaPaulo Henrique Maestrello Assad OliveiraAlair Pereira do Lago
11/12/2015MasterProblemas computacionais em teoria topológica dos grafosRafael Veiga PocaiCarlos Eduardo Ferreira
09/12/2015DoctorateiPlan - Uma linha de produtos de software baseada em padrões pedagógicos para gerar planos de aula em ambientes de aprendizagem via webReginaldo do PradoLeonidas de Oliveira Brandao
08/12/2015MasterConexidade fuzzy relativa em grafos dirigidos e sua aplicação em um método híbrido para segmentação interativa de imagensHans Harley Ccacyahuillca BejarPaulo Andre Vechiatto de Miranda
08/12/2015MasterTécnicas determinísticas para acompanhamento musical automatizadoRoberto Piassi Passos BodoMarcelo Gomes de Queiroz
27/11/2015MasterMelhorando o desempenho de agentes BDI Jason através de filtros de percepçãoMárcio Fernando Stabile JuniorJaime Simão Sichman
26/11/2015MasterO ecossistema de startups de software da cidade de São PauloMonna Cleide Fonsêca Rodrigues dos SantosFabio Kon
23/11/2015DoctorateMecanismos para a melhoria do desempenho de sistemas RFID passivosRafael Perazzo Barbosa MotaDaniel Macedo Batista
17/11/2015MasterArcabouço probabilístico para análise de sequências de RNARafael Mathias FerreiraAlan Mitchell Durham
13/11/2015MasteriCOMB: estudo e reprojeto participativo para redefinição de um sistema para ensino-aprendizagem de combinatóriaMárcia Roberta dos Santos Pires da SilvaLeonidas de Oliveira Brandao
11/11/2015MasterExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritasDavi Souto GrangeiroNina Sumiko Tomita Hirata
06/11/2015DoctorateEmpacotamento de elipsoidesRafael Durbano LobatoErnesto Julian Goldberg Birgin
29/10/2015DoctorateGeração de propriedades sobre programas Java a partir de objetivos de testeSimone HanazumiAna Cristina Vieira de Melo
20/10/2015DoctorateUma abordagem baseada em grafos para rastreamento de múltiplos objetos em vídeos estruturados com um aplicação para o reconhecimento de açõesHenrique MorimitsuRoberto Marcondes Cesar Junior
14/10/2015MasterDesambiguação de autoria em listas de discussão de projetos de software livreJosé Teodoro da SilvaMarco Aurélio Gerosa
16/09/2015DoctorateClustering de trajetóriasMarcio Takashi Iura OshiroCristina Gomes Fernandes
03/09/2015DoctorateContribuições para interação pelo olhar com teclados virtuaisAntonio Díaz TulaCarlos Hitoshi Morimoto
24/08/2015MasterComputação incremental e eficiente de sequências de árvores de componentesAlexandre MorimitsuRonaldo Fumio Hashimoto
14/08/2015MasterUm método para modificar vias de sinalização molecular por meio de análise de banco de dados de interatomasLulu WuJunior Barrera
06/08/2015DoctorateÚltimos Levelings: Conceitos, propriedades, algoritmos e aplicações em processamento e análise de imagensWonder Alexandre Luz AlvesRonaldo Fumio Hashimoto
06/08/2015MasterPiloto baseado em aprendizagem por reforço para o simulador de corridas TORCSVinícius Kiwi DarosFlavio Soares Correa da Silva
05/08/2015MasterÁlgebras de flags e torneiosLeonardo Nagami CoreglianoYoshiharu Kohayakawa
23/07/2015DoctorateConstrução e seleção de janelas na combinação de W-operadoresMarta Magda DornellesNina Sumiko Tomita Hirata
08/07/2015MasterUm middleware para coreografias de serviços web escaláveis em ambientes de computação em nuvemThiago Furtado de MendonçaFabio Kon
23/06/2015MasterSuperfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetoresAlexandre Martins Ferreira de SousaCarlos Hitoshi Morimoto
15/06/2015DoctorateOrdenação evolutiva de anúncios em publicidade computacionalMarcos Eduardo Bolelli BroiniziJoão Eduardo Ferreira
08/06/2015DoctorateUm método escalável de reconhecimento de objetos com uso de informações estruturais de grafos-chaveEstephan Dazzi WandekokenRoberto Marcondes Cesar Junior
28/05/2015MasterIntLAG: uma biblioteca para álgebra linear intervalar em processadores gráficosAdemar Marques Lacerda FilhoWalter Figueiredo Mascarenhas
19/05/2015MasterMOOC de geometria: discussões e proposta de um modelo para a educação básicaMaria José Guimarães de SouzaLeonidas de Oliveira Brandao
18/05/2015MasterProgramação dinâmica simbólica aproximada e assíncrona para processos de decisão markovianos com variáveis contínuasLuis Gustavo Rocha ViannaLeliane Nunes de Barros
12/05/2015MasterConstrução e uso de ambiente visual para o ensino de programação introdutóriaRomenig da Silva RibeiroLeonidas de Oliveira Brandao
08/05/2015MasterEscalonamento de tarefas em processadores de velocidade variável em múltiplas organizaçõesPedro Luis Furio RaphaelDaniel de Angelis Cordeiro
04/05/2015DoctorateModelos de aprendizado supervisionado usando métodos kernel, conjuntos fuzzy e medidas de probabilidadeJorge Luis Guevara DíazRoberto Hirata Junior
04/05/2015MasterQuantificação de angiogênese em imagens de membranas corioalantóicas de embrião de galinhaLeandro Ticlia de La CruzNina Sumiko Tomita Hirata
28/04/2015MasterAnálise de redes biológicas: estudo comparativo de medidas de dependência e uma ferramenta computacional para discriminar grafosSuzana de Siqueira SantosAndré Fujita
16/04/2015MasterAlocação energeticamente eficiente de máquinas virtuaisAlbert Philippe Marcel de la Fuente VigliottiDaniel Macedo Batista
27/02/2015MasterAnálise de redes de colaboração científica: uma abordagem baseada em grafos relacionais com atributosEvelyn Pérez CervantesRoberto Marcondes Cesar Junior
26/02/2015DoctorateApoiando novatos a superarem barreiras para contribuir a projetos de software livreIgor Fábio SteinmacherMarco Aurélio Gerosa
05/02/2015MasterGerenciamento de recursos computacionais em plataformas de computação em nuvemCássio Alexandre Paixão Silva AlkminDaniel de Angelis Cordeiro
26/01/2015MasterTeste de propriedades em torneiosHenrique StagniYoshiharu Kohayakawa
23/01/2015MasterAlgoritmos para união de círculos e polígonosLuís Fernando Schultz Xavier da SilveiraCristina Gomes Fernandes
19/12/2014MasterTransformações hit-or-miss para imagens tons de cinzaFelipe Breve SiolaNina Sumiko Tomita Hirata
12/12/2014MasterDocumentação e testes da biblioteca genérica de álgebra linear KleinRafael Freitas SchmidWalter Figueiredo Mascarenhas
11/12/2014MasterTipicalidade em lógicas de descriçãoJosé David Fernández CuradoRenata Wassermann
10/12/2014DoctorateIntegração entre múltiplas ontologias: reúso e gerência de conflitosRaphael Mendes de Oliveira CobeRenata Wassermann
01/12/2014MasterAtualização dinâmica de modelo de regressão logística binária para detecção de fraudes em transações eletrônicas com cartão de créditoFidel BeraldiAlair Pereira do Lago
01/12/2014MasterEvoluindo o suporte à tolerância a falhas na macroprogramação de redes de sensores sem fioGuilherme de Maio NogueiraMarco Aurélio Gerosa
28/11/2014MasterProgramação dinâmica em tempo real para processos de decisão markovianos com probabilidades imprecisasDaniel Baptista DiasKarina Valdivia Delgado
25/11/2014MasterAnálise da estrutura de clusterização das redes de conectividade funcional do cérebro para investigar as bases das desordens do espectro autistaMaciel Calebe VidalAndré Fujita
19/11/2014MasterGGLL - Um gerador de analisadores sintáticos para gramáticas gráficas LL(1)Tasso Tirapani Silva PintoValdemar Waingort Setzer
12/11/2014MasteriQuiz - Ambiente de autoria para avaliação do aprendizado no moodleJosé Roberto Alves RodriguesLeonidas de Oliveira Brandao
30/10/2014DoctorateMudanças em problemas de planejamento sem soluçãoMaria Viviane de MenezesLeliane Nunes de Barros
22/10/2014MasterProposta de arquitetura para federações de nuvens computacionais acadêmicasGabriel Araujo von WincklerMarco Dimas Gubitoso
08/10/2014DoctorateRedução no esforço de interação em segmentação de imagens digitais através de aprendizagem computacionalBruno KlavaNina Sumiko Tomita Hirata
09/09/2014MasterEspelho virtual interativo para simulação de maquiagemFilipe Morgado Simões de CamposCarlos Hitoshi Morimoto
28/08/2014MasterEmpacotamento de árvores em grafos completosRenzo Gonzalo Gómez DiazYoshiko Wakabayashi
25/08/2014MasterUm estudo empírico sobre classificação de símbolos matemáticos manuscritosMarcelo Valentim de OliveiraNina Sumiko Tomita Hirata
14/08/2014DoctorateDiretrizes metodológicas e validação estatística de dados para a construção de data warehousesPedro Losco TakecianJoão Eduardo Ferreira
11/07/2014MasterErdos-Ko-Rado em famílias aleatóriasMarcelo Matheus GauyYoshiharu Kohayakawa
30/06/2014MasterSeleção de serviços web em coreografiasPatricia Araujo de OliveiraDaniel Macedo Batista
09/06/2014MasterTeste e verificação formal do comportamento excepcional de programas JavaAlexandre Locci MartinsAna Cristina Vieira de Melo
03/06/2014MasterAnálise de expressões gênicas com erros de medida e aplicação em dados reaisAdèle Helena RibeiroRoberto Hirata Junior
30/05/2014MasterCaminhos mais longos em grafosSusanna Figueiredo de RezendeYoshiko Wakabayashi
26/05/2014MasterImplantação automatizada de composições de serviços web de grande escalaLeonardo Alexandre Ferreira LeiteMarco Aurélio Gerosa
21/05/2014MasteriRepositório - repositório interativo de conteúdos digitais para cursos baseados na InternetMauricio Garcia Franco do NascimentoLeonidas de Oliveira Brandao
16/05/2014DoctorateAmbientes de execução para o modelo de atores em plataformas hierárquicas de memória compartilhada com processadores de múltiplos núcleosEmilio de Camargo FrancesquiniAlfredo Goldman Vel Lejbman
08/05/2014MasterPares Ramsey infinitosPaulo Victor Teixeira EufrasioYoshiharu Kohayakawa
08/05/2014MasterUm processo para modelagem e aplicação de técnicas computacionais para detecção de fraudes em transações eletrônicasGabriel Preti SantiagoRoberto Hirata Junior
06/05/2014MasterAvaliação de medidas de similaridade entre tensores aplicada a imagens do tensor de difusão por ressonância magnéticaDavid Macedo da ConceiçãoMarcel Parolin Jackowski
16/04/2014DoctorateAbdução clássica e abdução probabilística: a busca pela explicação de dados reaisAlexandre Matos ArrudaMarcelo Finger
16/04/2014MasterUm método de pontos interiores primal-dual viável para minimização com restrições lineares de grande porteJohn Lenon Cardoso GardenghiErnesto Julian Goldberg Birgin
07/04/2014MasterRevisão de crenças em lógicas de descrição - um plug-in para o protégéFillipe Manoel Xavier ResinaRenata Wassermann
04/04/2014MasterVisão cumputacional para o monitoramento contínuo de plânctonDamian Janusz MatuszewskiRoberto Marcondes Cesar Junior
02/04/2014MasterMecanismos para consolidação de servidoresMax Rosan dos Santos JúniorDaniel Macedo Batista
26/02/2014MasterTransformada imagem-floresta com funções de conexidade não suaves: pesos adaptativos, polaridade de borda e restrições de formaLucy Alsina Choque MansillaPaulo Andre Vechiatto de Miranda
14/02/2014DoctorateProblemas de alocação e precificação de itensRafael Crivellari Saliba SchoueryCristina Gomes Fernandes
14/02/2014DoctorateGerenciamento de múltiplas submissões em sistemas paralelos: a abordagem do escalonamento equitativoVinicius Gama PinheiroAlfredo Goldman Vel Lejbman
11/02/2014DoctorateAnálise de formas usando wavelets em grafosJorge de Jesus Gomes LeandroRoberto Marcondes Cesar Junior
23/01/2014MasterUma proposta de protocolo token ring sem fioAdroaldo Lazouriano Moreira BorgesMarco Dimas Gubitoso
18/12/2013DoctorateAlgoritmos para junções em dígrafos acíclicos e uma aplicação na AntropologiaÁlvaro Junior Pereira FrancoCarlos Eduardo Ferreira
17/12/2013DoctorateMedusa: um ambiente musical distribuídoFlávio Luiz SchiavoniMarcelo Gomes de Queiroz
17/12/2013MasterPredição de tags usando linked data: um estudo de caso no banco de dados ArquigrafiaRicardo Augusto Teixeira de SouzaLeliane Nunes de Barros
12/12/2013MasterAprendizado por reforço em lote: um estudo de caso para o problema de tomada de decisão em processos de vendaDênis Antonio LacerdaLeliane Nunes de Barros
09/12/2013MasterGrafos aleatórios exponenciaisTássio Naia dos SantosYoshiharu Kohayakawa
09/12/2013MasterSoluções eficientes para processos de decisão markovianos baseadas em alcançabilidade e bissimulações estocásticasFelipe Martins dos SantosLeliane Nunes de Barros
26/11/2013MasterAnálise de desempenho de interfaces de rede virtualizadas com NapiEduardo Hideo KurodaDaniel Macedo Batista
25/11/2013MasterUma métrica para avaliação de diferença perceptual em imagens para deficientes visuais de coresRafael de Oliveira Lopes GonçalvesRoberto Hirata Junior
22/11/2013MasterPATO: um ambiente integrado com interface gráfica para a curadoria de dados de sequências biológicasLiliane Santana Oliveira KashiwabaraAlan Mitchell Durham
06/11/2013MasterExtração e consulta de informações do currículo lattes baseada em ontologiasEduardo Ferreira GalegoRenata Wassermann
04/11/2013MasterFerramentas computacionais para a síntese de imagens de difusão por ressonância magnéticaRenato Callado BorgesMarcel Parolin Jackowski
04/11/2013MasterUm método para a implementação de regras de negócio à partir da semântica SBVRJandisson Soares de JesusAna Cristina Vieira de Melo
31/10/2013MasterAutenticação e comunicação segura em dispositivos móveis de poder computacional restritoRafael Will Macêdo de AraujoRouto Terada
31/10/2013MasterConsulta a ontologias em língua portuguesa através do português controladoFabiano Ferreira LuzRenata Wassermann
30/10/2013MasterCifra multicanal para maior segurança em redes TCP /IPSylvio Ximenez de Azevedo NetoRouto Terada
21/10/2013MasterProcessamento de áudio em tempo real em plataformas computacionais de alta disponibilidade e baixo custoAndré Jucovsky BianchiMarcelo Gomes de Queiroz
14/10/2013MasterUma arquitetura modular baseada em sistema de arquivos para monitoramento de pacotes de rede no sistema operacional GNU/LinuxBeraldo Costa LealMarco Dimas Gubitoso
02/10/2013MasterExtração de informações de narrativas clínicasMichel OleynikMarcelo Finger
23/09/2013MasterReconstrução da chave secreta do RSA multi-primoReynaldo Caceres VillenaRouto Terada
23/09/2013MasterSoftware para prática de regência coralCaio Cesar MoreiraRonaldo Fumio Hashimoto
13/09/2013MasterDinâmica de redes booleanas limiarizadas utilizando programação em GPUWilliam Lira FerreiraRonaldo Fumio Hashimoto
30/08/2013DoctorateDois resultados em combinatória contemporâneaGuilherme Oliveira MotaYoshiharu Kohayakawa
27/08/2013MasterProposta de aprimoramento para o protocolo de assinatura digital QuartzEwerton Rodrigues AndradeRouto Terada
07/08/2013MasterKalibro: interpretação de métricas de código-fonteCarlos Morais PiroupoFabio Kon
07/08/2013MasterRecoloração convexa de grafos: algoritmos e poliedrosPhablo Fernando Soares MouraYoshiko Wakabayashi
10/07/2013MasterAutômatos sincronizados e a Conjectura de CernýLeticia GindriArnaldo Mandel
24/06/2013MasterConstrução do livro de ofertas a partir de dados de alta frequência e um algoritmo de predição de valores baseado em técnicas de agrupamento e regressão linearRodrigo Bossini Tavares MoreiraAnatoli Iambartsev
12/06/2013MasterUma abordagem transacional para o tratamento de exceções em processos de negócioPedro Paulo de Souza Bento da SilvaJoão Eduardo Ferreira
06/06/2013MasterMétodo beam search aplicado ao problema de escalonamento de tarefas flexívelJosé Eurípedes Ferreira de Jesus FilhoErnesto Julian Goldberg Birgin
27/05/2013MasterPerformances musicais distribuídas através de Internet residencialMarcio Masaki TomiyoshiMarcelo Gomes de Queiroz
21/05/2013DoctorateConversão de voz inter-linguísticaAnderson Fraiha MachadoMarcelo Gomes de Queiroz
20/05/2013DoctorateMonitoramento de métricas de código-fonte em projetos de software livrePaulo Roberto Miranda MeirellesFabio Kon
09/05/2013DoctorateProdutividade de times ágeis: uma avaliação experimental de fatores e processos de monitoramentoClaudia de Oliveira MeloFabio Kon
02/05/2013MasterAudioLazy: processamento digital de sinais expressivo e em tempo realDanilo de Jesus da Silva BelliniMarcelo Gomes de Queiroz
26/04/2013MasterSimulações financeiras em GPUThársis Tuani Pinto SouzaWalter Figueiredo Mascarenhas
03/04/2013MasterPlanejamento probabilístico usando programação dinâmica assíncrona e fatoradaMijail Gamarra HolguinLeliane Nunes de Barros
02/04/2013MasterVisualização de tags para explicar e filtrar recomendações de músicasJuliana Sato YamashitaFlavio Soares Correa da Silva
28/03/2013MasterImplementação do arcabouço WED-flow para controle de processos transacionaisMarcela Ortega GarciaJoão Eduardo Ferreira
22/03/2013MasterDetecção de violações de SLA em coreografias de serviços WebVictoriano Alfonso Phocco DiazDaniel Macedo Batista
21/03/2013MasterAnálise empírica de algoritmos de revisão sobre bases de crençasRenato Urquiza LundbergRenata Wassermann
21/03/2013MasterDesempenho de sistemas com dados georeplicados com consistência em momento indeterminado e na linha do tempoMauricio José de Oliveira de DianaMarco Aurélio Gerosa
19/03/2013MasterComponentes para interoperabilidade entre redes sociais na Web 2.0Carlos Leonardo Herrera MuñozMarco Aurélio Gerosa
19/03/2013MasterDesenvolvimento de um arcabouço probabilístico para implementação de campos aleatórios condicionaisÍgor BonadioAlan Mitchell Durham
15/03/2013MasterDecomposição sequencial a partir da sup-representação de W-operadoresJoel Edu Sanchez CastroRonaldo Fumio Hashimoto
15/03/2013MasterExtração de informações de desempenho em GPUs NVIDIAPaulo Carlos Ferreira dos SantosMarco Dimas Gubitoso
11/03/2013MasterUma nova abordagem para as operações de Transformada de Erosão e Transformada de Dilatação através da união da decomposição de elementos estruturantesAlexandre Yukio HaranoRonaldo Fumio Hashimoto
08/03/2013MasterCodificação e compressão iterativa de sinais biomédicosLuiz Fernando Oliveira Corte RealMarcel Parolin Jackowski
06/03/2013MasterAprimorando o corretor gramatical CoGrOOWilliam Daniel Colen de Moura SilvaMarcelo Finger
01/03/2013DoctorateDescritor de bordas e quantização espacial flexível aplicados a categorização de objetosArnaldo Câmara LaraRoberto Hirata Junior
21/02/2013DoctorateCompartilhamento de conhecimento inter-equipes: o processo de socialização do conhecimento tácito em contextos ágeis de desenvolvimento de softwareViviane Almeida dos SantosAlfredo Goldman Vel Lejbman
04/02/2013MasterPlanejamento probabilístico como busca num espaço de transição de estadosDaniel Javier Casani DelgadoLeliane Nunes de Barros
23/01/2013MasterRotulação de símbolos matemáticos manuscritos via casamento de expressõesWillian Yukio HondaNina Sumiko Tomita Hirata
14/12/2012DoctorateEstimação de movimento a partir de imagens RGBD usando homomorfismo entre grafosDavid da Silva PiresRoberto Marcondes Cesar Junior
14/12/2012MasterAlgoritmos para o problema da árvore de Steiner com coleta de prêmiosCamila Mari MatsubaraJose Coelho de Pina Junior
14/12/2012MasterProtocolos de interação baseados em conhecimento: implementação da plataforma JamSessionDiego Mira DavidFlavio Soares Correa da Silva
10/12/2012MasterAnswer set programming probabilísticoEduardo Menezes de MoraisMarcelo Finger
07/12/2012DoctorateUm modelo para interoperabilidade entre instituições heterogêneasCláudia Josimar Abrão de AraújoFlavio Soares Correa da Silva
07/12/2012MasterO problema do multicorte dirigido mínimoJuan Gabriel Gutierrez AlvaPaulo Feofiloff
03/12/2012MasterCálculo de reputação em redes sociais a partir da colaboração entre os participantesEdith Zaida Sonco MamaniMarco Aurélio Gerosa
03/12/2012MasterProtocolo de identificação baseado em polinômios multivariáveis quadráticosFabio de Salles MonteiroRouto Terada
28/11/2012DoctorateMinimização de funções decomponíveis em curvas em U definidas sobre cadeias de posets - algoritmos e aplicaçõesMarcelo da Silva ReisJunior Barrera
26/11/2012MasterMódulo de consultas distribuídas do InfinispanIsrael Danilo LacerraFrancisco Carlos da Rocha Reverbel
22/11/2012DoctorateUm arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatóriasMário Leston ReyYoshiko Wakabayashi
22/11/2012DoctorateUm modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicosCrhistian Alberto Noriega GuerraFlavio Soares Correa da Silva
14/11/2012MasterCaminhos mínimos com recursos limitadosJoel Silva UchoaCarlos Eduardo Ferreira
12/11/2012MasterJogos markovianos alternados sob incertezaFábio de Oliveira FrancoLeliane Nunes de Barros
09/11/2012MasterGeração de redes vasculares sintéticas tridimensionais utilizando sistemas de Lindenmayer estocásticos e parametrizadosMiguel Angel Galarreta ValverdeMarcel Parolin Jackowski
29/10/2012MasterDetecção e rastreamento de lábios em dispositivos móveisGiseli de Araujo RamosRoberto Marcondes Cesar Junior
23/10/2012MasterDetecção de objetos em vídeos usando misturas de modelos baseados em partes deformáveis obtidas de um conjunto de imagensLeissi Margarita Castaneda LeonRoberto Hirata Junior
19/10/2012MasterArquigrafia Brasil: um ambiente colaborativo baseado em componentes para o compartilhamento de imagens de arquiteturaStraus Michalsky MartinsMarco Aurélio Gerosa
17/10/2012MasterInteroperabilidade de documentos digitais usando ontologiasErika Guetti SucaFlavio Soares Correa da Silva
08/10/2012MasterUso de informação linguística e análise de conceitos formais no aprendizado de ontologiasCarlos Eduardo Atencio TorresRenata Wassermann
02/10/2012DoctorateEmpacotamento de bicliques em grafos bipartidosAlexandre da Silva FreireCarlos Eduardo Ferreira
02/10/2012MasterPAWEB - Uma plataforma para desenvolvimento de aplicativos web utilizando o modelo de atoresBruno Takahashi Carvalhas de OliveiraFrancisco Carlos da Rocha Reverbel
27/09/2012MasterLeilões para publicidade na InternetAtol Fortin de OliveiraCristina Gomes Fernandes
20/09/2012DoctorateProblemas de corte com sobras aproveitáveis e eliminação de simetriasRicardo Luiz de Andrade AbrantesErnesto Julian Goldberg Birgin
19/09/2012MasterAplicação do método do gradiente espectral projetado ao problema de amostragem compressivaBoris Chullo LlaveErnesto Julian Goldberg Birgin
18/09/2012MasterDesenvolvimento de um aplicativo de notação musical em brailleArthur Piza Mosterio TofaniMarcelo Gomes de Queiroz
14/09/2012MasterRehearsal: um arcabouço para teste automatizado de coreografias de serviços webFelipe Meneses BessonFabio Kon
11/09/2012MasterPlanejamento instrucional automatizado em aprendizagem colaborativa com suporte computacional utilizando planejamento hierárquicoGeiser Chalco ChallcoMarco Aurélio Gerosa
03/09/2012MasterRaciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicaisSantiago David Davila BenavidesMarcelo Gomes de Queiroz
30/08/2012DoctorateDetecção e extração de redes vasculares usando transformada de HoughMaysa Malfiza Garcia de MacedoMarcel Parolin Jackowski
28/08/2012DoctorateDetecção de estruturas finas e ramificadas em imagens usando campos aleatórios de Markov e informação perceptualTalita Perciano Costa LeiteRoberto Hirata Junior
30/07/2012MasterDetecção de códigos QR em imagens com enquadramento arbitrárioLuiz Felipe Franco BelussiNina Sumiko Tomita Hirata
11/07/2012MasterAnotação e classificação automática de entidades nomeadas em notícias esportivas em Português BrasileiroRodrigo Constantin Ctenas ZaccaraMarcelo Finger
06/07/2012MasterUma linha de produto de software para módulos de aprendizagem interativaDanilo Leite DalmonLeonidas de Oliveira Brandao
03/07/2012MasterAlgoritmos evolutivos aplicados ao classificador baseado em segmentos de retaRosario Alejandra Medina RodríguezRonaldo Fumio Hashimoto
05/06/2012DoctorateModelagem e reconhecimento de objetos estruturados: uma abordagem estatístico-estruturalAna Beatriz Vicentim GracianoRoberto Marcondes Cesar Junior
29/05/2012MasterTratamento de eventos aplicado à composição de serviços webMauricio Chui RodriguesJoão Eduardo Ferreira
24/05/2012DoctorateAlinhamentos e comparação de sequênciasFrancisco Eloi Soares de AraujoJose Augusto Ramos Soares
23/05/2012MasterProgramação por restrições e escalonamento baseado em restrições: um estudo de caso na programação de recursos para o desenvolvimento de poços de petróleoThiago Serra Azevedo SilvaYoshiko Wakabayashi
11/05/2012MasterJogos de SteinerCésar Gamboa MachadoJose Coelho de Pina Junior
11/05/2012MasterOtimização em meteorologia: cálculo de perturbações condicionais não-lineares ótimasJessé Américo Gomes de LimaErnesto Julian Goldberg Birgin
09/05/2012MasterMétodos estocásticos de otimização global aplicados ao problema de empacotamento de círculos em elipsesLuis Henrique Bustamante de MoraisErnesto Julian Goldberg Birgin
08/05/2012MasterUso do padrão AMQP para transporte de mensagens entre atores remotosThadeu de Russo e CarmoFrancisco Carlos da Rocha Reverbel
07/05/2012MasterFerramenta para correção automática de exercícios de programação em ambientes de aprendizagem, com plugin para MoodleAriel MartiniCarlos Hitoshi Morimoto
27/04/2012DoctorateDetecção de objetos por reconhecimento de grafos-chaveMarcelo HashimotoRoberto Marcondes Cesar Junior
25/04/2012MasterComo a prática de TDD influencia o projeto de classes em sistemas orientados a objetosMauricio Finavaro AnicheMarco Aurélio Gerosa
25/04/2012MasterDetecção de ovos de S. mansoni a partir da detecção de seus contornosEdwin Delgado HuaynalayaNina Sumiko Tomita Hirata
13/04/2012MasterAssinatura digital Rabin-Williams - sem randomização e com prova eficiente de segurançaBernardo Caraponale MagriRouto Terada
04/04/2012MasterRepresentações retangulares de grafos planaresGuilherme Puglia AssunçãoCarlos Eduardo Ferreira
03/04/2012MasterInterações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restriçõesTales Pinheiro de AndradeRonaldo Fumio Hashimoto
22/03/2012MasterAplicação de práticas de usabilidade ágil em software livreAna Paula Oliveira BertholdoFabio Kon
29/02/2012MasterGrafos evolutivos na modelagem e análise de redes dinâmicasPaulo Henrique FlorianoAlfredo Goldman Vel Lejbman
28/02/2012MasterAnálise da distribuição do número de operações de resolvedores SATPoliana Magalhães ReisMarcelo Finger
24/02/2012MasterReconhecimento de entidades mencionadas em português utilizando aprendizado de máquinaWesley Seidel CarvalhoMarcelo Finger
17/02/2012DoctorateInferência de redes de regulação gênica utilizando o paradigma de crescimento de sementesCarlos Henrique Aguena HigaRonaldo Fumio Hashimoto
10/02/2012DoctorateMYOP/ToPS/SGEval: Um ambiente computacional para estudo sistemático de predição de genesAndré Yoshiaki KashiwabaraAlan Mitchell Durham
24/01/2012MasterUm estudo sistemático sobre o espaço de trabalho informativo e o acompanhamento em equipes ágeis de desenvolvimento de softwareRenan de Melo OliveiraAlfredo Goldman Vel Lejbman
19/12/2011MasterMetadados para reconciliação de transações em bancos de dados autônomosGustavo Luiz DuarteJoão Eduardo Ferreira
16/12/2011DoctorateCriptografia de chave pública sem certificadoDenise Hideko GoyaRouto Terada
16/12/2011MasterSegurança do bit menos significativo no RSA e em curvas elípticasDionathan NakamuraRouto Terada
15/12/2011MasterAproximação de métricas finitas por métricas arbóreas e aplicaçõesMurilo Santos de LimaCristina Gomes Fernandes
13/12/2011MasterQuantidade de orientações de grafos livres de circuitos direcionados cíclicosRoberto Freitas ParenteYoshiharu Kohayakawa
12/12/2011MasterAlgoritmos para o problema da cobertura por sensoresRafael da Ponte BarbosaYoshiko Wakabayashi
02/12/2011MasterReticulados de conceitosAlexandre Luiz Junqueira Hadura AlbanoAlair Pereira do Lago
28/11/2011DoctorateVeri ficação de sistemas multi-agentes comportamentalistas através de simulações formalmente guiadasPaulo Salem da SilvaAna Cristina Vieira de Melo
28/11/2011MasterUma infraestrutura para aplicações distribuídas baseadas em atores ScalaThiago Henrique CorainiFrancisco Carlos da Rocha Reverbel
16/11/2011DoctorateRecoloração convexa de caminhosKarla Roberta Pereira Sampaio LimaYoshiko Wakabayashi
07/11/2011MasterUm sistema para implementação e uso de bancos de dados pela internet sem programaçãoEdgard Pevidor de MirandaValdemar Waingort Setzer
20/10/2011MasterA indústria da manufatura e sua relação com métodos ágeis de desenvolvimento de software: histórico, apanhado sistemático e situação atualEduardo Teruo KatayamaAlfredo Goldman Vel Lejbman
14/10/2011DoctorateNovos métodos para rastreamento de olhar baseados na razão cruzada com compensação de movimentos da cabeçaFlávio Luiz CoutinhoCarlos Hitoshi Morimoto
30/09/2011MasterAppRecommender: um recomendador de aplicativos GNU/LinuxTássia Camões AraujoArnaldo Mandel
22/09/2011MasterIdentificação e visualização de dependências em sistemas de software orientados a objetosGustavo Ansaldi OlivaMarco Aurélio Gerosa
22/09/2011MasterProtocolos de acordo de chaves baseados em emparelhamentos, para dispositivos móveisCleber Morio OkidaRouto Terada
21/09/2011DoctorateTécnicas de modelagem para a análise de desempenho de processos de negócioKelly Rosa BraghettoJoão Eduardo Ferreira
20/09/2011MasterUm estudo do uso eficiente de programas em placas gráficasPatricia Akemi IkedaAlfredo Goldman Vel Lejbman
29/08/2011MasterUma abordagem estrutural para detecção de objetos e localização em ambientes internos por dispositivos móveisHenrique MorimitsuRoberto Marcondes Cesar Junior
22/08/2011MasterEstudo comparativo de técnicas de escalonamento de tarefas dependentes para grades computacionaisAlvaro Henry Mamani AliagaAlfredo Goldman Vel Lejbman
12/08/2011MasterUm estudo sistemático de licenças de software livreVanessa Cristina SabinoFabio Kon
04/08/2011MasterMétricas de avaliação de alinhamento de ontologiasEsdras Lins Bispo JuniorRenata Wassermann
04/07/2011MasterPadrões de testes automatizadosPaulo Cheque BernardoFabio Kon
04/07/2011MasterSegmentação de imagens similares por casamento de grafos e detecção de comunidadesCharles Iury Oliveira MartinsRoberto Marcondes Cesar Junior
20/06/2011MasterMétodos de segmentação musical baseados em descritores sonorosAndré Salim PiresMarcelo Gomes de Queiroz
17/06/2011MasterReconhecimento de fala para navegação em aplicativos móveis para português brasileiroEdwin Miguel Triana GomezFabio Kon
14/06/2011MasterAvaliação de desempenho do sistema de memória transacional de Clojure como biblioteca de sincronização na linguagem JavaPablo César Calcina CcoriMarco Dimas Gubitoso
13/06/2011DoctorateUm arcabouço para construção de sistemas multiagente musicaisLeandro Ferrari ThomazMarcelo Gomes de Queiroz
13/06/2011MasterSegmentação de lesões cerebrais em imagens de ressonância magnética utilizando modelos deformáveisJihan Mohamad ZoghbiMarcel Parolin Jackowski
09/06/2011MasterMD6 e a competição para escolha do SHA-3Valdson Silva CletoRouto Terada
03/06/2011MasterValidação de padrões de web services transacionaisPaulo Roberto de Araujo França NunesAna Cristina Vieira de Melo
02/06/2011DoctorateReplicação assíncrona em bancos de dados evolutivosHelves Humberto DominguesFabio Kon
23/05/2011MasterSegmentação de imagens SPECT/Gated-SPECT do miocárdio e geração de um mapa polarLuis Roberto Pereira de PaulaRoberto Hirata Junior
20/05/2011MasterSatisfazibilidade probabilísticaGlauber De BonaMarcelo Finger
16/05/2011MasterAbordagens para o ensino de práticas de programação extremaMariana Vivian BravoAlfredo Goldman Vel Lejbman
11/05/2011MasterAnimação de faces tridimensionais baseada em registro estruturalAndréa Britto MattosRoberto Marcondes Cesar Junior
28/04/2011MasterLocalização em dispositivos móveis utilizando sinais de redes Wi-FiRodrigo Bernardo PimentelRoberto Hirata Junior
20/04/2011MasterAnálise e disposição de recursos de rede em grades computacionaisAlex Pires de CamargoAlfredo Goldman Vel Lejbman
24/03/2011MasterMétodos ágeis e software livre: um estudo da relação entre estas duas comunidadesHugo CorbucciAlfredo Goldman Vel Lejbman
24/03/2011MasterTeoria, métodos e aplicações de otimização multiobjetivoPhillipe Rodrigues SampaioErnesto Julian Goldberg Birgin
18/03/2011MasterPlanejamento de produção através do dimensionamento de lotes de itens únicosPedro Henrique Simões de OliveiraCarlos Eduardo Ferreira
10/02/2011MasterVolPFix: Uma ferramenta para análise e detecção de falhas em sistemas de telefonia IPPaulo César SiécolaFabio Kon
08/02/2011MasterÁrvores de Ukkonen: caracterização combinatória e aplicaçõesGustavo Akio Tominaga SacomotoAlair Pereira do Lago
08/02/2011MasterBorboleta: Um sistema de telessaúde para auxílio à atenção primária domiciliarRafael José Peres CorreiaFabio Kon
28/01/2011MasteriTarefa: componente Moodle para incorporar módulos de aprendizagem interativa em cursos WebPatricia Alves PereiraLeonidas de Oliveira Brandao
17/12/2010MasterGRMediator: uma biblioteca modular para reconhecimento de gestosFernando Bertolli PetroniFlavio Soares Correa da Silva
16/12/2010MasterRevisão de modelos CTLPaulo de Tarso Guerra OliveiraRenata Wassermann
14/12/2010DoctorateReconstrução de faces 3D através de espaços de componentes principaisJesús Pascual Mena ChalcoRoberto Marcondes Cesar Junior
10/12/2010MasterComparação entre uma solução combinatória e um método de planos de corte para o problema do emparelhamento de peso máximoAnder Conselvan de OliveiraCarlos Eduardo Ferreira
10/12/2010MasterLocalização de textos em imagens de cenas por meio de operadores morfológicosWonder Alexandre Luz AlvesRonaldo Fumio Hashimoto
06/12/2010MasterFuncionalidades colaborativas no compartilhamento de conteúdo em redes sociais na Web 2.0: Uma engenharia de domínio baseada no modelo 3C de colaboraçãoLucas Santos de OliveiraMarco Aurélio Gerosa
10/11/2010MasterConjuntos dominantes em grafosWanderley Guimarães da SilvaYoshiko Wakabayashi
09/11/2010MasteriVProg: um sistema visual para ensino/aprendizagem de programação via WebReginaldo Rideaki KamiyaLeonidas de Oliveira Brandao
20/09/2010DoctorateRevisão de crenças em lógicas de descrição e em outras lógicas não clássicasMarcio Moretto RibeiroRenata Wassermann
15/09/2010MasterUma implementação paralela do AIRS em ScalaFilipe Ferraz SalgadoFrancisco Carlos da Rocha Reverbel
03/09/2010MasterAnálise de benefícios do paralelismo por comunicação unilateral em aplicações com grades não estruturadasPedro Pais LopesSiang Wun Song
01/09/2010MasterAmbiente integrado para verificação e teste da coordenação de componentes tolerantes a falhasSimone HanazumiAna Cristina Vieira de Melo
29/07/2010MasterRastreamento de objetos utilizando reconhecimento estrutural de padrões: uma abordagem com modelo estáticoThiago Meireles PaixãoRoberto Hirata Junior
26/07/2010MasterO problema da subsequência comum máxima sem repetiçõesChristian TjandraatmadjaCarlos Eduardo Ferreira
07/07/2010DoctorateDuas abordagens para casamento de padrões de pontos usando relações espaciais e casamento entre grafosAlexandre NomaRoberto Marcondes Cesar Junior
25/06/2010DoctorateConstrução de atributos binários baseada em análise de interações Carlos da Silva dos SantosRoberto Hirata Junior
23/06/2010MasterEstudo e implementação de um método de restrições ativas para problemas de otimização em caixasJan Marcel Paiva IentileErnesto Julian Goldberg Birgin
11/06/2010Masterk-árvores de custo mínimoMarcio Takashi Iura OshiroJose Coelho de Pina Junior
09/06/2010MasterArquitetura e implementação de um sistema distribuído de recuperação de informaçãoLuiz Daniel Creão AugustoAlair Pereira do Lago
02/06/2010MasterTolerância a falhas no armazenamento distribuído de dados em grades oportunistasPablo Francisco Laura HuamanRaphael Yokoingawa de Camargo
02/06/2010MasterUma arquitetura para agentes inteligentes com personalidade e emoçãoAry Fagundes Bressane NetoFlavio Soares Correa da Silva
28/05/2010DoctorateModelagem de contextos para aprendizado automático aplicado à análise morfossintáticaFábio Natanael KeplerMarcelo Finger
28/05/2010MasterEmparelhamentos hiperelípticos em criptografiaDaniel Noel RibeiroRouto Terada
12/05/2010MasterIdentificação de fraude contra sistemas de reputação em mercados eletrônicosRafael Plana MaranzatoAlair Pereira do Lago
07/05/2010MasterBusca indexada de padrões em textos comprimidosLennon de Almeida MachadoAlair Pereira do Lago
07/05/2010MasterDepuração automática de programas baseada em modelos: uma abordagem hierárquica para auxílio ao aprendizado de programaçãoWellington Ricardo PinheiroLeliane Nunes de Barros
29/04/2010MasterAuralização de fontes sonoras móveis usando HRTFsGustavo Henrique Montesião de SousaMarcelo Gomes de Queiroz
12/04/2010MasterReconhecimento de gestos tridimensionaisSilvia Esparrachiari GhirottiCarlos Hitoshi Morimoto
06/04/2010MasterRedução de dimensionalidade em modelos de bancos de dados multidimensionaisElisa Pereira KamedaJoão Eduardo Ferreira
29/03/2010MasterTransformando dados em informação: um estudo através de exemplosRafael de Holanda BarrosoAlfredo Goldman Vel Lejbman
15/03/2010DoctorateSegmentação e reconhecimento de gestos em tempo real com câmeras e aceleração gráficaDaniel Oliveira DantasJunior Barrera
10/02/2010MasterRenderização interativa de câmeras virtuais a partir da integração de múltiplas câmeras esparsas por meio de homografias e decomposições planares da cenaJeferson Rodrigues da SilvaCarlos Hitoshi Morimoto
19/01/2010DoctorateProcessos de decisão Markovianos fatorados com probabilidades imprecisasKarina Valdivia DelgadoLeliane Nunes de Barros
19/11/2009MasterAcordo de chaves criptográficas hierárquico e sem certificadoVilc Queupe RufinoRouto Terada
13/11/2009MasterUm middleware para processamento bioestatístico em grades computacionaisRodrigo Assirati DiasRoberto Hirata Junior
23/10/2009MasterAplicações de programação não-linear ao apreçamento de apólices de segurosPaulo Fernando Galvão de Oliveira MachadoWalter Figueiredo Mascarenhas
21/10/2009DoctorateDetecção e rastreamento de múltiplos objetos em condição de oclusão severa por meio de integração de suporte sob restrição homográficaThiago Teixeira SantosCarlos Hitoshi Morimoto
13/10/2009MasterAnálise comparativa de protocolos de segurança para redes de sensores sem fioMateus Augusto Silva SantosRouto Terada
10/08/2009MasterUm algoritmo eficiente para o crescimento de redes sobre o grafo probabilístico completo do sistema de regulação gênica consideradoLeandro de Araujo LimaJunior Barrera
06/07/2009MasterConsultas de segmentos em janelas: algoritmos e estruturas de dadosÁlvaro Junior Pereira FrancoCarlos Eduardo Ferreira
01/07/2009MasterSegmentação interativa de imagens via transformação watershedBruno KlavaNina Sumiko Tomita Hirata
16/06/2009MasterK-menores caminhosFabio PisarukJose Coelho de Pina Junior
09/06/2009MasterMinimização de funções submodularesJuliana Barby SimãoJose Coelho de Pina Junior
05/06/2009MasterIComb: Um sistema para o ensino e aprendizagem de combinatória em ambiente WebAlexandre Luis Kundrat EisenmannLeonidas de Oliveira Brandao
29/05/2009MasterMétodos de penalidade e barreira para programação convexa semidefinidaAntonio Carlos dos SantosPaulo José da Silva e Silva
15/05/2009DoctorateAprendizado computacional baseado em distância a segmentos de retaJoão Henrique Burckas RibeiroRonaldo Fumio Hashimoto
13/05/2009MasterMétodos de expansão de busca em sistemas de recuperação de informaçãoWendel ScarduaAlair Pereira do Lago
11/05/2009MasterPadrões para introduzir novas ideias na indústria de softwareDaniel CukierFabio Kon
28/04/2009MasterAplicação de práticas ágeis na construção de data warehouse evolutivoGuilherme Toso de CarvalhoJoão Eduardo Ferreira
27/04/2009DoctorateUma arquitetura de baixo acoplamento para execução de padrões de controle de fluxo em gradesAlexandre Ricardo NardiJoão Eduardo Ferreira
24/04/2009MasterAgentes móveis em grades oportunistas: uma abordagem para tolerância a falhasVinicius Gama PinheiroAlfredo Goldman Vel Lejbman
14/04/2009MasterAlgoritmos para problemas de programação não-linear com variáveis inteiras e contínuasRafael Durbano LobatoErnesto Julian Goldberg Birgin
09/04/2009MasterDois caminhos disjuntos e o método de Robertson e SeymourMauricio Silva de MouraJose Coelho de Pina Junior
11/12/2008MasterCombinação dinâmica de aspectos: uma abordagem eficienteFlavia RainoneFrancisco Carlos da Rocha Reverbel
01/12/2008DoctorateSeleção de características e predição intrinsecamente multivariada em identificação de redes de regulação gênicaDavid Corrêa Martins JuniorRoberto Marcondes Cesar Junior
18/11/2008DoctorateLimites de seqüências de permutações de inteirosRudini Menezes SampaioYoshiharu Kohayakawa
07/11/2008MasterSimulação acústica no ambiente AcMusMário Henrique Cruz TorresFabio Kon
31/10/2008Master"Escalonamento em job shops flexíveis híbridos com máquinas multi operação uma abordagem através de filtered beam search"Claudio Eduardo Storti LagoLeonidas de Oliveira Brandao
03/10/2008MasterGeração parcial de código Java a partir de especificações formais ZAlvaro Heiji MiyazawaAna Cristina Vieira de Melo
25/09/2008DoctorateGeração de expressões algébricas para processos de negócio usando reduções de digrafos série-paraleloMárcio Katsumi OikawaJoão Eduardo Ferreira
11/09/2008MasterFluxo de dados em redes de Petri coloridas e em grafos orientados a atoresGrace Anne Pontes BorgesJoão Eduardo Ferreira
10/09/2008MasterFiltros para a busca e extração de padrões aproximados em cadeias biológicasDomingos Soares NetoJose Augusto Ramos Soares
27/08/2008MasterEstruturas de dados concorrentes: um estudo de caso em skip graphsHammurabi das Chagas MendesCristina Gomes Fernandes
12/08/2008MasterClassificação e busca de componentes com tratamento de exceçõesLuciana Setsuko GakiyaAna Cristina Vieira de Melo
24/07/2008DoctorateTópicos em otimização com restrições linearesMarina AndrettaErnesto Julian Goldberg Birgin
17/07/2008MasterDois problemas em análise de formas de estruturas de ramificaçãoJorge de Jesus Gomes LeandroRoberto Marcondes Cesar Junior
07/07/2008DoctorateModelagem de posições relativas de formas complexas para análise de configuração espacial: entre e ao longo deCelina Maki TakemuraRoberto Marcondes Cesar Junior
02/07/2008MasterCorrespondência inexata entre grafosAlexandre da Silva FreireCarlos Eduardo Ferreira
26/06/2008MasterDesenvolvimento de sistemas baseados em artefatos de conhecimentoGustavo Enrique Salazar TorresFlavio Soares Correa da Silva
06/06/2008MasterIGraf: Uma proposta de sistema para ensino de função via WebReginaldo do PradoLeonidas de Oliveira Brandao
03/06/2008MasterACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxoPedro Losco TakecianJoão Eduardo Ferreira
03/06/2008MasterUm serviço de autorização Java EE baseado em certificados de atributos X.509Stefan Neusatz GuilhenFrancisco Carlos da Rocha Reverbel
21/05/2008MasterImplementação de esquemas de criptografia e de assinatura sob o modelo de criptografia de chave pública sem certificadoRenato da Silva RamalhoRouto Terada
08/05/2008MasterParadigma mestre-escravo em plataformas heterogêneasFábio Henrique NishiharaAlfredo Goldman Vel Lejbman
06/05/2008MasterPopulando ontologias através de informações em HTML - o caso do currículo lattesAndré Casado CastañoRenata Wassermann
05/05/2008MasterPlanejamento hierárquico sob incerteza KnightianaRicardo Guimaraes HerrmannLeliane Nunes de Barros
28/04/2008MasterReparo de plano por refinamento reversoDavid Robert Camargo de CamposLeliane Nunes de Barros
25/04/2008MasterHomomorfismos de grafosCristiane Maria SatoYoshiharu Kohayakawa
22/04/2008MasterUma comparação de métodos de classificação aplicados à detecção de fraude em cartões de créditoManoel Fernando Alonso GadiAlair Pereira do Lago
18/04/2008DoctorateXenia: um sistema de segurança para grades computacionais baseado em cadeias de confiançaJosé de Ribamar Braga Pinheiro JuniorFabio Kon
18/04/2008MasterGeração automática de casos testes para Web ServicesPaulo SilveiraAna Cristina Vieira de Melo
17/04/2008MasterAmbiente de testes utilizando verificação de componentes java com tratamento de exceçõesKleber da Silva XavierAna Cristina Vieira de Melo
16/04/2008MasterOrdenação por reversãoAndréa Tieme NakasatoYoshiko Wakabayashi
26/03/2008MasterSeletores de pontos de junção: um mecanismo de extensão para linguagens e arcabouços orientados a aspectosCristiano Malanga BreuelFrancisco Carlos da Rocha Reverbel
18/03/2008MasterExperiências com desenvolvimento ágilDairton Luiz Bassi FilhoEduardo Colli
11/03/2008MasterAnálise de padrões de uso em grades computacionaisDanilo Matheus Rubio CondeMarcelo Finger
07/03/2008MasterDepuração simbólica extensível para sistemas de objetos distribuídosGiuliano MegaFabio Kon
07/03/2008MasterEstudo comparativo de passos espectrais e buscas lineares não monótonasFernando Taietti CamargoErnesto Julian Goldberg Birgin
22/02/2008MasterAplicações de computação paralela em otimização contínuaRicardo Luiz de Andrade AbrantesErnesto Julian Goldberg Birgin
22/02/2008MasterErosões e dilatações morfológicas binárias seqüênciais rápidasAnderson Fraiha MachadoRonaldo Fumio Hashimoto
22/02/2008MasterProgramação em dois níveis: reformulação utilizando as condições KKTFrancisco Nogueira Calmon SobralErnesto Julian Goldberg Birgin
15/02/2008MasterAudible Images: síntese de imagens controladas por áudioMariana Zaparolli MartinsMarcelo Gomes de Queiroz
16/01/2008MasterUma ferramenta para o ensino de inteligência artificial usando jogos de computadorFilipe Correa Lima da SilvaFlavio Soares Correa da Silva
14/12/2007MasterAplicação de técnicas de fatoração de matrizes esparsas para inferência em redes bayesianasErnesto Coutinho CollaJulio Michael Stern
06/11/2007MasterSegmentação de movimento usando morfologia matemáticaArnaldo Câmara LaraRoberto Hirata Junior
05/11/2007DoctoratePlanejamento sob incerteza para metas de alcançabilidade estendidasSilvio do Lago PereiraLeliane Nunes de Barros
21/09/2007MasterUm serviço de transações atômicas para Web servicesIvan Bittencourt de Araujo e Silva NetoFrancisco Carlos da Rocha Reverbel
14/09/2007MasterReflexões sobre o ensino de metodologias ágeis na academia, na indústria e no governoAlexandre Freire da SilvaFabio Kon
29/08/2007MasterUm modelo para ambientes inteligentes baseado em serviços web semânticosCrhistian Alberto Noriega GuerraFlavio Soares Correa da Silva
17/08/2007MasterRastreamento de componentes conexas em vídeo 3D para obtenção de estruturas tridimensionaisDavid da Silva PiresRoberto Marcondes Cesar Junior
13/07/2007MasterUso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limitesJulian Geraldes MonteiroAlfredo Goldman Vel Lejbman
03/07/2007MasterUm estudo empírico de hiper-heurísticasIgor Ribeiro SucupiraFlavio Soares Correa da Silva
29/06/2007MasterUso eficaz de métricas em métodos ágeis de desenvolvimento de softwareDanilo Toshiaki SatoAlfredo Goldman Vel Lejbman
15/06/2007MasterPCA-tree: uma proposta para indexação multidimensionalPhilipe Dalla BernardinaNina Sumiko Tomita Hirata
24/05/2007MasterFerramenta para integração de modelos multidimensionais e softwares de visualização de séries temporaisGustavo Bianchi MaiaJoão Eduardo Ferreira
18/05/2007MasterMatemática e algoritmos das dobrasPaulo Eduardo Azevedo SilveiraJose Coelho de Pina Junior
16/05/2007MasterFortalecimento do algoritmo RC6 contra criptanálise Χ2Eduardo Takeo UêdaRouto Terada
10/05/2007MasterUso de "small worlds" no roteamento em redes de sensores sem fioGiulian Dalton LuzAlfredo Goldman Vel Lejbman
09/05/2007MasterHermes: um arcabouço para a programação de aplicações P2PEmilio de Camargo FrancesquiniFrancisco Carlos da Rocha Reverbel
07/05/2007DoctorateUso de ontologias e mapas conceituais na descoberta e análise de objetos de aprendizagem: um estudo de caso em eletrostáticaAndréia Cristina Grisolio MachionLeliane Nunes de Barros
07/05/2007MasterInGriDE: um ambiente integrado e extensível de desenvolvimento para computação em gradeEduardo Leal GuerraAlfredo Goldman Vel Lejbman
04/05/2007DoctorateArmazenamento distribuído de dados e checkpointing de aplicações paralelas em grades oportunistasRaphael Yokoingawa de CamargoFabio Kon
20/04/2007MasterSAW - Sistema de aprendizagem pela web: motivações e desenvolvimentoJanine Gomes MouraLeonidas de Oliveira Brandao
18/04/2007DoctorateAlinhamento de seqüências com rearranjosAugusto Fernandes VellozoAlair Pereira do Lago
04/04/2007MasterRelações min-max em otimização combinatóriaMarcel Kenji de Carli SilvaYoshiko Wakabayashi
28/03/2007MasterCriação de núcleos específicos para determinados problemas de classificação usando máquinas de suporte vetorial (SVM)Alfredo Roberto JuniorMarco Dimas Gubitoso
27/03/2007MasterExtração de aleatoriedade a partir de fontes defeituosasDomingos Dellamonica JuniorYoshiharu Kohayakawa
26/03/2007MasterPartição de grafos em subgrafos conexos balanceadosRenato Pinheiro Freme Lopes LucindoYoshiko Wakabayashi
26/03/2007MasterRevisão de modelos formais de sistemas de estados finitosThiago Carvalho de SousaRenata Wassermann
26/03/2007MasterTeoria de Ramsey para circuitos e caminhosFabricio Siqueira BenevidesYoshiharu Kohayakawa
23/03/2007Master MYOP: um arcabouço para predição de genes ab initioAndré Yoshiaki KashiwabaraAlan Mitchell Durham
23/03/2007MasterRastreamento de objetos baseado em reconhecimento estrutural de padrõesAna Beatriz Vicentim GracianoRoberto Marcondes Cesar Junior
23/03/2007MasterUm resolvedor SAT paralelo com BSP sobre uma gradeFernando Correa LimaMarcelo Finger
16/03/2007MasterEstudo de métodos estocásticos para otimização global de problemas de programação não linearErico Murilo GozziErnesto Julian Goldberg Birgin
16/03/2007MasterIntegração de verificadores formais para agentes móveisAndré Gustavo AndradeAna Cristina Vieira de Melo
09/03/2007Master"Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas"David Paulo PereiraAna Cristina Vieira de Melo
05/03/2007MasterMobiGrid: arcabouço para agentes móveis em ambiente de grades computacionaisRodrigo Moreira BarbosaAlfredo Goldman Vel Lejbman
01/03/2007MasterAlgoritimo do volume e otimização não diferenciávelEllen Hidemi FukudaPaulo José da Silva e Silva
28/02/2007MasterBases de HilbertMarcelo HashimotoJose Coelho de Pina Junior
30/01/2007DoctorateUm provador de teoremas multi-estratégiaAdolfo Gustavo Serra Seca NetoMarcelo Finger
21/12/2006Master"Funções-valor na alocação de tarefas em sistemas robóticos"Antonio Luiz BasileFlavio Soares Correa da Silva
21/12/2006MasterCoeficientes de determinação, predição intrinsicamente multivariada e genéticaCarlos Henrique Aguena HigaRonaldo Fumio Hashimoto
11/12/2006MasterValidação ágil e precisa de projetos conceituais de banco de dadosMarcos Eduardo Bolelli BroiniziJoão Eduardo Ferreira
01/12/2006MasterMultiplicação escalar eficiente em curvas elípticasAdão de Melo NetoRouto Terada
30/11/2006MasterSegmentação de vasos sangüíneos em imagens de retina usando wavelets e classificadores estísticosJoão Vitor Baldini SoaresRoberto Marcondes Cesar Junior
27/10/2006MasterEstudo de escalabilidade de servidores baseados em eventos em sistemas multiprocessados: um estudo de caso completoDaniel de Angelis CordeiroAlfredo Goldman Vel Lejbman
27/10/2006MasterO problema da troca de mensagens de diferentes tamanhos em redes multi-aglomeradosFabio Massaaki KatayamaAlfredo Goldman Vel Lejbman
24/10/2006MasterRedução de dimensionalidade em séries temporaisAndré Rodrigo SanchesNina Sumiko Tomita Hirata
29/09/2006MasterClassificação semi-automática de componentes JavaClaudia de Oliveira MeloAna Cristina Vieira de Melo
11/09/2006MasterSistemas interativos de prova clássicos e quânticosCarlos Henrique CardonhaCristina Gomes Fernandes
30/08/2006MasterSistema de arquivos especializado para correio eletrônicoEider Silva de OliveiraArnaldo Mandel
25/08/2006MasterReconstrução de faces a partir de múltiplas imagens utilizando um modelo de referência e um conjunto de pontos de controleBruno PeraCarlos Hitoshi Morimoto
08/08/2006DoctorateEmpacotamento de subgrafos em grafosGordana ManicYoshiko Wakabayashi
08/08/2006MasterDetecção e rastreamento de faces e características faciais com aplicação em indexação de vídeo e estimação da orientação de facesRegis de Abreu BarbosaCarlos Hitoshi Morimoto
28/06/2006MasterProposta de esquemas de criptografia e de assinatura sob modelo de criptografia de chave pública sem certificadoDenise Hideko GoyaRouto Terada
23/06/2006MasterPadrões de fluxos de processos em banco de dados relacionaisKelly Rosa BraghettoJoão Eduardo Ferreira
23/06/2006MasterPor que usar bancos de dados orientados a objetos?Yen Chin ShenValdemar Waingort Setzer
31/05/2006MasterUm modelo unificado para planejamento sob incertezaFelipe Werndl TrevizanLeliane Nunes de Barros
26/05/2006MasterPlanejamento para serviços web semânticosJuliana Jabra ChahoudLeliane Nunes de Barros
23/05/2006MasterRepensando os commons na comunicação científicaEvelyn Cristina PintoImre Simon
15/05/2006DoctorateVoz e vídeo sobre redes sem fio IEEE 802.11Arlindo Flavio da ConceiçãoFabio Kon
12/05/2006MasterRecuperação automática da estrutura tri-dimensional a partir de múltiplas imagens utilizando geometria projetivaTiago Tagliari MartinezCarlos Hitoshi Morimoto
05/05/2006MasterUm sistema de rastreamento de olhar tolerante a movimentações da faceFlávio Luiz CoutinhoCarlos Hitoshi Morimoto
28/04/2006MasterAlgoritmos de aproximação para o projeto de redes segurasAntonio Joao Ferreira FranciscoCarlos Eduardo Ferreira
28/04/2006MasterImplementações do método de aproximação primal-dual aplicado ao problema da floresta de SteinerRafael Pereira LunaCristina Gomes Fernandes
20/04/2006DoctorateUm arcabouço para composição, teste e simulação de protocolos de Handover suaveVera NagamutaSiang Wun Song
19/04/2006MasterProjeto multirresolução de operadores morfológicos a partir de exemplosDaniel André VaqueroJunior Barrera
03/03/2006MasterAnálise de conglomerados aplicada ao reconhecimento de padrões de uso de recursos computacionaisGermano Capistrano BezerraMarcelo Finger
19/12/2005MasterDiagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicosKarina Valdivia DelgadoLeliane Nunes de Barros
12/12/2005MasterProtocolos par-a-par para interligação de aglomerados em grades computacionaisVladimir Emiliano Moreira RochaFabio Kon
16/11/2005MasterPlanejamento no cálculo de situações usando a linguagem GologEdward Mitsuo Iwanaga IamamotoLeliane Nunes de Barros
10/11/2005MasterAnálise automática de desempenho de classificadores e técnicas de classificação na plataforma RNey Barros LuzNina Sumiko Tomita Hirata
09/11/2005MasterConstrução e estudos sobre ontologias de bioquímicaAnderson Carlos Daniel SanchesRenata Wassermann
04/11/2005MasterProtocolos para comunicação entre agentes móveisRachel de Paula CavalcantiKunio Okuda
01/11/2005MasterArranjos sistólicos redundantes para grades de computaçãoMarcos Tatsuo YamamotoKunio Okuda
19/10/2005MasterIdentificação de regiões codificantes de proteína através da transformada modificada de MorletJesús Pascual Mena ChalcoRoberto Marcondes Cesar Junior
23/09/2005MasterSistemas de arquivos paralelos: alternativas para a redução do gargalo no acesso ao sistema de arquivosRoberto Pires de CarvalhoAlfredo Goldman Vel Lejbman
13/09/2005MasterUma ferramenta interativa para análise de padrões baseada em entropiaLuiz Gustavo MartinsMarco Dimas Gubitoso
12/08/2005MasterO problema de Steiner com gruposFernando Mario de Oliveira FilhoCarlos Eduardo Ferreira
20/07/2005MasterColoração de grafos e o método probabilísticoDaniel Morgato MartinYoshiharu Kohayakawa
12/07/2005MasterInterfaces prestativas baseadas em visão computacional e informação de contextoThiago Schumacher BarcelosCarlos Hitoshi Morimoto
22/06/2005DoctorateDois problemas de buscaRenato José da Silva CarmoYoshiharu Kohayakawa
25/05/2005DoctorateIdentificação de genes por comparação de seqüênciasSaid Sadique AdiCarlos Eduardo Ferreira
25/05/2005MasterInteração baseada em gestos de mãos e cabeça para ambientes de realidade virtual utilizando visão computacionalMarcio Calixto CabralCarlos Hitoshi Morimoto
11/05/2005MasterDefinição de uma nova função critério baseada em distâncias nebulosas com múltiplos protótipos para seleção de característicasJishu AshimineRoberto Marcondes Cesar Junior
25/04/2005MasterAdaptação dinâmica utilizando agentes móveis em computação ubíquaRoberto Speicys CardosoFabio Kon
20/04/2005MasterUm arcabouço para suporte a reconfiguração dinâmica em ambiente JavaRicardo Koji UshizakiFabio Kon
18/04/2005MasterGerenciamento de recursos distribuídos em sistemas escaláveisJeferson Roberto MarquesFabio Kon
12/04/2005MasterUm etiquetador morfo-sintático baseado em cadeias de Markov de tamanho variávelFábio Natanael KeplerMarcelo Finger
01/04/2005MasterDesenvolvimento de ferramentas igeom: utilizando a geometria dinâmica no ensino presencial e a distânciaSeiji IsotaniLeonidas de Oliveira Brandao
21/03/2005MasterRecuperação de vídeos indexados por conceitosChristian Danniel Paz TrilloRenata Wassermann
28/02/2005MasterAspectos algébricos e computacionais da teoria de bases de Gröbner não comutativasAlexey Antônio Villas BôasEduardo do Nascimento Marcos
11/02/2005MasterModularização da coleta de lixo na máquina virtual de pesquisa JikesRosianni de Oliveira CruzAlan Mitchell Durham
07/01/2005MasterDesenvolvimento de algorítmos paralelos para aglomerados com a técnica de paralelização de laçosUlisses Kendi HayashidaSiang Wun Song
14/12/2004MasterInteGrade: um sistema de middleware para computação em grade oportunistaAndrei GoldchlegerFabio Kon
29/11/2004MasterImplementação e análise do protocolo de Katz e Yung para estabelecimento de chaves de grupoJorge Alves TonamiRouto Terada
29/10/2004MasterComposição e performance musical utilizando agentes móveisLeo Kazuhiro UedaFabio Kon
22/10/2004MasterAprendizado de regras de substituição para normatização de textos históricosAlexandre Sussumu HirohashiMarcelo Finger
20/10/2004MasterGeração de classificadores de sequências genéticas utilizando inferência de linguagens regularesDaniel da Cruz Gouveia VieiraAlan Mitchell Durham
15/10/2004MasterList ranking: um estudo experimentalGuilherme Pereira VanniSiang Wun Song
14/10/2004MasterLógicas de raciocínio aproximado e o problema satFabio Luiz IdeMarcelo Finger
22/09/2004MasterRedução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagensDavid Corrêa Martins JuniorRoberto Marcondes Cesar Junior
27/08/2004MasterUma proposta de eliminação paralela para o problema da mochila ilimitadaFlavio Regis de ArrudaAlfredo Goldman Vel Lejbman
24/08/2004MasterUma ontologia artificial para o controle cambial brasileiroRobson MoronFlavio Soares Correa da Silva
23/08/2004MasterDesenvolvimento de um rastreador de olhar apropriado para interação humano computadorMarcio Raul Medeiros MimicaCarlos Hitoshi Morimoto
20/08/2004MasterServiços de pertinência para clusters de alta disponibilidadeNélio Alves Pereira FilhoArnaldo Mandel
19/08/2004DoctorateAproximações para restrições do problema de Steiner em grafosFabio Henrique Viduani MartinezJose Augusto Ramos Soares
09/08/2004MasterFlexibilidade em um sistema de arquivos componentizadoLivio Baldini SoaresDilma Menezes da Silva
09/08/2004MasterSegmentação automática de tomadas em vídeoThiago Teixeira SantosCarlos Hitoshi Morimoto
02/07/2004MasterUm sistema de autorização baseado em uma infra-estrutura de gerenciamento de privilégiosFabio Correa XavierRouto Terada
18/06/2004MasterPropriedades de algumas classes de relações racionaisRodrigo Nonamor Pereira Mariano de SouzaNami Kobayashi
08/06/2004MasterConstrução de imagens panorâmicas a partir de vídeoHenrique Pedreira de Freitas CeribelliCarlos Hitoshi Morimoto
04/06/2004MasterProcessamento distribuído de áudio em tempo realNelson Posse LagoFabio Kon
21/05/2004MasterInteligência artificial para jogos de tabuleiroMarcelo Nunes de CarvalhoFlavio Soares Correa da Silva
10/05/2004DoctoratePertinência de pontos em objetos discretos de dimensão arbitráriaLuciano SilvaAntonio Elias Fabris
14/04/2004MasterUm estudo sobre teste versus verificação formal de programas javaLeandro Cesar PrudenteAna Cristina Vieira de Melo
13/04/2004MasterO impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionaisGilberto da Silva HemerlyAntonio Elias Fabris
12/04/2004DoctorateUm modelo formal para a quinta disciplinaLourival Paulino da SilvaFlavio Soares Correa da Silva
07/04/2004MasterÍndices para consultas por conteúdo em banco de dados heterogêneosGustavo Tadao OkidaJoão Eduardo Ferreira
02/04/2004DoctorateAlgoritmos para problemas de corte de guilhotina bidimensionalGlauber Ferreira CintraYoshiko Wakabayashi
30/03/2004MasterEm busca de procedimentos de inferência eficientes via relevância por sintaxeJoselyto Nawber da Costa RianiRenata Wassermann
22/03/2004DoctorateAlgoritmos de aproximação para partições conexas em grafosLiliane Rose Benning SalgadoYoshiko Wakabayashi
27/02/2004MasterUm método de restrições ativas para minimização em caixasMarina AndrettaErnesto Julian Goldberg Birgin
18/02/2004MasterAnálise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionadoCaetano Jimenez CarezzatoJunior Barrera
03/02/2004MasterDescoberta de regras de classificação com hierarquias conceituaisMarco Eugenio Madeira Di BenedittoLeliane Nunes de Barros
14/01/2004MasterUma técnica automática para a medida de sinal de imagens de cDNADaniel Oliveira DantasJunior Barrera
12/01/2004MasterUma arquitetura distribuída para busca de caminhos em grafos dinâmicosMarcelo Luís VinagreiroAlfredo Goldman Vel Lejbman
15/12/2003MasterSimulação de mini-ecossistemas vegetais em tempo realLuis Carlos Yano EndoAntonio Elias Fabris
28/11/2003MasterSistemas criptográficos baseados em identidades pessoaisWaldyr Dias Benits JúniorRouto Terada
14/11/2003MasterSistemas de localização dinâmica de serviços em ambientes de computação móvelLeonardo Marques Alves de PinhoAlfredo Goldman Vel Lejbman
22/08/2003DoctorateConsultas sobre "aqui" em sistemas de bancos de dados em ambientes de computação nômadeEugênio Akihiro NassuMarcelo Finger
21/08/2003MasterAlinhamento de sequências biológicasRogério Theodoro de BritoJose Augusto Ramos Soares
21/08/2003MasterAnalisador sintático estatístico orientado ao núcleo-léxico para a língua portuguesaFabiano de Carvalho e SousaMarcelo Finger
15/08/2003MasterUm serviço para grupos de objetos com consistência relaxadaMarcelo Brito dos SantosMarkus Endler
14/08/2003MasterAnálise de formas representadas por marcos utilizando características mono e multiescalaCelina Maki TakemuraRoberto Marcondes Cesar Junior
11/08/2003MasterComponentes CORBAAlexandre Ricardo NardiFrancisco Carlos da Rocha Reverbel
07/08/2003MasterAlgoritmos primal-duaisAna Lucia Lima Marreiros MaiaJose Coelho de Pina Junior
01/08/2003MasterTopologia de espaços de estados em planejamento com váriaveis numéricasAldebaran PersekeLeliane Nunes de Barros
06/06/2003MasterCache comprimido adaptativo: estudo, projeto e implementaçãoRodrigo Souza de CastroAlair Pereira do Lago
09/05/2003MasterAnálise experimental de algoritmos de planaridadeAlexandre NomaCristina Gomes Fernandes
30/04/2003MasterUma biblioteca para a simulação de protocolos de entrega de mensagens em redes móveisWeslley Emmanuel Martins LimaAlan Mitchell Durham
11/04/2003MasterImplementação e análise comparativa de variações do criptossistema rsaCesar Alison Monteiro PaixãoRouto Terada
10/04/2003MasterSistemas modais de conhecimentoFlavio Shigeo YamamotoRicardo Bianconi
04/04/2003MasterUma técnica de verificação para π-calculus baseada em bi-simulação up-to e algoritmos de particionamentoMarcelo de Moura AmorimAna Cristina Vieira de Melo
25/03/2003MasterConfiguração automática de sistemas na plataforma enterprise javabeansHerbert Yutaka WatanabeFabio Kon
20/03/2003MasterMaximização de entropia em linguística computacional para a língua portuguesaArchias Alves de Almeida FilhoMarcelo Finger
20/03/2003MasterUso de redes bayesianas no gerenciamento de manutenção de softwareAdilson de Jesus SanchezAna Cristina Vieira de Melo
18/03/2003DoctorateAlgoritmos paralelos de granularidade grossa em grafos bipartidos convexosMarco Aurélio StefanesJose Augusto Ramos Soares
17/03/2003MasterEstratégias de hand-off com balanceamento de carga para computação móvelAlessandro Santiago dos SantosAlfredo Goldman Vel Lejbman
27/02/2003MasterBanco de dados obsolescentes e uma proposta de implementaçãoFernando Antonio Mac Craken CezarMarcelo Finger
21/02/2003DoctorateAdaptação dinâmica de sistemas distribuídosFrancisco José da Silva e SilvaMarkus Endler
06/02/2003MasterIntegração para dados e aplicações em biologia molecular computacionalMárcio Katsumi OikawaJoão Eduardo Ferreira
05/02/2003MasterComponente de controle transacional para integração assíncrona de bases de dadosMarcelo Camacho de SouzaJoão Eduardo Ferreira
19/12/2002MasterAlternativas para propagação das atualizações de um banco de dados operacional para um Data WarehouseBianka Maria Moura Teixeira GonçalvesJoão Eduardo Ferreira
10/12/2002MasterUm algoritmo de aproximação paralelo para transversal mínima com aplicação em análise de expressão gênicaDanielle Passos de RuchkysSiang Wun Song
06/12/2002DoctorateAlgoritmos paralelos de granularidade grossa para problemas de alinhamento de cadeiasCarlos Eduardo Rodrigues AlvesSiang Wun Song
31/10/2002MasterImplementações de tableaux para raciocínio por aproximaçõesWagner DiasMarcelo Finger
30/09/2002MasterUm estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-CalculusLucy Mari TabutiAna Cristina Vieira de Melo
09/08/2002MasterDesenvolvimento e comparação de dois protocolos para multicast atômico em computação móvelMateus de Freitas RibeiroMarkus Endler
23/07/2002DoctorateProjeto de operadores morfológicos multi-escala por otimização estatísticaMarcel BrunJunior Barrera
04/07/2002MasterCCICLO: Componente para cruzamento e integração de objetos classificadosLuciano Vieira de AraújoJoão Eduardo Ferreira
01/07/2002MasterUm modelo de capacidades formais para cooperação mediada entre sistemas baseados em conhecimentoEudenia Xavier MenesesFlavio Soares Correa da Silva
27/06/2002MasterLaboratório de geração de classificadores de sequênciasAriane Machado LimaAlan Mitchell Durham
28/05/2002MasterPlanejamento abdutivo no cálculo de eventosSilvio do Lago PereiraLeliane Nunes de Barros
22/05/2002MasterAutomorfismos de grafosEduardo TenganArnaldo Mandel
17/05/2002MasterUma implementação do protocolo TLS com um algoritmo de criptografia forteIsvi Correa JuniorRouto Terada
10/05/2002Master"Classificação dos domínios transacionais e analíticos para avaliação de alternativas de sincronismo em projetos de Data Warehouse".Isabel Cristina ItalianoJoão Eduardo Ferreira
10/05/2002MasterÁrvores k-restritas e aproximações para o problema de steiner em grafosEduardo Kazuaki GondoCristina Gomes Fernandes
07/05/2002MasterCriptografia - Uma implementação do protocolo de micropagamento PayWordJoão Carlos NétoRouto Terada
10/04/2002Master"Arquiteturas de Componentização de Servidores como Integradoras de Bancos de Dados Distribuídos".Myrthes Cavalcante de AguiarFrancisco Carlos da Rocha Reverbel
21/03/2002MasterAlgoritmos para caminhos mínimosShigueo IsotaniJose Coelho de Pina Junior
14/03/2002Master"Visões em arquitetura de software".Ane Cristina VarotoHernan Enrique Astudillo Rojas
13/03/2002MasterUma taxonomia da pesquisa na área de engenharia de requisitosPaulo Sérgio Naddeo Dias LopesHernan Enrique Astudillo Rojas
28/02/2002Master"Identificação de sistemas dinâmicos finitos: aplicações para a modelagem de redes genéticas"Nestor Walter TrepodeJunior Barrera
23/01/2002MasterAlgoritmos para predição da estrutura secundária do RNALuiz Carlos da Silva RozanteJose Augusto Ramos Soares
18/12/2001MasterUma infra-estrutura para migração de objetos CORBA implementados em javaHelves Humberto DominguesFrancisco Carlos da Rocha Reverbel
17/12/2001DoctorateProjeto de operadores morfológicos para imagens e sinaisRoberto Hirata JuniorJunior Barrera
28/11/2001DoctorateTrês problemas em complementaridade e programação matemáticaMarcelo Gomes de QueirozCarlos Humes Junior
27/11/2001MasterMetamodelo para Controle de Estratégias Assíncronas de Replicação de DadosCarlos Henrique Maia BragaJoão Eduardo Ferreira
14/11/2001MasterTransações web: Um estudo sobre problemas e soluçõesLorena Pereira da Ponte PierreHernan Enrique Astudillo Rojas
31/10/2001MasterIntegração do serviço de diretório LDAP com o serviço de nomes CORBAGustavo Scalco IsquierdoFrancisco Carlos da Rocha Reverbel
29/10/2001MasterColorações restritas de grafosGordana ManicPaulo Feofiloff
22/10/2001MasterComposição de fluxo de controle de frameworks javaBruno Martins MoutinhoAna Cristina Vieira de Melo
04/09/2001MasterSistema para Execução de Testes de Aprendizado Baseado em Funções de CrençaJuliano Mourão VieiraFlavio Soares Correa da Silva
02/07/2001MasterIndicadores de qualidade de uma implementação de banco de dados relacionalGlauco Galves BordinMarcelo Finger
22/06/2001Master RMIRep: Suporte para Replicação de Objetos em Redes de Alta LatênciaJorge Chaves Radel BittencourtDilma Menezes da Silva
25/05/2001MasterTécnicas de seleção de características com aplicações em reconhecimento de facesTeófilo Emidio de CamposRoberto Marcondes Cesar Junior
11/05/2001MasterEscalonamento de reservas de domínioMaria do Carmo Garcia NoronhaDilma Menezes da Silva
11/05/2001MasterRastreamento eficiente de faces em um subespaço waveletRogerio Schmidt FerisRoberto Marcondes Cesar Junior
09/05/2001MasterEstudo de requisitos para um software educativo de apoio ao ensino da introdução à computaçãoMaria Clara Barros de Oliveira FischerFlavio Soares Correa da Silva
04/05/2001MasterUma arquitetura para simulação flexivel de protocolos para computação móvelRicardo Couto Antunes da RochaMarkus Endler
26/04/2001MasterComparação de Desempenho Linux X Windows NTJosé Eugênio de Assis GonçalvesMarco Dimas Gubitoso
30/03/2001MasterAlgoritmos paralelos para fecho convexoEmmanuel Kayembe IlungaSiang Wun Song
02/03/2001MasterAlgoritmos e estruturas de dados para manutenção de árvores geradoras mínimas em grafos dinâmicosAritanan Borges Garcia GruberCarlos Eduardo Ferreira
12/02/2001Master"Uma infra-estrutura para o gerenciamento de aplicações CORBA tolerantes a falhas".Marcos Aurelio Mendes de MouraMarkus Endler
09/02/2001MasterUm instrumento de avaliação da qualidade para software educacional de matemáticaAna Paula Gladcheff MunhozDilma Menezes da Silva
07/02/2001MasterObsolescência de InformaçãoSirley Ambrosia Vitorio OliveiraFlavio Soares Correa da Silva
19/12/2000MasterAlgoritmos Paralelos para o Paradigma de Pertinência Interior/ExteriorMarcos Machado Ottani AssisAntonio Elias Fabris
08/12/2000DoctorateCompartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento: um Estudo de CasoRoberto Cássio de AraujoFlavio Soares Correa da Silva
08/12/2000MasterProblemas Dinâmicos em Geometria ComputacionalCassio Polpo de CamposCarlos Eduardo Ferreira
01/12/2000MasterProblemas Cinéticos em Geometria ComputacionalEduardo Garcia de FreitasCarlos Eduardo Ferreira
06/11/2000MasterDetecção dinâmica de condições de disputa para programas multithreaded em JavaClovis Seragiotto JuniorDilma Menezes da Silva
05/10/2000DoctorateProjeto Automático de Operadores - Explorando Conhecimentos a PrioriNina Sumiko Tomita HirataJunior Barrera
04/10/2000MasterSegmentação de seqüência de imagens por morfologia matemáticaFranklin César FloresJunior Barrera
15/08/2000Master"Técnicas de orientação a objetos para projeto de sistemas adaptáveis".Uirá KuleszaDilma Menezes da Silva
29/06/2000MasterAnálise Formal do Aprendizado Supervisionado por Árvores de DecisãoMaurício Bellissimo FalleirosFlavio Soares Correa da Silva
02/06/2000MasterNúmeros de Ramsey Induzidos e Semi-induzidosMarcio Grossi de AlmeidaYoshiharu Kohayakawa
25/04/2000MasterParticionamento Transparente de Ambientes Virtuais DistribuídosMarcos AlvesMarkus Endler
05/04/2000Master"Ferramentas de Auxílio ao Sequenciamento de DNA por montagem de Fragmentos: um estudo comparativo".Said Sadique AdiCarlos Eduardo Ferreira
04/04/2000DoctorateAlgoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem EscalaHenrique MongelliSiang Wun Song
28/02/2000Master"Geometria Computacional de Pontos em Movimento".Carlos Ramon Pantaleon DionisioJose Coelho de Pina Junior
10/12/1999MasterProjeto de Regras Confluentes para Bancos de Dados Ativos Usando Tabelas de DecisãoMabelly de Oliveira FurtadoMarcelo Finger
26/11/1999MasterT-junções, T-cortes e funções conservativasMário Leston ReyPaulo Feofiloff
19/11/1999MasterCoordenação de Agentes Móveis através do Canal de BroadcastVera NagamutaMarkus Endler
21/10/1999Master"LINUX-SMART: Melhoria de Desempenho para Aplicações Real-Time Soft em Ambiente LINUX".Jorge Euler VieiraDilma Menezes da Silva
26/09/1997Master"Um Protocolo para Rastreamento de Mensagens em Sistemas com Checkpointing Assíncrono".Sergio Ricardo da ConceiçãoMarkus Endler