EDITAL 02/2019
ABERTURA DE INSCRIÇÃO PARA UMA BOLSA
DO PROGRAMA NACIONAL DE PÓS-DOUTORADO (PNPD-CAPES) NO PROGRAMA
DE PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO DO INSTITUTO DE
MATEMÁTICA E ESTATÍSTICA DA UNIVERSIDADE DE SÃO PAULO

OBJETIVO:
Selecionar uma pessoa para uma bolsa no âmbito do Programa Nacional de Pós-Doutorado/CAPES (PNPD/CAPES) para o Programa de Pós-Graduação em Ciência da Computação do Instituto de Matemática e Estatística - USP


CONDIÇÃO PARA INSCRIÇÃO:
● Possuir o título de doutor em Ciência da Computação ou área afim (são consideradas áreas afins todas aquelas que possuem afinidade com alguma das áreas de pesquisa do Programa de Pós-Graduação em Ciência da Computação do IME - USP; vide https://www.ime.usp.br/dcc/pos/areas), quando da implementação da bolsa, tendo obtido o título em no máximo três anos antes da data de publicação deste edital e em cursos avaliados pela CAPES e reconhecidos pelo CNE/MEC. Em caso de diploma obtido em instituição estrangeira, este deverá ser analisado pelo Programa de Pós-Graduação;
● Não estar aposentado(a) ou estar em situação equiparada;
● Possuir e estar de acordo com os requisitos exigidos pela CAPES que encontram-se no sítio http://www.capes.gov.br/bolsas/bolsas-no-pais/pnpd-capes

PERÍODO DA BOLSA:
● Doze meses prorrogáveis por mais doze meses a critério do Programa de Pós-Graduação em Ciência da Computação;
● Os candidatos escolhidos poderão participar de um novo processo do PNPD deste programa;

VALOR MENSAL DA BOLSA: R$ 4.100,00 (quatro mil e cem reais)


CRITÉRIOS E PROCEDIMENTOS PARA EXAME DAS CANDIDATURAS
A inscrição se dará via a apresentação dos seguinte documentos à secretaria da Pós-Graduação do Instituto de Matemática e Estatística da USP, sito à Rua do Matão, 1010, bloco B, sala 27. Alternativamente, a inscrição poderá ser feita enviando-se a documentação em um arquivo zip para Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo., com cópia para Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo..


● Cópia impressa do diploma de doutorado em Ciência da Computação ou área afim e/ou certificado de conclusão do doutorado em Ciência da Computação ou área afim e/ou declaração informando quando irá concluir o mesmo antes do início das atividades (ver item 7);
● Cópia ou disponibilização de currículo atualizado na Plataforma Lattes do CNPq;
● Cópia do Curriculum Vitae atualizado, evidenciando a formação acadêmica, a
publicação de trabalhos científicos, a experiência didática e experiência naorientação de estudantes de graduação e pós-graduação;
● Projeto de pesquisa em uma linha de pesquisa do Programa de Pós-Graduação em Ciência da Computação do IME - USP.
● Carta de recomendação de docente do IME confirmando interesse na supervisão do projeto.
● Nomes e endereços de e-mails de até três docentes que possam ser contatados pelo Programa de Pós-Graduação.

O processo de seleção será baseado na média simples das notas atribuídas ao Currículo Lattes, Curriculum Vitae e ao projeto de pesquisa.
O Programa de Pós-Graduação irá informar o candidato selecionado, não havendo obrigatoriedade de preenchimento da vaga.

METAS ESTABELECIDAS ASSOCIADAS AO EDITAL
Desenvolver o projeto de pesquisa aprovado, publicar artigos em conferências e revistas de alto impacto, participar de atividades de seminários/palestras, participar e
auxiliar na organização de congressos. Serão considerados como pontos positivos na avaliação a disposição de orientar e ministrar uma disciplina no programa.

CRONOGRAMA:
Período de inscrição: até o dia 31 de julho de 2019.
Divulgação do resultado: até 10 de agosto de 2019, via e-mail.
Início das atividades: a partir de 11 de agosto de 2019

● O não comparecimento injustificado até esta data será considerado como desistência, implicando no cancelamento automático da aprovação. A Comissão Coordenadora do Programa de Pós-Graduação pode, neste caso, indicar um nome seguindo a ordem das médias.
● A implementação de bolsa segue as regras estabelecidas pela CAPES.

 

DISPOSIÇÕES GERAIS:


● Quem tiver sua inscrição indeferida na análise dos documentos exigidos, ou quem não for indicado, terá um prazo de 30 dias, a contar da divulgação do resultado final, para a retirada dos documentos que foram apresentados por ocasião da inscrição. Após este prazo, a documentação será descartada.

● Os casos omissos no presente Edital serão resolvidos pela Coordenação do Programa de Pós-Graduação em Ciência da Computação.

Dúvidas: Serviço de Pós-Graduação - Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo. / fone 11 3091-6200

Informações aos alunos ingressantes

Matrícula - 2º Semestre 2020 

 

DATA: 15/07 a 21/07/2020

As datas constantes nos documentos (Diploma, CRNM/RNE e Visto) devem ser obrigatoriamente anteriores à data de início das aulas (10/08/2020)

 

AS MATRÍCULAS SERÃO REALIZADAS  ON-LINE

  1. Formulário de matrícula devidamente preenchido:

    MATEMÁTICA

    MATEMÁTICA APLICADA

    COMPUTAÇÃO

    ESTATÍSTICA

    MESTRADO PROFISSINAL NO ENSINO DE MATEMÁTICA

    DOCUMENTOS NECESSÁRIOS PARA MATRÍCULA
     

  2. Cópia do Diploma de Graduação devidamente registrado ou Certificado com a data de conclusão de curso de graduação (dia/mês/ano), contendo a data de colação de grau (dia/mês/ano), obtido em curso oficialmente reconhecido, não se aceitando para esse fim diploma obtido em licenciatura curta, a não ser em casos excepcionais. Se não houver Colação de Grau na Instituição o certificado de conclusão do aluno deverá conter esta informação e a data de conclusão do curso (dia/mês/ano);

  3. Cópia do Diploma de Mestrado ou Certificado/Atestado, constando título, área do curso, dia, mês e ano de conclusão (somente para os ingressantes no Doutorado);

  4. 01 foto 3x4 – recente;

  5. Cópia da Certidão de Nascimento;

  6. Cópia do CPF (Cadastro de Pessoa Física);

  7. Cópia do RG (somente para brasileiros);

  8. Cópia do Título de Eleitor (somente para brasileiros);

  9. Cópia do Certificado de Reservista (somente para brasileiros do sexo masculino);

  10. Cópia de documento oficial brasileiro (CRNM/RNE), expedido com data anterior ao início das aulas (somente para estrangeiros);

  11. Cópia do passaporte (somente para estrangeiros).

 

Informações importantes

  • Se a conclusão do curso de graduação e/ou o CRNM/RNE for posterior ao início das aulas, a matrícula não poderá ser efetuada uma vez que não atenderá as exigências regimentais.

  • Alunos estrangeiros devem verificar a necessidade de visto para realização do CRNM/RNE e matrícula como estudante na pós-graduação da Universidade de São Paulo. Mais informações em http://www.portalconsular.itamaraty.gov.br/vistos-para-viajar-ao-brasil

  • Ingressantes contemplados com bolsa CAPES ou CNPq deverão providenciar, com urgência, abertura de conta corrente no Banco do Brasil e a inscrição no CPF. No caso de bolsa CNPq também é necessário cadastrar-se no currículo Lattes, o CNPq exige currículo Lattes atualizado do aluno e do orientador.

 

Recepção dos alunos ingressantes (as informações serão atualizadas posteriormente)

Tradicionalmente, um grupo de estudantes, com apoio da diretoria e das Comissões de Pós do IME, organizam um evento de boas-vindas para ingressantes. Neste são apresentadas as regras da pós da USP, do IME e específicas de cada programa, bem como espaços e atividades disponíveis destinados a pós-graduação. A Recepção ocorrerá no dia 03/03/20 às 13h30 na sala B5. Será oferecido um coffee break e você terá ótimas oportunidades para tirar dúvidas com os veteranos e veteranas e conhecer seus colegas. O objetivo dessa recepção é apresentar caminhos para que a sua experiência na pós-graduação no IME seja a mais enriquecedora possível. Mais informações acesse: www.ime.usp.br/~rpg.

 

Tradicionalmente, un grupo de estudiantes, con apoyo de la directoria y de las Comisiones de Posgrado del IME, organizan un evento de bienvenidas a los ingresantes, en este son presentadas las reglas de posgrado de la USP, del IME y las específicas de cada programa, así como los espacios y actividades disponibles destinadas al posgrado. La Recepción ocurrirá el 03/03/20 las 13h30 en la sala B05 del IME (bloco B). Será ofrecido un coffee break y ustedes tendrán excelentes oportunidades para sacar dudas con los veteranos y veteranas y conocer sus colegas. El objetivo de esta recepción es presentar caminos para que su experiencia en el posgrado en el IME sea la más rica possible. Más informaciones en: www.ime.usp.br/~rpg.  

 

Traditionally, a group of students, with the support from the board and the CPGs, organises a welcome event to prepare you for graduate school. In this event, you will be provided with some of the rules and regulations of USP, IME, and of your specific programme. You will also be informed of the spaces and activities available for postgraduate students. The welcome event will happen on 03/03/20 at 13h30 in room B05 (block B) at IME. There will be a coffee break with snacks and drinks, and you will have the opportunity to ask questions to your seniors and meet your colleagues. The purpose of the welcome event is to present ways to make your post graduation experience as enriching as possible. More information can be found at: www.ime.usp.br/~rpg.

 

*Alunos Estrangeiros

Maiores Informações sobre agendamento para a emissão da

Carteira de Registro Nacional Migratório - CRNM

https://www.ime.usp.br/crint/intercambios/programas/csf 

Secretaria do Serviço de Relações Internacionais

Secretária: Elisângela Pacheco

Telefone: + 55 11 3091-1848

E-mailEste endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

Local: sala B14, bloco B do IME-USP

Horário: 08h às 17h - segunda a sexta-feira

DataNívelTítuloAlunoOrientador
14/07/2020MestradoPosicionamento de funções virtuais de rede com eficiência energética utilizando abordagens metaheurísticasFatemeh Mosaiyebzadeh
Daniel Macedo Batista
29/06/2020MestradoUma Implementação Integrada de Modelos Probabilísticos GráficosRenato Cordeiro Ferreira
Alan Mitchell Durham
15/06/2020DoutoradoPadrões de Dificuldades Relacionadas com o Aprendizado de ProgramaçãoYorah Bosse
Marco Aurélio Gerosa
08/06/2020DoutoradoUm arcabouço para interação de dispositivo em uma rede de coisasPablo César Calcina Ccori
Flavio Soares Correa da Silva
29/04/2020MestradoDataflows de tempo real como abstração para ferramentas de processamento de Big DataFernanda de Camargo Magano
Kelly Rosa Braghetto
10/03/2020DoutoradoItens de teste colaborativo em 6 camadas: Perspectivas para avaliação formativa assistida por computador considerando níveis de compreensãoMarcelo de Moura Amorim
Ana Cristina Vieira de Melo
28/02/2020DoutoradoEstimadores de parâmetro consistentes para modelo de grafo aleatório e estudo sobre a relação entre a rede modo padrão do cérebro e o volume do corpo calosoSuzana de Siqueira Santos
André Fujita
27/02/2020DoutoradoIdentificação de causalidade de Granger em dados longitudinais com aplicações em neuroimagemMaciel Calebe Vidal
André Fujita
18/02/2020MestradoHeuristicas baseadas na Projeção de Medidas de Ocupação para Planejamento ProbabilísticosMilton Raúl Condori Fernández
Leliane Nunes de Barros
12/02/2020DoutoradoAnálise baseada em contexto do movimento de pedestres em terminais de transporteJoelma Cristina Costa e Silva
Flavio Soares Correa da Silva
05/02/2020MestradoProcessamento de fala para triagem de distúrbios fonológicosGuilherme Jun Yoshimura
Marcelo Gomes de Queiroz
28/01/2020Doutorado DiretoModularidade em Revisão de Crenças de bases DLRicardo Ferreira Guimarães
Renata Wassermann
27/01/2020DoutoradoRevisão de Crenças sem CompacidadeJandson Santos Ribeiro Santos
Renata Wassermann
19/12/2019MestradoIntegração Semântica das Bases de Dados do Sistema Único de Saúde: Um Estudo de Caso com o Município de São PauloDebora Lina Nascimento Ciriaco Pereira
Renata Wassermann
18/12/2019MestradoUma análise refinada de erros e da qualidade das imagens na classificação de plâncton com redes neurais convolucionaisMariane Valerio Gonzales
Roberto Hirata Junior
17/12/2019MestradoPersonalização da Experiência em Museus: Aplicação Real de um Sistema de RecomendaçãoFelipe Ferreira Laskoski
Alfredo Goldman Vel Lejbman
11/12/2019DoutoradoClassificação morfológica de neurônios baseada na hierarquia das árvores dendríticasEvelyn Pérez Cervantes
Roberto Marcondes Cesar Junior
09/12/2019MestradoEstudo sobre Redes Definidas por Software Aplicado em Jogos DigitaisLucas Dário
Daniel Macedo Batista
09/12/2019MestradoIntegração de Processamento Distribuído em uma Plataforma de Cidades InteligentesDylan Jefferson Mauricio Guimaraes Guedes
Fabio Kon
03/12/2019DoutoradoEngajamento em Projetos de Software Livre via Programas de Codificação no VerãoJefferson de Oliveira Silva
Marco Aurélio Gerosa
25/11/2019MestradoTranspiladores que geram código manutenível como uma abordagem livre de dependências para desenvolvimento de aplicativos multi-plataforma: um estudo de caso com SwiftVinícius Jorge Vendramini
Alfredo Goldman Vel Lejbman
14/11/2019MestradoEstratégias de alinhamento para consulta cantaroladaFábio Gorodscy
Marcelo Gomes de Queiroz
06/11/2019MestradoGAVEL: Um Mecanismo de Regulação Baseado em Sanções para Sistemas Multiagentes NormativosIgor Conrado Alves de Lima
Jaime Simão Sichman
06/11/2019MestradoMonitoramento do ambiente de execução de processos WED-FlowRodrigo Müller de Carvalho
João Eduardo Ferreira
03/10/2019MestradoUma Análise Compreensiva de Benchmark para Redes Deraining NetworksIago Breno Alves do Carmo Araujo
Roberto Marcondes Cesar Junior
06/09/2019DoutoradoUma abordagem "bag of features" para análise de atributos humanos em imagens de facesRafael Will Macêdo de Araujo
Roberto Hirata Junior
02/09/2019DoutoradoCobertura de grafos por caminhos não-triviaisRenzo Gonzalo Gómez Diaz
Yoshiko Wakabayashi
22/08/2019MestradoAdicionando Suporte Nativo a Paralelismo de Tarefas a um Sistema RISC-V Multi-core com Suporte a LinuxLucas Henrique Morais
Alfredo Goldman Vel Lejbman
21/08/2019DoutoradoAlocação de Recursos em uma Arquitetura Óptica Cloud-Fog RAN para o Suporte da Internet 5GRodrigo Izidoro Tinini
Daniel Macedo Batista
12/08/2019MestradoAvaliação de Escalabilidade e Desempenho da Camada de Transporte de Mensagens em Plataformas MultiagenteHenrique Donâncio Nunes Rodrigues
Anarosa Alves Franco Brandão
02/08/2019MestradoAlgoritmos Assíncronos de Iteração de Política para Processos de Decisão Markovianos com Probabilidades IntervalaresWilly Arthur Silva Reis
Karina Valdivia Delgado
11/07/2019DoutoradoVisão Computacional aplicada a imagens urbanas em nível de chão sem restriçõesÉric Keiji Tokuda
Roberto Marcondes Cesar Junior
11/07/2019MestradoCaminhos mínimos com fonte únicaMateus Barros Rodrigues
Carlos Eduardo Ferreira
17/06/2019DoutoradoUm modelo para a estimação da dívida técnica baseado em produtividadeJandisson Soares de Jesus
Ana Cristina Vieira de Melo
20/05/2019MestradoDetecção de rasuras em símbolos com aprendizado Bayesiano de programas (BPL)Raphael Davis de Oliveira Costa
Marcel Parolin Jackowski
13/05/2019MestradoAlgoritmos e limitantes para o número de independência em grafos de distânciaLetícia Henares Valentini
Fernando Mario de Oliveira Filho
03/05/2019MestradoComparativo de algoritmos de otimização em modelos de aprendizagem de máquina com foco em grandes massas de dadosRené Vieira Santin
Walter Figueiredo Mascarenhas
03/05/2019MestradoOnline, Convexa Online: Algoritmos, Aprendizado, e DualidadeVictor Sanches Portella
Marcel Kenji de Carli Silva
22/04/2019MestradoPredição de genes ab initio combinada com informações de alinhamentoBruno Tenório da Silveira Lopes
Alan Mitchell Durham
18/03/2019DoutoradoInterSCSimulator: Um Simulador de Cidades Inteligentes Escalável e de Código AbertoEduardo Felipe Zambom Santana
Fabio Kon
15/03/2019DoutoradoAbordagem eficiente baseada em grafo hierárquico em camadas para a segmentação de múltiplas regiõesLeissi Margarita Castaneda Leon
Paulo Andre Vechiatto de Miranda
07/03/2019MestradoExperimentação baseada em Simulação em Sistemas para Cidades InteligentesLucas Kanashiro Duarte
Fabio Kon
07/02/2019DoutoradoAnálise Semântica Neural Profunda: Traduzindo de Linguagem Natural para SPARQLFabiano Ferreira Luz
Marcelo Finger
05/02/2019MestradoUma visão sobre a próxima geração de abstrações de processos em sistemas operacionaisRodrigo Siqueira Jordão
Fabio Kon
08/01/2019MestradoEstrutura de dados persistentesYan Soares Couto
Cristina Gomes Fernandes
20/12/2018DoutoradoTransversais de grafosJuan Gabriel Gutierrez Alva
Cristina Gomes Fernandes
14/12/2018DoutoradoAlgoritmos exatos para problemas de spanner em grafosHugo Vinicius Vaz Braga
Yoshiko Wakabayashi
13/12/2018MestradoUma Nova Técnica de Calibração para Segmentação Semântica Baseada em GrafosMateus Riva
Roberto Marcondes Cesar Junior
12/12/2018MestradoMigração de redes tradicionais para SDNRenan Rodrigo Barbosa
Daniel Macedo Batista
06/12/2018DoutoradoEngajamento por meio de elementos de jogos em comunidades online de colaboração abertaAna Paula Oliveira Bertholdo
Marco Aurélio Gerosa
05/12/2018DoutoradoMétodo Beam Search Aplicado a Problemas de Programação da ProduçãoJosé Eurípedes Ferreira de Jesus Filho
Ernesto Julian Goldberg Birgin
29/11/2018MestradoUm Estudo Comparativo de Métodos de Segmentação de Documentos AntigosNury Yuleny Arosquipa Yanque
Roberto Hirata Junior
28/11/2018DoutoradoIdentificação de Causalidade em Genética e NeurociênciaAdèle Helena Ribeiro
André Fujita
14/11/2018DoutoradoDensidade Local em GrafosLuis Eduardo Zambrano Fernandez
Yoshiharu Kohayakawa
14/11/2018MestradoAprendizado Profundo, Aprendizado Ativo, Análise de Sentimento, Monte Carlo DropoutLucas Albuquerque Medeiros de Moura
Marcelo Finger
06/11/2018MestradoAlgoritmos Eficientes para o Problema do Orçamento Mínimo em Processos de Decisão Markovianos Sensíveis ao RiscoDaniel Augusto de Melo Moreira
Karina Valdivia Delgado
23/10/2018MestradoWED-SQL: uma linguagem declarativa intermediáriacom apoio transacional para a modelagem e implementação de Sistemas de Informação Cientes de Processos.Bruno Padilha
João Eduardo Ferreira
22/10/2018MestradoPlanejamento baseado em Verificação Simbólica de ModelosViviane Bonadia dos Santos
Leliane Nunes de Barros
03/10/2018MestradoAnálise da modernização de sistemas monolíticos legados para micro-serviços à luz da dívida técnica: um estudo de caso corporativoCaio Henrique Bos Loureiro
Ana Cristina Vieira de Melo
21/09/2018Doutorado DiretoAjuda do Humano em Planejamento Automatizado sob IncertezaIgnasi Andrés Franch
Leliane Nunes de Barros
31/08/2018MestradoSegmentação de pele humana usando regras de correlação baseadas em agrupamento dinâmico de coresRodrigo Augusto Dias Faria
Roberto Hirata Junior
24/08/2018MestradoIdentificação de sistema dinâmico em dados de estoque imobiliárioLuiz Paulo Medina de Lima
Junior Barrera
23/08/2018MestradoAnálise de desempenho do nsQUIC: um Módulo para Simulação do Protocolo QUICDiego de Araujo Martinez Camarinha
Daniel Macedo Batista
10/08/2018DoutoradoSegmentação de Objetos via Transformada Imagem-Floresta Orientada com Restrições de ConexidadeLucy Alsina Choque Mansilla
Paulo Andre Vechiatto de Miranda
10/08/2018DoutoradoSeleção de Modelos para o Aprendizado de Hipóteses BooleanasJoel Edu Sanchez Castro
Ronaldo Fumio Hashimoto
06/08/2018DoutoradoAlgoritmos eficientes para análisede campos aleatórios condicionais semi-markovianose sua aplicação em sequências genômicasÍgor Bonadio
Alan Mitchell Durham
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 Caregnato
Flavio Soares Correa da Silva
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 Martins
Marcelo Finger
05/07/2018MestradoResolvendo Vestibular Utilizando Recuperação de InformaçãoIgor Cataneo Silveira
Denis 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 Gonzalez
Alfredo 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 Ribeiro
Fabio Kon
20/06/2018MestradoModelos computacionais prognósticos de lesões traumáticas do plexo braquial em adultosLuciana de Melo e Abud
Kelly Rosa Braghetto
18/06/2018MestradoUma Plataforma Escalável de Código Aberto Baseada em Microsserviços para Cidades InteligentesArthur de Moura Del Esposte
Fabio Kon
08/06/2018MestradoGrafos e hipergrafos com cintura e número cromático grandesGiulia Satiko Maesaka
Yoshiharu Kohayakawa
25/04/2018DoutoradoTestes estatísticos semi paramétricos para discriminação de grafosGabriela Eleutério Soares
André Fujita
23/04/2018MestradoCidades inteligentes, visão computacional, vegetação urbana, Google Street ViewArtur André Almeida de Macedo Oliveira
Roberto Hirata Junior
20/04/2018DoutoradoIndependência parcial no problema da satisfazibilidade probabilísticaEduardo Menezes de Morais
Marcelo Finger
17/04/2018DoutoradoAvaliação de Localização de Defeitos Baseada em Espectro para Uso PráticoHigor Amario de Souza
Fabio Kon
16/04/2018MestradoUma análise comparativa de ambientes para Big Data: Apche Spark e HPATRafael Aquino de Carvalho
Alfredo Goldman Vel Lejbman
23/03/2018DoutoradoGerenciamento de Dívida Técnica no Contexto de Desenvolvimento deSoftware ÁgilGraziela Simone Tonin
Alfredo Goldman Vel Lejbman
19/02/2018MestradoComparação de algoritmos para o Problema dos K Menores CaminhosDiogo Haruki Kykuta
Carlos Eduardo Ferreira
15/02/2018MestradoTeoria de Ehrhart para fatores reais de dilataçãoTiago Royer
Sinai Robins
30/01/2018Doutorado DiretoEyeSwipe: Entrada de Texto Usando Gestos do OlharAndrew Toshiaki Nakayama Kurauchi
Carlos Hitoshi Morimoto
19/01/2018MestradoAnomalias na camada de apresentação de aplicativos androidSuelen Goularte Carvalho
Marco Aurélio Gerosa
18/12/2017MestradoModelagem de WED-flow TemporalRodrigo Alves Lima
João Eduardo Ferreira
14/12/2017MestradoAceleração de Registro Não-Rígido de Imagens Tomográficas utilizando GPUThiago de Gouveia Nunes
Marcel Parolin Jackowski
12/12/2017DoutoradoRepresentação e Quantificação de Redes Vasculares a Partir de Imagens de Angiografia TridimensionalMiguel Angel Galarreta Valverde
Marcel Parolin Jackowski
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 Condori
Paulo Andre Vechiatto de Miranda
11/12/2017MestradoMelhorando o ataque de reação contra o QC-MDPC McElieceThales Areco Bandiera Paiva
Routo Terada
08/12/2017MestradoAvaliação de Desempenho de Algoritmos de Estimação do Olhar para Interação com Computadores VestíveisFernando Omar Aluani
Carlos Hitoshi Morimoto
08/12/2017MestradoRedes Neurais Convolucionais Aplicadas ao Projeto de Operadores de ImagensAndré Vinícius Lopes
Roberto Hirata Junior
06/12/2017DoutoradoUm sistema de reconhecimento, busca aproximada, e alinhamento múltiplo de documentos históricosGustavo Enrique Salazar Torres
Alair Pereira do Lago
05/12/2017MestradoControle em Interfaces Cérebro-Computador de Baixo Custo para Aplicações MusicaisGuilherme Feulo do Espirito Santo
Marcelo Gomes de Queiroz
05/12/2017MestradoIntegraWeb: uma proposta de arquitetura baseada em mapeamentos semânticos e técnicas de mineração de dadosFelipe Lombardi Pierin
Jaime Simão Sichman
30/11/2017MestradoUtilização de Ontologias para Busca em Base de Dados de Acórdãos do STFRafael Brito de Oliveira
Renata Wassermann
27/11/2017MestradoAcesso a Dados Baseado em Ontologias com NoSQLBarbara Tieko Agena
Renata Wassermann
27/11/2017MestradoOntoMongo - Um Método de Acesso a Dados da Plataforma Lattes Baseado em Ontologias e Sistemas NoSQLThiago Henrique Dias Araujo
Renata Wassermann
24/11/2017MestradoModelo de transporte de luz direcional multipolo para a renderização de materiais translúcidosDiana Estefania Naranjo Pomalaya
Marcel Parolin Jackowski
23/11/2017MestradoSelfMakeup: um Sistema de Realidade Aumentada para Auto-Aplicação de Maquiagem VirtualAline de Fátima Soares Borges
Carlos Hitoshi Morimoto
22/11/2017MestradoMétodos de Busca em CoordenadaLuiz Gustavo de Moura dos Santos
Ernesto Julian Goldberg Birgin
10/11/2017MestradoIntegrando banco de dados relacional e orientado a grafos para otimizar consultas com alto grau de indireçãoMarino Hilario Catarino
João Eduardo Ferreira
07/11/2017MestradoAnálise de Componentes Principais em Data WarehousesRafael Germano Rossi
João Eduardo Ferreira
26/10/2017MestradoContagem incremental de padrões locais em árvores de componentes para cálculo de atributosDênnis José da Silva
Ronaldo Fumio Hashimoto
24/10/2017MestradoTSS e TSB: Novos descritores de forma baseados em Tensor ScaleAnderson Meirelles Freitas
Paulo Andre Vechiatto de Miranda
18/10/2017DoutoradoO problema de corte não-guilhotinado multiperíodo com sobras aproveitáveisOberlan Christo Romão
Ernesto 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 Otranto
Junior Barrera
06/09/2017MestradoMulti-label classification based on sum-product networksJulissa Giuliana Villanueva Llerena
Denis 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 Vasquez
Ernesto Julian Goldberg Birgin
23/08/2017MestradoEstudo de algoritmos de Otimização Estocástica aplicados em Aprendizado de MáquinaJessica Katherine de Sousa Fernandes
Ernesto Julian Goldberg Birgin
16/08/2017DoutoradoUso de Jogos Digitais no Desenvolvimento de Competências Curriculares da MatemáticaAdalberto Bosco Castro Pereira
Flavio Soares Correa da Silva
09/08/2017DoutoradoComplexidade em programação não linearJohn Lenon Cardoso Gardenghi
Ernesto Julian Goldberg Birgin
03/08/2017MestradoRevisão de Crenças no fragmento universal da CTL usando Verificação de Modelos LimitadaBruno Vercelino da Hora
Marcelo Finger
29/06/2017MestradoIFT-SLIC: Geração de Superpixels com Base em Agrupamento Iterativo Linear Simples e Transformada Imagem-FlorestaEduardo Barreto Alexandre
Paulo Andre Vechiatto de Miranda
13/06/2017DoutoradoO problema do conjunto dominante conexo de k-saltos: algoritmos de aproximação e resultados de inaproximabilidadeRafael Santos Coelho
Yoshiko Wakabayashi
12/06/2017Doutorado DiretoProjeto de W-operadores usando modelos lineares para imagens binárias e em níveis de cinzaIgor dos Santos Montagner
Roberto Hirata Junior
09/06/2017MestradoTree Bark framework: competences and mindset rearrangementsfor Digital and Technology Literacy in times of exponential rate of changesCamila Fernandez Achutti
Ana Cristina Vieira de Melo
02/06/2017DoutoradoReparação interativa de segmentações 3D com transformada imagem-floresta, supervoxels e robustez de sementesAnderson Carlos Moreira Tavares
Paulo Andre Vechiatto de Miranda
29/05/2017Doutorado DiretoRevelando o comportamento perdido em redes sociais: detectando reações e análises temporaisSamuel Martins Barbosa Neto
Roberto Marcondes Cesar Junior
26/05/2017DoutoradoIMPROV: Uma arquitetura para a execução confiável de composições de serviços dinâmicasFelipe Pontes Guimaraes
Daniel Macedo Batista
24/05/2017DoutoradoTecnologias móveis para interação musicalAntonio Deusany de Carvalho Junior
Marcelo Gomes de Queiroz
22/05/2017MestradoUm método para paralelização automática de workflows intensivos em dadosElaine Naomi Watanabe
Kelly Rosa Braghetto
16/05/2017DoutoradoAvaliação de diversão a partir de análise de imagens faciaisLuiz Carlos Vieira
Flavio Soares Correa da Silva
02/05/2017DoutoradoA Evolução dos Ecossistemas de Startups de Software: Um Modelo de MaturidadeDaniel Cukier
Fabio Kon
25/04/2017MestradoParalelização de inferência em redes credais utilizando computação distribuída para fatoração de matrizes esparsasRamon Fortes Pereira
Julio Michael Stern
17/04/2017MestradoAnálise preditiva de desempenho de workflows usando teoria do campo médioWaldir Edison Farfán Caro
Kelly Rosa Braghetto
30/03/2017DoutoradoColorações de grafos e subdivisões de digrafosPhablo Fernando Soares Moura
Yoshiko Wakabayashi
27/03/2017MestradoClassificação de imagens de plâncton usando múltiplas segmentaçõesMariela Atausinchi Fernandez
Nina Sumiko Tomita Hirata
17/03/2017DoutoradoAlocação dinâmica de recursos em sistemas elásticos baseada em modelos de escalabilidadePaulo Bittencourt Moura
Fabio Kon
15/03/2017MestradoIdentificação de alterações em conectividades funcionais córtico-cerebelares no transtorno do espectro autistaTaiane Coelho Ramos
André Fujita
15/03/2017MestradoProcessamento de imagens de holografia digital para o estudo de organismos planctônicosJefferson Serafim Ascaneo
Roberto Hirata Junior
13/03/2017MestradoUm método de tractografia global usando imagens de ressonância magnética ponderadas por difusãoRafael Reggiani Manzo
Marcel Parolin Jackowski
06/03/2017MestradoEngenharia de requisitos em startups de software: uma investigação qualitativaJorge Augusto Melegati Gonçalves
Alfredo Goldman Vel Lejbman
06/03/2017MestradoPlanejamento probabilístico com becos sem saídaThiago Dias Simão
Leliane Nunes de Barros
21/02/2017MestradoLimitantes de programação semidefinida para o número de contatoFabrício Caluza Machado
Fernando Mario de Oliveira Filho
16/02/2017DoutoradoSobre a conexão entre dependências estruturais e mudanças no softwareGustavo Ansaldi Oliva
Marco Aurélio Gerosa
14/02/2017Doutorado DiretoCausalidade de Granger entre grafos no domínio da frequênciaGustavo Pinto Vilela
André Fujita
24/01/2017MestradoVORPAL: Um middleware de trilhas sonoras em tempo real para jogos digitaisWilson Kazuo Mizutani
Fabio Kon
10/01/2017MestradoAprendizado de redes bayesianas para domínios grandesWalter Perez Urcia
Denis Deratani Mauá
19/12/2016MestradoProblema dos k-centros e variantesSamuel Plaça de Paula
Cristina Gomes Fernandes
16/12/2016DoutoradoEfeitos de áudio baseados em decomposição AM/FMAntonio Jose Homsi Goulart
Marcelo 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 Tisovec
Leliane Nunes de Barros
15/12/2016DoutoradoRastros de contatos e grafos dinâmicosMilson Silva Monteiro
Anatoli Iambartsev
15/12/2016DoutoradoRepresentação de informações não-estruturadas de laudos de exames radiológicos utilizando modelagem interativa de mapas conceituaisLucio Geronimo Valentin
Marcel Parolin Jackowski
15/12/2016DoutoradoUm ambiente de execução para offloading de código em plataformas heterogêneas modernasRogério Aparecido Gonçalves
Alfredo Goldman Vel Lejbman
14/12/2016MestradoProvisionamento dinâmico de recursos para execução de workflows científicos em nuvensRicardo Juliano Mesquita Silva Oda
Kelly Rosa Braghetto
09/12/2016DoutoradoAumentando a migração de instâncias não complacentes em sistemas de informação cientes de processosRafael Liberato Roberto
Joã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 Rodrigues
Kelly Rosa Braghetto
08/12/2016DoutoradoSistemas de informação cientes de processos, robustos e confiáveisAndré Luis Schwerz
João Eduardo Ferreira
07/12/2016MestradoMorfologia do trato vocal por imagens de ressonância magnética em tempo realRafael de Assunção Sampaio
Marcel Parolin Jackowski
01/12/2016DoutoradoUtilização de sensores de profundidade de baixo custo para prover qualidade de vida em idososAndré Luiz Satoshi Kawamoto
Flavio Soares Correa da Silva
09/11/2016MestradoProtocolos para jogos de SteinerLucas Mendes Marques Gonçalves
Jose 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 Okada
Alfredo Goldman Vel Lejbman
04/11/2016DoutoradoRastreador de olho de alto desempenho e baixo custo baseado em iluminação estroboscópica diferencialFrank Helbert Borsato
Carlos Hitoshi Morimoto
03/11/2016MestradoUma plataforma de exploração e análise de imagens médicas em nuvemIgor José Topcin
Marcel Parolin Jackowski
01/11/2016DoutoradoiMPaCTS: Um modelo de colaboração por pares para aprendizagemPatricia Alves Pereira
Leonidas de Oliveira Brandao
27/10/2016DoutoradoEmpacotamento e contagem em digrafos: cenários aleatórios e extremaisRoberto Freitas Parente
Cristiane Maria Sato
27/10/2016MestradoUtilização de ontologias para busca em um sistema colaborativo de imagens arquitetônicasMarisol Solis Yucra
Renata Wassermann
03/10/2016DoutoradoDesing de jogos baseado em componentesMarcos Silvano Almeida
Flavio 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 Campiolo
Daniel Macedo Batista
26/09/2016DoutoradoUma abordagem autonômica para mitigar ciberataques em redes de computadoresLuiz Arthur Feitosa dos Santos
Daniel Macedo Batista
16/09/2016DoutoradoEstratégias de resolução para o problema de job-shop flexívelWellington Donizeti Previero
Carlos 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 Zoghbi
Marcel Parolin Jackowski
06/09/2016MestradoIluminação baseada em séries temporais de imagens com aplicações em realidade mistaCaio de Freitas Valente
Marcel Parolin Jackowski
29/08/2016DoutoradoEconomia de energia e aumento de desempenho usando SSDs no Hadoop Distributed File SystemIvanilton Polato
Fabio Kon
26/08/2016DoutoradoCircuitos hamiltonianos em hipergrafos e densidades de subpermutaçõesAntonio Josefran de Oliveira Bastos
Guilherme Oliveira Mota
26/08/2016MestradoGerenciando dívida técnica: estado atual e novas propostas em métodos de medidaDiogo de Jesus Pina
Alfredo 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án
André Fujita
15/07/2016DoutoradoPapéis arquiteturais em métricas e maus cheiros de códigoMauricio Finavaro Aniche
Marco Aurélio Gerosa
29/06/2016MestradoPrincipais variáveis na ordenação de anúnciosAndré Henrique Serafim Casimiro
João Eduardo Ferreira
15/06/2016MestradoUtilização de mineração de especificação na identificação de fluxos inválidos em softwaresLuciano Kelvin da Silva
Ana 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ães
Junior 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 Budaruiche
Renata 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 Chaves
Alan Mitchell Durham
06/05/2016DoutoradoRevisão de crenças temporaisPaulo de Tarso Guerra Oliveira
Renata Wassermann
29/04/2016Doutorado DiretoReconhecimento online de expressões matemáticas manuscritas usando informação contextualFrank Dennis Julca Aguilar
Nina Sumiko Tomita Hirata
29/04/2016DoutoradoUso de propriedades visuais-interativas na avaliação da qualidade de dadosJoão Marcelo Borovina Josko
Joã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 Teixeira
Kelly Rosa Braghetto
18/03/2016DoutoradoPredição de mudanças conjuntas de artefatos de software com base em informações contextuaisIgor Scaliante Wiese
Marco Aurélio Gerosa
17/03/2016MestradoOntoBacen: uma ontologia para gestão de riscos do sistema financeiro brasileiroFilipe Ricardo Polizel
Jaime Simão Sichman
24/02/2016DoutoradoDecomposição de grafos em caminhosFábio Happ Botler
Yoshiko Wakabayashi
24/02/2016MestradoSegmentação de imagens pela transformada imagem-floresta com faixa de restrição geodésicaCaio de Moraes Braz
Paulo Andre Vechiatto de Miranda
23/02/2016MestradoPseudo-contrações em revisão de crençasYuri David Santos
Renata Wassermann
18/02/2016DoutoradoProblema da árvore geradora de comunicação ótima: variantes, complexidade e aproximaçãoSantiago Valdes Ravelo
Carlos Eduardo Ferreira
22/01/2016DoutoradoMedindo inconsistência em bases de conhecimento probabilísticoGlauber De Bona
Marcelo 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 Oliveira
Alair Pereira do Lago
11/12/2015MestradoProblemas computacionais em teoria topológica dos grafosRafael Veiga Pocai
Carlos 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 Prado
Leonidas de Oliveira Brandao
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 Bejar
Paulo Andre Vechiatto de Miranda
08/12/2015MestradoTécnicas determinísticas para acompanhamento musical automatizadoRoberto Piassi Passos Bodo
Marcelo Gomes de Queiroz
27/11/2015MestradoMelhorando o desempenho de agentes BDI Jason através de filtros de percepçãoMárcio Fernando Stabile Junior
Jaime Simão Sichman
26/11/2015MestradoO ecossistema de startups de software da cidade de São PauloMonna Cleide Fonsêca Rodrigues dos Santos
Fabio Kon
23/11/2015DoutoradoMecanismos para a melhoria do desempenho de sistemas RFID passivosRafael Perazzo Barbosa Mota
Daniel Macedo Batista
17/11/2015MestradoArcabouço probabilístico para análise de sequências de RNARafael Mathias Ferreira
Alan 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 Silva
Leonidas de Oliveira Brandao
11/11/2015MestradoExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritasDavi Souto Grangeiro
Nina Sumiko Tomita Hirata
06/11/2015DoutoradoEmpacotamento de elipsoidesRafael Durbano Lobato
Ernesto Julian Goldberg Birgin
29/10/2015DoutoradoGeração de propriedades sobre programas Java a partir de objetivos de testeSimone Hanazumi
Ana 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 Morimitsu
Roberto Marcondes Cesar Junior
14/10/2015MestradoDesambiguação de autoria em listas de discussão de projetos de software livreJosé Teodoro da Silva
Marco Aurélio Gerosa
16/09/2015DoutoradoClustering de trajetóriasMarcio Takashi Iura Oshiro
Cristina Gomes Fernandes
03/09/2015Doutorado DiretoContribuições para interação pelo olhar com teclados virtuaisAntonio Díaz Tula
Carlos Hitoshi Morimoto
24/08/2015MestradoComputação incremental e eficiente de sequências de árvores de componentesAlexandre Morimitsu
Ronaldo 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 Wu
Junior Barrera
06/08/2015DoutoradoÚltimos Levelings: Conceitos, propriedades, algoritmos e aplicações em processamento e análise de imagensWonder Alexandre Luz Alves
Ronaldo Fumio Hashimoto
06/08/2015MestradoPiloto baseado em aprendizagem por reforço para o simulador de corridas TORCSVinícius Kiwi Daros
Flavio Soares Correa da Silva
05/08/2015MestradoÁlgebras de flags e torneiosLeonardo Nagami Coregliano
Yoshiharu Kohayakawa
23/07/2015DoutoradoConstrução e seleção de janelas na combinação de W-operadoresMarta Magda Dornelles
Nina 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ça
Fabio Kon
23/06/2015MestradoSuperfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetoresAlexandre Martins Ferreira de Sousa
Carlos Hitoshi Morimoto
15/06/2015DoutoradoOrdenação evolutiva de anúncios em publicidade computacionalMarcos Eduardo Bolelli Broinizi
João Eduardo Ferreira
08/06/2015DoutoradoUm método escalável de reconhecimento de objetos com uso de informações estruturais de grafos-chaveEstephan Dazzi Wandekoken
Roberto Marcondes Cesar Junior
28/05/2015MestradoIntLAG: uma biblioteca para álgebra linear intervalar em processadores gráficosAdemar Marques Lacerda Filho
Walter Figueiredo Mascarenhas
19/05/2015MestradoMOOC de geometria: discussões e proposta de um modelo para a educação básicaMaria José Guimarães de Souza
Leonidas 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 Vianna
Leliane Nunes de Barros
12/05/2015MestradoConstrução e uso de ambiente visual para o ensino de programação introdutóriaRomenig da Silva Ribeiro
Leonidas de Oliveira Brandao
08/05/2015MestradoEscalonamento de tarefas em processadores de velocidade variável em múltiplas organizaçõesPedro Luis Furio Raphael
Daniel de Angelis Cordeiro
04/05/2015DoutoradoModelos de aprendizado supervisionado usando métodos kernel, conjuntos fuzzy e medidas de probabilidadeJorge Luis Guevara Díaz
Roberto Hirata Junior
04/05/2015MestradoQuantificação de angiogênese em imagens de membranas corioalantóicas de embrião de galinhaLeandro Ticlia de La Cruz
Nina 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 Santos
André Fujita
16/04/2015MestradoAlocação energeticamente eficiente de máquinas virtuaisAlbert Philippe Marcel de la Fuente Vigliotti
Daniel Macedo Batista
27/02/2015MestradoAnálise de redes de colaboração científica: uma abordagem baseada em grafos relacionais com atributosEvelyn Pérez Cervantes
Roberto Marcondes Cesar Junior
26/02/2015DoutoradoApoiando novatos a superarem barreiras para contribuir a projetos de software livreIgor Fábio Steinmacher
Marco Aurélio Gerosa
05/02/2015MestradoGerenciamento de recursos computacionais em plataformas de computação em nuvemCássio Alexandre Paixão Silva Alkmin
Daniel de Angelis Cordeiro
26/01/2015MestradoTeste de propriedades em torneiosHenrique Stagni
Yoshiharu Kohayakawa
23/01/2015MestradoAlgoritmos para união de círculos e polígonosLuís Fernando Schultz Xavier da Silveira
Cristina Gomes Fernandes
19/12/2014MestradoTransformações hit-or-miss para imagens tons de cinzaFelipe Breve Siola
Nina Sumiko Tomita Hirata
12/12/2014MestradoDocumentação e testes da biblioteca genérica de álgebra linear KleinRafael Freitas Schmid
Walter Figueiredo Mascarenhas
11/12/2014MestradoTipicalidade em lógicas de descriçãoJosé David Fernández Curado
Renata Wassermann
10/12/2014DoutoradoIntegração entre múltiplas ontologias: reúso e gerência de conflitosRaphael Mendes de Oliveira Cobe
Renata 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 Beraldi
Alair Pereira do Lago
01/12/2014MestradoEvoluindo o suporte à tolerância a falhas na macroprogramação de redes de sensores sem fioGuilherme de Maio Nogueira
Marco Aurélio Gerosa
28/11/2014MestradoProgramação dinâmica em tempo real para processos de decisão markovianos com probabilidades imprecisasDaniel Baptista Dias
Karina 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 Vidal
André Fujita
19/11/2014MestradoGGLL - Um gerador de analisadores sintáticos para gramáticas gráficas LL(1)Tasso Tirapani Silva Pinto
Valdemar Waingort Setzer
12/11/2014MestradoiQuiz - Ambiente de autoria para avaliação do aprendizado no moodleJosé Roberto Alves Rodrigues
Leonidas de Oliveira Brandao
30/10/2014Doutorado DiretoMudanças em problemas de planejamento sem soluçãoMaria Viviane de Menezes
Leliane Nunes de Barros
22/10/2014MestradoProposta de arquitetura para federações de nuvens computacionais acadêmicasGabriel Araujo von Winckler
Marco Dimas Gubitoso
08/10/2014DoutoradoRedução no esforço de interação em segmentação de imagens digitais através de aprendizagem computacionalBruno Klava
Nina Sumiko Tomita Hirata
09/09/2014MestradoEspelho virtual interativo para simulação de maquiagemFilipe Morgado Simões de Campos
Carlos Hitoshi Morimoto
28/08/2014MestradoEmpacotamento de árvores em grafos completosRenzo Gonzalo Gómez Diaz
Yoshiko Wakabayashi
25/08/2014MestradoUm estudo empírico sobre classificação de símbolos matemáticos manuscritosMarcelo Valentim de Oliveira
Nina Sumiko Tomita Hirata
14/08/2014DoutoradoDiretrizes metodológicas e validação estatística de dados para a construção de data warehousesPedro Losco Takecian
João Eduardo Ferreira
11/07/2014MestradoErdos-Ko-Rado em famílias aleatóriasMarcelo Matheus Gauy
Yoshiharu Kohayakawa
30/06/2014MestradoSeleção de serviços web em coreografiasPatricia Araujo de Oliveira
Daniel Macedo Batista
09/06/2014MestradoTeste e verificação formal do comportamento excepcional de programas JavaAlexandre Locci Martins
Ana 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 Ribeiro
Roberto Hirata Junior
30/05/2014MestradoCaminhos mais longos em grafosSusanna Figueiredo de Rezende
Yoshiko Wakabayashi
26/05/2014MestradoImplantação automatizada de composições de serviços web de grande escalaLeonardo Alexandre Ferreira Leite
Marco Aurélio Gerosa
21/05/2014MestradoiRepositório - repositório interativo de conteúdos digitais para cursos baseados na InternetMauricio Garcia Franco do Nascimento
Leonidas 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 Francesquini
Alfredo Goldman Vel Lejbman
08/05/2014MestradoPares Ramsey infinitosPaulo Victor Teixeira Eufrasio
Yoshiharu Kohayakawa
08/05/2014MestradoUm processo para modelagem e aplicação de técnicas computacionais para detecção de fraudes em transações eletrônicasGabriel Preti Santiago
Roberto Hirata Junior
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ção
Marcel Parolin Jackowski
16/04/2014DoutoradoAbdução clássica e abdução probabilística: a busca pela explicação de dados reaisAlexandre Matos Arruda
Marcelo 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 Gardenghi
Ernesto 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 Resina
Renata Wassermann
04/04/2014MestradoVisão cumputacional para o monitoramento contínuo de plânctonDamian Janusz Matuszewski
Roberto Marcondes Cesar Junior
02/04/2014MestradoMecanismos para consolidação de servidoresMax Rosan dos Santos Júnior
Daniel 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 Mansilla
Paulo Andre Vechiatto de Miranda
14/02/2014Doutorado DiretoProblemas de alocação e precificação de itensRafael Crivellari Saliba Schouery
Cristina Gomes Fernandes
14/02/2014DoutoradoGerenciamento de múltiplas submissões em sistemas paralelos: a abordagem do escalonamento equitativoVinicius Gama Pinheiro
Alfredo Goldman Vel Lejbman
11/02/2014DoutoradoAnálise de formas usando wavelets em grafosJorge de Jesus Gomes Leandro
Roberto Marcondes Cesar Junior
23/01/2014MestradoUma proposta de protocolo token ring sem fioAdroaldo Lazouriano Moreira Borges
Marco Dimas Gubitoso
18/12/2013DoutoradoAlgoritmos para junções em dígrafos acíclicos e uma aplicação na AntropologiaÁlvaro Junior Pereira Franco
Carlos Eduardo Ferreira
17/12/2013DoutoradoMedusa: um ambiente musical distribuídoFlávio Luiz Schiavoni
Marcelo Gomes de Queiroz
17/12/2013MestradoPredição de tags usando linked data: um estudo de caso no banco de dados ArquigrafiaRicardo Augusto Teixeira de Souza
Leliane 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 Lacerda
Leliane Nunes de Barros
09/12/2013MestradoGrafos aleatórios exponenciaisTássio Naia dos Santos
Yoshiharu Kohayakawa
09/12/2013MestradoSoluções eficientes para processos de decisão markovianos baseadas em alcançabilidade e bissimulações estocásticasFelipe Martins dos Santos
Leliane Nunes de Barros
26/11/2013MestradoAnálise de desempenho de interfaces de rede virtualizadas com NapiEduardo Hideo Kuroda
Daniel 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çalves
Roberto Hirata Junior
22/11/2013MestradoPATO: um ambiente integrado com interface gráfica para a curadoria de dados de sequências biológicasLiliane Santana Oliveira Kashiwabara
Alan Mitchell Durham
06/11/2013MestradoExtração e consulta de informações do currículo lattes baseada em ontologiasEduardo Ferreira Galego
Renata Wassermann
04/11/2013MestradoFerramentas computacionais para a síntese de imagens de difusão por ressonância magnéticaRenato Callado Borges
Marcel Parolin Jackowski
04/11/2013MestradoUm método para a implementação de regras de negócio à partir da semântica SBVRJandisson Soares de Jesus
Ana Cristina Vieira de Melo
31/10/2013MestradoAutenticação e comunicação segura em dispositivos móveis de poder computacional restritoRafael Will Macêdo de Araujo
Routo Terada
31/10/2013MestradoConsulta a ontologias em língua portuguesa através do português controladoFabiano Ferreira Luz
Renata Wassermann
30/10/2013MestradoCifra multicanal para maior segurança em redes TCP /IPSylvio Ximenez de Azevedo Neto
Routo Terada
21/10/2013MestradoProcessamento de áudio em tempo real em plataformas computacionais de alta disponibilidade e baixo custoAndré Jucovsky Bianchi
Marcelo 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 Leal
Marco Dimas Gubitoso
02/10/2013MestradoExtração de informações de narrativas clínicasMichel Oleynik
Marcelo Finger
23/09/2013MestradoReconstrução da chave secreta do RSA multi-primoReynaldo Caceres Villena
Routo Terada
23/09/2013MestradoSoftware para prática de regência coralCaio Cesar Moreira
Ronaldo Fumio Hashimoto
13/09/2013MestradoDinâmica de redes booleanas limiarizadas utilizando programação em GPUWilliam Lira Ferreira
Ronaldo Fumio Hashimoto
30/08/2013DoutoradoDois resultados em combinatória contemporâneaGuilherme Oliveira Mota
Yoshiharu Kohayakawa
27/08/2013MestradoProposta de aprimoramento para o protocolo de assinatura digital QuartzEwerton Rodrigues Andrade
Routo Terada
07/08/2013MestradoKalibro: interpretação de métricas de código-fonteCarlos Morais Piroupo
Fabio Kon
07/08/2013MestradoRecoloração convexa de grafos: algoritmos e poliedrosPhablo Fernando Soares Moura
Yoshiko Wakabayashi
10/07/2013MestradoAutômatos sincronizados e a Conjectura de CernýLeticia Gindri
Arnaldo 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 Moreira
Anatoli Iambartsev
12/06/2013MestradoUma abordagem transacional para o tratamento de exceções em processos de negócioPedro Paulo de Souza Bento da Silva
João Eduardo Ferreira
06/06/2013MestradoMétodo beam search aplicado ao problema de escalonamento de tarefas flexívelJosé Eurípedes Ferreira de Jesus Filho
Ernesto Julian Goldberg Birgin
27/05/2013MestradoPerformances musicais distribuídas através de Internet residencialMarcio Masaki Tomiyoshi
Marcelo Gomes de Queiroz
21/05/2013DoutoradoConversão de voz inter-linguísticaAnderson Fraiha Machado
Marcelo Gomes de Queiroz
20/05/2013DoutoradoMonitoramento de métricas de código-fonte em projetos de software livrePaulo Roberto Miranda Meirelles
Fabio Kon
09/05/2013DoutoradoProdutividade de times ágeis: uma avaliação experimental de fatores e processos de monitoramentoClaudia de Oliveira Melo
Fabio Kon
02/05/2013MestradoAudioLazy: processamento digital de sinais expressivo e em tempo realDanilo de Jesus da Silva Bellini
Marcelo Gomes de Queiroz
26/04/2013MestradoSimulações financeiras em GPUThársis Tuani Pinto Souza
Walter Figueiredo Mascarenhas
03/04/2013MestradoPlanejamento probabilístico usando programação dinâmica assíncrona e fatoradaMijail Gamarra Holguin
Leliane Nunes de Barros
02/04/2013MestradoVisualização de tags para explicar e filtrar recomendações de músicasJuliana Sato Yamashita
Flavio Soares Correa da Silva
28/03/2013MestradoImplementação do arcabouço WED-flow para controle de processos transacionaisMarcela Ortega Garcia
João Eduardo Ferreira
22/03/2013MestradoDetecção de violações de SLA em coreografias de serviços WebVictoriano Alfonso Phocco Diaz
Daniel Macedo Batista
21/03/2013MestradoAnálise empírica de algoritmos de revisão sobre bases de crençasRenato Urquiza Lundberg
Renata Wassermann
21/03/2013MestradoDesempenho de sistemas com dados georeplicados com consistência em momento indeterminado e na linha do tempoMauricio José de Oliveira de Diana
Marco Aurélio Gerosa
19/03/2013MestradoComponentes para interoperabilidade entre redes sociais na Web 2.0Carlos Leonardo Herrera Muñoz
Marco Aurélio Gerosa
19/03/2013MestradoDesenvolvimento de um arcabouço probabilístico para implementação de campos aleatórios condicionaisÍgor Bonadio
Alan Mitchell Durham
15/03/2013MestradoDecomposição sequencial a partir da sup-representação de W-operadoresJoel Edu Sanchez Castro
Ronaldo Fumio Hashimoto
15/03/2013MestradoExtração de informações de desempenho em GPUs NVIDIAPaulo Carlos Ferreira dos Santos
Marco Dimas Gubitoso
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 Harano
Ronaldo Fumio Hashimoto
08/03/2013MestradoCodificação e compressão iterativa de sinais biomédicosLuiz Fernando Oliveira Corte Real
Marcel Parolin Jackowski
06/03/2013MestradoAprimorando o corretor gramatical CoGrOOWilliam Daniel Colen de Moura Silva
Marcelo Finger
01/03/2013DoutoradoDescritor de bordas e quantização espacial flexível aplicados a categorização de objetosArnaldo Câmara Lara
Roberto 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 Santos
Alfredo Goldman Vel Lejbman
04/02/2013MestradoPlanejamento probabilístico como busca num espaço de transição de estadosDaniel Javier Casani Delgado
Leliane Nunes de Barros
23/01/2013MestradoRotulação de símbolos matemáticos manuscritos via casamento de expressõesWillian Yukio Honda
Nina Sumiko Tomita Hirata
14/12/2012DoutoradoEstimação de movimento a partir de imagens RGBD usando homomorfismo entre grafosDavid da Silva Pires
Roberto Marcondes Cesar Junior
14/12/2012MestradoAlgoritmos para o problema da árvore de Steiner com coleta de prêmiosCamila Mari Matsubara
Jose Coelho de Pina Junior
14/12/2012MestradoProtocolos de interação baseados em conhecimento: implementação da plataforma JamSessionDiego Mira David
Flavio Soares Correa da Silva
10/12/2012MestradoAnswer set programming probabilísticoEduardo Menezes de Morais
Marcelo Finger
07/12/2012DoutoradoUm modelo para interoperabilidade entre instituições heterogêneasCláudia Josimar Abrão de Araújo
Flavio Soares Correa da Silva
07/12/2012MestradoO problema do multicorte dirigido mínimoJuan Gabriel Gutierrez Alva
Paulo Feofiloff
03/12/2012MestradoCálculo de reputação em redes sociais a partir da colaboração entre os participantesEdith Zaida Sonco Mamani
Marco Aurélio Gerosa
03/12/2012MestradoProtocolo de identificação baseado em polinômios multivariáveis quadráticosFabio de Salles Monteiro
Routo Terada
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 Reis
Junior Barrera
26/11/2012MestradoMódulo de consultas distribuídas do InfinispanIsrael Danilo Lacerra
Francisco Carlos da Rocha Reverbel
22/11/2012DoutoradoUm arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatóriasMário Leston Rey
Yoshiko Wakabayashi
22/11/2012DoutoradoUm modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicosCrhistian Alberto Noriega Guerra
Flavio Soares Correa da Silva
14/11/2012MestradoCaminhos mínimos com recursos limitadosJoel Silva Uchoa
Carlos Eduardo Ferreira
12/11/2012MestradoJogos markovianos alternados sob incertezaFábio de Oliveira Franco
Leliane Nunes de Barros
09/11/2012MestradoGeração de redes vasculares sintéticas tridimensionais utilizando sistemas de Lindenmayer estocásticos e parametrizadosMiguel Angel Galarreta Valverde
Marcel Parolin Jackowski
29/10/2012MestradoDetecção e rastreamento de lábios em dispositivos móveisGiseli de Araujo Ramos
Roberto 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 Leon
Roberto Hirata Junior
19/10/2012MestradoArquigrafia Brasil: um ambiente colaborativo baseado em componentes para o compartilhamento de imagens de arquiteturaStraus Michalsky Martins
Marco Aurélio Gerosa
17/10/2012MestradoInteroperabilidade de documentos digitais usando ontologiasErika Guetti Suca
Flavio Soares Correa da Silva
08/10/2012MestradoUso de informação linguística e análise de conceitos formais no aprendizado de ontologiasCarlos Eduardo Atencio Torres
Renata Wassermann
02/10/2012DoutoradoEmpacotamento de bicliques em grafos bipartidosAlexandre da Silva Freire
Carlos Eduardo Ferreira
02/10/2012MestradoPAWEB - Uma plataforma para desenvolvimento de aplicativos web utilizando o modelo de atoresBruno Takahashi Carvalhas de Oliveira
Francisco Carlos da Rocha Reverbel
27/09/2012MestradoLeilões para publicidade na InternetAtol Fortin de Oliveira
Cristina Gomes Fernandes
20/09/2012DoutoradoProblemas de corte com sobras aproveitáveis e eliminação de simetriasRicardo Luiz de Andrade Abrantes
Ernesto Julian Goldberg Birgin
19/09/2012MestradoAplicação do método do gradiente espectral projetado ao problema de amostragem compressivaBoris Chullo Llave
Ernesto Julian Goldberg Birgin
18/09/2012MestradoDesenvolvimento de um aplicativo de notação musical em brailleArthur Piza Mosterio Tofani
Marcelo Gomes de Queiroz
14/09/2012MestradoRehearsal: um arcabouço para teste automatizado de coreografias de serviços webFelipe Meneses Besson
Fabio Kon
11/09/2012MestradoPlanejamento instrucional automatizado em aprendizagem colaborativa com suporte computacional utilizando planejamento hierárquicoGeiser Chalco Challco
Marco Aurélio Gerosa
03/09/2012MestradoRaciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicaisSantiago David Davila Benavides
Marcelo Gomes de Queiroz
30/08/2012DoutoradoDetecção e extração de redes vasculares usando transformada de HoughMaysa Malfiza Garcia de Macedo
Marcel 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 Leite
Roberto Hirata Junior
30/07/2012MestradoDetecção de códigos QR em imagens com enquadramento arbitrárioLuiz Felipe Franco Belussi
Nina 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 Zaccara
Marcelo Finger
06/07/2012MestradoUma linha de produto de software para módulos de aprendizagem interativaDanilo Leite Dalmon
Leonidas de Oliveira Brandao
03/07/2012MestradoAlgoritmos evolutivos aplicados ao classificador baseado em segmentos de retaRosario Alejandra Medina Rodríguez
Ronaldo Fumio Hashimoto
05/06/2012DoutoradoModelagem e reconhecimento de objetos estruturados: uma abordagem estatístico-estruturalAna Beatriz Vicentim Graciano
Roberto Marcondes Cesar Junior
29/05/2012MestradoTratamento de eventos aplicado à composição de serviços webMauricio Chui Rodrigues
João Eduardo Ferreira
24/05/2012DoutoradoAlinhamentos e comparação de sequênciasFrancisco Eloi Soares de Araujo
Jose 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 Silva
Yoshiko Wakabayashi
11/05/2012MestradoJogos de SteinerCésar Gamboa Machado
Jose Coelho de Pina Junior
11/05/2012MestradoOtimização em meteorologia: cálculo de perturbações condicionais não-lineares ótimasJessé Américo Gomes de Lima
Ernesto Julian Goldberg Birgin
09/05/2012MestradoMétodos estocásticos de otimização global aplicados ao problema de empacotamento de círculos em elipsesLuis Henrique Bustamante de Morais
Ernesto Julian Goldberg Birgin
08/05/2012MestradoUso do padrão AMQP para transporte de mensagens entre atores remotosThadeu de Russo e Carmo
Francisco 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 Martini
Carlos Hitoshi Morimoto
27/04/2012DoutoradoDetecção de objetos por reconhecimento de grafos-chaveMarcelo Hashimoto
Roberto Marcondes Cesar Junior
25/04/2012MestradoComo a prática de TDD influencia o projeto de classes em sistemas orientados a objetosMauricio Finavaro Aniche
Marco Aurélio Gerosa
25/04/2012MestradoDetecção de ovos de S. mansoni a partir da detecção de seus contornosEdwin Delgado Huaynalaya
Nina Sumiko Tomita Hirata
13/04/2012MestradoAssinatura digital Rabin-Williams - sem randomização e com prova eficiente de segurançaBernardo Caraponale Magri
Routo Terada
04/04/2012MestradoRepresentações retangulares de grafos planaresGuilherme Puglia Assunção
Carlos Eduardo Ferreira
03/04/2012MestradoInterações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restriçõesTales Pinheiro de Andrade
Ronaldo Fumio Hashimoto
22/03/2012MestradoAplicação de práticas de usabilidade ágil em software livreAna Paula Oliveira Bertholdo
Fabio Kon
29/02/2012MestradoGrafos evolutivos na modelagem e análise de redes dinâmicasPaulo Henrique Floriano
Alfredo Goldman Vel Lejbman
28/02/2012MestradoAnálise da distribuição do número de operações de resolvedores SATPoliana Magalhães Reis
Marcelo Finger
24/02/2012MestradoReconhecimento de entidades mencionadas em português utilizando aprendizado de máquinaWesley Seidel Carvalho
Marcelo Finger
17/02/2012DoutoradoInferência de redes de regulação gênica utilizando o paradigma de crescimento de sementesCarlos Henrique Aguena Higa
Ronaldo Fumio Hashimoto
10/02/2012DoutoradoMYOP/ToPS/SGEval: Um ambiente computacional para estudo sistemático de predição de genesAndré Yoshiaki Kashiwabara
Alan 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 Oliveira
Alfredo Goldman Vel Lejbman
19/12/2011MestradoMetadados para reconciliação de transações em bancos de dados autônomosGustavo Luiz Duarte
João Eduardo Ferreira
16/12/2011DoutoradoCriptografia de chave pública sem certificadoDenise Hideko Goya
Routo Terada
16/12/2011MestradoSegurança do bit menos significativo no RSA e em curvas elípticasDionathan Nakamura
Routo Terada
15/12/2011MestradoAproximação de métricas finitas por métricas arbóreas e aplicaçõesMurilo Santos de Lima
Cristina Gomes Fernandes
13/12/2011MestradoQuantidade de orientações de grafos livres de circuitos direcionados cíclicosRoberto Freitas Parente
Yoshiharu Kohayakawa
12/12/2011MestradoAlgoritmos para o problema da cobertura por sensoresRafael da Ponte Barbosa
Yoshiko Wakabayashi
02/12/2011MestradoReticulados de conceitosAlexandre Luiz Junqueira Hadura Albano
Alair Pereira do Lago
28/11/2011Doutorado DiretoVeri ficação de sistemas multi-agentes comportamentalistas através de simulações formalmente guiadasPaulo Salem da Silva
Ana Cristina Vieira de Melo
28/11/2011MestradoUma infraestrutura para aplicações distribuídas baseadas em atores ScalaThiago Henrique Coraini
Francisco Carlos da Rocha Reverbel
16/11/2011DoutoradoRecoloração convexa de caminhosKarla Roberta Pereira Sampaio Lima
Yoshiko Wakabayashi
07/11/2011MestradoUm sistema para implementação e uso de bancos de dados pela internet sem programaçãoEdgard Pevidor de Miranda
Valdemar 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 Katayama
Alfredo 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 Coutinho
Carlos Hitoshi Morimoto
30/09/2011MestradoAppRecommender: um recomendador de aplicativos GNU/LinuxTássia Camões Araujo
Arnaldo Mandel
22/09/2011MestradoIdentificação e visualização de dependências em sistemas de software orientados a objetosGustavo Ansaldi Oliva
Marco Aurélio Gerosa
22/09/2011MestradoProtocolos de acordo de chaves baseados em emparelhamentos, para dispositivos móveisCleber Morio Okida
Routo Terada
21/09/2011DoutoradoTécnicas de modelagem para a análise de desempenho de processos de negócioKelly Rosa Braghetto
João Eduardo Ferreira
20/09/2011MestradoUm estudo do uso eficiente de programas em placas gráficasPatricia Akemi Ikeda
Alfredo Goldman Vel Lejbman
29/08/2011MestradoUma abordagem estrutural para detecção de objetos e localização em ambientes internos por dispositivos móveisHenrique Morimitsu
Roberto Marcondes Cesar Junior
22/08/2011MestradoEstudo comparativo de técnicas de escalonamento de tarefas dependentes para grades computacionaisAlvaro Henry Mamani Aliaga
Alfredo Goldman Vel Lejbman
12/08/2011MestradoUm estudo sistemático de licenças de software livreVanessa Cristina Sabino
Fabio Kon
04/08/2011MestradoMétricas de avaliação de alinhamento de ontologiasEsdras Lins Bispo Junior
Renata Wassermann
04/07/2011MestradoPadrões de testes automatizadosPaulo Cheque Bernardo
Fabio Kon
04/07/2011MestradoSegmentação de imagens similares por casamento de grafos e detecção de comunidadesCharles Iury Oliveira Martins
Roberto Marcondes Cesar Junior
20/06/2011MestradoMétodos de segmentação musical baseados em descritores sonorosAndré Salim Pires
Marcelo Gomes de Queiroz
17/06/2011MestradoReconhecimento de fala para navegação em aplicativos móveis para português brasileiroEdwin Miguel Triana Gomez
Fabio 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 Ccori
Marco Dimas Gubitoso
13/06/2011DoutoradoUm arcabouço para construção de sistemas multiagente musicaisLeandro Ferrari Thomaz
Marcelo Gomes de Queiroz
13/06/2011MestradoSegmentação de lesões cerebrais em imagens de ressonância magnética utilizando modelos deformáveisJihan Mohamad Zoghbi
Marcel Parolin Jackowski
09/06/2011MestradoMD6 e a competição para escolha do SHA-3Valdson Silva Cleto
Routo Terada
03/06/2011MestradoValidação de padrões de web services transacionaisPaulo Roberto de Araujo França Nunes
Ana Cristina Vieira de Melo
02/06/2011DoutoradoReplicação assíncrona em bancos de dados evolutivosHelves Humberto Domingues
Fabio Kon
23/05/2011MestradoSegmentação de imagens SPECT/Gated-SPECT do miocárdio e geração de um mapa polarLuis Roberto Pereira de Paula
Roberto Hirata Junior
20/05/2011MestradoSatisfazibilidade probabilísticaGlauber De Bona
Marcelo Finger
16/05/2011MestradoAbordagens para o ensino de práticas de programação extremaMariana Vivian Bravo
Alfredo Goldman Vel Lejbman
11/05/2011MestradoAnimação de faces tridimensionais baseada em registro estruturalAndréa Britto Mattos
Roberto Marcondes Cesar Junior
28/04/2011MestradoLocalização em dispositivos móveis utilizando sinais de redes Wi-FiRodrigo Bernardo Pimentel
Roberto Hirata Junior
20/04/2011MestradoAnálise e disposição de recursos de rede em grades computacionaisAlex Pires de Camargo
Alfredo Goldman Vel Lejbman
24/03/2011MestradoMétodos ágeis e software livre: um estudo da relação entre estas duas comunidadesHugo Corbucci
Alfredo Goldman Vel Lejbman
24/03/2011MestradoTeoria, métodos e aplicações de otimização multiobjetivoPhillipe Rodrigues Sampaio
Ernesto Julian Goldberg Birgin
18/03/2011MestradoPlanejamento de produção através do dimensionamento de lotes de itens únicosPedro Henrique Simões de Oliveira
Carlos Eduardo Ferreira
10/02/2011MestradoVolPFix: Uma ferramenta para análise e detecção de falhas em sistemas de telefonia IPPaulo César Siécola
Fabio Kon
08/02/2011MestradoÁrvores de Ukkonen: caracterização combinatória e aplicaçõesGustavo Akio Tominaga Sacomoto
Alair Pereira do Lago
08/02/2011MestradoBorboleta: Um sistema de telessaúde para auxílio à atenção primária domiciliarRafael José Peres Correia
Fabio Kon
28/01/2011MestradoiTarefa: componente Moodle para incorporar módulos de aprendizagem interativa em cursos WebPatricia Alves Pereira
Leonidas de Oliveira Brandao
17/12/2010MestradoGRMediator: uma biblioteca modular para reconhecimento de gestosFernando Bertolli Petroni
Flavio Soares Correa da Silva
16/12/2010MestradoRevisão de modelos CTLPaulo de Tarso Guerra Oliveira
Renata Wassermann
14/12/2010DoutoradoReconstrução de faces 3D através de espaços de componentes principaisJesús Pascual Mena Chalco
Roberto Marcondes Cesar Junior
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 Oliveira
Carlos Eduardo Ferreira
10/12/2010MestradoLocalização de textos em imagens de cenas por meio de operadores morfológicosWonder Alexandre Luz Alves
Ronaldo Fumio Hashimoto
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 Oliveira
Marco Aurélio Gerosa
10/11/2010MestradoConjuntos dominantes em grafosWanderley Guimarães da Silva
Yoshiko Wakabayashi
09/11/2010MestradoiVProg: um sistema visual para ensino/aprendizagem de programação via WebReginaldo Rideaki Kamiya
Leonidas 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 Ribeiro
Renata Wassermann
15/09/2010MestradoUma implementação paralela do AIRS em ScalaFilipe Ferraz Salgado
Francisco 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 Lopes
Siang Wun Song
01/09/2010MestradoAmbiente integrado para verificação e teste da coordenação de componentes tolerantes a falhasSimone Hanazumi
Ana Cristina Vieira de Melo
29/07/2010MestradoRastreamento de objetos utilizando reconhecimento estrutural de padrões: uma abordagem com modelo estáticoThiago Meireles Paixão
Roberto Hirata Junior
26/07/2010MestradoO problema da subsequência comum máxima sem repetiçõesChristian Tjandraatmadja
Carlos Eduardo Ferreira
07/07/2010DoutoradoDuas abordagens para casamento de padrões de pontos usando relações espaciais e casamento entre grafosAlexandre Noma
Roberto Marcondes Cesar Junior
25/06/2010DoutoradoConstrução de atributos binários baseada em análise de interações Carlos da Silva dos Santos
Roberto 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 Ientile
Ernesto Julian Goldberg Birgin
11/06/2010Mestradok-árvores de custo mínimoMarcio Takashi Iura Oshiro
Jose Coelho de Pina Junior
09/06/2010MestradoArquitetura e implementação de um sistema distribuído de recuperação de informaçãoLuiz Daniel Creão Augusto
Alair Pereira do Lago
02/06/2010MestradoTolerância a falhas no armazenamento distribuído de dados em grades oportunistasPablo Francisco Laura Huaman
Raphael Yokoingawa de Camargo
02/06/2010MestradoUma arquitetura para agentes inteligentes com personalidade e emoçãoAry Fagundes Bressane Neto
Flavio Soares Correa da Silva
28/05/2010DoutoradoModelagem de contextos para aprendizado automático aplicado à análise morfossintáticaFábio Natanael Kepler
Marcelo Finger
28/05/2010MestradoEmparelhamentos hiperelípticos em criptografiaDaniel Noel Ribeiro
Routo Terada
12/05/2010MestradoIdentificação de fraude contra sistemas de reputação em mercados eletrônicosRafael Plana Maranzato
Alair Pereira do Lago
07/05/2010MestradoBusca indexada de padrões em textos comprimidosLennon de Almeida Machado
Alair 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 Pinheiro
Leliane Nunes de Barros
29/04/2010MestradoAuralização de fontes sonoras móveis usando HRTFsGustavo Henrique Montesião de Sousa
Marcelo Gomes de Queiroz
12/04/2010MestradoReconhecimento de gestos tridimensionaisSilvia Esparrachiari Ghirotti
Carlos Hitoshi Morimoto
06/04/2010MestradoRedução de dimensionalidade em modelos de bancos de dados multidimensionaisElisa Pereira Kameda
João Eduardo Ferreira
29/03/2010MestradoTransformando dados em informação: um estudo através de exemplosRafael de Holanda Barroso
Alfredo Goldman Vel Lejbman
15/03/2010DoutoradoSegmentação e reconhecimento de gestos em tempo real com câmeras e aceleração gráficaDaniel Oliveira Dantas
Junior 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 Silva
Carlos Hitoshi Morimoto
19/01/2010DoutoradoProcessos de decisão Markovianos fatorados com probabilidades imprecisasKarina Valdivia Delgado
Leliane Nunes de Barros
19/11/2009MestradoAcordo de chaves criptográficas hierárquico e sem certificadoVilc Queupe Rufino
Routo Terada
13/11/2009MestradoUm middleware para processamento bioestatístico em grades computacionaisRodrigo Assirati Dias
Roberto 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 Machado
Walter 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 Santos
Carlos Hitoshi Morimoto
13/10/2009MestradoAnálise comparativa de protocolos de segurança para redes de sensores sem fioMateus Augusto Silva Santos
Routo 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 Lima
Junior Barrera
06/07/2009MestradoConsultas de segmentos em janelas: algoritmos e estruturas de dadosÁlvaro Junior Pereira Franco
Carlos Eduardo Ferreira
01/07/2009MestradoSegmentação interativa de imagens via transformação watershedBruno Klava
Nina Sumiko Tomita Hirata
16/06/2009MestradoK-menores caminhosFabio Pisaruk
Jose Coelho de Pina Junior
09/06/2009MestradoMinimização de funções submodularesJuliana Barby Simão
Jose Coelho de Pina Junior
05/06/2009MestradoIComb: Um sistema para o ensino e aprendizagem de combinatória em ambiente WebAlexandre Luis Kundrat Eisenmann
Leonidas de Oliveira Brandao
29/05/2009MestradoMétodos de penalidade e barreira para programação convexa semidefinidaAntonio Carlos dos Santos
Paulo José da Silva e Silva
15/05/2009DoutoradoAprendizado computacional baseado em distância a segmentos de retaJoão Henrique Burckas Ribeiro
Ronaldo Fumio Hashimoto
13/05/2009MestradoMétodos de expansão de busca em sistemas de recuperação de informaçãoWendel Scardua
Alair Pereira do Lago
11/05/2009MestradoPadrões para introduzir novas ideias na indústria de softwareDaniel Cukier
Fabio Kon
28/04/2009MestradoAplicação de práticas ágeis na construção de data warehouse evolutivoGuilherme Toso de Carvalho
João Eduardo Ferreira
27/04/2009DoutoradoUma arquitetura de baixo acoplamento para execução de padrões de controle de fluxo em gradesAlexandre Ricardo Nardi
João Eduardo Ferreira
24/04/2009MestradoAgentes móveis em grades oportunistas: uma abordagem para tolerância a falhasVinicius Gama Pinheiro
Alfredo Goldman Vel Lejbman
14/04/2009MestradoAlgoritmos para problemas de programação não-linear com variáveis inteiras e contínuasRafael Durbano Lobato
Ernesto Julian Goldberg Birgin
09/04/2009MestradoDois caminhos disjuntos e o método de Robertson e SeymourMauricio Silva de Moura
Jose Coelho de Pina Junior
11/12/2008MestradoCombinação dinâmica de aspectos: uma abordagem eficienteFlavia Rainone
Francisco 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 Junior
Roberto Marcondes Cesar Junior
18/11/2008Doutorado DiretoLimites de seqüências de permutações de inteirosRudini Menezes Sampaio
Yoshiharu Kohayakawa
07/11/2008MestradoSimulação acústica no ambiente AcMusMário Henrique Cruz Torres
Fabio 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 Lago
Leonidas de Oliveira Brandao
03/10/2008MestradoGeração parcial de código Java a partir de especificações formais ZAlvaro Heiji Miyazawa
Ana Cristina Vieira de Melo
25/09/2008DoutoradoGeração de expressões algébricas para processos de negócio usando reduções de digrafos série-paraleloMárcio Katsumi Oikawa
João Eduardo Ferreira
11/09/2008MestradoFluxo de dados em redes de Petri coloridas e em grafos orientados a atoresGrace Anne Pontes Borges
João Eduardo Ferreira
10/09/2008MestradoFiltros para a busca e extração de padrões aproximados em cadeias biológicasDomingos Soares Neto
Jose Augusto Ramos Soares
27/08/2008MestradoEstruturas de dados concorrentes: um estudo de caso em skip graphsHammurabi das Chagas Mendes
Cristina Gomes Fernandes
12/08/2008MestradoClassificação e busca de componentes com tratamento de exceçõesLuciana Setsuko Gakiya
Ana Cristina Vieira de Melo
24/07/2008DoutoradoTópicos em otimização com restrições linearesMarina Andretta
Ernesto Julian Goldberg Birgin
17/07/2008MestradoDois problemas em análise de formas de estruturas de ramificaçãoJorge de Jesus Gomes Leandro
Roberto 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 Takemura
Roberto Marcondes Cesar Junior
02/07/2008MestradoCorrespondência inexata entre grafosAlexandre da Silva Freire
Carlos Eduardo Ferreira
26/06/2008MestradoDesenvolvimento de sistemas baseados em artefatos de conhecimentoGustavo Enrique Salazar Torres
Flavio Soares Correa da Silva
06/06/2008MestradoIGraf: Uma proposta de sistema para ensino de função via WebReginaldo do Prado
Leonidas de Oliveira Brandao
03/06/2008MestradoACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxoPedro Losco Takecian
João Eduardo Ferreira
03/06/2008MestradoUm serviço de autorização Java EE baseado em certificados de atributos X.509Stefan Neusatz Guilhen
Francisco Carlos da Rocha Reverbel
21/05/2008MestradoImplementação de esquemas de criptografia e de assinatura sob o modelo de criptografia de chave pública sem certificadoRenato da Silva Ramalho
Routo Terada
08/05/2008MestradoParadigma mestre-escravo em plataformas heterogêneasFábio Henrique Nishihara
Alfredo Goldman Vel Lejbman
06/05/2008MestradoPopulando ontologias através de informações em HTML - o caso do currículo lattesAndré Casado Castaño
Renata Wassermann
05/05/2008MestradoPlanejamento hierárquico sob incerteza KnightianaRicardo Guimaraes Herrmann
Leliane Nunes de Barros
28/04/2008MestradoReparo de plano por refinamento reversoDavid Robert Camargo de Campos
Leliane Nunes de Barros
25/04/2008MestradoHomomorfismos de grafosCristiane Maria Sato
Yoshiharu Kohayakawa
22/04/2008MestradoUma comparação de métodos de classificação aplicados à detecção de fraude em cartões de créditoManoel Fernando Alonso Gadi
Alair Pereira do Lago
18/04/2008DoutoradoXenia: um sistema de segurança para grades computacionais baseado em cadeias de confiançaJosé de Ribamar Braga Pinheiro Junior
Fabio Kon
18/04/2008MestradoGeração automática de casos testes para Web ServicesPaulo Silveira
Ana Cristina Vieira de Melo
17/04/2008MestradoAmbiente de testes utilizando verificação de componentes java com tratamento de exceçõesKleber da Silva Xavier
Ana Cristina Vieira de Melo
16/04/2008MestradoOrdenação por reversãoAndréa Tieme Nakasato
Yoshiko Wakabayashi
26/03/2008MestradoSeletores de pontos de junção: um mecanismo de extensão para linguagens e arcabouços orientados a aspectosCristiano Malanga Breuel
Francisco Carlos da Rocha Reverbel
18/03/2008MestradoExperiências com desenvolvimento ágilDairton Luiz Bassi Filho
Eduardo Colli
11/03/2008MestradoAnálise de padrões de uso em grades computacionaisDanilo Matheus Rubio Conde
Marcelo Finger
07/03/2008MestradoDepuração simbólica extensível para sistemas de objetos distribuídosGiuliano Mega
Fabio Kon
07/03/2008MestradoEstudo comparativo de passos espectrais e buscas lineares não monótonasFernando Taietti Camargo
Ernesto Julian Goldberg Birgin
22/02/2008MestradoAplicações de computação paralela em otimização contínuaRicardo Luiz de Andrade Abrantes
Ernesto Julian Goldberg Birgin
22/02/2008MestradoErosões e dilatações morfológicas binárias seqüênciais rápidasAnderson Fraiha Machado
Ronaldo Fumio Hashimoto
22/02/2008MestradoProgramação em dois níveis: reformulação utilizando as condições KKTFrancisco Nogueira Calmon Sobral
Ernesto Julian Goldberg Birgin
15/02/2008MestradoAudible Images: síntese de imagens controladas por áudioMariana Zaparolli Martins
Marcelo Gomes de Queiroz
16/01/2008MestradoUma ferramenta para o ensino de inteligência artificial usando jogos de computadorFilipe Correa Lima da Silva
Flavio Soares Correa da Silva
14/12/2007MestradoAplicação de técnicas de fatoração de matrizes esparsas para inferência em redes bayesianasErnesto Coutinho Colla
Julio Michael Stern
06/11/2007MestradoSegmentação de movimento usando morfologia matemáticaArnaldo Câmara Lara
Roberto Hirata Junior
05/11/2007DoutoradoPlanejamento sob incerteza para metas de alcançabilidade estendidasSilvio do Lago Pereira
Leliane Nunes de Barros
21/09/2007MestradoUm serviço de transações atômicas para Web servicesIvan Bittencourt de Araujo e Silva Neto
Francisco Carlos da Rocha Reverbel
14/09/2007MestradoReflexões sobre o ensino de metodologias ágeis na academia, na indústria e no governoAlexandre Freire da Silva
Fabio Kon
29/08/2007MestradoUm modelo para ambientes inteligentes baseado em serviços web semânticosCrhistian Alberto Noriega Guerra
Flavio Soares Correa da Silva
17/08/2007MestradoRastreamento de componentes conexas em vídeo 3D para obtenção de estruturas tridimensionaisDavid da Silva Pires
Roberto Marcondes Cesar Junior
13/07/2007MestradoUso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limitesJulian Geraldes Monteiro
Alfredo Goldman Vel Lejbman
03/07/2007MestradoUm estudo empírico de hiper-heurísticasIgor Ribeiro Sucupira
Flavio Soares Correa da Silva
29/06/2007MestradoUso eficaz de métricas em métodos ágeis de desenvolvimento de softwareDanilo Toshiaki Sato
Alfredo Goldman Vel Lejbman
15/06/2007MestradoPCA-tree: uma proposta para indexação multidimensionalPhilipe Dalla Bernardina
Nina Sumiko Tomita Hirata
24/05/2007MestradoFerramenta para integração de modelos multidimensionais e softwares de visualização de séries temporaisGustavo Bianchi Maia
João Eduardo Ferreira
18/05/2007MestradoMatemática e algoritmos das dobrasPaulo Eduardo Azevedo Silveira
Jose Coelho de Pina Junior
16/05/2007MestradoFortalecimento do algoritmo RC6 contra criptanálise Χ2Eduardo Takeo Uêda
Routo Terada
10/05/2007MestradoUso de "small worlds" no roteamento em redes de sensores sem fioGiulian Dalton Luz
Alfredo Goldman Vel Lejbman
09/05/2007MestradoHermes: um arcabouço para a programação de aplicações P2PEmilio de Camargo Francesquini
Francisco Carlos da Rocha Reverbel
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 Machion
Leliane Nunes de Barros
07/05/2007MestradoInGriDE: um ambiente integrado e extensível de desenvolvimento para computação em gradeEduardo Leal Guerra
Alfredo Goldman Vel Lejbman
04/05/2007DoutoradoArmazenamento distribuído de dados e checkpointing de aplicações paralelas em grades oportunistasRaphael Yokoingawa de Camargo
Fabio Kon
20/04/2007MestradoSAW - Sistema de aprendizagem pela web: motivações e desenvolvimentoJanine Gomes Moura
Leonidas de Oliveira Brandao
18/04/2007Doutorado DiretoAlinhamento de seqüências com rearranjosAugusto Fernandes Vellozo
Alair Pereira do Lago
04/04/2007MestradoRelações min-max em otimização combinatóriaMarcel Kenji de Carli Silva
Yoshiko 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 Junior
Marco Dimas Gubitoso
27/03/2007MestradoExtração de aleatoriedade a partir de fontes defeituosasDomingos Dellamonica Junior
Yoshiharu Kohayakawa
26/03/2007MestradoPartição de grafos em subgrafos conexos balanceadosRenato Pinheiro Freme Lopes Lucindo
Yoshiko Wakabayashi
26/03/2007MestradoRevisão de modelos formais de sistemas de estados finitosThiago Carvalho de Sousa
Renata Wassermann
26/03/2007MestradoTeoria de Ramsey para circuitos e caminhosFabricio Siqueira Benevides
Yoshiharu Kohayakawa
23/03/2007Mestrado MYOP: um arcabouço para predição de genes ab initioAndré Yoshiaki Kashiwabara
Alan Mitchell Durham
23/03/2007MestradoRastreamento de objetos baseado em reconhecimento estrutural de padrõesAna Beatriz Vicentim Graciano
Roberto Marcondes Cesar Junior
23/03/2007MestradoUm resolvedor SAT paralelo com BSP sobre uma gradeFernando Correa Lima
Marcelo Finger
16/03/2007MestradoEstudo de métodos estocásticos para otimização global de problemas de programação não linearErico Murilo Gozzi
Ernesto Julian Goldberg Birgin
16/03/2007MestradoIntegração de verificadores formais para agentes móveisAndré Gustavo Andrade
Ana Cristina Vieira de Melo
09/03/2007Mestrado"Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas"David Paulo Pereira
Ana Cristina Vieira de Melo
05/03/2007MestradoMobiGrid: arcabouço para agentes móveis em ambiente de grades computacionaisRodrigo Moreira Barbosa
Alfredo Goldman Vel Lejbman
01/03/2007MestradoAlgoritimo do volume e otimização não diferenciávelEllen Hidemi Fukuda
Paulo José da Silva e Silva
28/02/2007MestradoBases de HilbertMarcelo Hashimoto
Jose Coelho de Pina Junior
30/01/2007DoutoradoUm provador de teoremas multi-estratégiaAdolfo Gustavo Serra Seca Neto
Marcelo Finger
21/12/2006Mestrado"Funções-valor na alocação de tarefas em sistemas robóticos"Antonio Luiz Basile
Flavio Soares Correa da Silva
21/12/2006MestradoCoeficientes de determinação, predição intrinsicamente multivariada e genéticaCarlos Henrique Aguena Higa
Ronaldo Fumio Hashimoto
11/12/2006MestradoValidação ágil e precisa de projetos conceituais de banco de dadosMarcos Eduardo Bolelli Broinizi
João Eduardo Ferreira
01/12/2006MestradoMultiplicação escalar eficiente em curvas elípticasAdão de Melo Neto
Routo Terada
30/11/2006MestradoSegmentação de vasos sangüíneos em imagens de retina usando wavelets e classificadores estísticosJoão Vitor Baldini Soares
Roberto Marcondes Cesar Junior
27/10/2006MestradoEstudo de escalabilidade de servidores baseados em eventos em sistemas multiprocessados: um estudo de caso completoDaniel de Angelis Cordeiro
Alfredo Goldman Vel Lejbman
27/10/2006MestradoO problema da troca de mensagens de diferentes tamanhos em redes multi-aglomeradosFabio Massaaki Katayama
Alfredo Goldman Vel Lejbman
24/10/2006MestradoRedução de dimensionalidade em séries temporaisAndré Rodrigo Sanches
Nina Sumiko Tomita Hirata
29/09/2006MestradoClassificação semi-automática de componentes JavaClaudia de Oliveira Melo
Ana Cristina Vieira de Melo
11/09/2006MestradoSistemas interativos de prova clássicos e quânticosCarlos Henrique Cardonha
Cristina Gomes Fernandes
30/08/2006MestradoSistema de arquivos especializado para correio eletrônicoEider Silva de Oliveira
Arnaldo 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 Pera
Carlos Hitoshi Morimoto
08/08/2006DoutoradoEmpacotamento de subgrafos em grafosGordana Manic
Yoshiko 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 Barbosa
Carlos Hitoshi Morimoto
28/06/2006MestradoProposta de esquemas de criptografia e de assinatura sob modelo de criptografia de chave pública sem certificadoDenise Hideko Goya
Routo Terada
23/06/2006MestradoPadrões de fluxos de processos em banco de dados relacionaisKelly Rosa Braghetto
João Eduardo Ferreira
23/06/2006MestradoPor que usar bancos de dados orientados a objetos?Yen Chin Shen
Valdemar Waingort Setzer
31/05/2006MestradoUm modelo unificado para planejamento sob incertezaFelipe Werndl Trevizan
Leliane Nunes de Barros
26/05/2006MestradoPlanejamento para serviços web semânticosJuliana Jabra Chahoud
Leliane Nunes de Barros
23/05/2006MestradoRepensando os commons na comunicação científicaEvelyn Cristina Pinto
Imre Simon
15/05/2006DoutoradoVoz e vídeo sobre redes sem fio IEEE 802.11Arlindo Flavio da Conceição
Fabio Kon
12/05/2006MestradoRecuperação automática da estrutura tri-dimensional a partir de múltiplas imagens utilizando geometria projetivaTiago Tagliari Martinez
Carlos Hitoshi Morimoto
05/05/2006MestradoUm sistema de rastreamento de olhar tolerante a movimentações da faceFlávio Luiz Coutinho
Carlos Hitoshi Morimoto
28/04/2006MestradoAlgoritmos de aproximação para o projeto de redes segurasAntonio Joao Ferreira Francisco
Carlos Eduardo Ferreira
28/04/2006MestradoImplementações do método de aproximação primal-dual aplicado ao problema da floresta de SteinerRafael Pereira Luna
Cristina Gomes Fernandes
20/04/2006DoutoradoUm arcabouço para composição, teste e simulação de protocolos de Handover suaveVera Nagamuta
Siang Wun Song
19/04/2006MestradoProjeto multirresolução de operadores morfológicos a partir de exemplosDaniel André Vaquero
Junior Barrera
03/03/2006MestradoAnálise de conglomerados aplicada ao reconhecimento de padrões de uso de recursos computacionaisGermano Capistrano Bezerra
Marcelo Finger
19/12/2005MestradoDiagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicosKarina Valdivia Delgado
Leliane Nunes de Barros
12/12/2005MestradoProtocolos par-a-par para interligação de aglomerados em grades computacionaisVladimir Emiliano Moreira Rocha
Fabio Kon
16/11/2005MestradoPlanejamento no cálculo de situações usando a linguagem GologEdward Mitsuo Iwanaga Iamamoto
Leliane Nunes de Barros
10/11/2005MestradoAnálise automática de desempenho de classificadores e técnicas de classificação na plataforma RNey Barros Luz
Nina Sumiko Tomita Hirata
09/11/2005MestradoConstrução e estudos sobre ontologias de bioquímicaAnderson Carlos Daniel Sanches
Renata Wassermann
04/11/2005MestradoProtocolos para comunicação entre agentes móveisRachel de Paula Cavalcanti
Kunio Okuda
01/11/2005MestradoArranjos sistólicos redundantes para grades de computaçãoMarcos Tatsuo Yamamoto
Kunio Okuda
19/10/2005MestradoIdentificação de regiões codificantes de proteína através da transformada modificada de MorletJesús Pascual Mena Chalco
Roberto Marcondes Cesar Junior
23/09/2005MestradoSistemas de arquivos paralelos: alternativas para a redução do gargalo no acesso ao sistema de arquivosRoberto Pires de Carvalho
Alfredo Goldman Vel Lejbman
13/09/2005MestradoUma ferramenta interativa para análise de padrões baseada em entropiaLuiz Gustavo Martins
Marco Dimas Gubitoso
12/08/2005MestradoO problema de Steiner com gruposFernando Mario de Oliveira Filho
Carlos Eduardo Ferreira
20/07/2005MestradoColoração de grafos e o método probabilísticoDaniel Morgato Martin
Yoshiharu Kohayakawa
12/07/2005MestradoInterfaces prestativas baseadas em visão computacional e informação de contextoThiago Schumacher Barcelos
Carlos Hitoshi Morimoto
22/06/2005DoutoradoDois problemas de buscaRenato José da Silva Carmo
Yoshiharu Kohayakawa
25/05/2005DoutoradoIdentificação de genes por comparação de seqüênciasSaid Sadique Adi
Carlos Eduardo Ferreira
25/05/2005MestradoInteração baseada em gestos de mãos e cabeça para ambientes de realidade virtual utilizando visão computacionalMarcio Calixto Cabral
Carlos Hitoshi Morimoto
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 Ashimine
Roberto Marcondes Cesar Junior
25/04/2005MestradoAdaptação dinâmica utilizando agentes móveis em computação ubíquaRoberto Speicys Cardoso
Fabio Kon
20/04/2005MestradoUm arcabouço para suporte a reconfiguração dinâmica em ambiente JavaRicardo Koji Ushizaki
Fabio Kon
18/04/2005MestradoGerenciamento de recursos distribuídos em sistemas escaláveisJeferson Roberto Marques
Fabio Kon
12/04/2005MestradoUm etiquetador morfo-sintático baseado em cadeias de Markov de tamanho variávelFábio Natanael Kepler
Marcelo Finger
01/04/2005MestradoDesenvolvimento de ferramentas igeom: utilizando a geometria dinâmica no ensino presencial e a distânciaSeiji Isotani
Leonidas de Oliveira Brandao
21/03/2005MestradoRecuperação de vídeos indexados por conceitosChristian Danniel Paz Trillo
Renata Wassermann
28/02/2005MestradoAspectos algébricos e computacionais da teoria de bases de Gröbner não comutativasAlexey Antônio Villas Bôas
Eduardo do Nascimento Marcos
11/02/2005MestradoModularização da coleta de lixo na máquina virtual de pesquisa JikesRosianni de Oliveira Cruz
Alan Mitchell Durham
07/01/2005MestradoDesenvolvimento de algorítmos paralelos para aglomerados com a técnica de paralelização de laçosUlisses Kendi Hayashida
Siang Wun Song
14/12/2004MestradoInteGrade: um sistema de middleware para computação em grade oportunistaAndrei Goldchleger
Fabio Kon
29/11/2004MestradoImplementação e análise do protocolo de Katz e Yung para estabelecimento de chaves de grupoJorge Alves Tonami
Routo Terada
29/10/2004MestradoComposição e performance musical utilizando agentes móveisLeo Kazuhiro Ueda
Fabio Kon
22/10/2004MestradoAprendizado de regras de substituição para normatização de textos históricosAlexandre Sussumu Hirohashi
Marcelo Finger
20/10/2004MestradoGeração de classificadores de sequências genéticas utilizando inferência de linguagens regularesDaniel da Cruz Gouveia Vieira
Alan Mitchell Durham
15/10/2004MestradoList ranking: um estudo experimentalGuilherme Pereira Vanni
Siang Wun Song
14/10/2004MestradoLógicas de raciocínio aproximado e o problema satFabio Luiz Ide
Marcelo 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 Junior
Roberto Marcondes Cesar Junior
27/08/2004MestradoUma proposta de eliminação paralela para o problema da mochila ilimitadaFlavio Regis de Arruda
Alfredo Goldman Vel Lejbman
24/08/2004MestradoUma ontologia artificial para o controle cambial brasileiroRobson Moron
Flavio Soares Correa da Silva
23/08/2004MestradoDesenvolvimento de um rastreador de olhar apropriado para interação humano computadorMarcio Raul Medeiros Mimica
Carlos Hitoshi Morimoto
20/08/2004MestradoServiços de pertinência para clusters de alta disponibilidadeNélio Alves Pereira Filho
Arnaldo Mandel
19/08/2004DoutoradoAproximações para restrições do problema de Steiner em grafosFabio Henrique Viduani Martinez
Jose Augusto Ramos Soares
09/08/2004MestradoFlexibilidade em um sistema de arquivos componentizadoLivio Baldini Soares
Dilma Menezes da Silva
09/08/2004MestradoSegmentação automática de tomadas em vídeoThiago Teixeira Santos
Carlos Hitoshi Morimoto
02/07/2004MestradoUm sistema de autorização baseado em uma infra-estrutura de gerenciamento de privilégiosFabio Correa Xavier
Routo Terada
18/06/2004MestradoPropriedades de algumas classes de relações racionaisRodrigo Nonamor Pereira Mariano de Souza
Nami Kobayashi
08/06/2004MestradoConstrução de imagens panorâmicas a partir de vídeoHenrique Pedreira de Freitas Ceribelli
Carlos Hitoshi Morimoto
04/06/2004MestradoProcessamento distribuído de áudio em tempo realNelson Posse Lago
Fabio Kon
21/05/2004MestradoInteligência artificial para jogos de tabuleiroMarcelo Nunes de Carvalho
Flavio Soares Correa da Silva
10/05/2004DoutoradoPertinência de pontos em objetos discretos de dimensão arbitráriaLuciano Silva
Antonio Elias Fabris
14/04/2004MestradoUm estudo sobre teste versus verificação formal de programas javaLeandro Cesar Prudente
Ana Cristina Vieira de Melo
13/04/2004MestradoO impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionaisGilberto da Silva Hemerly
Antonio Elias Fabris
12/04/2004DoutoradoUm modelo formal para a quinta disciplinaLourival Paulino da Silva
Flavio Soares Correa da Silva
07/04/2004MestradoÍndices para consultas por conteúdo em banco de dados heterogêneosGustavo Tadao Okida
João Eduardo Ferreira
02/04/2004DoutoradoAlgoritmos para problemas de corte de guilhotina bidimensionalGlauber Ferreira Cintra
Yoshiko Wakabayashi
30/03/2004MestradoEm busca de procedimentos de inferência eficientes via relevância por sintaxeJoselyto Nawber da Costa Riani
Renata Wassermann
22/03/2004DoutoradoAlgoritmos de aproximação para partições conexas em grafosLiliane Rose Benning Salgado
Yoshiko Wakabayashi
27/02/2004MestradoUm método de restrições ativas para minimização em caixasMarina Andretta
Ernesto Julian Goldberg Birgin
18/02/2004MestradoAnálise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionadoCaetano Jimenez Carezzato
Junior Barrera
03/02/2004MestradoDescoberta de regras de classificação com hierarquias conceituaisMarco Eugenio Madeira Di Beneditto
Leliane Nunes de Barros
14/01/2004MestradoUma técnica automática para a medida de sinal de imagens de cDNADaniel Oliveira Dantas
Junior Barrera
12/01/2004MestradoUma arquitetura distribuída para busca de caminhos em grafos dinâmicosMarcelo Luís Vinagreiro
Alfredo Goldman Vel Lejbman
15/12/2003MestradoSimulação de mini-ecossistemas vegetais em tempo realLuis Carlos Yano Endo
Antonio Elias Fabris
28/11/2003MestradoSistemas criptográficos baseados em identidades pessoaisWaldyr Dias Benits Júnior
Routo Terada
14/11/2003MestradoSistemas de localização dinâmica de serviços em ambientes de computação móvelLeonardo Marques Alves de Pinho
Alfredo Goldman Vel Lejbman
22/08/2003DoutoradoConsultas sobre "aqui" em sistemas de bancos de dados em ambientes de computação nômadeEugênio Akihiro Nassu
Marcelo Finger
21/08/2003MestradoAlinhamento de sequências biológicasRogério Theodoro de Brito
Jose Augusto Ramos Soares
21/08/2003MestradoAnalisador sintático estatístico orientado ao núcleo-léxico para a língua portuguesaFabiano de Carvalho e Sousa
Marcelo Finger
15/08/2003MestradoUm serviço para grupos de objetos com consistência relaxadaMarcelo Brito dos Santos
Markus Endler
14/08/2003MestradoAnálise de formas representadas por marcos utilizando características mono e multiescalaCelina Maki Takemura
Roberto Marcondes Cesar Junior
11/08/2003MestradoComponentes CORBAAlexandre Ricardo Nardi
Francisco Carlos da Rocha Reverbel
07/08/2003MestradoAlgoritmos primal-duaisAna Lucia Lima Marreiros Maia
Jose Coelho de Pina Junior
01/08/2003MestradoTopologia de espaços de estados em planejamento com váriaveis numéricasAldebaran Perseke
Leliane Nunes de Barros
06/06/2003MestradoCache comprimido adaptativo: estudo, projeto e implementaçãoRodrigo Souza de Castro
Alair Pereira do Lago
09/05/2003MestradoAnálise experimental de algoritmos de planaridadeAlexandre Noma
Cristina Gomes Fernandes
30/04/2003MestradoUma biblioteca para a simulação de protocolos de entrega de mensagens em redes móveisWeslley Emmanuel Martins Lima
Alan Mitchell Durham
11/04/2003MestradoImplementação e análise comparativa de variações do criptossistema rsaCesar Alison Monteiro Paixão
Routo Terada
10/04/2003MestradoSistemas modais de conhecimentoFlavio Shigeo Yamamoto
Ricardo Bianconi
04/04/2003MestradoUma técnica de verificação para π-calculus baseada em bi-simulação up-to e algoritmos de particionamentoMarcelo de Moura Amorim
Ana Cristina Vieira de Melo
25/03/2003MestradoConfiguração automática de sistemas na plataforma enterprise javabeansHerbert Yutaka Watanabe
Fabio Kon
20/03/2003MestradoMaximização de entropia em linguística computacional para a língua portuguesaArchias Alves de Almeida Filho
Marcelo Finger
20/03/2003MestradoUso de redes bayesianas no gerenciamento de manutenção de softwareAdilson de Jesus Sanchez
Ana Cristina Vieira de Melo
18/03/2003DoutoradoAlgoritmos paralelos de granularidade grossa em grafos bipartidos convexosMarco Aurélio Stefanes
Jose Augusto Ramos Soares
17/03/2003MestradoEstratégias de hand-off com balanceamento de carga para computação móvelAlessandro Santiago dos Santos
Alfredo Goldman Vel Lejbman
27/02/2003MestradoBanco de dados obsolescentes e uma proposta de implementaçãoFernando Antonio Mac Craken Cezar
Marcelo Finger
21/02/2003DoutoradoAdaptação dinâmica de sistemas distribuídosFrancisco José da Silva e Silva
Markus Endler
06/02/2003MestradoIntegração para dados e aplicações em biologia molecular computacionalMárcio Katsumi Oikawa
João Eduardo Ferreira
05/02/2003MestradoComponente de controle transacional para integração assíncrona de bases de dadosMarcelo Camacho de Souza
Joã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çalves
Joã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 Ruchkys
Siang Wun Song
06/12/2002DoutoradoAlgoritmos paralelos de granularidade grossa para problemas de alinhamento de cadeiasCarlos Eduardo Rodrigues Alves
Siang Wun Song
31/10/2002MestradoImplementações de tableaux para raciocínio por aproximaçõesWagner Dias
Marcelo Finger
30/09/2002MestradoUm estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-CalculusLucy Mari Tabuti
Ana Cristina Vieira de Melo
09/08/2002MestradoDesenvolvimento e comparação de dois protocolos para multicast atômico em computação móvelMateus de Freitas Ribeiro
Markus Endler
23/07/2002Doutorado DiretoProjeto de operadores morfológicos multi-escala por otimização estatísticaMarcel Brun
Junior Barrera
04/07/2002MestradoCCICLO: Componente para cruzamento e integração de objetos classificadosLuciano Vieira de Araújo
João Eduardo Ferreira
01/07/2002MestradoUm modelo de capacidades formais para cooperação mediada entre sistemas baseados em conhecimentoEudenia Xavier Meneses
Flavio Soares Correa da Silva
27/06/2002MestradoLaboratório de geração de classificadores de sequênciasAriane Machado Lima
Alan Mitchell Durham
28/05/2002MestradoPlanejamento abdutivo no cálculo de eventosSilvio do Lago Pereira
Leliane Nunes de Barros
22/05/2002MestradoAutomorfismos de grafosEduardo Tengan
Arnaldo Mandel
17/05/2002MestradoUma implementação do protocolo TLS com um algoritmo de criptografia forteIsvi Correa Junior
Routo Terada
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 Italiano
João Eduardo Ferreira
10/05/2002MestradoÁrvores k-restritas e aproximações para o problema de steiner em grafosEduardo Kazuaki Gondo
Cristina Gomes Fernandes
07/05/2002MestradoCriptografia - Uma implementação do protocolo de micropagamento PayWordJoão Carlos Néto
Routo Terada
10/04/2002Mestrado"Arquiteturas de Componentização de Servidores como Integradoras de Bancos de Dados Distribuídos".Myrthes Cavalcante de Aguiar
Francisco Carlos da Rocha Reverbel
21/03/2002MestradoAlgoritmos para caminhos mínimosShigueo Isotani
Jose Coelho de Pina Junior
14/03/2002Mestrado"Visões em arquitetura de software".Ane Cristina Varoto
Hernan Enrique Astudillo Rojas
13/03/2002MestradoUma taxonomia da pesquisa na área de engenharia de requisitosPaulo Sérgio Naddeo Dias Lopes
Hernan Enrique Astudillo Rojas
28/02/2002Mestrado"Identificação de sistemas dinâmicos finitos: aplicações para a modelagem de redes genéticas"Nestor Walter Trepode
Junior Barrera
23/01/2002MestradoAlgoritmos para predição da estrutura secundária do RNALuiz Carlos da Silva Rozante
Jose Augusto Ramos Soares
18/12/2001MestradoUma infra-estrutura para migração de objetos CORBA implementados em javaHelves Humberto Domingues
Francisco Carlos da Rocha Reverbel
17/12/2001DoutoradoProjeto de operadores morfológicos para imagens e sinaisRoberto Hirata Junior
Junior Barrera
28/11/2001DoutoradoTrês problemas em complementaridade e programação matemáticaMarcelo Gomes de Queiroz
Carlos Humes Junior
27/11/2001MestradoMetamodelo para Controle de Estratégias Assíncronas de Replicação de DadosCarlos Henrique Maia Braga
João Eduardo Ferreira
14/11/2001MestradoTransações web: Um estudo sobre problemas e soluçõesLorena Pereira da Ponte Pierre
Hernan Enrique Astudillo Rojas
31/10/2001MestradoIntegração do serviço de diretório LDAP com o serviço de nomes CORBAGustavo Scalco Isquierdo
Francisco Carlos da Rocha Reverbel
29/10/2001MestradoColorações restritas de grafosGordana Manic
Paulo Feofiloff
22/10/2001MestradoComposição de fluxo de controle de frameworks javaBruno Martins Moutinho
Ana Cristina Vieira de Melo
04/09/2001MestradoSistema para Execução de Testes de Aprendizado Baseado em Funções de CrençaJuliano Mourão Vieira
Flavio Soares Correa da Silva
02/07/2001MestradoIndicadores de qualidade de uma implementação de banco de dados relacionalGlauco Galves Bordin
Marcelo Finger
22/06/2001Mestrado RMIRep: Suporte para Replicação de Objetos em Redes de Alta LatênciaJorge Chaves Radel Bittencourt
Dilma Menezes da Silva
25/05/2001MestradoTécnicas de seleção de características com aplicações em reconhecimento de facesTeófilo Emidio de Campos
Roberto Marcondes Cesar Junior
11/05/2001MestradoEscalonamento de reservas de domínioMaria do Carmo Garcia Noronha
Dilma Menezes da Silva
11/05/2001MestradoRastreamento eficiente de faces em um subespaço waveletRogerio Schmidt Feris
Roberto Marcondes Cesar Junior
09/05/2001MestradoEstudo de requisitos para um software educativo de apoio ao ensino da introdução à computaçãoMaria Clara Barros de Oliveira Fischer
Flavio Soares Correa da Silva
04/05/2001MestradoUma arquitetura para simulação flexivel de protocolos para computação móvelRicardo Couto Antunes da Rocha
Markus Endler
26/04/2001MestradoComparação de Desempenho Linux X Windows NTJosé Eugênio de Assis Gonçalves
Marco Dimas Gubitoso
30/03/2001MestradoAlgoritmos paralelos para fecho convexoEmmanuel Kayembe Ilunga
Siang Wun Song
02/03/2001MestradoAlgoritmos e estruturas de dados para manutenção de árvores geradoras mínimas em grafos dinâmicosAritanan Borges Garcia Gruber
Carlos Eduardo Ferreira
12/02/2001Mestrado"Uma infra-estrutura para o gerenciamento de aplicações CORBA tolerantes a falhas".Marcos Aurelio Mendes de Moura
Markus Endler
09/02/2001MestradoUm instrumento de avaliação da qualidade para software educacional de matemáticaAna Paula Gladcheff Munhoz
Dilma Menezes da Silva
07/02/2001MestradoObsolescência de InformaçãoSirley Ambrosia Vitorio Oliveira
Flavio Soares Correa da Silva
19/12/2000MestradoAlgoritmos Paralelos para o Paradigma de Pertinência Interior/ExteriorMarcos Machado Ottani Assis
Antonio Elias Fabris
08/12/2000DoutoradoCompartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento: um Estudo de CasoRoberto Cássio de Araujo
Flavio Soares Correa da Silva
08/12/2000MestradoProblemas Dinâmicos em Geometria ComputacionalCassio Polpo de Campos
Carlos Eduardo Ferreira
01/12/2000MestradoProblemas Cinéticos em Geometria ComputacionalEduardo Garcia de Freitas
Carlos Eduardo Ferreira
06/11/2000MestradoDetecção dinâmica de condições de disputa para programas multithreaded em JavaClovis Seragiotto Junior
Dilma Menezes da Silva
05/10/2000DoutoradoProjeto Automático de Operadores - Explorando Conhecimentos a PrioriNina Sumiko Tomita Hirata
Junior Barrera
04/10/2000MestradoSegmentação de seqüência de imagens por morfologia matemáticaFranklin César Flores
Junior Barrera
15/08/2000Mestrado"Técnicas de orientação a objetos para projeto de sistemas adaptáveis".Uirá Kulesza
Dilma Menezes da Silva
29/06/2000MestradoAnálise Formal do Aprendizado Supervisionado por Árvores de DecisãoMaurício Bellissimo Falleiros
Flavio Soares Correa da Silva
02/06/2000MestradoNúmeros de Ramsey Induzidos e Semi-induzidosMarcio Grossi de Almeida
Yoshiharu Kohayakawa
25/04/2000MestradoParticionamento Transparente de Ambientes Virtuais DistribuídosMarcos Alves
Markus Endler
05/04/2000Mestrado"Ferramentas de Auxílio ao Sequenciamento de DNA por montagem de Fragmentos: um estudo comparativo".Said Sadique Adi
Carlos Eduardo Ferreira
04/04/2000DoutoradoAlgoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem EscalaHenrique Mongelli
Siang Wun Song
28/02/2000Mestrado"Geometria Computacional de Pontos em Movimento".Carlos Ramon Pantaleon Dionisio
Jose Coelho de Pina Junior
10/12/1999MestradoProjeto de Regras Confluentes para Bancos de Dados Ativos Usando Tabelas de DecisãoMabelly de Oliveira Furtado
Marcelo Finger
26/11/1999MestradoT-junções, T-cortes e funções conservativasMário Leston Rey
Paulo Feofiloff
19/11/1999MestradoCoordenação de Agentes Móveis através do Canal de BroadcastVera Nagamuta
Markus Endler
21/10/1999Mestrado"LINUX-SMART: Melhoria de Desempenho para Aplicações Real-Time Soft em Ambiente LINUX".Jorge Euler Vieira
Dilma Menezes da Silva
26/09/1997Mestrado"Um Protocolo para Rastreamento de Mensagens em Sistemas com Checkpointing Assíncrono".Sergio Ricardo da Conceição
Markus Endler
AlunoNívelOrientadorInício
Aarão Melo LopesMestradoRonaldo Fumio Hashimoto17/07/2020
Adauton Machado HeringerMestradoFlavio Soares Correa da Silva17/07/2020
Alan BarzilayMestradoMarcelo Finger18/02/2020
Alex Torquato Souza CarneiroDoutoradoCarlos Hitoshi Morimoto05/08/2015
Alexandre César Pinto PessoaMestradoRenata Wassermann02/03/2018
Alexandre Garcia de OliveiraDoutoradoAna Cristina Vieira de Melo15/02/2017
Alexandre Locci MartinsDoutoradoAna Cristina Vieira de Melo06/08/2018
Alexandre MorimitsuDoutoradoRonaldo Fumio Hashimoto08/09/2015
Aline Rodrigheri IosteDoutoradoAlan Mitchell Durham02/08/2018
Ana Carolina Laurini MalaraMestradoRenata Wassermann13/02/2019
Ana Carolina Rodrigues Cavalcante MartinazzoMestradoNina Sumiko Tomita Hirata26/02/2018
Ana Lucia Lima Marreiros MaiaDoutoradoNina Sumiko Tomita Hirata02/03/2015
André BarbosaMestradoDenis Deratani Mauá21/02/2020
André Thomaz Gandolpho de MelloMestradoJunior Barrera08/03/2017
Ângelo Gregório LovattoMestradoLeliane Nunes de Barros12/02/2019
Antonio Augusto AbelloMestradoRoberto Hirata Junior02/03/2018
Ariel Serranoni Soares da SilvaMestradoGabriel Haeser28/02/2020
Arthur Gabriel de SantanaMestradoErnesto Julian Goldberg Birgin25/02/2019
Arthur Piza Mosterio TofaniDoutoradoMarcelo Gomes de Queiroz25/07/2016
Artur André Almeida de Macedo OliveiraDoutoradoRoberto Hirata Junior05/09/2019
Augusto Cesar Monteiro SilvaMestradoNina Sumiko Tomita Hirata05/03/2018
Bernardo Martins FerreiraMestradoLeonidas de Oliveira Brandao06/08/2018
Bruna Regina CoelhoMestradoKelly Rosa Braghetto04/02/2019
Bruno LemeMestradoMarcelo Finger16/02/2017
Bruno PadilhaDoutoradoJoão Eduardo Ferreira03/12/2018
Bruno Pasqualotto CavalarMestradoYoshiharu Kohayakawa21/02/2018
Bruno Picoli RomanoMestradoJoão Eduardo Ferreira17/02/2020
Caio de Moraes BrazDoutoradoPaulo Andre Vechiatto de Miranda22/03/2016
Caio Lopes DemarioMestradoPaulo Andre Vechiatto de Miranda07/08/2017
Caio Lorenzetti MartinelliMestradoCarlos Hitoshi Morimoto17/02/2020
Caio Truzzi LenteMestradoRoberto Hirata Junior15/02/2019
Candy Veronica Tenorio GonzalesDoutoradoCarlos Hitoshi Morimoto24/02/2017
Carlos Eduardo Leal de CastroDoutoradoMarcelo Gomes de Queiroz27/02/2020
Carlos Eduardo Leão ElmadjianDoutoradoCarlos Hitoshi Morimoto22/02/2016
Carlos Eduardo Martins RelvasDoutoradoAndré Fujita16/02/2016
Carlos Enrique Paucar FarfánMestradoAndré Fujita02/08/2017
Christian Jorge Delgado PolarDoutoradoKarina Valdivia Delgado28/02/2020
Daniel SakumaMestradoNina Sumiko Tomita Hirata05/08/2019
Daniela Miki Tsuruda TanoueMestradoJunior Barrera17/07/2017
Danilo Pereira EscuderoMestradoRouto Terada01/03/2018
Débora Emilli Costa OliveiraMestradoPaulo Andre Vechiatto de Miranda05/08/2019
Décio Lauro SoaresMestradoDenis Deratani Mauá10/03/2017
Dênnis José da SilvaDoutoradoRonaldo Fumio Hashimoto21/02/2018
Diego Andrés MéndezMestradoMarcelo Finger25/02/2019
Diego Cardozo SandrimMestradoAna Cristina Vieira de Melo15/02/2017
Diego Mauricio Mansilla MallquiMestradoNina Sumiko Tomita Hirata01/03/2018
Diego Pavan SolerDoutoradoRoberto Hirata Junior17/02/2020
Diogo de Jesus PinaDoutoradoAlfredo Goldman Vel Lejbman29/08/2016
Ednilza Evangelista da Silva NardiMestradoJoão Eduardo Ferreira25/02/2019
Eduardo Dias FilhoMestradoJoão Eduardo Ferreira07/02/2017
Eduardo Gonçalves PinheiroMestradoFabio Kon27/02/2020
Eduardo Lopes Pereira NetoMestradoKarina Valdivia Delgado21/02/2018
Eduardo Silva LiraDoutoradoAndré Fujita28/07/2017
Erika Guetti SucaDoutoradoFlavio Soares Correa da Silva17/11/2017
Evelin Angelica de FariasMestradoKelly Rosa Braghetto21/02/2018
Fabrício Caluza MachadoDoutoradoSinai Robins21/07/2017
Felipe de Lima PeressimMestradoRenata Wassermann18/02/2020
Felipe de Souza SalvatoreDoutoradoMarcelo Finger22/02/2016
Felipe Ribas SerrasMestradoMarcelo Finger02/08/2018
Felix Yowtang LiuMestradoYoshiharu Kohayakawa21/03/2017
Fernando Freire ScattoneMestradoKelly Rosa Braghetto31/01/2017
Fernando Henrique Laureano BuzatoMestradoAlfredo Goldman Vel Lejbman05/08/2019
Fernando Lemes da SilvaMestradoAlfredo Goldman Vel Lejbman26/02/2018
Fillipe Manoel Xavier ResinaDoutoradoRenata Wassermann08/03/2017
Florence Alyssa Sakuma ShibataMestradoRoberto Marcondes Cesar Junior07/08/2017
Francisco Caio Maia RodriguesDoutoradoRoberto Hirata Junior18/02/2016
Francisco Edvar da Cunha FilhoMestradoJunior Barrera25/02/2019
Gabriel Augusto Gonçalves SobralDoutoradoYoshiko Wakabayashi05/03/2018
Gabriel CapellaMestradoAlfredo Goldman Vel Lejbman25/02/2019
Gabriel Ferreira BarrosDoutoradoYoshiharu Kohayakawa13/03/2017
Gabriel Nunes CrispinoMestradoKarina Valdivia Delgado25/02/2019
Gabriely Rangel PereiraMestradoFabio Kon28/02/2020
Gervásio Protásio dos Santos NetoMestradoSinai Robins06/03/2017
Gianluca Takara CiccarelliMestradoRoberto Hirata Junior05/03/2018
Giovana MartinelliMestradoFabio Kon28/02/2020
Giovana Vieira de MoraesMestradoMarcelo Gomes de Queiroz27/02/2020
Giovanne Marcelo dos SantosMestradoCristina Gomes Fernandes25/02/2019
Giuliano Augusto Faulin BelinassiMestradoAlfredo Goldman Vel Lejbman31/01/2018
Gláucio Alves de OliveiraDoutoradoPaulo Sergio Licciardi Messeder Barreto07/08/2017
Grover Enrique Castro GuzmánDoutoradoAndré Fujita08/08/2016
Guilherme Feulo do Espirito SantoDoutoradoMarcelo Gomes de Queiroz25/02/2019
Guilherme Lamartine de MelloMestradoMarcelo Finger21/02/2020
Guilherme Werneck de OliveiraMestradoDaniel Macedo Batista20/07/2020
Gustavo Estrela de MatosMestradoMarcelo da Silva Reis19/01/2018
Gustavo Perez KatagueMestradoDenis Deratani Mauá01/08/2016
Gustavo Vitral ArbexMestradoDaniel Macedo Batista05/08/2019
Hamed PanjehDoutoradoFlavio Soares Correa da Silva17/02/2020
Hans Harley Ccacyahuillca BejarDoutoradoPaulo Andre Vechiatto de Miranda24/08/2018
Hector Montenegro TercerosMestradoRonaldo Fumio Hashimoto25/02/2019
Heitor Reis RibeiroMestradoDenis Deratani Mauá22/02/2017
Henrique StagniDoutoradoYoshiharu Kohayakawa02/03/2015
Herez Moise KattanDoutoradoFlavio Soares Correa da Silva22/02/2016
Iago Breno Alves do Carmo AraujoDoutoradoRoberto Marcondes Cesar Junior07/10/2019
Igor de Camargo e Souza CâmaraDoutoradoRenata Wassermann06/08/2018
Igor Moreira FélixDoutoradoLeonidas de Oliveira Brandao05/03/2018
Isabela BlücherMestradoMarcelo Gomes de Queiroz28/02/2020
Jackson José de SouzaMestradoMarcelo Finger07/08/2017
Jainor Nestor Cardenas ChoqueMestradoAlexandre da Silva Freire13/03/2017
Jared León MalpartidaMestradoYoshiharu Kohayakawa20/02/2020
Jean Luc Antoine Olivier FobeMestradoDaniel Macedo Batista26/02/2018
João Francisco Lino DanielMestradoAlfredo Goldman Vel Lejbman12/02/2020
João Marcos de Mattos BarguilDoutoradoFlavio Soares Correa da Silva16/02/2016
Jonathan Rangel PortoMestradoDaniel Macedo Batista17/07/2020
José Luiz Maciel PimentaMestradoRoberto Marcondes Cesar Junior17/02/2020
Joseph Hans Murrugarra LlerenaMestradoNina Sumiko Tomita Hirata28/02/2018
Juan Christian Yunguri TtitoMestradoRonaldo Fumio Hashimoto06/08/2018
Julissa Giuliana Villanueva LlerenaDoutoradoDenis Deratani Mauá14/09/2017
Karina Suemi AwokiMestrado22/02/2016
Karlson Tellicio Bezerra de LimaMestradoFabio Kon05/08/2019
Kétly Gonçalves MachadoMestradoDaniel Macedo Batista25/02/2019
Laira das Almas SilvaMestradoLeonidas de Oliveira Brandao05/08/2019
Larissa de Oliveira PenteadoMestradoRoberto Marcondes Cesar Junior15/01/2018
Layane Menezes AzevêdoMestradoKelly Rosa Braghetto06/02/2020
Leonardo Alexandre Ferreira LeiteDoutoradoFabio Kon25/02/2019
Leonardo BlangerMestradoNina Sumiko Tomita Hirata05/03/2018
Lilian Nogueira de FariaDoutoradoRoberto Hirata Junior02/08/2016
Lucas Batista GabrielMestradoFlavio Soares Correa da Silva13/02/2019
Lucas de Carvalho DiasMestradoRoberto Marcondes Cesar Junior15/01/2018
Lucas Emanuel Ramos Fernandes KoontzMestradoJaime Simão Sichman25/02/2019
Lucas Martinuzzo BatistaMestradoRonaldo Fumio Hashimoto28/02/2020
Lucas Mendonça de SouzaMestradoAnarosa Alves Franco Brandão19/02/2018
Lucas Silva ArensteinMestradoYoshiharu Kohayakawa19/02/2020
Luciana da Costa MarquesMestradoAlfredo Goldman Vel Lejbman17/02/2020
Luciano Antonio SiqueiraMestradoMarco Dimas Gubitoso28/02/2020
Luciano Walenty Xavier CejnogDoutoradoRoberto Marcondes Cesar Junior22/02/2016
Luis Gustavo Araujo RodriguezDoutoradoDaniel Macedo Batista07/08/2017
Luis Gustavo Moneda dos SantosMestradoDenis Deratani Mauá01/03/2018
Luiz Felipe Fronchetti DiasMestradoMarco Aurélio Gerosa26/02/2018
Luiz Henrique Neves RodriguesDoutoradoDaniel Macedo Batista15/08/2018
Luiz Otávio Resende VasconcelosMestradoCarlos Hitoshi Morimoto23/07/2020
Mairieli Santos WesselDoutoradoMarco Aurélio Gerosa23/02/2018
Marcelo SchmittMestradoFabio Kon28/02/2020
Márcio Fernando Stabile JuniorDoutoradoJaime Simão Sichman12/02/2016
Marcos Ademir Tejada CondoriDoutoradoPaulo Andre Vechiatto de Miranda26/02/2018
Mateus EspadotoDoutoradoNina Sumiko Tomita Hirata09/02/2017
Matheus Tavares BernardinoMestradoAlfredo Goldman Vel Lejbman28/02/2020
Melissa Shihfan Ribeiro WenMestradoPaulo Roberto Miranda Meirelles05/03/2018
Murilo Borges RibeiroMestradoKelly Rosa Braghetto02/08/2018
Nathan Benedetto ProençaMestradoMarcel Kenji de Carli Silva06/08/2018
Nayereh HamidishadDoutoradoRoberto Marcondes Cesar Junior17/02/2016
Nicolas Silverio FigueiredoMestradoMarcelo Gomes de Queiroz05/03/2018
Pamela Rosy Revuelta QuintanillaMestradoFlavio Soares Correa da Silva07/08/2015
Paula Kintschev Santana de MoraesMestradoLeliane Nunes de Barros16/02/2017
Paulo Viniccius VieiraDoutoradoLeonidas de Oliveira Brandao25/02/2019
Pedro BeraldoMestradoLeliane Nunes de Barros12/02/2019
Pedro Henrique Rocha BruelDoutoradoAlfredo Goldman Vel Lejbman23/02/2015
Piero Conti KauffmannMestradoJulio Michael Stern25/02/2019
Rafael de Assunção SampaioDoutoradoMarcel Parolin Jackowski07/08/2017
Rafael Sander NogueiraMestradoRouto Terada20/07/2020
Rafael Veiga PocaiDoutoradoCristina Gomes Fernandes28/01/2016
Rafael Zulli de Gioia PaivaMestradoCarlos Hitoshi Morimoto05/08/2019
Rafael Zuolo Coppini LimaMestradoYoshiharu Kohayakawa05/08/2019
Raphael NavesDoutoradoRonaldo Fumio Hashimoto22/02/2016
Renan Cesar JacomassiMestradoNina Sumiko Tomita Hirata03/03/2017
Renato Lui GehMestradoDenis Deratani Mauá12/02/2019
Renato ScaroniMestradoLeliane Nunes de Barros13/02/2019
Reynaldo Caceres VillenaDoutoradoRouto Terada01/03/2018
Ricardo Lira da FonsecaMestradoCarlos Hitoshi Morimoto27/02/2020
Ricardo Manhães SaviiMestradoRoberto Hirata Junior27/02/2020
Ricardo Yamamoto AbeMestradoJunior Barrera21/02/2018
Roberto Almeida ShimizuMestradoFlavio Soares Correa da Silva26/02/2018
Roberto Piassi Passos BodoDoutoradoMarcelo Gomes de Queiroz22/02/2016
Robson Pereira AleixoMestradoFabio Kon05/08/2019
Rodolfo Souza ScotoloMestradoAna Cristina Vieira de Melo15/02/2017
Rodrigo Aparecido EnjuMestradoYoshiharu Kohayakawa19/02/2018
Rodrigo Beresca de AlmeidaMestradoJunior Barrera25/02/2019
Rodrigo Carvalho BorgesDoutoradoMarcelo Gomes de Queiroz22/02/2016
Rodrigo Ehrlich StevauxMestradoAna Cristina Vieira de Melo09/03/2017
Rodrigo Lima da CostaMestradoCarlos Hitoshi Morimoto18/02/2020
Rodrigo Ribeiro Santos de CarvalhoMestradoFlorencia Graciela Leonardi08/08/2019
Sandro Márcio da Silva PretoDoutoradoMarcelo Finger10/03/2017
Sergio Yuji HayashiMestradoNina Sumiko Tomita Hirata05/03/2018
Shayenne da Luz MouraMestradoMarcelo Gomes de Queiroz20/02/2017
Silvia Scheunemann SilvaDoutoradoAnarosa Alves Franco Brandão17/02/2014
Sylvio Ximenez de Azevedo NetoDoutoradoJulio Michael Stern11/09/2019
Taiane Coelho RamosDoutoradoAndré Fujita17/03/2017
Tallys Gustavo MartinsMestradoFabio Kon31/07/2017
Thales Areco Bandiera PaivaDoutoradoRouto Terada05/03/2018
Thamillys Marques de OliveiraMestradoDaniel Macedo Batista07/08/2017
Thatiane de Oliveira RosaDoutoradoAlfredo Goldman Vel Lejbman28/07/2017
Thiago Ildeu Albuquerque LiraMestradoMarcelo Finger07/03/2017
Thiago Pereira BuenoDoutoradoLeliane Nunes de Barros27/02/2015
Thilo KochDoutoradoMarcelo Gomes de Queiroz06/06/2013
Tiago MadeiraMestradoDenis Deratani Mauá31/01/2018
Vanessa Martinez ToniniMestradoKelly Rosa Braghetto05/08/2019
Victor Teixeira de Melo MayrinkDoutoradoFlavio Soares Correa da Silva07/03/2017
Vinícius Bitencourt MatosMestradoRenata Wassermann02/02/2018
Vinícius CustodioMestradoLeliane Nunes de Barros26/02/2018
Vinicius Sanches CarrielMestradoRoberto Hirata Junior28/02/2020
Vitor Antonio Costa ZaninottoMestradoJoão Eduardo Ferreira19/02/2020
Wagner Geraldo FerreiraMestradoRoberto Hirata Junior25/02/2019
Waldir Edison Farfán CaroDoutoradoAlan Mitchell Durham05/03/2018
Willy Arthur Silva ReisDoutoradoKarina Valdivia Delgado18/09/2019
Wilson Kazuo MizutaniDoutoradoFabio Kon16/02/2017
Witassio dos Santos Miranda de OliveiraMestradoWalter Figueiredo Mascarenhas13/03/2017
Yaissa Campos SiqueiraMestradoRouto Terada05/08/2019
SiglaNome da disciplina
GEN5711Preparação à Docência de Graduação
IBI5037Algoritmos em Bioinformática
MAC4722Linguagens, Autômatos e Computabilidade
MAC5700Seminários em Ciência da Computação
MAC5701Tópicos em Ciência da Computação
MAC5705Tópicos em Algoritmos Paralelos Usando MPI e BSP/CGM
MAC5710Estrutura de Dados e sua Manipulação
MAC5711Análise de Algoritmos
MAC5714Tópicos Avançados de Programação Orientada a Objetos
MAC5715Tópicos de Programação Orientada a Objetos
MAC5716Laboratório de Programação Extrema
MAC5717Laboratório Avançado de Métodos Ágeis de Desenvolvimento de Software
MAC5718Recuperação de Informação
MAC5719Tópicos em Bioinformática
MAC5720Teoria dos Autômatos Finitos
MAC5722Complexidade Computacional
MAC5723Introdução à Criptologia
MAC5724Palavras, Autômatos e Algoritmos
MAC5725Linguística Computacional
MAC5726Biologia Computacional
MAC5727Algoritmos de Aproximação
MAC5728Tópicos em Lógica Computacional
MAC5729Raciocínio sobre Conhecimento
MAC5732Introdução à Verificação de Programas
MAC5733Teoria de Programação em Lógica
MAC5734Técnicas de Programação Declarativa
MAC5737Tópicos em Inteligência Artificial
MAC5739Inteligência Artificial
MAC5740Algoritmos Paralelos e Arquiteturas VLSI
MAC5741Introdução a Algoritmos e Arquiteturas Paralelas
MAC5742Introdução à Computação Paralela e Distribuída
MAC5743Computação Móvel
MAC5744Introdução à Computação Gráfica
MAC5745Processamento Digital de Imagens Teoria e Aplicações
MAC5746Bases da Morfologia Matemática para Análise de Imagens
MAC5747Geometria Computacional
MAC5748Síntese de Imagens Digitais
MAC5749Análise e Reconhecimento de Formas: Teoria e Prática
MAC5750Teoria e Construção de Compiladores
MAC5753Sistemas Operacionais
MAC5754Conceitos de Linguagens de Programação
MAC5755Sistemas Operacionais Distribuídos
MAC5756Sistemas Distribuídos: Protocolos e Ambientes de Programação
MAC5757Redes de Dados
MAC5758Introdução ao Escalonamento e Aplicações
MAC5759Sistemas de Objetos Distribuídos
MAC5760Introdução aos Sistemas de Bancos de Dados
MAC5762Modelagem e Indexação de Dados em Sistemas de Bancos de Dados
MAC5763Controle de Concorrência e Distribuição de Dados
MAC5764Tópicos em Engenharia de Software
MAC5765Tópicos em Sistemas de Computação I
MAC5766Reutilização de Software e Hardware
MAC5767Introdução ao Processamento de Alto Desempenho
MAC5768Visão e Processamento de Imagens
MAC5769Visão e Processamento de Imagens - Parte II
MAC5770Introdução à Teoria dos Grafos
MAC5771Teoria dos Grafos
MAC5773Teoria dos Matróides
MAC5774Teoria Extremal dos Conjuntos
MAC5775Métodos Probabilísticos em Combinatória e em Teoria da Computação I
MAC5776Métodos Probabilísticos em Combinatória e em Teoria da Computação II
MAC5777Reconhecimento de Objetos por Análise Estrutural e Temporal de Padrões
MAC5778Sistemas Baseados em Conhecimento
MAC5779Engenharia de Software Experimental
MAC5780Otimização Inteira
MAC5781Otimização Combinatória
MAC5783Engenharia de Software
MAC5784Inteligência Artificial em Jogos de Computador
MAC5785Software Confiável: Desenvolvimento Formal
MAC5786Princípios de Interação Homem Computador
MAC5787Lógicas Não-Clássicas e suas Aplicações
MAC5788Planejamento em Inteligência Artificial
MAC5789Laboratório de Inteligência Artificial
MAC5790Otimização Linear
MAC5791Programação Não Linear
MAC5792Tópicos Especiais de Otimização I
MAC5793Problemas de Grande Porte em Programação Matemática
MAC5794Elementos de Economia Matemática
MAC5795Métodos Diretos para Sistemas Lineares Esparsos
MAC5796Métodos de Otimização em Finanças
MAC5797Otimização Não Linear
MAC5798Desenvolvimento de Sistemas Colaborativos
MAC5799Tópicos em Diferenciação Automática
MAC5800Informação, Comunicação e a Sociedade do Conhecimento
MAC5801Tópicos Especiais em Ciência da Computação
MAC5811Projeto e Análise de Algoritmos
MAC5820Teoria dos Semi-grupos e Aplicações
MAC5825Semigrupos Finitos e Álgebra Universal
MAC5826Métodos de Criptoanálise em Criptografia
MAC5827Tópicos em Combinatória
MAC5828Tópicos em Complexidade Computacional
MAC5829Quase-aleatoriedade
MAC5832Aprendizagem de Máquina: Modelos, Algoritmos e Aplicações
MAC5833Análise Idempotente
MAC5840Algoritmos e Arquiteturas Paralelas Sistólicas
MAC5841Técnicas de Paralelização em Compiladores
MAC5845Morfologia Matemática
MAC5850Computabilidade e Tratabilidade via Lógica
MAC5853Desenvolvimento de Sistemas de Computação
MAC5854Sistemas de Middleware
MAC5855Tópicos Especiais em Desenvolvimento para Web
MAC5856Desenvolvimento de Software Livre
MAC5857Desenvolvimento de Sistemas Web para Apoio ao Ensino/Aprendizagem
MAC5858Tópicos em Informática na Educação I
MAC5860Tópicos da Teoria do Modelo Relacional de Dados
MAC5861Modelagem de Banco de Dados
MAC5862Indexação de Dados
MAC5863Sistemas de Middleware Avançados
MAC5864Processamento de Transações
MAC5865Tópicos em Ciência e Engenharia de Dados
MAC5871Grafos Infinitos
MAC5872Tópicos em Teoria dos Grafos e Otimização
MAC5880Poliedros em Otimização Combinatória
MAC5881Combinatória Poliédrica e o Método dos Planos-de-corte
MAC5885Fundamentos Metodológicos para Inteligência Artificial
MAC5890Processos de Controle Descentralizado
MAC5891Métodos de Pontos Interiores em Programação Linear
MAC5892Análise Convexa e Otimização
MAC5900Computação Musical
MAC5910Programação para Redes de Computadores
MAC5911Tópicos em Visão Computacional e Processamento de Imagens
MAC5912Introdução a Redes Booleanas Probabilísticas
MAC5915Laboratório de Visão Computacional e Processamento de Imagens
MAC5917Introdução à Biologia de Sistemas
MAC5918Processamento e Análise de Imagens Médicas
MAC5920Introdução ao Processamento de Sinais Digitais
MAC5936Estudos Avançados em Otimização Contínua II
MAC5950Sistemas Humano-Computacionais
MAC6711Tópicos de Análise de Algoritmos
MAC6806Tradução Automática Estatística
MAC6900Tópicos Avançados de Coreografias de Serviços Web
MAC6901Raciocínio Espacial
MAC6902Programação Funcional Contemporânea
MAC6903Processamento de Imagens usando Grafos
MAC6904Tópicos em Combinatória Contemporânea I
MAC6905Tópicos em Combinatória Contemporânea II
MAC6906Teoria dos Jogos Algorítmica
MAC6907Tópicos Avançados de Composição de Serviços Web: Orquestrações e Coreografias
MAC6908Programação Semidefinida e Aplicações
MAC6909Empreendedorismo Digital
MAC6910Metodologia de Pesquisa para Ciência da Computação
MAC6911Introdução às Máquinas de Vetores de Suporte
MAC6912Ambientes de Desenvolvimento de Software
MAC6913Tópicos em Computação Gráfica
MAC6914Aprendizado de Máquina em Visão Computacional
MAC6915Topicos em Máquinas de Vetores de Suporte
MAC6916Modelos Probabilísticos Baseados em Grafos
MAC6917Tópicos em Computação Sonora e Musical
MAC6918Tópicos na Teoria Algébrica dos Grafos
MAC6919Teste de Software Baseado em Modelos
MAC6920Métodos Numéricos de Álgebra Linear
MAC6922Tópicos Avançados de Pesquisa em Cidades Inteligentes
MAC69233D Interaction in Mixed Realities
MAC6924Startup Enxuta
MAC6925Tópicos em Métodos da Análise de Fourier em Geometria Combinatória
MAC6926Introdução à Aprendizagem Estatística
MAC6927Teoria dos Números Computacional
MAC6928Tópicos na Teoria dos Números
MAC6929Fundamentos da Internet das Coisas
MAC6930Estudos Avançados em Otimização Combinatória
MAC6931Estudos Avançados em Sistemas de Software
MAC6932Métodos Qualitativos de Pesquisa
MAC6933Estudos Avançados em Sistemas Sócio-Técnicos
MAC6934Estudos Avançados em Sistemas de Distribuídos
MAC6935Estudos Avançados em Otimização Contínua I
MAC6936Estudos Avançados em Medidas de Conectividade I
MAC6937Estudos Avançados em Medidas de Conectividade II
MAC6938Estudos Avançados em Teste de Software Baseado em Modelos I
MAC6939Estudos Avançados em Teste de Software Baseado em Modelos II
MAC6940Estudos Avançados em Planejamento, Modelagem e Raciocínio sob Incerteza I
MAC6941Estudos Avançados em Planejamento, Modelagem e Raciocínio sob Incerteza II
MAC6942Estudos Avançandos de Modelos de Aprendizado Computacional: implementação e aplicação na área de bioinformática I
MAC6943Estudos Avançandos de Modelos de Aprendizado Computacional: implementação e aplicação na área de bioinformática II
MAC6944Estudos Avançados de Métodos Numéricos I
MAC6945Estudos Avançados de Métodos Numéricos II
MAC6946Estudos Avançados em Interação Humano Computador I
MAC6947Estudos Avançados em Interação Humano Computador II
MAC6948Estudos Avançados em Computação Musical I
MAC6949Estudos Avançados em Processamento de Imagens Usando Grafos I
MAC6950Estudos Avançados em Processamento de Imagens Usando Grafos II
MAC6951Estudos Avançados em Informática na Educação I
MAC6952Estudos Avançados em Informática na Educação II
MAC6953Seminários em Combinatória Extremal, Probabilística e Aditiva I
MAC6954Seminários em Combinatória Extremal, Probabilística e Aditiva II
MAC6955Tópicos sobre o Estado da Arte em Testes de Software
MAC6956Estudos Avançados em Aprendizado de Máquina Aplicado à Análise de Imagens
MAC6957Estruturas de Dados Avançadas
MAC6958Tópicos Avançados em Ciência de Dados para Redes de Computadores
MAC6959Ciência Urbana: Tecnologia, Ciência e Cidade
MAC6960Programação para Jogos Digitais
MAC6961Estudos Avançados em Lógica, Inteligência Artificial e Linguística Computacional
MAC6962Tópicos Matemáticos para Computação Contemporânea
MAC6963Biologia de Sistemas
MAC6964Estudos Avançados em Representação de Conhecimento
MAC6965Estudos Avançados em Redes Booleanas Probabilísticas I
MAC6966Using Coq and CLEARSY safety platform in software industry
MAC6967Laboratório Avançado de Ciência de Dados
MAC6988Cibersegurança