DataNívelTítuloAlunoOrientador
21/09/2018Doutorado DiretoAjuda do Humano em Planejamento Automatizado sob IncertezaIgnasi Andrés FranchLeliane Nunes de Barros
31/08/2018MestradoSegmentação de pele humana usando regras de correlação baseadas em agrupamento dinâmico de coresRodrigo Augusto Dias FariaRoberto Hirata Junior
24/08/2018MestradoIdentificação de sistema dinâmico em dados de estoque imobiliárioLuiz Paulo Medina de LimaJunior Barrera
23/08/2018MestradoAnálise de desempenho do nsQUIC: um Módulo para Simulação do Protocolo QUICDiego de Araujo Martinez CamarinhaDaniel Macedo Batista
10/08/2018DoutoradoSegmentação de Objetos via Transformada Imagem-Floresta Orientada com Restrições de ConexidadeLucy Alsina Choque MansillaPaulo Andre Vechiatto de Miranda
10/08/2018DoutoradoSeleção de Modelos para o Aprendizado de Hipóteses BooleanasJoel Edu Sanchez CastroRonaldo Fumio Hashimoto
06/08/2018DoutoradoAlgoritmos eficientes para análisede campos aleatórios condicionais semi-markovianose sua aplicação em sequências genômicasÍgor BonadioAlan Mitchell Durham
30/07/2018MestradoA 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
30/07/2018DoutoradoRegressã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
05/07/2018MestradoResolvendo Vestibular Utilizando Recuperação de InformaçãoIgor Cataneo SilveiraDenis Deratani Mauá
25/06/2018DoutoradoPrediçã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/2018MestradoRanqueamento de Avisos de Análise Estática de Código Fonte para Monitoramento de Repositórios de Software LivreAthos Coimbra RibeiroMarcelo Finger
20/06/2018MestradoModelos computacionais prognósticos de lesões traumáticas do plexo braquial em adultosLuciana de Melo e AbudNina Sumiko Tomita Hirata
18/06/2018MestradoUma Plataforma Escalável de Código Aberto Baseada em Microsserviços para Cidades InteligentesArthur de Moura Del EsposteAlfredo Goldman Vel Lejbman
08/06/2018MestradoGrafos e hipergrafos com cintura e número cromático grandesGiulia Satiko MaesakaYoshiharu Kohayakawa
25/04/2018DoutoradoTestes estatísticos semi paramétricos para discriminação de grafosGabriela Eleutério SoaresAndré Fujita
23/04/2018MestradoCidades inteligentes, visão computacional, vegetação urbana, Google Street ViewArtur André Almeida de Macedo OliveiraRoberto Hirata Junior
20/04/2018DoutoradoIndependência parcial no problema da satisfazibilidade probabilísticaEduardo Menezes de MoraisMarcelo Finger
17/04/2018DoutoradoAvaliação de Localização de Defeitos Baseada em Espectro para Uso PráticoHigor Amario de SouzaAlfredo Goldman Vel Lejbman
16/04/2018MestradoUma análise comparativa de ambientes para Big Data: Apche Spark e HPATRafael Aquino de CarvalhoAlfredo Goldman Vel Lejbman
23/03/2018DoutoradoGerenciamento de Dívida Técnica no Contexto de Desenvolvimento deSoftware ÁgilGraziela Simone ToninCarolyn Seaman
19/02/2018MestradoComparação de algoritmos para o Problema dos K Menores CaminhosDiogo Haruki KykutaCarlos Eduardo Ferreira
15/02/2018MestradoTeoria de Ehrhart para fatores reais de dilataçãoTiago RoyerSinai Robins
30/01/2018Doutorado DiretoEyeSwipe: Entrada de Texto Usando Gestos do OlharAndrew Toshiaki Nakayama KurauchiCarlos Hitoshi Morimoto
19/01/2018MestradoAnomalias na camada de apresentação de aplicativos androidSuelen Goularte CarvalhoMauricio Finavaro Aniche
18/12/2017MestradoModelagem de WED-flow TemporalRodrigo Alves LimaJoão Eduardo Ferreira
12/12/2017DoutoradoRepresentação e Quantificação de Redes Vasculares a Partir de Imagens de Angiografia TridimensionalMiguel Angel Galarreta ValverdeMarcel Parolin Jackowski
11/12/2017MestradoMelhorando o ataque de reação contra o QC-MDPC McElieceThales Areco Bandiera PaivaRouto Terada
11/12/2017MestradoExtensã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
08/12/2017MestradoRedes Neurais Convolucionais Aplicadas ao Projeto de Operadores de ImagensAndré Vinícius LopesRoberto Hirata Junior
08/12/2017MestradoAvaliação de Desempenho de Algoritmos de Estimação do Olhar para Interação com Computadores VestíveisFernando Omar AluaniCarlos Hitoshi Morimoto
06/12/2017DoutoradoUm sistema de reconhecimento, busca aproximada, e alinhamento múltiplo de documentos históricosGustavo Enrique Salazar TorresAlair Pereira do Lago
05/12/2017MestradoControle em Interfaces Cérebro-Computador de Baixo Custo para Aplicações MusicaisGuilherme Feulo do Espirito SantoMarcelo Gomes de Queiroz
05/12/2017MestradoIntegraWeb: uma proposta de arquitetura baseada em mapeamentos semânticos e técnicas de mineração de dadosFelipe Lombardi PierinJaime Simão Sichman
30/11/2017MestradoUtilização de Ontologias para Busca em Base de Dados de Acórdãos do STFRafael Brito de OliveiraRenata Wassermann
27/11/2017MestradoAcesso a Dados Baseado em Ontologias com NoSQLBarbara Tieko AgenaRenata Wassermann
27/11/2017MestradoOntoMongo - Um Método de Acesso a Dados da Plataforma Lattes Baseado em Ontologias e Sistemas NoSQLThiago Henrique Dias AraujoRenata Wassermann
24/11/2017MestradoModelo de transporte de luz direcional multipolo para a renderização de materiais translúcidosDiana Estefania Naranjo PomalayaMarcel Parolin Jackowski
23/11/2017MestradoSelfMakeup: um Sistema de Realidade Aumentada para Auto-Aplicação de Maquiagem VirtualAline de Fátima Soares BorgesCarlos Hitoshi Morimoto
22/11/2017MestradoMétodos de Busca em CoordenadaLuiz Gustavo de Moura dos SantosErnesto Julian Goldberg Birgin
10/11/2017MestradoIntegrando banco de dados relacional e orientado a grafos para otimizar consultas com alto grau de indireçãoMarino Hilario CatarinoJoão Eduardo Ferreira
07/11/2017MestradoAnálise de Componentes Principais em Data WarehousesRafael Germano RossiJoão Eduardo Ferreira
26/10/2017MestradoContagem incremental de padrões locais em árvores de componentes para cálculo de atributosDênnis José da SilvaRonaldo Fumio Hashimoto
24/10/2017MestradoTSS e TSB: Novos descritores de forma baseados em Tensor ScaleAnderson Meirelles FreitasPaulo Andre Vechiatto de Miranda
18/10/2017DoutoradoO problema de corte não-guilhotinado multiperíodo com sobras aproveitáveisOberlan Christo RomãoErnesto Julian Goldberg Birgin
13/09/2017Doutorado DiretoA formal model for strategic planning in cooperative and competitive environments Case study: design and implementation of a basketball simulatorGuilherme Fernandes OtrantoJunior Barrera
06/09/2017MestradoMulti-label classification based on sum-product networksJulissa Giuliana Villanueva LlerenaDenis Deratani Mauá
28/08/2017MestradoProgramaçã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/2017MestradoEstudo de algoritmos de Otimização Estocástica aplicados em Aprendizado de MáquinaJessica Katherine de Sousa FernandesErnesto Julian Goldberg Birgin
16/08/2017DoutoradoUso de Jogos Digitais no Desenvolvimento de Competências Curriculares da MatemáticaAdalberto Bosco Castro PereiraFlavio Soares Correa da Silva
09/08/2017DoutoradoComplexidade em programação não linearJohn Lenon Cardoso GardenghiErnesto Julian Goldberg Birgin
03/08/2017MestradoRevisão de Crenças no fragmento universal da CTL usando Verificação de Modelos LimitadaBruno Vercelino da HoraMarcelo Finger
29/06/2017MestradoIFT-SLIC: Geração de Superpixels com Base em Agrupamento Iterativo Linear Simples e Transformada Imagem-FlorestaEduardo Barreto AlexandrePaulo Andre Vechiatto de Miranda
13/06/2017DoutoradoO problema do conjunto dominante conexo de k-saltos: algoritmos de aproximação e resultados de inaproximabilidadeRafael Santos CoelhoYoshiko Wakabayashi
12/06/2017Doutorado DiretoProjeto de W-operadores usando modelos lineares para imagens binárias e em níveis de cinzaIgor dos Santos MontagnerRoberto Hirata Junior
09/06/2017MestradoTree 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/2017DoutoradoReparação interativa de segmentações 3D com transformada imagem-floresta, supervoxels e robustez de sementesAnderson Carlos Moreira TavaresPaulo Andre Vechiatto de Miranda
29/05/2017Doutorado DiretoRevelando o comportamento perdido em redes sociais: detectando reações e análises temporaisSamuel Martins Barbosa NetoRoberto Marcondes Cesar Junior
26/05/2017DoutoradoIMPROV: Uma arquitetura para a execução confiável de composições de serviços dinâmicasFelipe Pontes GuimaraesDaniel Macedo Batista
24/05/2017DoutoradoTecnologias móveis para interação musicalAntonio Deusany de Carvalho JuniorMarcelo Gomes de Queiroz
22/05/2017MestradoUm método para paralelização automática de workflows intensivos em dadosElaine Naomi WatanabeKelly Rosa Braghetto
16/05/2017DoutoradoAvaliação de diversão a partir de análise de imagens faciaisLuiz Carlos VieiraFlavio Soares Correa da Silva
02/05/2017DoutoradoA Evolução dos Ecossistemas de Startups de Software: Um Modelo de MaturidadeDaniel CukierFabio Kon
25/04/2017MestradoParalelização de inferência em redes credais utilizando computação distribuída para fatoração de matrizes esparsasRamon Fortes PereiraJulio Michael Stern
17/04/2017MestradoAnálise preditiva de desempenho de workflows usando teoria do campo médioWaldir Edison Farfán CaroKelly Rosa Braghetto
30/03/2017DoutoradoColorações de grafos e subdivisões de digrafosPhablo Fernando Soares MouraYoshiko Wakabayashi
27/03/2017MestradoClassificação de imagens de plâncton usando múltiplas segmentaçõesMariela Atausinchi FernandezNina Sumiko Tomita Hirata
17/03/2017DoutoradoAlocação dinâmica de recursos em sistemas elásticos baseada em modelos de escalabilidadePaulo Bittencourt MouraFabio Kon
15/03/2017MestradoIdentificação de alterações em conectividades funcionais córtico-cerebelares no transtorno do espectro autistaTaiane Coelho RamosAndré Fujita
15/03/2017MestradoProcessamento de imagens de holografia digital para o estudo de organismos planctônicosJefferson Serafim AscaneoRoberto Hirata Junior
13/03/2017MestradoUm método de tractografia global usando imagens de ressonância magnética ponderadas por difusãoRafael Reggiani ManzoMarcel Parolin Jackowski
06/03/2017MestradoPlanejamento probabilístico com becos sem saídaThiago Dias SimãoLeliane Nunes de Barros
06/03/2017MestradoEngenharia de requisitos em startups de software: uma investigação qualitativaJorge Augusto Melegati GonçalvesXiaofeng Wang
21/02/2017MestradoLimitantes de programação semidefinida para o número de contatoFabrício Caluza MachadoFernando Mario de Oliveira Filho
16/02/2017DoutoradoSobre a conexão entre dependências estruturais e mudanças no softwareGustavo Ansaldi OlivaAlfredo Goldman Vel Lejbman
14/02/2017Doutorado DiretoCausalidade de Granger entre grafos no domínio da frequênciaGustavo Pinto VilelaAndré Fujita
24/01/2017MestradoVORPAL: Um middleware de trilhas sonoras em tempo real para jogos digitaisWilson Kazuo MizutaniFabio Kon
10/01/2017MestradoAprendizado de redes bayesianas para domínios grandesWalter Perez UrciaDenis Deratani Mauá
19/12/2016MestradoProblema dos k-centros e variantesSamuel Plaça de PaulaCristina Gomes Fernandes
16/12/2016DoutoradoEfeitos de áudio baseados em decomposição AM/FMAntonio Jose Homsi GoulartMarcelo Gomes de Queiroz
16/12/2016MestradoIntervençã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/2016DoutoradoRepresentaçã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/2016DoutoradoUm ambiente de execução para offloading de código em plataformas heterogêneas modernasRogério Aparecido GonçalvesAlfredo Goldman Vel Lejbman
15/12/2016DoutoradoRastros de contatos e grafos dinâmicosMilson Silva MonteiroAnatoli Iambartsev
14/12/2016MestradoProvisionamento dinâmico de recursos para execução de workflows científicos em nuvensRicardo Juliano Mesquita Silva OdaKelly Rosa Braghetto
09/12/2016DoutoradoAumentando a migração de instâncias não complacentes em sistemas de informação cientes de processosRafael Liberato RobertoJoão Eduardo Ferreira
09/12/2016MestradoRepresentação de variabilidade estrutural de dados por meio de famílias de esquemas de banco de dadosLarissa Cristina Moraes RodriguesKelly Rosa Braghetto
08/12/2016DoutoradoSistemas de informação cientes de processos, robustos e confiáveisAndré Luis SchwerzJoão Eduardo Ferreira
07/12/2016MestradoMorfologia do trato vocal por imagens de ressonância magnética em tempo realRafael de Assunção SampaioMarcel Parolin Jackowski
01/12/2016DoutoradoUtilização de sensores de profundidade de baixo custo para prover qualidade de vida em idososAndré Luiz Satoshi KawamotoFlavio Soares Correa da Silva
09/11/2016MestradoProtocolos para jogos de SteinerLucas Mendes Marques GonçalvesJose Augusto Ramos Soares
07/11/2016MestradoAvaliaçã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/2016DoutoradoRastreador de olho de alto desempenho e baixo custo baseado em iluminação estroboscópica diferencialFrank Helbert BorsatoCarlos Hitoshi Morimoto
03/11/2016MestradoUma plataforma de exploração e análise de imagens médicas em nuvemIgor José TopcinMarcel Parolin Jackowski
01/11/2016DoutoradoiMPaCTS: Um modelo de colaboração por pares para aprendizagemPatricia Alves PereiraLeonidas de Oliveira Brandao
27/10/2016DoutoradoEmpacotamento e contagem em digrafos: cenários aleatórios e extremaisRoberto Freitas ParenteCristiane Maria Sato
27/10/2016MestradoUtilização de ontologias para busca em um sistema colaborativo de imagens arquitetônicasMarisol Solis YucraRenata Wassermann
03/10/2016DoutoradoDesing de jogos baseado em componentesMarcos Silvano AlmeidaFlavio Soares Correa da Silva
27/09/2016DoutoradoAná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/2016DoutoradoUma abordagem autonômica para mitigar ciberataques em redes de computadoresLuiz Arthur Feitosa dos SantosDaniel Macedo Batista
16/09/2016DoutoradoEstratégias de resolução para o problema de job-shop flexívelWellington Donizeti PrevieroCarlos Eduardo Ferreira
14/09/2016DoutoradoMé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/2016MestradoIluminação baseada em séries temporais de imagens com aplicações em realidade mistaCaio de Freitas ValenteMarcel Parolin Jackowski
29/08/2016DoutoradoEconomia de energia e aumento de desempenho usando SSDs no Hadoop Distributed File SystemIvanilton PolatoFabio Kon
26/08/2016DoutoradoCircuitos hamiltonianos em hipergrafos e densidades de subpermutaçõesAntonio Josefran de Oliveira BastosGuilherme Oliveira Mota
26/08/2016MestradoGerenciando dívida técnica: estado atual e novas propostas em métodos de medidaDiogo de Jesus PinaAlfredo Goldman Vel Lejbman
01/08/2016MestradoIdentificaçã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/2016DoutoradoPapéis arquiteturais em métricas e maus cheiros de códigoMauricio Finavaro AnicheMarco Aurélio Gerosa
29/06/2016MestradoPrincipais variáveis na ordenação de anúnciosAndré Henrique Serafim CasimiroJoão Eduardo Ferreira
15/06/2016MestradoUtilizaçã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/2016MestradoUm algoritmo para simplificar sistemas de equações diferenciais que descrevem a cinética de reações químicasAmanda Sayuri GuimarãesJunior Barrera
24/05/2016DoutoradoUso 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/2016MestradoProteção dos direitos autorais de imagem estática utilizando criptografia visual e marca d'águaEduardo Almeida FeijóRouto Terada
12/05/2016MestradoAlinhamento múltiplo de genomas e sequências de proteínas com repetições e rearranjosLaécio Freitas ChavesAlan Mitchell Durham
06/05/2016DoutoradoRevisão de crenças temporaisPaulo de Tarso Guerra OliveiraRenata Wassermann
29/04/2016Doutorado DiretoReconhecimento online de expressões matemáticas manuscritas usando informação contextualFrank Dennis Julca AguilarRicardo da Silva Torres
29/04/2016DoutoradoUso de propriedades visuais-interativas na avaliação da qualidade de dadosJoão Marcelo Borovina JoskoJoão Eduardo Ferreira
26/04/2016DoutoradoInformaçõ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/2016DoutoradoPredição de mudanças conjuntas de artefatos de software com base em informações contextuaisIgor Scaliante WieseMarco Aurélio Gerosa
17/03/2016MestradoOntoBacen: uma ontologia para gestão de riscos do sistema financeiro brasileiroFilipe Ricardo PolizelJaime Simão Sichman
24/02/2016DoutoradoDecomposição de grafos em caminhosFábio Happ BotlerYoshiko Wakabayashi
24/02/2016MestradoSegmentação de imagens pela transformada imagem-floresta com faixa de restrição geodésicaCaio de Moraes BrazPaulo Andre Vechiatto de Miranda
23/02/2016MestradoPseudo-contrações em revisão de crençasYuri David SantosRenata Wassermann
18/02/2016DoutoradoProblema da árvore geradora de comunicação ótima: variantes, complexidade e aproximaçãoSantiago Valdes RaveloCarlos Eduardo Ferreira
22/01/2016DoutoradoMedindo inconsistência em bases de conhecimento probabilísticoGlauber De BonaMarcelo Finger
11/12/2015MestradoDetecçã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/2015MestradoProblemas computacionais em teoria topológica dos grafosRafael Veiga PocaiCarlos Eduardo Ferreira
09/12/2015DoutoradoiPlan - 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/2015MestradoTécnicas determinísticas para acompanhamento musical automatizadoRoberto Piassi Passos BodoMarcelo Gomes de Queiroz
08/12/2015MestradoConexidade 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
27/11/2015MestradoMelhorando o desempenho de agentes BDI Jason através de filtros de percepçãoMárcio Fernando Stabile JuniorJaime Simão Sichman
26/11/2015MestradoO ecossistema de startups de software da cidade de São PauloMonna Cleide Fonsêca Rodrigues dos SantosFabio Kon
23/11/2015DoutoradoMecanismos para a melhoria do desempenho de sistemas RFID passivosRafael Perazzo Barbosa MotaDaniel Macedo Batista
17/11/2015MestradoArcabouço probabilístico para análise de sequências de RNARafael Mathias FerreiraAlan Mitchell Durham
13/11/2015MestradoiCOMB: 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/2015MestradoExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritasDavi Souto GrangeiroNina Sumiko Tomita Hirata
06/11/2015DoutoradoEmpacotamento de elipsoidesRafael Durbano LobatoErnesto Julian Goldberg Birgin
29/10/2015DoutoradoGeração de propriedades sobre programas Java a partir de objetivos de testeSimone HanazumiAna Cristina Vieira de Melo
20/10/2015DoutoradoUma 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/2015MestradoDesambiguação de autoria em listas de discussão de projetos de software livreJosé Teodoro da SilvaMarco Aurélio Gerosa
16/09/2015DoutoradoClustering de trajetóriasMarcio Takashi Iura OshiroCristina Gomes Fernandes
03/09/2015Doutorado DiretoContribuições para interação pelo olhar com teclados virtuaisAntonio Díaz TulaCarlos Hitoshi Morimoto
24/08/2015MestradoComputação incremental e eficiente de sequências de árvores de componentesAlexandre MorimitsuRonaldo Fumio Hashimoto
14/08/2015MestradoUm método para modificar vias de sinalização molecular por meio de análise de banco de dados de interatomasLulu WuJunior Barrera
06/08/2015MestradoPiloto baseado em aprendizagem por reforço para o simulador de corridas TORCSVinícius Kiwi DarosFlavio Soares Correa da Silva
06/08/2015DoutoradoÚltimos Levelings: Conceitos, propriedades, algoritmos e aplicações em processamento e análise de imagensWonder Alexandre Luz AlvesRonaldo Fumio Hashimoto
05/08/2015MestradoÁlgebras de flags e torneiosLeonardo Nagami CoreglianoYoshiharu Kohayakawa
23/07/2015DoutoradoConstrução e seleção de janelas na combinação de W-operadoresMarta Magda DornellesNina Sumiko Tomita Hirata
08/07/2015MestradoUm middleware para coreografias de serviços web escaláveis em ambientes de computação em nuvemThiago Furtado de MendonçaFabio Kon
23/06/2015MestradoSuperfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetoresAlexandre Martins Ferreira de SousaCarlos Hitoshi Morimoto
15/06/2015DoutoradoOrdenação evolutiva de anúncios em publicidade computacionalMarcos Eduardo Bolelli BroiniziJoão Eduardo Ferreira
08/06/2015DoutoradoUm método escalável de reconhecimento de objetos com uso de informações estruturais de grafos-chaveEstephan Dazzi WandekokenRoberto Marcondes Cesar Junior
28/05/2015MestradoIntLAG: uma biblioteca para álgebra linear intervalar em processadores gráficosAdemar Marques Lacerda FilhoAlfredo Goldman Vel Lejbman
19/05/2015MestradoMOOC 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/2015MestradoProgramaçã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/2015MestradoConstrução e uso de ambiente visual para o ensino de programação introdutóriaRomenig da Silva RibeiroLeonidas de Oliveira Brandao
08/05/2015MestradoEscalonamento de tarefas em processadores de velocidade variável em múltiplas organizaçõesPedro Luis Furio RaphaelDaniel de Angelis Cordeiro
04/05/2015DoutoradoModelos de aprendizado supervisionado usando métodos kernel, conjuntos fuzzy e medidas de probabilidadeJorge Luis Guevara DíazRoberto Hirata Junior
04/05/2015MestradoQuantificação de angiogênese em imagens de membranas corioalantóicas de embrião de galinhaLeandro Ticlia de La CruzNina Sumiko Tomita Hirata
28/04/2015MestradoAná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/2015MestradoAlocação energeticamente eficiente de máquinas virtuaisAlbert Philippe Marcel de la Fuente VigliottiDaniel Macedo Batista
27/02/2015MestradoAnálise de redes de colaboração científica: uma abordagem baseada em grafos relacionais com atributosEvelyn Pérez CervantesRoberto Marcondes Cesar Junior
26/02/2015DoutoradoApoiando novatos a superarem barreiras para contribuir a projetos de software livreIgor Fábio SteinmacherMarco Aurélio Gerosa
05/02/2015MestradoGerenciamento de recursos computacionais em plataformas de computação em nuvemCássio Alexandre Paixão Silva AlkminDaniel de Angelis Cordeiro
26/01/2015MestradoTeste de propriedades em torneiosHenrique StagniYoshiharu Kohayakawa
23/01/2015MestradoAlgoritmos para união de círculos e polígonosLuís Fernando Schultz Xavier da SilveiraCristina Gomes Fernandes
19/12/2014MestradoTransformações hit-or-miss para imagens tons de cinzaFelipe Breve SiolaNina Sumiko Tomita Hirata
12/12/2014MestradoDocumentação e testes da biblioteca genérica de álgebra linear KleinRafael Freitas SchmidWalter Figueiredo Mascarenhas
11/12/2014MestradoTipicalidade em lógicas de descriçãoJosé David Fernández CuradoRenata Wassermann
10/12/2014DoutoradoIntegração entre múltiplas ontologias: reúso e gerência de conflitosRaphael Mendes de Oliveira CobeRenata Wassermann
01/12/2014MestradoAtualizaçã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/2014MestradoEvoluindo o suporte à tolerância a falhas na macroprogramação de redes de sensores sem fioGuilherme de Maio NogueiraMarco Aurélio Gerosa
28/11/2014MestradoProgramação dinâmica em tempo real para processos de decisão markovianos com probabilidades imprecisasDaniel Baptista DiasKarina Valdivia Delgado
25/11/2014MestradoAná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/2014MestradoGGLL - Um gerador de analisadores sintáticos para gramáticas gráficas LL(1)Tasso Tirapani Silva PintoValdemar Waingort Setzer
12/11/2014MestradoiQuiz - Ambiente de autoria para avaliação do aprendizado no moodleJosé Roberto Alves RodriguesLeonidas de Oliveira Brandao
30/10/2014Doutorado DiretoMudanças em problemas de planejamento sem soluçãoMaria Viviane de MenezesLeliane Nunes de Barros
22/10/2014MestradoProposta de arquitetura para federações de nuvens computacionais acadêmicasGabriel Araujo von WincklerMarco Dimas Gubitoso
08/10/2014DoutoradoRedução no esforço de interação em segmentação de imagens digitais através de aprendizagem computacionalBruno KlavaNina Sumiko Tomita Hirata
09/09/2014MestradoEspelho virtual interativo para simulação de maquiagemFilipe Morgado Simões de CamposCarlos Hitoshi Morimoto
28/08/2014MestradoEmpacotamento de árvores em grafos completosRenzo Gonzalo Gómez DiazYoshiko Wakabayashi
25/08/2014MestradoUm estudo empírico sobre classificação de símbolos matemáticos manuscritosMarcelo Valentim de OliveiraNina Sumiko Tomita Hirata
14/08/2014DoutoradoDiretrizes metodológicas e validação estatística de dados para a construção de data warehousesPedro Losco TakecianJoão Eduardo Ferreira
11/07/2014MestradoErdos-Ko-Rado em famílias aleatóriasMarcelo Matheus GauyYoshiharu Kohayakawa
30/06/2014MestradoSeleção de serviços web em coreografiasPatricia Araujo de OliveiraDaniel Macedo Batista
09/06/2014MestradoTeste e verificação formal do comportamento excepcional de programas JavaAlexandre Locci MartinsAna Cristina Vieira de Melo
03/06/2014MestradoAnálise de expressões gênicas com erros de medida e aplicação em dados reaisAdèle Helena RibeiroRoberto Hirata Junior
30/05/2014MestradoCaminhos mais longos em grafosSusanna Figueiredo de RezendeYoshiko Wakabayashi
26/05/2014MestradoImplantação automatizada de composições de serviços web de grande escalaLeonardo Alexandre Ferreira LeiteFabio Kon
21/05/2014MestradoiRepositório - repositório interativo de conteúdos digitais para cursos baseados na InternetMauricio Garcia Franco do NascimentoLeonidas de Oliveira Brandao
16/05/2014DoutoradoAmbientes 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/2014MestradoUm processo para modelagem e aplicação de técnicas computacionais para detecção de fraudes em transações eletrônicasGabriel Preti SantiagoRoberto Hirata Junior
08/05/2014MestradoPares Ramsey infinitosPaulo Victor Teixeira EufrasioYoshiharu Kohayakawa
06/05/2014MestradoAvaliaçã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/2014DoutoradoAbdução clássica e abdução probabilística: a busca pela explicação de dados reaisAlexandre Matos ArrudaMarcelo Finger
16/04/2014MestradoUm 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/2014MestradoRevisão de crenças em lógicas de descrição - um plug-in para o protégéFillipe Manoel Xavier ResinaRenata Wassermann
04/04/2014MestradoVisão cumputacional para o monitoramento contínuo de plânctonDamian Janusz MatuszewskiRoberto Marcondes Cesar Junior
02/04/2014MestradoMecanismos para consolidação de servidoresMax Rosan dos Santos JúniorDaniel Macedo Batista
26/02/2014MestradoTransformada 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/2014DoutoradoGerenciamento de múltiplas submissões em sistemas paralelos: a abordagem do escalonamento equitativoVinicius Gama PinheiroAlfredo Goldman Vel Lejbman
14/02/2014Doutorado DiretoProblemas de alocação e precificação de itensRafael Crivellari Saliba SchoueryCristina Gomes Fernandes
11/02/2014DoutoradoAnálise de formas usando wavelets em grafosJorge de Jesus Gomes LeandroRoberto Marcondes Cesar Junior
23/01/2014MestradoUma proposta de protocolo token ring sem fioAdroaldo Lazouriano Moreira BorgesMarco Dimas Gubitoso
18/12/2013DoutoradoAlgoritmos para junções em dígrafos acíclicos e uma aplicação na AntropologiaÁlvaro Junio Pereira FrancoCarlos Eduardo Ferreira
17/12/2013DoutoradoMedusa: um ambiente musical distribuídoFlávio Luiz SchiavoniMarcelo Gomes de Queiroz
17/12/2013MestradoPredição de tags usando linked data: um estudo de caso no banco de dados ArquigrafiaRicardo Augusto Teixeira de SouzaLeliane Nunes de Barros
12/12/2013MestradoAprendizado 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/2013MestradoGrafos aleatórios exponenciaisTássio Naia dos SantosYoshiharu Kohayakawa
09/12/2013MestradoSoluçõ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/2013MestradoAnálise de desempenho de interfaces de rede virtualizadas com NapiEduardo Hideo KurodaDaniel Macedo Batista
25/11/2013MestradoUma 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/2013MestradoPATO: um ambiente integrado com interface gráfica para a curadoria de dados de sequências biológicasLiliane Santana OliveiraAlan Mitchell Durham
06/11/2013MestradoExtração e consulta de informações do currículo lattes baseada em ontologiasEduardo Ferreira GalegoRenata Wassermann
04/11/2013MestradoUm método para a implementação de regras de negócio à partir da semântica SBVRJandisson Soares de JesusAna Cristina Vieira de Melo
04/11/2013MestradoFerramentas computacionais para a síntese de imagens de difusão por ressonância magnéticaRenato Callado BorgesMarcel Parolin Jackowski
31/10/2013MestradoAutenticação e comunicação segura em dispositivos móveis de poder computacional restritoRafael Will Macêdo de AraujoRouto Terada
31/10/2013MestradoConsulta a ontologias em língua portuguesa através do português controladoFabiano Ferreira LuzRenata Wassermann
30/10/2013MestradoCifra multicanal para maior segurança em redes TCP /IPSylvio Ximenez de Azevedo NetoRouto Terada
21/10/2013MestradoProcessamento de áudio em tempo real em plataformas computacionais de alta disponibilidade e baixo custoAndré Jucovsky BianchiMarcelo Gomes de Queiroz
14/10/2013MestradoUma arquitetura modular baseada em sistema de arquivos para monitoramento de pacotes de rede no sistema operacional GNU/LinuxBeraldo Costa LealMarco Dimas Gubitoso
02/10/2013MestradoExtração de informações de narrativas clínicasMichel OleynikMarcelo Finger
23/09/2013MestradoReconstrução da chave secreta do RSA multi-primoReynaldo Caceres VillenaRouto Terada
23/09/2013MestradoSoftware para prática de regência coralCaio Cesar MoreiraRonaldo Fumio Hashimoto
13/09/2013MestradoDinâmica de redes booleanas limiarizadas utilizando programação em GPUWilliam Lira FerreiraRonaldo Fumio Hashimoto
30/08/2013DoutoradoDois resultados em combinatória contemporâneaGuilherme Oliveira MotaYoshiharu Kohayakawa
27/08/2013MestradoProposta de aprimoramento para o protocolo de assinatura digital QuartzEwerton Rodrigues AndradeRouto Terada
07/08/2013MestradoRecoloração convexa de grafos: algoritmos e poliedrosPhablo Fernando Soares MouraYoshiko Wakabayashi
07/08/2013MestradoKalibro: interpretação de métricas de código-fonteCarlos Morais PiroupoFabio Kon
10/07/2013MestradoAutômatos sincronizados e a Conjectura de CernýLeticia GindriArnaldo Mandel
24/06/2013MestradoConstruçã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/2013MestradoUma abordagem transacional para o tratamento de exceções em processos de negócioPedro Paulo de Souza Bento da SilvaJoão Eduardo Ferreira
06/06/2013MestradoMétodo beam search aplicado ao problema de escalonamento de tarefas flexívelJosé Eurípedes Ferreira de Jesus FilhoErnesto Julian Goldberg Birgin
27/05/2013MestradoPerformances musicais distribuídas através de Internet residencialMarcio Masaki TomiyoshiMarcelo Gomes de Queiroz
21/05/2013DoutoradoConversão de voz inter-linguísticaAnderson Fraiha MachadoMarcelo Gomes de Queiroz
20/05/2013DoutoradoMonitoramento de métricas de código-fonte em projetos de software livrePaulo Roberto Miranda MeirellesFabio Kon
09/05/2013DoutoradoProdutividade de times ágeis: uma avaliação experimental de fatores e processos de monitoramentoClaudia de Oliveira MeloFabio Kon
02/05/2013MestradoAudioLazy: processamento digital de sinais expressivo e em tempo realDanilo de Jesus da Silva BelliniMarcelo Gomes de Queiroz
26/04/2013MestradoSimulações financeiras em GPUThársis Tuani Pinto SouzaWalter Figueiredo Mascarenhas
03/04/2013MestradoPlanejamento probabilístico usando programação dinâmica assíncrona e fatoradaMijail Gamarra HolguinLeliane Nunes de Barros
02/04/2013MestradoVisualização de tags para explicar e filtrar recomendações de músicasJuliana Sato YamashitaFlavio Soares Correa da Silva
28/03/2013MestradoImplementação do arcabouço WED-flow para controle de processos transacionaisMarcela Ortega GarciaJoão Eduardo Ferreira
22/03/2013MestradoDetecção de violações de SLA em coreografias de serviços WebVictoriano Alfonso Phocco DiazDaniel Macedo Batista
21/03/2013MestradoAnálise empírica de algoritmos de revisão sobre bases de crençasRenato Urquiza LundbergRenata Wassermann
21/03/2013MestradoDesempenho 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/2013MestradoComponentes para interoperabilidade entre redes sociais na Web 2.0Carlos Leonardo Herrera MuñozMarco Aurélio Gerosa
19/03/2013MestradoDesenvolvimento de um arcabouço probabilístico para implementação de campos aleatórios condicionaisÍgor BonadioAlan Mitchell Durham
15/03/2013MestradoExtração de informações de desempenho em GPUs NVIDIAPaulo Carlos Ferreira dos SantosMarco Dimas Gubitoso
15/03/2013MestradoDecomposição sequencial a partir da sup-representação de W-operadoresJoel Edu Sanchez CastroRonaldo Fumio Hashimoto
11/03/2013MestradoUma 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/2013MestradoCodificação e compressão iterativa de sinais biomédicosLuiz Fernando Oliveira Corte RealMarcel Parolin Jackowski
06/03/2013MestradoAprimorando o corretor gramatical CoGrOOWilliam Daniel Colen de Moura SilvaMarcelo Finger
01/03/2013DoutoradoDescritor de bordas e quantização espacial flexível aplicados a categorização de objetosArnaldo Câmara LaraRoberto Hirata Junior
21/02/2013DoutoradoCompartilhamento 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/2013MestradoPlanejamento probabilístico como busca num espaço de transição de estadosDaniel Javier Casani DelgadoLeliane Nunes de Barros
23/01/2013MestradoRotulação de símbolos matemáticos manuscritos via casamento de expressõesWillian Yukio HondaNina Sumiko Tomita Hirata
14/12/2012MestradoProtocolos de interação baseados em conhecimento: implementação da plataforma JamSessionDiego Mira DavidFlavio Soares Correa da Silva
14/12/2012MestradoAlgoritmos para o problema da árvore de Steiner com coleta de prêmiosCamila Mari MatsubaraJose Coelho de Pina Junior
14/12/2012DoutoradoEstimação de movimento a partir de imagens RGBD usando homomorfismo entre grafosDavid da Silva PiresRoberto Marcondes Cesar Junior
10/12/2012MestradoAnswer set programming probabilísticoEduardo Menezes de MoraisRenata Wassermann
07/12/2012DoutoradoUm modelo para interoperabilidade entre instituições heterogêneasCláudia Josimar Abrão de AraújoFlavio Soares Correa da Silva
07/12/2012MestradoO problema do multicorte dirigido mínimoJuan Gabriel Gutierrez AlvaPaulo Feofiloff
03/12/2012MestradoProtocolo de identificação baseado em polinômios multivariáveis quadráticosFabio de Salles MonteiroRouto Terada
03/12/2012MestradoCálculo de reputação em redes sociais a partir da colaboração entre os participantesEdith Zaida Sonco MamaniMarco Aurélio Gerosa
28/11/2012Doutorado DiretoMinimizaçã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/2012MestradoMódulo de consultas distribuídas do InfinispanIsrael Danilo LacerraFrancisco Carlos da Rocha Reverbel
22/11/2012DoutoradoUm modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicosCrhistian Alberto Noriega GuerraFlavio Soares Correa da Silva
22/11/2012DoutoradoUm arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatóriasMário Leston ReyYoshiko Wakabayashi
14/11/2012MestradoCaminhos mínimos com recursos limitadosJoel Silva UchoaCarlos Eduardo Ferreira
12/11/2012MestradoJogos markovianos alternados sob incertezaFábio de Oliveira FrancoLeliane Nunes de Barros
09/11/2012MestradoGeração de redes vasculares sintéticas tridimensionais utilizando sistemas de Lindenmayer estocásticos e parametrizadosMiguel Angel Galarreta ValverdeMarcel Parolin Jackowski
29/10/2012MestradoDetecção e rastreamento de lábios em dispositivos móveisGiseli de Araujo RamosRoberto Marcondes Cesar Junior
23/10/2012MestradoDetecçã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/2012MestradoArquigrafia Brasil: um ambiente colaborativo baseado em componentes para o compartilhamento de imagens de arquiteturaStraus Michalsky MartinsMarco Aurélio Gerosa
17/10/2012MestradoInteroperabilidade de documentos digitais usando ontologiasErika Guetti SucaFlavio Soares Correa da Silva
08/10/2012MestradoUso de informação linguística e análise de conceitos formais no aprendizado de ontologiasCarlos Eduardo Atencio TorresRenata Wassermann
02/10/2012DoutoradoEmpacotamento de bicliques em grafos bipartidosAlexandre da Silva FreireCarlos Eduardo Ferreira
02/10/2012MestradoPAWEB - Uma plataforma para desenvolvimento de aplicativos web utilizando o modelo de atoresBruno Takahashi Carvalhas de OliveiraFrancisco Carlos da Rocha Reverbel
27/09/2012MestradoLeilões para publicidade na InternetAtol Fortin de OliveiraCristina Gomes Fernandes
20/09/2012DoutoradoProblemas de corte com sobras aproveitáveis e eliminação de simetriasRicardo Luiz de Andrade AbrantesErnesto Julian Goldberg Birgin
19/09/2012MestradoAplicação do método do gradiente espectral projetado ao problema de amostragem compressivaBoris Chullo LlaveErnesto Julian Goldberg Birgin
18/09/2012MestradoDesenvolvimento de um aplicativo de notação musical em brailleArthur Piza Mosterio TofaniMarcelo Gomes de Queiroz
14/09/2012MestradoRehearsal: um arcabouço para teste automatizado de coreografias de serviços webFelipe Meneses BessonFabio Kon
11/09/2012MestradoPlanejamento instrucional automatizado em aprendizagem colaborativa com suporte computacional utilizando planejamento hierárquicoGeiser Chalco ChallcoMarco Aurélio Gerosa
03/09/2012MestradoRaciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicaisSantiago David Davila BenavidesMarcelo Gomes de Queiroz
30/08/2012DoutoradoDetecção e extração de redes vasculares usando transformada de HoughMaysa Malfiza Garcia de MacedoMarcel Parolin Jackowski
28/08/2012DoutoradoDetecçã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/2012MestradoDetecção de códigos QR em imagens com enquadramento arbitrárioLuiz Felipe Franco BelussiNina Sumiko Tomita Hirata
11/07/2012MestradoAnotação e classificação automática de entidades nomeadas em notícias esportivas em Português BrasileiroRodrigo Constantin Ctenas ZaccaraMarcelo Finger
06/07/2012MestradoUma linha de produto de software para módulos de aprendizagem interativaDanilo Leite DalmonLeonidas de Oliveira Brandao
03/07/2012MestradoAlgoritmos evolutivos aplicados ao classificador baseado em segmentos de retaRosario Alejandra Medina RodríguezRonaldo Fumio Hashimoto
05/06/2012DoutoradoModelagem e reconhecimento de objetos estruturados: uma abordagem estatístico-estruturalAna Beatriz Vicentim GracianoRoberto Marcondes Cesar Junior
29/05/2012MestradoTratamento de eventos aplicado à composição de serviços webMauricio Chui RodriguesJoão Eduardo Ferreira
24/05/2012DoutoradoAlinhamentos e comparação de sequênciasFrancisco Eloi Soares de AraujoJose Augusto Ramos Soares
24/05/2012DoutoradoAlinhamentos e comparação de sequênciasFrancisco Eloi Soares de AraujoJose Augusto Ramos Soares
23/05/2012MestradoProgramaçã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/2012MestradoOtimização em meteorologia: cálculo de perturbações condicionais não-lineares ótimasJessé Américo Gomes de LimaErnesto Julian Goldberg Birgin
11/05/2012MestradoJogos de SteinerCésar Gamboa MachadoJose Coelho de Pina Junior
09/05/2012MestradoMé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/2012MestradoUso do padrão AMQP para transporte de mensagens entre atores remotosThadeu de Russo e CarmoFrancisco Carlos da Rocha Reverbel
07/05/2012MestradoFerramenta para correção automática de exercícios de programação em ambientes de aprendizagem, com plugin para MoodleAriel MartiniCarlos Hitoshi Morimoto
27/04/2012DoutoradoDetecção de objetos por reconhecimento de grafos-chaveMarcelo HashimotoRoberto Marcondes Cesar Junior
25/04/2012MestradoDetecção de ovos de S. mansoni a partir da detecção de seus contornosEdwin Delgado HuaynalayaNina Sumiko Tomita Hirata
25/04/2012MestradoComo a prática de TDD influencia o projeto de classes em sistemas orientados a objetosMauricio Finavaro AnicheMarco Aurélio Gerosa
13/04/2012MestradoAssinatura digital Rabin-Williams - sem randomização e com prova eficiente de segurançaBernardo Caraponale MagriRouto Terada
04/04/2012MestradoRepresentações retangulares de grafos planaresGuilherme Puglia AssunçãoCarlos Eduardo Ferreira
03/04/2012MestradoInterações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restriçõesTales Pinheiro de AndradeRonaldo Fumio Hashimoto
22/03/2012MestradoAplicação de práticas de usabilidade ágil em software livreAna Paula Oliveira BertholdoFabio Kon
29/02/2012MestradoGrafos evolutivos na modelagem e análise de redes dinâmicasPaulo Henrique FlorianoAlfredo Goldman Vel Lejbman
28/02/2012MestradoAnálise da distribuição do número de operações de resolvedores SATPoliana Magalhães ReisMarcelo Finger
24/02/2012MestradoReconhecimento de entidades mencionadas em português utilizando aprendizado de máquinaWesley Seidel CarvalhoMarcelo Finger
17/02/2012DoutoradoInferência de redes de regulação gênica utilizando o paradigma de crescimento de sementesCarlos Henrique Aguena HigaRonaldo Fumio Hashimoto
16/02/2012MestradoEfeitos de áudio baseados em decomposição AM/FMAntonio Jose Homsi GoulartMarcelo Gomes de Queiroz
10/02/2012DoutoradoMYOP/ToPS/SGEval: Um ambiente computacional para estudo sistemático de predição de genesAndré Yoshiaki KashiwabaraAlan Mitchell Durham
24/01/2012MestradoUm 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/2011MestradoMetadados para reconciliação de transações em bancos de dados autônomosGustavo Luiz DuarteJoão Eduardo Ferreira
16/12/2011MestradoSegurança do bit menos significativo no RSA e em curvas elípticasDionathan NakamuraRouto Terada
16/12/2011DoutoradoCriptografia de chave pública sem certificadoDenise Hideko GoyaRouto Terada
15/12/2011MestradoAproximação de métricas finitas por métricas arbóreas e aplicaçõesMurilo Santos de LimaCristina Gomes Fernandes
13/12/2011MestradoQuantidade de orientações de grafos livres de circuitos direcionados cíclicosRoberto Freitas ParenteYoshiharu Kohayakawa
12/12/2011MestradoAlgoritmos para o problema da cobertura por sensoresRafael da Ponte BarbosaYoshiko Wakabayashi
02/12/2011MestradoReticulados de conceitosAlexandre Luiz Junqueira Hadura AlbanoAlair Pereira do Lago
28/11/2011MestradoUma infraestrutura para aplicações distribuídas baseadas em atores ScalaThiago Henrique CorainiFrancisco Carlos da Rocha Reverbel
28/11/2011Doutorado DiretoVeri ficação de sistemas multi-agentes comportamentalistas através de simulações formalmente guiadasPaulo Salem da SilvaAna Cristina Vieira de Melo
16/11/2011DoutoradoRecoloração convexa de caminhosKarla Roberta Pereira Sampaio LimaYoshiko Wakabayashi
07/11/2011MestradoUm sistema para implementação e uso de bancos de dados pela internet sem programaçãoEdgard Pevidor de MirandaValdemar Waingort Setzer
20/10/2011MestradoA 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/2011DoutoradoNovos 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/2011MestradoAppRecommender: um recomendador de aplicativos GNU/LinuxTássia Camões AraujoArnaldo Mandel
22/09/2011MestradoProtocolos de acordo de chaves baseados em emparelhamentos, para dispositivos móveisCleber Morio OkidaRouto Terada
22/09/2011MestradoIdentificação e visualização de dependências em sistemas de software orientados a objetosGustavo Ansaldi OlivaMarco Aurélio Gerosa
21/09/2011DoutoradoTécnicas de modelagem para a análise de desempenho de processos de negócioKelly Rosa BraghettoJoão Eduardo Ferreira
20/09/2011MestradoUm estudo do uso eficiente de programas em placas gráficasPatricia Akemi IkedaAlfredo Goldman Vel Lejbman
29/08/2011MestradoUma abordagem estrutural para detecção de objetos e localização em ambientes internos por dispositivos móveisHenrique MorimitsuRoberto Marcondes Cesar Junior
22/08/2011MestradoEstudo comparativo de técnicas de escalonamento de tarefas dependentes para grades computacionaisAlvaro Henry Mamani AliagaAlfredo Goldman Vel Lejbman
12/08/2011MestradoUm estudo sistemático de licenças de software livreVanessa Cristina SabinoFabio Kon
04/08/2011MestradoMétricas de avaliação de alinhamento de ontologiasEsdras Lins Bispo JuniorRenata Wassermann
04/07/2011MestradoSegmentação de imagens similares por casamento de grafos e detecção de comunidadesCharles Iury Oliveira MartinsRoberto Marcondes Cesar Junior
04/07/2011MestradoPadrões de testes automatizadosPaulo Cheque BernardoFabio Kon
20/06/2011MestradoMétodos de segmentação musical baseados em descritores sonorosAndré Salim PiresMarcelo Gomes de Queiroz
17/06/2011MestradoReconhecimento de fala para navegação em aplicativos móveis para português brasileiroEdwin Miguel Triana GomezFabio Kon
14/06/2011MestradoAvaliaçã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/2011MestradoSegmentação de lesões cerebrais em imagens de ressonância magnética utilizando modelos deformáveisJihan Mohamad ZoghbiMarcel Parolin Jackowski
13/06/2011DoutoradoUm arcabouço para construção de sistemas multiagente musicaisLeandro Ferrari ThomazMarcelo Gomes de Queiroz
09/06/2011MestradoMD6 e a competição para escolha do SHA-3Valdson Silva CletoRouto Terada
03/06/2011MestradoValidação de padrões de web services transacionaisPaulo Roberto de Araujo França NunesAna Cristina Vieira de Melo
02/06/2011DoutoradoReplicação assíncrona em bancos de dados evolutivosHelves Humberto DominguesFabio Kon
23/05/2011MestradoSegmentação de imagens SPECT/Gated-SPECT do miocárdio e geração de um mapa polarLuis Roberto Pereira de PaulaRoberto Hirata Junior
20/05/2011MestradoSatisfazibilidade probabilísticaGlauber De BonaMarcelo Finger
16/05/2011MestradoAbordagens para o ensino de práticas de programação extremaMariana Vivian BravoAlfredo Goldman Vel Lejbman
11/05/2011MestradoAnimação de faces tridimensionais baseada em registro estruturalAndréa Britto MattosRoberto Marcondes Cesar Junior
28/04/2011MestradoLocalização em dispositivos móveis utilizando sinais de redes Wi-FiRodrigo Bernardo PimentelRoberto Hirata Junior
20/04/2011MestradoAnálise e disposição de recursos de rede em grades computacionaisAlex Pires de CamargoAlfredo Goldman Vel Lejbman
24/03/2011MestradoMétodos ágeis e software livre: um estudo da relação entre estas duas comunidadesHugo CorbucciAlfredo Goldman Vel Lejbman
24/03/2011MestradoTeoria, métodos e aplicações de otimização multiobjetivoPhillipe Rodrigues SampaioErnesto Julian Goldberg Birgin
18/03/2011MestradoPlanejamento de produção através do dimensionamento de lotes de itens únicosPedro Henrique Simões de OliveiraCarlos Eduardo Ferreira
10/02/2011MestradoVolPFix: Uma ferramenta para análise e detecção de falhas em sistemas de telefonia IPPaulo César SiécolaFabio Kon
08/02/2011MestradoBorboleta: Um sistema de telessaúde para auxílio à atenção primária domiciliarRafael José Peres CorreiaFabio Kon
08/02/2011MestradoÁrvores de Ukkonen: caracterização combinatória e aplicaçõesGustavo Akio Tominaga SacomotoAlair Pereira do Lago
28/01/2011MestradoiTarefa: componente Moodle para incorporar módulos de aprendizagem interativa em cursos WebPatricia Alves PereiraLeonidas de Oliveira Brandao
17/12/2010MestradoGRMediator: uma biblioteca modular para reconhecimento de gestosFernando Bertolli PetroniFlavio Soares Correa da Silva
16/12/2010MestradoRevisão de modelos CTLPaulo de Tarso Guerra OliveiraRenata Wassermann
14/12/2010DoutoradoReconstrução de faces 3D através de espaços de componentes principaisJesús Pascual Mena ChalcoRoberto Marcondes Cesar Junior
10/12/2010MestradoLocalização de textos em imagens de cenas por meio de operadores morfológicosWonder Alexandre Luz AlvesRonaldo Fumio Hashimoto
10/12/2010MestradoComparaçã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
06/12/2010MestradoFuncionalidades 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/2010MestradoConjuntos dominantes em grafosWanderley Guimarães da SilvaYoshiko Wakabayashi
09/11/2010MestradoiVProg: um sistema visual para ensino/aprendizagem de programação via WebReginaldo Rideaki KamiyaLeonidas de Oliveira Brandao
20/09/2010Doutorado DiretoRevisão de crenças em lógicas de descrição e em outras lógicas não clássicasMarcio Moretto RibeiroRenata Wassermann
15/09/2010MestradoUma implementação paralela do AIRS em ScalaFilipe Ferraz SalgadoFrancisco Carlos da Rocha Reverbel
03/09/2010MestradoAnálise de benefícios do paralelismo por comunicação unilateral em aplicações com grades não estruturadasPedro Pais LopesSiang Wun Song
01/09/2010MestradoAmbiente integrado para verificação e teste da coordenação de componentes tolerantes a falhasSimone HanazumiAna Cristina Vieira de Melo
29/07/2010MestradoRastreamento de objetos utilizando reconhecimento estrutural de padrões: uma abordagem com modelo estáticoThiago Meireles PaixãoRoberto Hirata Junior
26/07/2010MestradoO problema da subsequência comum máxima sem repetiçõesChristian TjandraatmadjaCarlos Eduardo Ferreira
07/07/2010DoutoradoDuas abordagens para casamento de padrões de pontos usando relações espaciais e casamento entre grafosAlexandre NomaRoberto Marcondes Cesar Junior
25/06/2010DoutoradoConstrução de atributos binários baseada em análise de interações Carlos da Silva dos SantosRoberto Hirata Junior
23/06/2010MestradoEstudo 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/2010Mestradok-árvores de custo mínimoMarcio Takashi Iura OshiroJose Coelho de Pina Junior
09/06/2010MestradoArquitetura e implementação de um sistema distribuído de recuperação de informaçãoLuiz Daniel Creão AugustoAlair Pereira do Lago
02/06/2010MestradoTolerância a falhas no armazenamento distribuído de dados em grades oportunistasPablo Francisco Laura HuamanRaphael Yokoingawa de Camargo
02/06/2010MestradoUma arquitetura para agentes inteligentes com personalidade e emoçãoAry Fagundes Bressane NetoFlavio Soares Correa da Silva
28/05/2010DoutoradoModelagem de contextos para aprendizado automático aplicado à análise morfossintáticaFábio Natanael KeplerMarcelo Finger
28/05/2010MestradoEmparelhamentos hiperelípticos em criptografiaDaniel Noel RibeiroRouto Terada
12/05/2010MestradoIdentificação de fraude contra sistemas de reputação em mercados eletrônicosRafael Plana MaranzatoAlair Pereira do Lago
07/05/2010MestradoDepuraçã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
07/05/2010MestradoBusca indexada de padrões em textos comprimidosLennon de Almeida MachadoAlair Pereira do Lago
29/04/2010MestradoAuralização de fontes sonoras móveis usando HRTFsGustavo Henrique Montesião de SousaMarcelo Gomes de Queiroz
12/04/2010MestradoReconhecimento de gestos tridimensionaisSilvia Esparrachiari GhirottiCarlos Hitoshi Morimoto
06/04/2010MestradoRedução de dimensionalidade em modelos de bancos de dados multidimensionaisElisa Pereira KamedaRoberto Marcondes Cesar Junior
29/03/2010MestradoTransformando dados em informação: um estudo através de exemplosRafael de Holanda BarrosoAlfredo Goldman Vel Lejbman
15/03/2010DoutoradoSegmentação e reconhecimento de gestos em tempo real com câmeras e aceleração gráficaDaniel Oliveira DantasJunior Barrera
10/02/2010MestradoRenderizaçã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/2010DoutoradoProcessos de decisão Markovianos fatorados com probabilidades imprecisasKarina Valdivia DelgadoLeliane Nunes de Barros
19/11/2009MestradoAcordo de chaves criptográficas hierárquico e sem certificadoVilc Queupe RufinoRouto Terada
13/11/2009MestradoUm middleware para processamento bioestatístico em grades computacionaisRodrigo Assirati DiasRoberto Hirata Junior
23/10/2009MestradoAplicaçõ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/2009DoutoradoDetecçã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/2009MestradoAnálise comparativa de protocolos de segurança para redes de sensores sem fioMateus Augusto Silva SantosRouto Terada
10/08/2009MestradoUm 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/2009MestradoConsultas de segmentos em janelas: algoritmos e estruturas de dadosÁlvaro Junio Pereira FrancoCarlos Eduardo Ferreira
01/07/2009MestradoSegmentação interativa de imagens via transformação watershedBruno KlavaNina Sumiko Tomita Hirata
16/06/2009MestradoK-menores caminhosFabio PisarukJose Coelho de Pina Junior
09/06/2009MestradoMinimização de funções submodularesJuliana Barby SimãoJose Coelho de Pina Junior
05/06/2009MestradoIComb: Um sistema para o ensino e aprendizagem de combinatória em ambiente WebAlexandre Luis Kundrat EisenmannLeonidas de Oliveira Brandao
29/05/2009MestradoMétodos de penalidade e barreira para programação convexa semidefinidaAntonio Carlos dos SantosPaulo José da Silva e Silva
15/05/2009DoutoradoAprendizado computacional baseado em distância a segmentos de retaJoão Henrique Burckas RibeiroRonaldo Fumio Hashimoto
13/05/2009MestradoMétodos de expansão de busca em sistemas de recuperação de informaçãoWendel ScarduaAlair Pereira do Lago
11/05/2009MestradoPadrões para introduzir novas ideias na indústria de softwareDaniel CukierFabio Kon
28/04/2009MestradoAplicação de práticas ágeis na construção de data warehouse evolutivoGuilherme Toso de CarvalhoJoão Eduardo Ferreira
27/04/2009DoutoradoUma arquitetura de baixo acoplamento para execução de padrões de controle de fluxo em gradesAlexandre Ricardo NardiJoão Eduardo Ferreira
24/04/2009MestradoAgentes móveis em grades oportunistas: uma abordagem para tolerância a falhasVinicius Gama PinheiroAlfredo Goldman Vel Lejbman
14/04/2009MestradoAlgoritmos para problemas de programação não-linear com variáveis inteiras e contínuasRafael Durbano LobatoErnesto Julian Goldberg Birgin
09/04/2009MestradoDois caminhos disjuntos e o método de Robertson e SeymourMauricio Silva de MouraJose Coelho de Pina Junior
11/12/2008MestradoCombinação dinâmica de aspectos: uma abordagem eficienteFlavia RainoneFrancisco Carlos da Rocha Reverbel
01/12/2008DoutoradoSeleçã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/2008Doutorado DiretoLimites de seqüências de permutações de inteirosRudini Menezes SampaioYoshiharu Kohayakawa
07/11/2008MestradoSimulação acústica no ambiente AcMusMário Henrique Cruz TorresFabio Kon
31/10/2008Mestrado"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/2008MestradoGeração parcial de código Java a partir de especificações formais ZAlvaro Heiji MiyazawaFlavio Soares Correa da Silva
25/09/2008DoutoradoGeraçã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/2008MestradoFluxo de dados em redes de Petri coloridas e em grafos orientados a atoresGrace Anne Pontes BorgesJoão Eduardo Ferreira
10/09/2008MestradoFiltros para a busca e extração de padrões aproximados em cadeias biológicasDomingos Soares NetoJose Augusto Ramos Soares
27/08/2008MestradoEstruturas de dados concorrentes: um estudo de caso em skip graphsHammurabi das Chagas MendesCristina Gomes Fernandes
12/08/2008MestradoClassificação e busca de componentes com tratamento de exceçõesLuciana Setsuko GakiyaAna Cristina Vieira de Melo
24/07/2008DoutoradoTópicos em otimização com restrições linearesMarina AndrettaErnesto Julian Goldberg Birgin
17/07/2008MestradoDois problemas em análise de formas de estruturas de ramificaçãoJorge de Jesus Gomes LeandroRoberto Marcondes Cesar Junior
07/07/2008DoutoradoModelagem 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/2008MestradoCorrespondência inexata entre grafosAlexandre da Silva FreireCarlos Eduardo Ferreira
26/06/2008MestradoDesenvolvimento de sistemas baseados em artefatos de conhecimentoGustavo Enrique Salazar TorresFlavio Soares Correa da Silva
06/06/2008MestradoIGraf: Uma proposta de sistema para ensino de função via WebReginaldo do PradoLeonidas de Oliveira Brandao
03/06/2008MestradoUm serviço de autorização Java EE baseado em certificados de atributos X.509Stefan Neusatz GuilhenFrancisco Carlos da Rocha Reverbel
03/06/2008MestradoACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxoPedro Losco TakecianJoão Eduardo Ferreira
21/05/2008MestradoImplementação de esquemas de criptografia e de assinatura sob o modelo de criptografia de chave pública sem certificadoRenato da Silva RamalhoRouto Terada
13/05/2008DoutoradoCCICLO: Componente para cruzamento e integração de objetos classificadosLuciano Vieira de AraújoJoão Eduardo Ferreira
13/05/2008DoutoradoCCICLO: Componente para cruzamento e integração de objetos classificadosLuciano Vieira de AraújoEster Cerdeira Sabino
08/05/2008MestradoParadigma mestre-escravo em plataformas heterogêneasFábio Henrique NishiharaSiang Wun Song
06/05/2008MestradoPopulando ontologias através de informações em HTML - o caso do currículo lattesAndré Casado CastañoRenata Wassermann
05/05/2008MestradoPlanejamento hierárquico sob incerteza KnightianaRicardo Guimaraes HerrmannLeliane Nunes de Barros
28/04/2008MestradoReparo de plano por refinamento reversoDavid Robert Camargo de CamposLeliane Nunes de Barros
25/04/2008MestradoHomomorfismos de grafosCristiane Maria SatoYoshiharu Kohayakawa
25/04/2008DoutoradoAlgoritmos para predição da estrutura secundária do RNALuiz Carlos da Silva RozanteJose Augusto Ramos Soares
25/04/2008DoutoradoAlgoritmos para predição da estrutura secundária do RNALuiz Carlos da Silva RozanteMarco Dimas Gubitoso
22/04/2008MestradoUma 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/2008DoutoradoXenia: um sistema de segurança para grades computacionais baseado em cadeias de confiançaJosé de Ribamar Braga Pinheiro JuniorFabio Kon
18/04/2008MestradoGeração automática de casos testes para Web ServicesPaulo SilveiraAna Cristina Vieira de Melo
17/04/2008MestradoAmbiente de testes utilizando verificação de componentes java com tratamento de exceçõesKleber da Silva XavierAna Cristina Vieira de Melo
16/04/2008MestradoOrdenação por reversãoAndréa Tieme NakasatoYoshiko Wakabayashi
26/03/2008MestradoSeletores 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/2008MestradoExperiências com desenvolvimento ágilDairton Luiz Bassi FilhoEduardo Colli
11/03/2008MestradoAnálise de padrões de uso em grades computacionaisDanilo Matheus Rubio CondeMarcelo Finger
07/03/2008MestradoDepuração simbólica extensível para sistemas de objetos distribuídosGiuliano MegaFabio Kon
07/03/2008MestradoEstudo comparativo de passos espectrais e buscas lineares não monótonasFernando Taietti CamargoErnesto Julian Goldberg Birgin
22/02/2008MestradoProgramação em dois níveis: reformulação utilizando as condições KKTFrancisco Nogueira Calmon SobralErnesto Julian Goldberg Birgin
22/02/2008MestradoAplicações de computação paralela em otimização contínuaRicardo Luiz de Andrade AbrantesErnesto Julian Goldberg Birgin
22/02/2008MestradoErosões e dilatações morfológicas binárias seqüênciais rápidasAnderson Fraiha MachadoRonaldo Fumio Hashimoto
15/02/2008MestradoAudible Images: síntese de imagens controladas por áudioMariana Zaparolli MartinsMarcelo Gomes de Queiroz
16/01/2008MestradoUma ferramenta para o ensino de inteligência artificial usando jogos de computadorFilipe Correa Lima da SilvaFlavio Soares Correa da Silva
14/12/2007MestradoAplicação de técnicas de fatoração de matrizes esparsas para inferência em redes bayesianasErnesto Coutinho CollaJulio Michael Stern
06/11/2007MestradoSegmentação de movimento usando morfologia matemáticaArnaldo Câmara LaraRoberto Hirata Junior
05/11/2007DoutoradoPlanejamento sob incerteza para metas de alcançabilidade estendidasSilvio do Lago PereiraLeliane Nunes de Barros
21/09/2007MestradoUm serviço de transações atômicas para Web servicesIvan Bittencourt de Araujo e Silva NetoFrancisco Carlos da Rocha Reverbel
14/09/2007MestradoReflexões sobre o ensino de metodologias ágeis na academia, na indústria e no governoAlexandre Freire da SilvaFabio Kon
29/08/2007MestradoUm modelo para ambientes inteligentes baseado em serviços web semânticosCrhistian Alberto Noriega GuerraFlavio Soares Correa da Silva
17/08/2007MestradoRastreamento de componentes conexas em vídeo 3D para obtenção de estruturas tridimensionaisDavid da Silva PiresRoberto Marcondes Cesar Junior
13/07/2007MestradoUso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limitesJulian Geraldes MonteiroAlfredo Goldman Vel Lejbman
03/07/2007MestradoUm estudo empírico de hiper-heurísticasIgor Ribeiro SucupiraFlavio Soares Correa da Silva
29/06/2007MestradoUso eficaz de métricas em métodos ágeis de desenvolvimento de softwareDanilo Toshiaki SatoAlfredo Goldman Vel Lejbman
27/06/2007Doutorado"Identificação de sistemas dinâmicos finitos: aplicações para a modelagem de redes genéticas"Nestor Walter TrepodeJunior Barrera
27/06/2007Doutorado"Identificação de sistemas dinâmicos finitos: aplicações para a modelagem de redes genéticas"Nestor Walter TrepodeJunior Barrera
15/06/2007MestradoPCA-tree: uma proposta para indexação multidimensionalPhilipe Dalla BernardinaNina Sumiko Tomita Hirata
24/05/2007MestradoFerramenta para integração de modelos multidimensionais e softwares de visualização de séries temporaisGustavo Bianchi MaiaJoão Eduardo Ferreira
18/05/2007MestradoMatemática e algoritmos das dobrasPaulo Eduardo Azevedo SilveiraJose Coelho de Pina Junior
16/05/2007MestradoFortalecimento do algoritmo RC6 contra criptanálise Χ2Eduardo Takeo UêdaRouto Terada
10/05/2007MestradoUso de "small worlds" no roteamento em redes de sensores sem fioGiulian Dalton LuzAlfredo Goldman Vel Lejbman
09/05/2007MestradoHermes: um arcabouço para a programação de aplicações P2PEmilio de Camargo FrancesquiniFrancisco Carlos da Rocha Reverbel
07/05/2007MestradoInGriDE: um ambiente integrado e extensível de desenvolvimento para computação em gradeEduardo Leal GuerraAlfredo Goldman Vel Lejbman
07/05/2007DoutoradoUso 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
04/05/2007DoutoradoArmazenamento distribuído de dados e checkpointing de aplicações paralelas em grades oportunistasRaphael Yokoingawa de CamargoFabio Kon
20/04/2007MestradoSAW - Sistema de aprendizagem pela web: motivações e desenvolvimentoJanine Gomes MouraLeonidas de Oliveira Brandao
18/04/2007Doutorado DiretoAlinhamento de seqüências com rearranjosAugusto Fernandes VellozoAlair Pereira do Lago
04/04/2007MestradoRelações min-max em otimização combinatóriaMarcel Kenji de Carli SilvaYoshiko Wakabayashi
28/03/2007MestradoCriaçã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/2007MestradoExtração de aleatoriedade a partir de fontes defeituosasDomingos Dellamonica JuniorYoshiharu Kohayakawa
26/03/2007MestradoRevisão de modelos formais de sistemas de estados finitosThiago Carvalho de SousaRenata Wassermann
26/03/2007MestradoPartição de grafos em subgrafos conexos balanceadosRenato Pinheiro Freme Lopes LucindoYoshiko Wakabayashi
26/03/2007MestradoTeoria de Ramsey para circuitos e caminhosFabricio Siqueira BenevidesYoshiharu Kohayakawa
23/03/2007MestradoUm resolvedor SAT paralelo com BSP sobre uma gradeFernando Correa LimaMarcelo Finger
23/03/2007MestradoRastreamento de objetos baseado em reconhecimento estrutural de padrõesAna Beatriz Vicentim GracianoRoberto Marcondes Cesar Junior
23/03/2007Mestrado MYOP: um arcabouço para predição de genes ab initioAndré Yoshiaki KashiwabaraAlan Mitchell Durham
16/03/2007MestradoIntegração de verificadores formais para agentes móveisAndré Gustavo AndradeAna Cristina Vieira de Melo
16/03/2007MestradoEstudo de métodos estocásticos para otimização global de problemas de programação não linearErico Murilo GozziErnesto Julian Goldberg Birgin
09/03/2007Mestrado"Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas"David Paulo PereiraAna Cristina Vieira de Melo
05/03/2007MestradoMobiGrid: arcabouço para agentes móveis em ambiente de grades computacionaisRodrigo Moreira BarbosaAlfredo Goldman Vel Lejbman
01/03/2007MestradoAlgoritimo do volume e otimização não diferenciávelEllen Hidemi FukudaPaulo José da Silva e Silva
28/02/2007MestradoBases de HilbertMarcelo HashimotoJose Coelho de Pina Junior
05/02/2007MestradoUm arcabouço para construção de sistemas multiagente musicaisLeandro Ferrari ThomazMarcelo Gomes de Queiroz
30/01/2007DoutoradoUm provador de teoremas multi-estratégiaAdolfo Gustavo Serra Seca NetoMarcelo Finger
21/12/2006MestradoCoeficientes de determinação, predição intrinsicamente multivariada e genéticaCarlos Henrique Aguena HigaRonaldo Fumio Hashimoto
21/12/2006Mestrado"Funções-valor na alocação de tarefas em sistemas robóticos"Antonio Luiz BasileFlavio Soares Correa da Silva
20/12/2006DoutoradoLaboratório de geração de classificadores de sequênciasAriane Machado LimaAlan Mitchell Durham
20/12/2006DoutoradoLaboratório de geração de classificadores de sequênciasAriane Machado LimaAlan Mitchell Durham
11/12/2006MestradoValidação ágil e precisa de projetos conceituais de banco de dadosMarcos Eduardo Bolelli BroiniziJoão Eduardo Ferreira
01/12/2006MestradoMultiplicação escalar eficiente em curvas elípticasAdão de Melo NetoRouto Terada
30/11/2006MestradoSegmentação de vasos sangüíneos em imagens de retina usando wavelets e classificadores estísticosJoão Vitor Baldini SoaresRoberto Marcondes Cesar Junior
27/10/2006MestradoEstudo de escalabilidade de servidores baseados em eventos em sistemas multiprocessados: um estudo de caso completoDaniel de Angelis CordeiroAlfredo Goldman Vel Lejbman
27/10/2006MestradoO problema da troca de mensagens de diferentes tamanhos em redes multi-aglomeradosFabio Massaaki KatayamaAlfredo Goldman Vel Lejbman
24/10/2006MestradoRedução de dimensionalidade em séries temporaisAndré Rodrigo SanchesNina Sumiko Tomita Hirata
29/09/2006MestradoClassificação semi-automática de componentes JavaClaudia de Oliveira MeloAna Cristina Vieira de Melo
11/09/2006MestradoSistemas interativos de prova clássicos e quânticosCarlos Henrique CardonhaCristina Gomes Fernandes
30/08/2006MestradoSistema de arquivos especializado para correio eletrônicoEider Silva de OliveiraArnaldo Mandel
25/08/2006MestradoReconstruçã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/2006DoutoradoEmpacotamento de subgrafos em grafosGordana ManicYoshiko Wakabayashi
08/08/2006MestradoDetecçã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/2006MestradoProposta de esquemas de criptografia e de assinatura sob modelo de criptografia de chave pública sem certificadoDenise Hideko GoyaRouto Terada
23/06/2006MestradoPor que usar bancos de dados orientados a objetos?Yen Chin ShenValdemar Waingort Setzer
23/06/2006MestradoPadrões de fluxos de processos em banco de dados relacionaisKelly Rosa BraghettoJoão Eduardo Ferreira
31/05/2006MestradoUm modelo unificado para planejamento sob incertezaFelipe Werndl TrevizanLeliane Nunes de Barros
26/05/2006MestradoPlanejamento para serviços web semânticosJuliana Jabra ChahoudLeliane Nunes de Barros
23/05/2006MestradoRepensando os commons na comunicação científicaEvelyn Cristina PintoImre Simon
15/05/2006DoutoradoVoz e vídeo sobre redes sem fio IEEE 802.11Arlindo Flavio da ConceiçãoFabio Kon
12/05/2006MestradoRecuperação automática da estrutura tri-dimensional a partir de múltiplas imagens utilizando geometria projetivaTiago Tagliari MartinezCarlos Hitoshi Morimoto
05/05/2006MestradoUm sistema de rastreamento de olhar tolerante a movimentações da faceFlávio Luiz CoutinhoCarlos Hitoshi Morimoto
28/04/2006MestradoImplementações do método de aproximação primal-dual aplicado ao problema da floresta de SteinerRafael Pereira LunaCristina Gomes Fernandes
28/04/2006MestradoAlgoritmos de aproximação para o projeto de redes segurasAntonio Joao Ferreira FranciscoCarlos Eduardo Ferreira
20/04/2006DoutoradoUm arcabouço para composição, teste e simulação de protocolos de Handover suaveVera NagamutaSiang Wun Song
19/04/2006MestradoProjeto multirresolução de operadores morfológicos a partir de exemplosDaniel André VaqueroJunior Barrera
03/03/2006MestradoAnálise de conglomerados aplicada ao reconhecimento de padrões de uso de recursos computacionaisGermano Capistrano BezerraMarcelo Finger
19/12/2005MestradoDiagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicosKarina Valdivia DelgadoLeliane Nunes de Barros
12/12/2005MestradoProtocolos par-a-par para interligação de aglomerados em grades computacionaisVladimir Emiliano Moreira RochaFabio Kon
16/11/2005MestradoPlanejamento no cálculo de situações usando a linguagem GologEdward Mitsuo Iwanaga IamamotoLeliane Nunes de Barros
10/11/2005MestradoAnálise automática de desempenho de classificadores e técnicas de classificação na plataforma RNey Barros LuzNina Sumiko Tomita Hirata
09/11/2005MestradoConstrução e estudos sobre ontologias de bioquímicaAnderson Carlos Daniel SanchesRenata Wassermann
04/11/2005MestradoProtocolos para comunicação entre agentes móveisRachel de Paula CavalcantiKunio Okuda
01/11/2005MestradoArranjos sistólicos redundantes para grades de computaçãoMarcos Tatsuo YamamotoKunio Okuda
19/10/2005MestradoIdentificação de regiões codificantes de proteína através da transformada modificada de MorletJesús Pascual Mena ChalcoRoberto Marcondes Cesar Junior
23/09/2005MestradoSistemas de arquivos paralelos: alternativas para a redução do gargalo no acesso ao sistema de arquivosRoberto Pires de CarvalhoAlfredo Goldman Vel Lejbman
13/09/2005MestradoUma ferramenta interativa para análise de padrões baseada em entropiaLuiz Gustavo MartinsMarco Dimas Gubitoso
12/08/2005MestradoO problema de Steiner com gruposFernando Mario de Oliveira FilhoCarlos Eduardo Ferreira
20/07/2005MestradoColoração de grafos e o método probabilísticoDaniel Morgato MartinYoshiharu Kohayakawa
12/07/2005MestradoInterfaces prestativas baseadas em visão computacional e informação de contextoThiago Schumacher BarcelosCarlos Hitoshi Morimoto
22/06/2005DoutoradoDois problemas de buscaRenato José da Silva CarmoYoshiharu Kohayakawa
25/05/2005MestradoInteração baseada em gestos de mãos e cabeça para ambientes de realidade virtual utilizando visão computacionalMarcio Calixto CabralCarlos Hitoshi Morimoto
25/05/2005DoutoradoIdentificação de genes por comparação de seqüênciasSaid Sadique AdiCarlos Eduardo Ferreira
11/05/2005MestradoDefiniçã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
28/04/2005Doutorado"Geometria Computacional de Pontos em Movimento".Carlos Ramon Pantaleon DionisioJose Coelho de Pina Junior
25/04/2005MestradoAdaptação dinâmica utilizando agentes móveis em computação ubíquaRoberto Speicys CardosoFabio Kon
20/04/2005MestradoUm arcabouço para suporte a reconfiguração dinâmica em ambiente JavaRicardo Koji UshizakiFabio Kon
18/04/2005MestradoGerenciamento de recursos distribuídos em sistemas escaláveisJeferson Roberto MarquesFabio Kon
12/04/2005MestradoUm etiquetador morfo-sintático baseado em cadeias de Markov de tamanho variávelFábio Natanael KeplerMarcelo Finger
01/04/2005MestradoDesenvolvimento de ferramentas igeom: utilizando a geometria dinâmica no ensino presencial e a distânciaSeiji IsotaniLeonidas de Oliveira Brandao
21/03/2005MestradoRecuperação de vídeos indexados por conceitosChristian Danniel Paz TrilloRenata Wassermann
28/02/2005MestradoAspectos algébricos e computacionais da teoria de bases de Gröbner não comutativasAlexey Antônio Villas BôasEduardo do Nascimento Marcos
11/02/2005MestradoModularização da coleta de lixo na máquina virtual de pesquisa JikesRosianni de Oliveira CruzAlan Mitchell Durham
07/01/2005MestradoDesenvolvimento de algorítmos paralelos para aglomerados com a técnica de paralelização de laçosUlisses Kendi HayashidaSiang Wun Song
14/12/2004MestradoInteGrade: um sistema de middleware para computação em grade oportunistaAndrei GoldchlegerFabio Kon
29/11/2004MestradoImplementação e análise do protocolo de Katz e Yung para estabelecimento de chaves de grupoJorge Alves TonamiRouto Terada
29/10/2004MestradoComposição e performance musical utilizando agentes móveisLeo Kazuhiro UedaFabio Kon
22/10/2004MestradoAprendizado de regras de substituição para normatização de textos históricosAlexandre Sussumu HirohashiMarcelo Finger
20/10/2004MestradoGeração de classificadores de sequências genéticas utilizando inferência de linguagens regularesDaniel da Cruz Gouveia VieiraAlan Mitchell Durham
15/10/2004MestradoList ranking: um estudo experimentalGuilherme Pereira VanniSiang Wun Song
14/10/2004MestradoLógicas de raciocínio aproximado e o problema satFabio Luiz IdeMarcelo Finger
22/09/2004MestradoReduçã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/2004MestradoUma proposta de eliminação paralela para o problema da mochila ilimitadaFlavio Regis de ArrudaAlfredo Goldman Vel Lejbman
24/08/2004MestradoUma ontologia artificial para o controle cambial brasileiroRobson MoronFlavio Soares Correa da Silva
23/08/2004MestradoDesenvolvimento de um rastreador de olhar apropriado para interação humano computadorMarcio Raul Medeiros MimicaCarlos Hitoshi Morimoto
20/08/2004MestradoServiços de pertinência para clusters de alta disponibilidadeNélio Alves Pereira FilhoArnaldo Mandel
19/08/2004DoutoradoAproximações para restrições do problema de Steiner em grafosFabio Henrique Viduani MartinezJose Augusto Ramos Soares
09/08/2004MestradoFlexibilidade em um sistema de arquivos componentizadoLivio Baldini SoaresDilma Menezes da Silva
09/08/2004MestradoSegmentação automática de tomadas em vídeoThiago Teixeira SantosCarlos Hitoshi Morimoto
02/07/2004MestradoUm sistema de autorização baseado em uma infra-estrutura de gerenciamento de privilégiosFabio Correa XavierRouto Terada
18/06/2004MestradoPropriedades de algumas classes de relações racionaisRodrigo Nonamor Pereira Mariano de SouzaNami Kobayashi
08/06/2004MestradoConstrução de imagens panorâmicas a partir de vídeoHenrique Pedreira de Freitas CeribelliCarlos Hitoshi Morimoto
04/06/2004MestradoProcessamento distribuído de áudio em tempo realNelson Posse LagoFabio Kon
21/05/2004MestradoInteligência artificial para jogos de tabuleiroMarcelo Nunes de CarvalhoFlavio Soares Correa da Silva
10/05/2004DoutoradoPertinência de pontos em objetos discretos de dimensão arbitráriaLuciano SilvaAntonio Elias Fabris
10/05/2004DoutoradoPertinência de pontos em objetos discretos de dimensão arbitráriaLuciano SilvaAntonio Elias Fabris
14/04/2004MestradoUm estudo sobre teste versus verificação formal de programas javaLeandro Cesar PrudenteAna Cristina Vieira de Melo
13/04/2004MestradoO impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionaisGilberto da Silva HemerlyAntonio Elias Fabris
12/04/2004DoutoradoUm modelo formal para a quinta disciplinaLourival Paulino da SilvaFlavio Soares Correa da Silva
07/04/2004MestradoÍndices para consultas por conteúdo em banco de dados heterogêneosGustavo Tadao OkidaJoão Eduardo Ferreira
02/04/2004DoutoradoAlgoritmos para problemas de corte de guilhotina bidimensionalGlauber Ferreira CintraYoshiko Wakabayashi
02/04/2004DoutoradoAlgoritmos para problemas de corte de guilhotina bidimensionalGlauber Ferreira CintraYoshiko Wakabayashi
30/03/2004MestradoEm busca de procedimentos de inferência eficientes via relevância por sintaxeJoselyto Nawber da Costa RianiRenata Wassermann
22/03/2004DoutoradoAlgoritmos de aproximação para partições conexas em grafosLiliane Rose Benning SalgadoYoshiko Wakabayashi
27/02/2004MestradoUm método de restrições ativas para minimização em caixasMarina AndrettaErnesto Julian Goldberg Birgin
18/02/2004MestradoAnálise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionadoCaetano Jimenez CarezzatoJunior Barrera
03/02/2004MestradoDescoberta de regras de classificação com hierarquias conceituaisMarco Eugenio Madeira Di BenedittoLeliane Nunes de Barros
14/01/2004MestradoUma técnica automática para a medida de sinal de imagens de cDNADaniel Oliveira DantasJunior Barrera
12/01/2004MestradoUma arquitetura distribuída para busca de caminhos em grafos dinâmicosMarcelo Luís VinagreiroAlfredo Goldman Vel Lejbman
15/12/2003MestradoSimulação de mini-ecossistemas vegetais em tempo realLuis Carlos Yano EndoAntonio Elias Fabris
28/11/2003MestradoSistemas criptográficos baseados em identidades pessoaisWaldyr Dias Benits JúniorRouto Terada
14/11/2003MestradoSistemas de localização dinâmica de serviços em ambientes de computação móvelLeonardo Marques Alves de PinhoAlfredo Goldman Vel Lejbman
22/08/2003DoutoradoConsultas sobre "aqui" em sistemas de bancos de dados em ambientes de computação nômadeEugênio Akihiro NassuValdemar Waingort Setzer
22/08/2003DoutoradoConsultas sobre "aqui" em sistemas de bancos de dados em ambientes de computação nômadeEugênio Akihiro NassuMarcelo Finger
21/08/2003MestradoAlinhamento de sequências biológicasRogério Theodoro de BritoJose Augusto Ramos Soares
21/08/2003MestradoAnalisador sintático estatístico orientado ao núcleo-léxico para a língua portuguesaFabiano de Carvalho e SousaMarcelo Finger
15/08/2003MestradoUm serviço para grupos de objetos com consistência relaxadaMarcelo Brito dos SantosMarkus Endler
14/08/2003MestradoAnálise de formas representadas por marcos utilizando características mono e multiescalaCelina Maki TakemuraRoberto Marcondes Cesar Junior
11/08/2003MestradoComponentes CORBAAlexandre Ricardo NardiFrancisco Carlos da Rocha Reverbel
07/08/2003MestradoAlgoritmos primal-duaisAna Lucia Lima Marreiros MaiaJose Coelho de Pina Junior
01/08/2003MestradoTopologia de espaços de estados em planejamento com váriaveis numéricasAldebaran PersekeLeliane Nunes de Barros
06/06/2003MestradoCache comprimido adaptativo: estudo, projeto e implementaçãoRodrigo Souza de CastroAlair Pereira do Lago
09/05/2003MestradoAnálise experimental de algoritmos de planaridadeAlexandre NomaCristina Gomes Fernandes
30/04/2003MestradoUma biblioteca para a simulação de protocolos de entrega de mensagens em redes móveisWeslley Emmanuel Martins LimaAlan Mitchell Durham
11/04/2003MestradoImplementação e análise comparativa de variações do criptossistema rsaCesar Alison Monteiro PaixãoRouto Terada
10/04/2003MestradoSistemas modais de conhecimentoFlavio Shigeo YamamotoRicardo Bianconi
04/04/2003MestradoUma 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/2003MestradoConfiguração automática de sistemas na plataforma enterprise javabeansHerbert Yutaka WatanabeFabio Kon
20/03/2003MestradoMaximização de entropia em linguística computacional para a língua portuguesaArchias Alves de Almeida FilhoMarcelo Finger
20/03/2003MestradoUso de redes bayesianas no gerenciamento de manutenção de softwareAdilson de Jesus SanchezAna Cristina Vieira de Melo
18/03/2003DoutoradoAlgoritmos paralelos de granularidade grossa em grafos bipartidos convexosMarco Aurélio StefanesJose Augusto Ramos Soares
18/03/2003DoutoradoAlgoritmos paralelos de granularidade grossa em grafos bipartidos convexosMarco Aurélio StefanesJose Augusto Ramos Soares
17/03/2003MestradoEstratégias de hand-off com balanceamento de carga para computação móvelAlessandro Santiago dos SantosAlfredo Goldman Vel Lejbman
27/02/2003MestradoBanco de dados obsolescentes e uma proposta de implementaçãoFernando Antonio Mac Craken CezarMarcelo Finger
21/02/2003DoutoradoAdaptação dinâmica de sistemas distribuídosFrancisco José da Silva e SilvaMarkus Endler
06/02/2003MestradoIntegração para dados e aplicações em biologia molecular computacionalMárcio Katsumi OikawaJoão Eduardo Ferreira
05/02/2003MestradoComponente de controle transacional para integração assíncrona de bases de dadosMarcelo Camacho de SouzaJoão Eduardo Ferreira
19/12/2002MestradoAlternativas 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/2002MestradoUm 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/2002DoutoradoAlgoritmos paralelos de granularidade grossa para problemas de alinhamento de cadeiasCarlos Eduardo Rodrigues AlvesSiang Wun Song
31/10/2002MestradoImplementações de tableaux para raciocínio por aproximaçõesWagner DiasMarcelo Finger
30/09/2002MestradoUm estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-CalculusLucy Mari TabutiAna Cristina Vieira de Melo
09/08/2002MestradoDesenvolvimento e comparação de dois protocolos para multicast atômico em computação móvelMateus de Freitas RibeiroMarkus Endler
23/07/2002Doutorado DiretoProjeto de operadores morfológicos multi-escala por otimização estatísticaMarcel BrunJunior Barrera
04/07/2002MestradoCCICLO: Componente para cruzamento e integração de objetos classificadosLuciano Vieira de AraújoJoão Eduardo Ferreira
04/07/2002MestradoCCICLO: Componente para cruzamento e integração de objetos classificadosLuciano Vieira de AraújoEster Cerdeira Sabino
01/07/2002MestradoUm modelo de capacidades formais para cooperação mediada entre sistemas baseados em conhecimentoEudenia Xavier MenesesFlavio Soares Correa da Silva
27/06/2002MestradoLaboratório de geração de classificadores de sequênciasAriane Machado LimaAlan Mitchell Durham
27/06/2002MestradoLaboratório de geração de classificadores de sequênciasAriane Machado LimaAlan Mitchell Durham
28/05/2002MestradoPlanejamento abdutivo no cálculo de eventosSilvio do Lago PereiraLeliane Nunes de Barros
22/05/2002MestradoAutomorfismos de grafosEduardo TenganArnaldo Mandel
17/05/2002MestradoUma implementação do protocolo TLS com um algoritmo de criptografia forteIsvi Correa JuniorRouto Terada
10/05/2002MestradoÁrvores k-restritas e aproximações para o problema de steiner em grafosEduardo Kazuaki GondoCristina Gomes Fernandes
10/05/2002Mestrado"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
07/05/2002MestradoCriptografia - Uma implementação do protocolo de micropagamento PayWordJoão Carlos NétoRouto Terada
10/04/2002Mestrado"Arquiteturas de Componentização de Servidores como Integradoras de Bancos de Dados Distribuídos".Myrthes Cavalcante de AguiarFrancisco Carlos da Rocha Reverbel
21/03/2002MestradoAlgoritmos para caminhos mínimosShigueo IsotaniJose Coelho de Pina Junior
14/03/2002Mestrado"Visões em arquitetura de software".Ane Cristina VarotoHernan Enrique Astudillo Rojas
13/03/2002MestradoUma taxonomia da pesquisa na área de engenharia de requisitosPaulo Sérgio Naddeo Dias LopesHernan Enrique Astudillo Rojas
28/02/2002Mestrado"Identificação de sistemas dinâmicos finitos: aplicações para a modelagem de redes genéticas"Nestor Walter TrepodeJunior Barrera
28/02/2002Mestrado"Identificação de sistemas dinâmicos finitos: aplicações para a modelagem de redes genéticas"Nestor Walter TrepodeJunior Barrera
23/01/2002MestradoAlgoritmos para predição da estrutura secundária do RNALuiz Carlos da Silva RozanteJose Augusto Ramos Soares
23/01/2002MestradoAlgoritmos para predição da estrutura secundária do RNALuiz Carlos da Silva RozanteMarco Dimas Gubitoso
18/12/2001MestradoUma infra-estrutura para migração de objetos CORBA implementados em javaHelves Humberto DominguesFrancisco Carlos da Rocha Reverbel
17/12/2001DoutoradoProjeto de operadores morfológicos para imagens e sinaisRoberto Hirata JuniorJunior Barrera
28/11/2001DoutoradoTrês problemas em complementaridade e programação matemáticaMarcelo Gomes de QueirozCarlos Humes Junior
28/11/2001DoutoradoTrês problemas em complementaridade e programação matemáticaMarcelo Gomes de QueirozCarlos Humes Junior
27/11/2001MestradoMetamodelo para Controle de Estratégias Assíncronas de Replicação de DadosCarlos Henrique Maia BragaJoão Eduardo Ferreira
14/11/2001MestradoTransações web: Um estudo sobre problemas e soluçõesLorena Pereira da Ponte PierreHernan Enrique Astudillo Rojas
31/10/2001MestradoIntegração do serviço de diretório LDAP com o serviço de nomes CORBAGustavo Scalco IsquierdoFrancisco Carlos da Rocha Reverbel
29/10/2001MestradoColorações restritas de grafosGordana ManicPaulo Feofiloff
22/10/2001MestradoComposição de fluxo de controle de frameworks javaBruno Martins MoutinhoAna Cristina Vieira de Melo
04/09/2001MestradoSistema para Execução de Testes de Aprendizado Baseado em Funções de CrençaJuliano Mourão VieiraFlavio Soares Correa da Silva
02/07/2001MestradoIndicadores de qualidade de uma implementação de banco de dados relacionalGlauco Galves BordinMarcelo Finger
22/06/2001Mestrado RMIRep: Suporte para Replicação de Objetos em Redes de Alta LatênciaJorge Chaves Radel BittencourtDilma Menezes da Silva
25/05/2001MestradoTécnicas de seleção de características com aplicações em reconhecimento de facesTeófilo Emidio de CamposRoberto Marcondes Cesar Junior
11/05/2001MestradoRastreamento eficiente de faces em um subespaço waveletRogerio Schmidt FerisRoberto Marcondes Cesar Junior
11/05/2001MestradoEscalonamento de reservas de domínioMaria do Carmo Garcia NoronhaDilma Menezes da Silva
09/05/2001MestradoEstudo 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/2001MestradoUma arquitetura para simulação flexivel de protocolos para computação móvelRicardo Couto Antunes da RochaMarkus Endler
26/04/2001MestradoComparação de Desempenho Linux X Windows NTJosé Eugênio de Assis GonçalvesMarco Dimas Gubitoso
30/03/2001MestradoAlgoritmos paralelos para fecho convexoEmmanuel Kayembe IlungaSiang Wun Song
02/03/2001MestradoAlgoritmos e estruturas de dados para manutenção de árvores geradoras mínimas em grafos dinâmicosAritanan Borges Garcia GruberCarlos Eduardo Ferreira
12/02/2001Mestrado"Uma infra-estrutura para o gerenciamento de aplicações CORBA tolerantes a falhas".Marcos Aurelio Mendes de MouraMarkus Endler
09/02/2001MestradoUm instrumento de avaliação da qualidade para software educacional de matemáticaAna Paula Gladcheff MunhozDilma Menezes da Silva
07/02/2001MestradoObsolescência de InformaçãoSirley Ambrosia Vitorio OliveiraFlavio Soares Correa da Silva
19/12/2000MestradoAlgoritmos Paralelos para o Paradigma de Pertinência Interior/ExteriorMarcos Machado Ottani AssisAntonio Elias Fabris
08/12/2000DoutoradoCompartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento: um Estudo de CasoRoberto Cássio de AraujoFlavio Soares Correa da Silva
08/12/2000MestradoProblemas Dinâmicos em Geometria ComputacionalCassio Polpo de CamposCarlos Eduardo Ferreira
01/12/2000MestradoProblemas Cinéticos em Geometria ComputacionalEduardo Garcia de FreitasCarlos Eduardo Ferreira
06/11/2000MestradoDetecção dinâmica de condições de disputa para programas multithreaded em JavaClovis Seragiotto JuniorDilma Menezes da Silva
05/10/2000DoutoradoProjeto Automático de Operadores - Explorando Conhecimentos a PrioriNina Sumiko Tomita HirataJunior Barrera
04/10/2000MestradoSegmentação de seqüência de imagens por morfologia matemáticaFranklin César FloresJunior Barrera
15/08/2000Mestrado"Técnicas de orientação a objetos para projeto de sistemas adaptáveis".Uirá KuleszaDilma Menezes da Silva
29/06/2000MestradoAnálise Formal do Aprendizado Supervisionado por Árvores de DecisãoMaurício Bellissimo FalleirosFlavio Soares Correa da Silva
02/06/2000MestradoNúmeros de Ramsey Induzidos e Semi-induzidosMarcio Grossi de AlmeidaYoshiharu Kohayakawa
25/04/2000MestradoParticionamento Transparente de Ambientes Virtuais DistribuídosMarcos AlvesMarkus Endler
05/04/2000Mestrado"Ferramentas de Auxílio ao Sequenciamento de DNA por montagem de Fragmentos: um estudo comparativo".Said Sadique AdiCarlos Eduardo Ferreira
04/04/2000DoutoradoAlgoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem EscalaHenrique MongelliSiang Wun Song
28/02/2000Mestrado"Geometria Computacional de Pontos em Movimento".Carlos Ramon Pantaleon DionisioJose Coelho de Pina Junior
10/12/1999MestradoProjeto de Regras Confluentes para Bancos de Dados Ativos Usando Tabelas de DecisãoMabelly de Oliveira FurtadoMarcelo Finger
26/11/1999MestradoT-junções, T-cortes e funções conservativasMário Leston ReyPaulo Feofiloff
19/11/1999MestradoCoordenação de Agentes Móveis através do Canal de BroadcastVera NagamutaMarkus Endler
21/10/1999Mestrado"LINUX-SMART: Melhoria de Desempenho para Aplicações Real-Time Soft em Ambiente LINUX".Jorge Euler VieiraDilma Menezes da Silva
25/09/1998MestradoPertinência de pontos em objetos discretos de dimensão arbitráriaLuciano SilvaAntonio Elias Fabris
25/09/1998MestradoPertinência de pontos em objetos discretos de dimensão arbitráriaLuciano SilvaAntonio Elias Fabris
14/08/1998MestradoAlinhamentos e comparação de sequênciasFrancisco Eloi Soares de AraujoJose Augusto Ramos Soares
14/08/1998MestradoAlinhamentos e comparação de sequênciasFrancisco Eloi Soares de AraujoJose Augusto Ramos Soares
27/07/1998MestradoAlgoritmos para problemas de corte de guilhotina bidimensionalGlauber Ferreira CintraYoshiko Wakabayashi
27/07/1998MestradoAlgoritmos para problemas de corte de guilhotina bidimensionalGlauber Ferreira CintraYoshiko Wakabayashi
13/02/1998MestradoAlgoritmos paralelos de granularidade grossa em grafos bipartidos convexosMarco Aurélio StefanesJose Augusto Ramos Soares
13/02/1998MestradoAlgoritmos paralelos de granularidade grossa em grafos bipartidos convexosMarco Aurélio StefanesJose Augusto Ramos Soares
31/10/1997MestradoConsultas sobre "aqui" em sistemas de bancos de dados em ambientes de computação nômadeEugênio Akihiro NassuValdemar Waingort Setzer
31/10/1997MestradoConsultas sobre "aqui" em sistemas de bancos de dados em ambientes de computação nômadeEugênio Akihiro NassuMarcelo Finger
26/09/1997Mestrado"Um Protocolo para Rastreamento de Mensagens em Sistemas com Checkpointing Assíncrono".Sergio Ricardo da ConceiçãoMarkus Endler
19/09/1997MestradoTrês problemas em complementaridade e programação matemáticaMarcelo Gomes de QueirozCarlos Humes Junior
19/09/1997MestradoTrês problemas em complementaridade e programação matemáticaMarcelo Gomes de QueirozCarlos Humes Junior
07/03/1997MestradoProjeto de operadores morfológicos para imagens e sinaisRoberto Hirata JuniorJunior Barrera
31/05/1996MestradoAproximações para restrições do problema de Steiner em grafosFabio Henrique Viduani MartinezJose Augusto Ramos Soares
15/03/1996MestradoProjeto Automático de Operadores - Explorando Conhecimentos a PrioriNina Sumiko Tomita HirataJunior Barrera
01/06/1995MestradoAlgoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem EscalaHenrique MongelliSiang Wun Song
25/05/1995MestradoCompartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento: um Estudo de CasoRoberto Cássio de AraujoFlavio Soares Correa da Silva
05/05/1994MestradoDois problemas de buscaRenato José da Silva CarmoYoshiharu Kohayakawa