CalifUniversidadMaestraAreas y Lineas de Investigacin http://www.ic.unicamp.br/pos 7 UNICAMP (UNIVERSIDADE ESTADUAL DE CAMPINAS / SP) CINCIA DA COMPUTAO Algoritmos, Grafos e Combinatria - Anlise de Algoritmos - Biologia Computacional - Computao Numrica - Geometria Computacional - Linguagens Formais e Autmatos - Otimizao Combinatria - Teoria dos Grafos Arquitetura de Computadores, Compiladores e Projeto de Hardware - Arquitetura de Computadores - Linguagens de Programao e Compiladores - Projeto e Teste de Circuitos Digitais - Projeto e Implementao de Mquinas Virtuais - Projeto Integrado de Hardware e Software Computao Visual e Inteligncia de Mquina - Anlise de Padres - Aprendizado de Mquina - Biometria - Computao Grfica - Inteligncia Artificial - Processamento de Imagens - Processamento de Lnguas Naturais - Recuperao de Imagens por Contedo - Viso Computacional Engenharia de Software, Gerenciamento de Informao e Interfaces Humano-Computador - Bancos de Dados - Engenharia de Software - Informtica na Educao - Interfaces Humano-Computador - Tolerncia a Falhas eScience - Computao Forense - Bioinformtica - Processamento e Anlise de Imagens Biomdicas - Gerenciamento de Dados Geogrficos Projeto de Redes e Segurana de Dados- Criptografia Computacional- Redes de Computadores- Segurana Computacional- Sistemas Distribudos CalifUniversidadMaestraAreas y Lineas de Investigacin http://www.dcc.ufmg.br/pos/pesquisa/grupos.php7 UFMG (UNIVERSIDADE FEDERAL DE MINAS GERAIS / MG) CINCIAS DA COMPUTAO Anlise e Modelagem de Desempenho em Sistemas de Computao - Analise de desempenho de sistemas de computao - Anlise de desempenho de sistemas de distribuio de contedo - Tcnicas de modelagem de sistemas distribudos Bancos de Dados - Bibliotecas Digitais - Gerncia de Dados da Web - Interfaces Cooperativas - Modelagem Conceitual - Projeto de Bancos de Dados Bioinformtica Estrutural - Screening virtual para a descoberta e aprimoramento de novos ligantes e inibidores para alvos teraputicos selecionados - Tropical BioMiner Computao Heurstica - Bioinformtica - Minerao de Dados - Otimizao Combinatria Engenharia de Computadores - Sistemas Integrados de Hardware e Software Engenharia de Software e Usabilidade - Processo de desenvolvimento de software visando a usabilidade - Processos de desenvolvimento de software Engenharia de Softwarre - Educao em Engenharia de Software - Qualidade de Software - Reutilizao de Software Escalabilidade e Eficincia em Sistemas de Computao - Gerenciamento de recursos - Paralelizao de algoritmos - Servios Internet Escalveis e Eficientes - Tolerncia a falhas Linguagens e Ambientes de Programao- Mtodos e Ferramentas de Documentao de Programas;- Especificao Formal Executvel;- Novas Abstraes para Ambientes de Programao Ncleo de Processamento Digital de Imagens - Deteco de Comerciais em Vdeo - Recuperao de Informao Visual com Base no Contedo - Segmentao e Anlise de Imagens da Biomedicina - Segmentao e Anlise de Imagens de Satlite - Sistemas de Informaes Multimdia Otimizao e Automao de Sistemas - Algoritmos - Computao Mvel e Telecomunicaes - Mtodos do sub-espao de Krylov - Otimizao Combinatria Redes de Computadores e Telecomunicaes - Computao mvel - Engenharia de trafego e qualidade de servio - Gerenciamento de redes de computadores e de telecomunicaes - Redes de Sensores Sem Fio Sistemas Computacionais para Bioinformtica - Estudos de ferramentas de busca por homologia - Estudos evolutivos com o uso de bioinformtica - Ferramentas de anotao de sequncias de DNA Sistemas de Informao para a Web - Gerenciamento de dados semi-estruturados - Indexao - Interfaces - Minerao de Dados - Modelagem Sistemas de Tipos e Programao Funcional - Linguagens de Programao e Sistemas de Tipos - Programao Funcional Tecnologia da Informao para Grandes Coorporaes Universalizao de Acesso Internet - Desenvolvimento de ferramentas de gerncia e administraco - Desenvolvimento de Sistemas Operacionais Verificao Automtica - Modelagem e Verificao de Sistemas de Comrcio Eletrnico - Novas tcnicas de verificao Viso e Robtica - Computao Grfica - Fotografia e Vdeo Tridimensionais - Imagens Mdicas - Percepo Ativa - Robtica - Robtica Cooperativa - Tele-Presena - Viso Computacional CalifUniversidadMaestraAreas y Lineas de Investigacin http://ppgc.inf.ufrgs.br/index.php?option=com_content&view=category&layout=blog&id=53&Itemid=897 UFRGS (UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL / RS) COMPUTAO Engenharia da Computao - Arquitetura e Projeto de Sistemas Computacionais - Microeletrnica - Sistemas Embarcados - Teste e Confiabilidade de Sistemas Integrados de Hardware e Software Informtica Terica - Fundamentos da Computao Inteligncia Artificial - Inteligncia Artificial Sistemas de Computao - Computao Grfica, Processamento de Imagens e Interao - Processamento Paralelo e Distribudo - Redes de Computadores - TV Digital Sistemas de Informao - Engenharia de Software - Verificao e Teste de Software - Modelagem Conceitual e Bancos de Dados CalifUniversidadMaestraLineas y temas de Investigacin http://www.cos.ufrj.br/index.php?menu=2&option=com_content&task=view&id=25&Itemid=577 UFRJ (UNIVERSIDADE FEDERAL DO RIO DE JANEIRO / RJ) ENGENHARIA DE SISTEMAS E COMPUTAO Algoritmos e Combinatria - Teoria de Grafos - Estruturas de Dados - Anlise de Algoritmos - Computao Quntica - Otimizao Combinatria Arquitetura e Sistemas Operacionais - Projeto de circuitos digitais - Microarquiteturas - Arquiteturas paralelas - Programao em lgica - Linguagens de programao concorrente - Sistemas operacionais avanados - Algoritmos paralelos e distribudos - Redes neuronais artificiais - Interpretao e traduo binria - Mquinas virtuais Banco de Dados - Gerncia de dados distribuidos: Web, Clusters e Grids - Interoperabilidade de Bases de Dados Geogrficas - Minerao de dados - Cooperao e recuperao de informaes multidimensionais - Novos Algoritmos e Arquiteturas para Bancos de Dados Espaciais Distribudos - Model Driven Architecture Computao Grfica - Animao e Jogos - Deformao de volumes e superficies - Imagens mdicas - Malhas numricas - Modelagem geomtrica - Modelos baseados em pontos - Realidade virtual e aumentada - Simulao fsica - Visualizao Volumtrica - Web Graphics Engenharia de Software - Ambientes de Desenvolvimento de Software - Controle da Qualidade de Software - Reutilizao de Software - Engenharia de Software Experimental Informtica e Sociedade - Estudos de Cincia e Tecnologia: uma abordagem sciotcnica - Anlise do processo de adoo de novas tecnologias - Relao entre formao, qualificao e inovao nas empresas - Informatizao no setor agropecurio Inteligncia Artificial - Mtodos Formais - Aprendizado de Mquina e Data Mining - Programao em Lgica - Neurocincia Computacional - Aplicaes Otimizao - Principais Temas de Pesquisa - Softwares disponveis Redes de Computadores - Modelagem e Anlise de Sistemas e Computao e Comunicao - Aplicaes Multimdia - Redes Multimdia- Redes sem fio - Segurana de redes - Desenvolvimento de solues middleware para redes ativas e programveis. Engenharia de trfego CalifUniversidadMaestraLineas de Investigacin http://www.inf.puc-rio.br/?page_id=3157 PUC-RIO (PONTIFCIA UNIVERSIDADE CATLICA DO RIO DE JANEIRO / RJ) INFORMTICA Banco de Dados (BD) Computao Grfica (CG) Engenharia de Software (ES) Hipertexto e Multimdia (HM) Interao Humano-Computador (IHC) Linguagens de Programao (LP) Otimizao e Raciocnio Automtico (OTR) Redes de Computadores e Sistemas Distribudos (RCSD) Teoria da Computao (TC) CalifUniversidadMaestraAreas y Lineas de Investigacin http://www.ime.usp.br/dcc/pesquisa/areas6 USP (UNIVERSIDADE DE SO PAULO / SP) CINCIA DA COMPUTAO Sistemas de Software - Banco de Dados - Computao em Nuvem (Cloud Computing) - Computao Paralela- Computao Mvel- Engenharia de Software- Mtodos geis - Redes de Computadores - Sistemas Colaborativos- Sistemas Distribudos- Software Livre Teoria da Computao - Combinatria - Criptografia- Teoria dos Autmatos - Teoria dos Grafos Otimizao - Otimizao Combinatria - Otimizao Contnua Inteligncia artificial e lgica - Inteligncia Artificial- Lgica Computacional- Planejamento automatizado - Ontologias e Web Semntica Viso e Processamento de Imagens - Computao Grfica - Processamento de Imagens- Viso Computacional Tcnicas e Tecnologias da Computao - Recuperao de informao - Reconhecimento de Padres Marcel Jackowski - Computao Musical Computao aplicada- Bioinformtica - Informtica Mdica- Informtica na Educao - Jogos e entretenimento digital CalifUniversidadMaestraAreas y Lineas de Investigacin http://www.cin.ufpe.br/SitePesquisa/inicial.do6 UFPE (UNIVERSIDADE FEDERAL DE PERNAMBUCO / PE) CINCIAS DA COMPUTAO ARQUITETURA DE COMPUTADORES E SISTEMAS DIGITAIS BANCO DE DADOS COMPUTAO INTELIGENTE ENGENHARIA DE SOFTWARE E LINGUAGENS DE PROGRAMAO TEORIA DA COMPUTAO REDES DE COMPUTADORES E SISTEMAS DISTRIBUIDOS ENGENHARIA DA COMPUTAO INTELIGNCIA COMPUTACIONAL MDIA E INTERAO CalifUniversidadMaestraAreas y Lineas de Investigacin http://www.icmc.usp.br/Portal/conteudo/949/243/linhas-de-pesquisa6 USP/SC (UNIVERSIDADE DE SO PAULO/SO CARLOS / SP) CINCIAS DA COMPUTAO E MATEMTICA COMPUTACIONAL Banco de Dados/Computao Grfica, Imagens e Visualizao - Banco de Dados - Computao Grfica, Imagens e Visualizao Engenharia de Software e Sistemas de Informao/Sistemas Web e Multimdia Interativos - Engenharia de Software e Sistemas de Informao - Sistemas Web e Multimidia Interativos Inteligncia Computacional - Anlise de Padres em Dados - Inteligncia Artificial - Aprendizado de Mquina e Minerao de Dados - Computao Bioinspirada - Processamento de Linguagem Natural - Robtica Sistemas Distribudos e Programao Concorrente/Sistemas Embarcados, Evoludos e Robticos - Sistemas Distribudos e Programao Concorrente - Sistemas Embarcados e Evolutivos - Robtica Mvel Mecnica dos Fluidos Computacional/Otimizao/Modelos Estocsticos - Mecnica dos Fluidos Computacional - Otimizao - Processamento Geomtrico e Visual - Sistemas Complexos, de Partculas e Teoria de Controle