Temas Mestrado Cin-UFPE

Temas para Pr-Projeto de Mestrado e Doutorado Seleo 2011Professor Abel Guilhermino da Silva Filho Abel Guilhermino da Silva Filho Abel Guilhermino da Silva Filho Abel Guilhermino da Silva Filho Abel Guilhermino da Silva Filho Abel Guilhermino da Silva Filho Abel Guilhermino da Silva Filho Adriano Lorena Incio de Oliveira rea(s) Tipo(D/M) Link Otimizao Evolucionria para ajuste de parmetros em Arquiteturas de um Systemon-Chip visando Melhoria de Energia. Mecanismo de Otimizao baseado em simulao para Problemas de Explorao de Arquitetura considerando Diferentes Hierarquias de Memria. Sistemas Operacionais de Baixo Consumo de Energia para Aplicaes Embarcadas.

- SISTEMAS EMBARCADOS

M


M


M


D

Metodologia Hw/Sw para Avaliao de Diagnsticos de Doenas


M

Ambiente para Avaliao de Energia em GPUs para Aplicaes de Alto Desempenho


D

Deteco Automtica Hw/Sw para Diagnsticos de Doenas Otimizao de Energia baseado em Variao de Parmetros para Problemas de Explorao de Arquitetura Ferramenta para Estimativa de Esforo de Projetos de Software Baseada em Tcnicas de Inteligncia Computacional


M

- Inteligncia Computacional - ENGENHARIA DE SOFTWARE | Engenharia de Software Experimental

M

Adriano Lorena Incio de Oliveira Adriano Lorena Incio

- Inteligncia Computacional - ENGENHARIA DE SOFTWARE | Engenharia de Software Experimental

M

Priorizao de Casos de Teste de Software usando Tcnicas de Aprendizagem de Mquina

- Inteligncia Computacional

M

Aplicao de Tcnicas de Minerao de

Professor de Oliveira Adriano Lorena Incio de Oliveira Adriano Lorena Incio de Oliveira Adriano Lorena Incio de Oliveira Adriano Lorena Incio de Oliveira

rea(s)

Tipo(D/M)

Link Dados em Auditoria Financeira Deteco de Novidades em Sries Temporais atravs de Comits de Classificadores de uma nica Classe Minerao de Dados Aplicada a Governo Eletrnico Aplicao de Tcnicas de Inteligncia Computacional para Automatizao de Operaes no Mercado Financeiro


M


M


M

- ENGENHARIA DE SOFTWARE | Gesto de Projetos de Software - Inteligncia Computacional

M

Gerenciamento e Avaliao de Servios em Sade: Indicadores de Qualidade

- Mdias e Interao

Alex Sandro Gomes

- Mdias e Interao | computer supported cooperative learning

M

Estilos de interao com ferramentas lingsticas em plataformas de ensino

- Mdias e Interao

Alex Sandro Gomes

- Mdias e Interao | computer supported cooperative learning

M

Arquiteturas de software para projeto de plataformas CSCL distribudas

Alex Sandro Gomes

- Mdias e Interao - Mdias e Interao | Social networking

M

Consciousness and engagement in social networks

Alex Sandro Gomes


M

Fun and learning in social networks

Alex Sandro Gomes Alex Sandro Gomes


M

Scaffolding and metacognition in social networks Semantic visualization of Social Activities in social networks

- Mdias e Interao - Mdias e Interao | Social

M

Professor

rea(s)networking

Tipo(D/M)

Link

Alex Sandro Gomes


M

Extending user experience in social networks to iTV and mobile devices

Alexandre Cabral Mota Alexandre Cabral Mota Alexandre Cabral Mota Alexandre Cabral Mota Alexandre Cabral Mota Alexandre Marcos Lins de Vasconcelos Alexandre Marcos Lins de Vasconcelos Aluizio Fausto Ribeiro Arajo Aluizio Fausto Ribeiro Arajo Aluizio Fausto Ribeiro Arajo Aluizio Fausto Ribeiro Arajo

- ENGENHARIA DE SOFTWARE | Engenharia de Software Experimental

M

GUI Testing


M

E-Learning Platform for Experimental Software Engineering Verificao de Modelos Quantitativa baseada em CSP Analisando Desempenho de Padres Simulink

- ENGENHARIA DE SOFTWARE|Segurana (safety) de sistemas

M


M


M

Ferramenta de inferncia de falhas

- ENGENHARIA DE SOFTWARE | PROCESSO E QUALIDADE DE SOFTWARE

M

Definio de Mtricas Organizacionais de Projetos geis com Base no Controle Estatstico de Processos Aplicao de Risk-based Testing em Sistemas de Sade Sinergia de Operadores em Algoritmos Genticos para Otimizao Combinatria Multi-objetivo Algoritmos Genticos para Sistemas de Processamento Analtico Online (OLAP) Mapas Auto-Organizveis na Identificao e Controle de Sistemas Dinmicos Rede Neural No-supervisionada para Fuso Sensorial


M

- Inteligncia Computacional | Algoritmos Evolucionrios

M


M

- Inteligncia Computacional | Redes Neurais

M


M

Professor Aluizio Fausto Ribeiro Arajo Aluizio Fausto Ribeiro Arajo Aluizio Fausto Ribeiro Arajo Aluizio Fausto Ribeiro Arajo Ana Carolina Brando Salgado Ana Carolina Brando Salgado Ana Carolina Brando Salgado Ana Carolina Brando Salgado Ana Carolina Brando Salgado Ana Carolina Brando Salgado Ana Carolina Brando Salgado Andr Lus de Medeiros Santos

rea(s)- Inteligncia Computacional | Algoritmos Evolucionrios

Tipo(D/M) M

Link Otimizao Combinatria Multi-objetivo por Computao Evolucionria Diversidade na Otimizao Multi-objetivo Evolucionria Redes Neurais para Aprendizagem On-line da Locomoo de Robs com Membros Inferiores Redes Neurais para Auto-gerenciamento de Sistemas Autonmicos Uma Ferramenta para Gerenciamento Autnomo de SGBD Utilizando Contexto para Expanso de Consulta a Dados Geogrficos em ambiente PDMS Um Framework para Gerenciamento de Ontologias


M


D


D

- BANCO DE DADOS | SGBD Autnomos

M

- BANCO DE DADOS | Gerenciamento de Dados em Ambiente P2P

M

- Ontologias e Web Se mantica

M


M

Otimizao de Consulta Reformulada em PDMS


M

Anlise de Critrios de Qualidade em Reformulao de Consultas em um PDMS Utilizando contexto na normalizao de identificadores de elementos de esquemas de BD Uso de informaes semnticas para gerao de mapeamentos entre esquemas em um PDMS Uso de Domain Specific Languages para o Aumento de Produtividade no Desenvolvimento de Software

- BANCO DE DADOS

M


M

- ENGENHARIA DE SOFTWARE | Linguagens Especficas de Domnio

M

Professor

rea(s)- LINGUAGENS DE PROGRAMAO

Tipo(D/M)

Link

Andr Lus de Medeiros Santos

- ENGENHARIA DE SOFTWARE | Linguagens Especficas de Domnio - LINGUAGENS DE PROGRAMAO

D

Uso de Domain Specific Languages para o Aumento de Produtividade no Desenvolvimento de Software

Andr Lus de Medeiros Santos Anjolina Grisi de Oliveira Anjolina Grisi de Oliveira Anjolina Grisi de Oliveira Anjolina Grisi de Oliveira Augusto Czar Alves Sampaio Bernadette Farias Lscio Bernadette Farias Lscio Carina Frota Alves Carlos Alexandre Barros de Mello

- LINGUAGENS DE PROGRAMAO

M

Otimizao de Linguagens Funcionais em Arquiteturas Paralelas

- Lgica para Computao

M

Grafos de Prova para Lgia Intuicionista Provas como processos: uma abordagem via Grafos de Prova Estudo do fenmeno de expanso de provas via N-grafos


M


M

- ANLISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTAO

M

Algoritmos para teste de primalidade

- ENGENHARIA DE SOFTWARE | MODEL DRIVEN DEVELOPMENT

D

Gerao Automtica de Testes a Partir de Requisitos para Sistemas Aeronuticos Manuteno de Dataspaces atravs da Propagao Incremental de Atualizaes Avaliao da Qualidade de Dataspaces a partir da Evoluo das Fontes de Dados Uma proposta baseada em personas e cenrios para aumentar a experincia de usurios de aplicaes mveis

- BANCO DE DADOS | Integrao de Dados

M

- BANCO DE DADOS | Integrao de Dados

M

- Mdias e Interao

M

- PROCESSAMENTO GRFICO (GRAPHICS) | Processamento de Imagens - VISO COMPUTACIONAL

M

Sistema de Viso Estereoscpica para Auxlio a Condutores de Veculos Automotores

Professor Carlos Alexandre Barros de Mello Carlos Alexandre Barros de Mello Carlos Alexandre Barros de Mello Carlos Andr Guimares Ferraz

rea(s)- VISO COMPUTACIONAL - PROCESSAMENTO GRFICO (GRAPHICS) | Processamento de Imagens

Tipo(D/M)

Link

M

Modelos de Viso Computacional atravs de Conceitos de Percepo Visual

- PROCESSAMENTO GRFICO (GRAPHICS) | Processamento de Imagens

M

Processamento de Imagens de Documentos Histricos

- Processamento Digital de Sinais

M

Sistema de Processamento de Voz para Auxlio Portadores de Grave Deficincia Visual

- ENGENHARIA DE SOFTWARE

M- METODOLOGIA E TCNICAS DA COMPUTAO

Considerando peculiaridades de TV digital no desenvolvimento de aplicaes convergentes

Carlos Andr Guimares Ferraz

- ENGENHARIA DE SOFTWARE | ARQUITETURA DE SOFTWARE

M- SISTEMAS DISTRIBUDOS | COMPUTAO ORIENTADA A SERVIO

Uma arquitetura para integrao de TV digital ao paradigma de computao nas nuvens


- SISTEMAS DISTRIBUDOS | COMPUTAO ORIENTADA A SERVIO - SISTEMAS DISTRIBUDOS | MIDDLEWARE

M

Um modelo de distribuio de processamento em TV conectada


- Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade - SISTEMAS DISTRIBUDOS

M

Anlise de desempenho de aplicaes de TV conectada

Cleber Zanchettin

- ALGORITMOS / INTELIGNCIA COMPUTACIONAL - Inteligncia Computacional

M

Desenvolvimento e Otimizao de Sistemas Hbridos Inteligentes

Cleber Zanchettin

- ALGORITMOS / INTELIGNCIA

M

Aplicao de Tcnicas de Inteligncia Computacional no Reconhecimento de

Professor

rea(s)COMPUTACIONAL - APRENDIZAGEM DE MQUINA - Inteligncia Computacional - PROCESSAMENTO GRFICO (GRAPHICS) | Processamento de Imagens

Tipo(D/M) Escrita

Link

- ALGORITMOS / INTELIGNCIA COMPUTACIONAL

Cleber Zanchettin

- APRENDIZAGEM DE MQUINA - VISO COMPUTACIONAL | Biometria

M

Aplicao de Tcnicas de Inteligncia Computacional no Reconhecimento de Assinatura Manuscrita


Cleber Zanchettin

- APRENDIZAGEM DE MQUINA - PROCESSAMENTO GRFICO (GRAPHICS) | Processamento de Imagens

M

Aplicao de Tcnicas de Anlise de Layout em Sistemas de Processamento Automtico de Imagens

Cleber Zanchettin

- ALGORITMOS / INTELIGNCIA COMPUTACIONAL - APRENDIZAGEM DE MQUINA

D

Desenvolvimento e Otimizao de Sistemas Hbridos Inteligentes

Cleber Zanchettin

- ALGORITMOS / INTELIGNCIA COMPUTACIONAL - APRENDIZAGEM DE MQUINA

D

Aplicao de Tcnicas de Inteligncia Computacional no Reconhecimento de Escrita Manuscrita

Cristiano Coelho de Arajo Cristiano Coelho de Arajo

- Engenharia da Computao | Sistemas Embarcados

M

Sntese de Verificao ESL com Estudo de Caso Aplicado a Sistema de Viso Computacional Sntese de Verificao ESL com Estudo de Caso Aplicado a Sistema de Viso Computacional


D

Professor Cristiano Coelho de Arajo Cristiano Coelho de Arajo Cristiano Coelho de Arajo Cristiano Coelho de Arajo Djamel Fawzi Hadj Sadok Djamel Fawzi Hadj Sadok Djamel Fawzi Hadj Sadok Djamel Fawzi Hadj Sadok Djamel Fawzi Hadj Sadok Djamel Fawzi Hadj Sadok Djamel Fawzi Hadj Sadok Djamel Fawzi Hadj Sadok Djamel Fawzi Hadj Sadok Djamel Fawzi

rea(s)- Engenharia da Computao | Viso Computacional Embarcada

Tipo(D/M)

Link Modelagem de Um Sistema Embarcado de Interao Visual

D

- Engenharia da Computao | Viso Computacional Embarcada

M

Modelagem de Um Sistema Embarcado de Interao Visual


D

Programao Paralela Escalvel para Sistemas Embarcados


M

Programao Paralela Escalvel para Sistemas Embarcados

- Redes e Sistemas Distribudos

M

Correlao de alertas


M

Deteco de Intruso Aperfeioamento dinmico do desempenho de servidores cache para streaming de vdeo Gerenciamento autonmico


M


M


M

Migrao de Roteadores e Servidores Recuperao de linhas xDSL do efeito de rudos impulsivos Medio e Modelagem de Trfego em Redes 3G Virtualizao em redes de contedo


M


M


M


M D

Classificao de Trfego Novas arquiteturas para datacenters e clouds

- Redes e Sistemas

Professor Hadj Sadok Djamel Fawzi Hadj Sadok Djamel Fawzi Hadj Sadok Djamel Fawzi Hadj Sadok Edna Natividade da Silva Barros Edna Natividade da Silva Barros Edna Natividade da Silva Barros Edna Natividade da Silva Barros Edna Natividade da Silva Barros Edna Natividade da Silva Barros Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho

rea(s)Distribudos

Tipo(D/M)

Link


D

Gerenciamento de recursos em Redes de Contedo e Clouds Monitoramento de Linhas de Transmisso de Energia Cooperao entre Redes de Distribuio de Contedo Platform Development Support to Model based System Design Suporte a Modelagem de Plataformas de Sistemas Embarcados no contexto de Model based Design. Ttulo: Suporte a Sntese de Device- Drivers no contexto de Model-based Design de Sistemas Embarcados. Suporte ao Desenvolvimento de ?Hardware_dependent_Software (HdS)? Suporte a Sntese de ?Hardware_dependent_Software (HdS)? para aplicaes de Tempo Real Uma Arquitetura Neural Integrada para Extrao e Reconhecimento de Padres


D


D


D


M


M


M


M


D


M

FACE - Um Ambiente de Montagem e Reconhecimento de Face Investigao de Tcnicas Automticas de Extrao de Caractersticas Aplicadas a Verificao OFF-LINE de Assinaturas


M

Professor Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho

rea(s)

Tipo(D/M)

Link Investigao de uma Arquitetura para Gerenciamento de Documentos


M


M

Investigao de uma Plataforma Computacional para Identificao de DNA


M

PROVOZ Produo, Identificao e Reconhecimento De Voz


M

RAM - Radial ? Um modelo de Generalizao para as Redes Sem-Peso


M

Reconhecimento de Manuscrito Off-Line


M

Reconhecimento de Manuscritos On-Line


M

Tcnicas de Extrao e Reconhecimento de Padres em Imagens de Radar


M

Uma Abordagem Morfolgica para Reconhecimento de Objetos Estelares


M

Uma Arquitetura Neural Integrada para Extrao e Reconhecimento de Padres


D

FACE - Um Ambiente de Montagem e Reconhecimento de Face Investigao de Tcnicas Automticas de Extrao de Caractersticas Aplicadas a Verificao OFF-LINE de Assinaturas


D

Professor Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Edson Costa de Barros Carvalho Filho Fabio Queda Bueno da Silva

rea(s)

Tipo(D/M)

Link Investigao de uma Arquitetura para Gerenciamento de Documentos


D


D

Investigao de uma Plataforma Computacional para Identificao de DNA


D

PROVOZ Produo, Identificao e Reconhecimento De Voz


D

RAM - Radial ? Um modelo de Generalizao para as Redes Sem-Peso


D

Reconhecimento de Manuscrito Off-Line


D

Reconhecimento de Manuscritos On-Line


D

Tcnicas de Extrao e Reconhecimento de Padres em Imagens de Radar


D

Uma Abordagem Morfolgica para Reconhecimento de Objetos Estelares


D

Uma Arquitetura Neural Integrada para Extrao e Reconhecimento de Padres Estudo sobre a Relao entre Trabalho em Equipe, Coeso e Desempenho no Desenvolvimento de Equipes de Desenvolvimento de Software Auto-gerenciadas: Formao,

- ENGENHARIA DE SOFTWARE | Engenharia de Software Emprica

D

Fabio Queda Bueno da Silva


D

Professor Fabio Queda Bueno da Silva Fabio Queda Bueno da Silva Fabio Queda Bueno da Silva Fabio Queda Bueno da Silva Fernando da Fonseca de Souza Fernando da Fonseca de Souza Fernando da Fonseca de Souza Fernando da Fonseca de Souza Fernando da Fonseca de Souza Fernando da Fonseca de Souza

rea(s)- ENGENHARIA DE SOFTWARE | Engenharia de Software Emprica

Tipo(D/M)

Link O Efeito da Personalidade na Engenharia de Software O Papel e o Impacto da Replicao de Estudos Empricos em Engenharia de Estudo sobre as Relaes entre Diversidade da Equipe, Complexidade das Tarefas e Tipologia de Projetos de Software e a Montagem de Equipes mais Adequadas para Implementando apoio a portadores de necessidades especiais em Sistemas Virtuais de Ensino

D


D


M


M

- Mdias e Interao

M- BANCO DE DADOS

- Mdias e Interao

M- BANCO DE DADOS

Explorando Interatividade em TV Digital

- Mdias e Interao

M- BANCO DE DADOS

Gerao Semi-Automtica de Jogos Educativos em Realidade Aumentada

- BANCO DE DADOS

M- Mdias e Interao

Ambiente virtual colaborativo de diagnstico a distncia baseado em imagens Uma Metodologia e Sistema de Modelagem para Business Inteligence baseados em Recursos da Web 3.0 Ambientes Virtuais Adaptativos Aplicados Engenharia de Software

- BANCO DE DADOS

D

- Mdias e Interao - ENGENHARIA DE SOFTWARE

D

Fernando Jos Castor de Lima Filho

- ENGENHARIA DE SOFTWARE | Linha de Produtos de Software

D- ENGENHARIA DE SOFTWARE | ARQUITETURA DE SOFTWARE

Tratamento de Erros em Linhas de Produtos de Software

Professor Fernando Jos Castor de Lima Filho

rea(s)- ENGENHARIA DE SOFTWARE

Tipo(D/M)

Link

M- LINGUAGENS DE PROGRAMAO

Tratamento de Erros Causa Bugs?

- SISTEMAS DISTRIBUDOS | MIDDLEWARE - ENGENHARIA DE SOFTWARE | ARQUITETURA DE SOFTWARE - TOLERNCIA A FALHAS - ENGENHARIA DE SOFTWARE | CLOUD COMPUTING


D

Desenvolvimento de Plataformas de Middleware Confiveis com Diversidade de Software


- LINGUAGENS DE PROGRAMAO - ENGENHARIA DE SOFTWARE | ARQUITETURA DE SOFTWARE

M

Desenvolvimento de Aplicaes Multicore Confiveis


- LINGUAGENS DE PROGRAMAO

M- ENGENHARIA DE SOFTWARE

Modularizao e Reuso de Tratamento de Erros com Programao Orientada a Aspectos



- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - SISTEMAS DISTRIBUDOS | MIDDLEWARE - TOLERNCIA A FALHAS

M

Desenvolvimento de Plataformas de Middleware Confiveis com Diversidade de Software



M- ENGENHARIA DE SOFTWARE | Linha de Produtos de Software

Tratamento de Erros em Linhas de Produtos de Software

Fernando Jos Castor de Lima

- ENGENHARIA DE SOFTWARE | CLOUD

M

Reliable Service Component Architectures

Professor Filho

rea(s)COMPUTING - SISTEMAS DISTRIBUDOS | MIDDLEWARE - SISTEMAS DISTRIBUDOS | COMPUTAO ORIENTADA A SERVIO - TOLERNCIA A FALHAS

Tipo(D/M)

Link

- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - SISTEMAS DISTRIBUDOS | Composio de Servios


D- SISTEMAS DISTRIBUDOS | MIDDLEWARE - SISTEMAS DISTRIBUDOS | COMPUTAO ORIENTADA A SERVIO

Reliable Service Component Architectures

- Inteligencia artificial

Flvia de Almeida Barros

- Processamento de Linguagem Natural - ENGENHARIA DE SOFTWARE

M

Linguagem Natural Controlada para edio de Requisitos de Software

Flvia de Almeida Barros Flvia de Almeida Barros Francisco de Assis Tenrio de Carvalho Francisco de Assis Tenrio de Carvalho Francisco de Assis Tenrio


M- Recuperacao de Informacao

Sistemas de Roteamento de Consultas Query Social


M- Recuperacao de Informacao

Minerao e Anlise de Opinies na Web


M

Modelos de Agrupamento baseados na otimizao de uma funo objetivo


M

Abordagem Simblica em Meta-Aprendizado Para a Seleo de Modelos de Agrupamento


M

Estudo comparativo de mtodos de

Professor de Carvalho Francisco de Assis Tenrio de Carvalho Francisco de Assis Tenrio de Carvalho Francisco de Assis Tenrio de Carvalho

rea(s)

Tipo(D/M)

Link clusterizao para dados simblicos Algoritmos de Agrupamento Particionais Semi-Supervisionados


M


M

Estudo comparativo de mtodos de anlise de sentimento em notcias, blogs e tweets


M

Teoria da Deciso Algortmica Aplicada a Aprendizagem em Espaos Multi-Critrio

Frederico Luiz Gonalves de Freitas

- LGICAS E SEMNTICA DE PROGRAMAS - Inteligencia artificial - MATEMTICA SIMBLICA

M

Integrao entre a Web Semntica e o Motor de Inferncia Hbrido MONK



- METODOLOGIA E TCNICAS DA COMPUTAO - MATEMTICA SIMBLICA

M

Sistemas baseados em Ontologias sobre Redes Neurais

- Inteligencia artificial - Ontologias e Web Se mantica


- METODOLOGIA E TCNICAS DA COMPUTAO - MATEMTICA SIMBLICA - LGICAS E SEMNTICA DE PROGRAMAS

D

Composio e mdulos para Engenharia de Ontologias

- Inteligencia artificial - LGICAS E SEMNTICA DE PROGRAMAS


M- MATEMTICA SIMBLICA - Ontologias e Web Se mantica

Composio e mdulos para Engenharia de Ontologias

Professor

rea(s)- METODOLOGIA E TCNICAS DA COMPUTAO

Tipo(D/M)

Link



D- Ontologias e Web Se mantica - MATEMTICA SIMBLICA

Padroes e interoperabilidade entre ontologias matematicas e a Web Semantica



M- Ontologias e Web Se mantica - MATEMTICA SIMBLICA

Padroes e interoperabilidade entre ontologias matematicas e a Web Semantica



- METODOLOGIA E TCNICAS DA COMPUTAO - Manipulacao integrada de informacao - Extracao de Informacao - Recuperacao de Informacao

M

Manipulao Integrada de Informao em vrios Domnios



- LGICAS E SEMNTICA DE PROGRAMAS - ANLISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTAO - Raciocinio automatico

D

Inferencing Services over Description Logic

Frederico Luiz Gonalves de

- Inteligencia artificial - Ontologias e Web Se

M

Ontologies and their Applications for Neglected Tropical Diseases

Professor Freitasmantica

rea(s)

Tipo(D/M)

Link

- Raciocinio automatico



- LGICAS E SEMNTICA DE PROGRAMAS - Ontologias e Web Se mantica

M

Expressing cultural differences via complex ontology matching

- Raciocinio automatico - Inteligencia artificial


- LGICAS E SEMNTICA DE PROGRAMAS - Ontologias e Web Se mantica - Processamento de Linguagem Natural

M

Chatterbots para Criao e Refinamento de Ontologias em Lgica de Descrio

- APRENDIZAGEM DE MQUINA - Extracao de Informacao - Inteligencia artificial - Minerao de Textos - Ontologias e Web Se mantica


M

Extrao de Informao Baseada em Ontologias Projeto: Aprendizado e Povoamento de Ontologias

- APRENDIZAGEM DE MQUINA - Extracao de Informacao - Inteligencia artificial


- Minerao de Textos - Lgica para Computao - Processamento de Linguagem Natural - Ontologias e Web Se mantica

M

Induo de regras de extrao de informao via programao em lgica indutiva para o aprendizado e povoamento de ontologias

Professor

rea(s)- APRENDIZAGEM DE MQUINA - Inteligencia artificial

Tipo(D/M)

Link


- Lgica para Computao - Minerao de Textos - Ontologias e Web Se mantica - Processamento de Linguagem Natural

M

Aprendizado Semi-automtico de Axiomas de Ontologias

- APRENDIZAGEM DE MQUINA - Inteligencia artificial - Extracao de Informacao


- Lgica para Computao - Minerao de Textos - Ontologias e Web Se mantica - Processamento de Linguagem Natural

M

Extrao de Relaes Semnticas entre Classes aplicada no Povoamento Semiautomtico de Ontologias

- Computao musical

Geber Lisboa Ramalho


M- Jogos Digitais - Mdias e Interao

Sistemas musicais interativos: regendo o naipe de metais de uma orquestra virtual de frevo


- Jogos Digitais

M- Inteligencia artificial

Planejamento Multiagente na Melhoria da Coordenao dos NPCs em Jogos de Estratgia em Tempo Real Descoberta automtica de conhecimento no violo de bossa-nova


- Computao musical


- Jogos Digitais


- Inteligencia artificial - Mdias e Interao

M

Integrando Tcnicas de aprendizagem na implementao de agentes (NPCs) voltados para jogos digitais

Professor Geber Lisboa Ramalho George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti

rea(s)- Inteligencia artificial | Jogos digitais

Tipo(D/M) D

Link Balanceamento dinmico de jogos massivos

- APRENDIZAGEM DE MQUINA

D

Extrao de caractersticas aplicadas a cenrios com multimodalidade intraclasse


D

Aprendizagem baseada em instncias e seleo de prottpipos


D

Seleo e ponderao de caractersticas aplicadas a problemas de classificao

- VISO COMPUTACIONAL | Biometria

M

Verificao de assinaturas usando Dynamic Time Warping

- VISO COMPUTACIONAL

M

Reconhecimento de palavras manuscritas em domnios restritos


M

Previso de Sries Temporais: uma abordagem usando Combinao de Classificadores


M

Medidas de Complexidade para Avaliar Algoritmos de Seleo de Prottipos


M

Um modelo neural para binarizao de imagens

Professor George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti George Darmiton da Cunha Cavalcanti Germano Crispim Vasconcelos

rea(s)

Tipo(D/M)

Link


M

Verificao automtica de faces frontais


M

Verificao biomtrica atravs da dinmica da digitao usando modelagem de contorno


M

Reconhecimento de dgitos manuscritos: estratgias para selecionar prottipos


M

Deteco de objetos em imagens


M

Avaliao de funes de distncia para algoritmos baseados em instncias


M

Investigao de algoritmos de reconhecimento de padres para deteco de pedestres


D

Seleo e combinao dinmica de ensembles aplicada a problemas de viso computacional


D

Anlise e Desenvolvimento de Tcnicas de Reduo de Instncias



Sistemas Hbridos para a Descoberta de Conhecimento em Bases de Dados

Professor Germano Crispim Vasconcelos Germano Crispim Vasconcelos Germano Crispim Vasconcelos Hermano Perrelli de Moura Hermano Perrelli de Moura Hermano Perrelli de Moura Hermano Perrelli de Moura Hermano Perrelli de Moura Hermano Perrelli de Moura Hermano Perrelli de Moura Hermano Perrelli de Moura

rea(s)- Inteligencia artificial

Tipo(D/M)

Link Sistemas Imunolgicos Artificiais para a Descoberta de Conhecimento em Bases de Dados Inteligncia Artificial e Minerao de Dados para Aplicaes Mveis Minerao de Dados em TV Digital para Desenvolvimento de Dispositivos SET-TOPBOXES Inteligentes Aprendizagem Organizacional em Empresas e Projetos no Ecossistema de Software do Recife Educao em Gesto de Projetos: uma Proposta para o Ensino Superior Brasileiro

M- Inteligncia Computacional





- ENGENHARIA DE SOFTWARE | Gesto de Projetos de Software

M


M


M

Sistema de observao e anlise comportamental de equipes de projetos Definio de Perfis e Indicadores para Avaliao da Capacidade Sistmica de Gerentes de Projetos


M


M

Valor em Metodologias geis de Software

- SISTEMAS DE INFORMAO

D

Modelo de Gesto para Governana gil em TIC


D

Aprendizagem em Projetos de Software e Redes Sociais


M

Avaliao de Riscos com base no grau de Similaridade entre Projetos de Software

Professor Hermano Perrelli de Moura

rea(s)- SISTEMAS DE INFORMAO | Planejamento Estratgico de SI/TI

Tipo(D/M)

Link Aplicao e Anlise do Mtodo de Avaliao do Modelo MMPE-SI/TI (Gov) atravs de um Estudo Desenvolvimento e Aplicao Experimental de uma Ferramenta de Auto-avaliao Online para Organizaes Governamentais Brasileiras baseada no Modelo MMPE-SI/TI (Gov) Proposta de Tcnica de Avaliao de Riscos em Projetos de Software utilizando Estrutura Analtica de Riscos Avaliao de Mtodos Quantitativos para Realizao de Estudos Empricos em Metodologias geis Um modelo de utilizao da gesto por diretrizes e BPM visando uma melhor prestao de servios ao cidado Investigando a Realidade de Projetos de Software

M

Hermano Perrelli de Moura

- ENGENHARIA DE SOFTWARE - SISTEMAS DE INFORMAO

M

Hermano Perrelli de Moura Hermano Perrelli de Moura Hermano Perrelli de Moura Hermano Perrelli de Moura Hermano Perrelli de Moura Ivan Gesteira Costa Filho Ivan Gesteira Costa Filho Ivan Gesteira Costa Filho Ivan Gesteira Costa Filho


M

- ENGENHARIA DE SOFTWARE | Metodologias geis

M

- SISTEMAS DE INFORMAO

D


D


D

Incerteza e Equvoco em Projetos de Software

- Biologia Computacional


Mtodos para a Classificao de Respostas de Pacientes a Tratamentos Mdicos Validao de Agrupamentos de Genes com Ontologias Biolgicas Mtodos para Inferncia de Regulao Gnica do Sistema Linftico Previso de Riscos de Doenas a partir de Polimorfismos







Professor Jaelson Freire Brelaz de Castro Jaelson Freire Brelaz de Castro Jaelson Freire Brelaz de Castro

rea(s)- ENGENHARIA DE SOFTWARE | Linha de Produtos de Software

Tipo(D/M)

Link Extenso de uma Linguagem de Modelagem de Requisitos Orientada a Objetivos para Linha de Produto de Software Relacionando Modelagem de Processos de Negcio a Linha de Produto de Software Desenvolvimento de Ferramenta de apoio a Modelagem de Requisitos Orientada a Objetivos para Linhas de Produto de Software Desenvolvimento de Ferramenta de apoio a Modelagem de Requisitos Orientada a Objetivos para Linhas de Produto de Software

M

- ENGENHARIA DE SOFTWARE | Linha de Produtos de Software

M

- ENGENHARIA DE SOFTWARE | Engenharia de Requisitos

M

Jaelson Freire Brelaz de Castro






Anlise de Variabilidade em Modelos de Metas Aplicada a Processos de Negcio



M- ENGENHARIA DE SOFTWARE | MODEL DRIVEN DEVELOPMENT

Uma Abordagem de Engenharia de Requisitos para o Desenvolvimento de Software Dirigido por Modelos

Jaelson Freire Brelaz de Castro Jaelson Freire Brelaz de Castro Jaelson Freire Brelaz de Castro


M

Uma Abordagem de Engenharia de Requisitos para Linhas de Produtos de Software Avaliao da Qualidade de Documentos de Requisitos


M

- ENGENHARIA DE SOFTWARE | Engenharia de Requisitos - ENGENHARIA DE

M

Relacionando Requisitos e Arquitetura

Professor

rea(s)SOFTWARE | ARQUITETURA DE SOFTWARE

Tipo(D/M)

Link

Jaelson Freire Brelaz de Castro Jaelson Freire Brelaz de Castro Jaelson Freire Brelaz de Castro Jaelson Freire Brelaz de Castro Jaelson Freire Brelaz de Castro Judith Kelner Judith Kelner Judith Kelner


M

Tailoring Tropos for developing autonomic systems Polticas de Tratamento de Falhas para o Desenvolvimento de linhas Produto de Software Autonmicos Mecanismos de Auto-recuperao para o Desenvolvimento de Linhas Produto de Software Autonmicos Uma Abordagem para Avaliao e Gesto de Modelos de Requisitos


D


D


D


M

Agent Oriented System Traceability

- Mdias e Interao

M M M

Brain Computer Interaction Realidade Aumentada sem Marcadores Realidade Aumentada com Marcadores em GPU Realidade Aumentada no Aprendizado das LIBRAS Comunicao em VANETs

- Mdias e Interao

- Mdias e Interao

Judith Kelner

- Mdias e Interao

M

Judith Kelner


M

Judith Kelner


M

Gerenciamento autonmico

Judith Kelner


M

Redes mveis heterogneas sem fio

Judith Kelner


M

Redes de Emergncia

Professor Judith Kelner

rea(s)- Redes e Sistemas Distribudos

Tipo(D/M) M

Link Negociaes Dinmicas Definio de padres de tcnicas de interao aplicadas ao design de sistemas multimodais de entretenimento digital Uma Soluo Colaborativa para Preveno de Anomalias de Trfego Cloud Computing Avaliao de tcnicas de viso computacional aplicada realidade aumentada Verificao de Propriedades de Tempo-Real em Sistemas Avinicos

Judith Kelner

- Mdias e Interao

D

Judith Kelner


D

Judith Kelner


D

Judith Kelner

- Mdias e Interao

M

Juliano Manabu Iyoda Juliano Manabu Iyoda Juliano Manabu Iyoda

- ENGENHARIA DE SOFTWARE | Anlise e Verificao de Programas

M


M

Mecanizao de Provas Usando CSP-Prover


D

Verificao e Teste de Sistemas Implementados em IMA

Katia Silva Guimares

- ALGORITMOS / INTELIGNCIA COMPUTACIONAL - Biologia Computacional

D

Integrao de Dados Genmicos para Inferncia de Redes Biolgicas



D

Modelos Hbridos para Sistemas Biolgicos



D

Anlise de Dados de Polimorfismo



D

Algoritmos Evolutivos para Sistemas Biolgicos

Professor

rea(s)- Biologia Computacional

Tipo(D/M)

Link



M

Algoritmos para Reconstruo de Redes Biolgicas



M

Anlise de Modelos Hbridos para Redes Metablicas



M

Anlise de Algoritmos Evolutivos para Sistemas Biolgicos



M

Mtodos Inteligentes para Identificar Interaes Protena-protena

Kelvin Lopes Dias


M

Roteamento, Segurana e Gerenciamento de Mobilidade em Redes Veiculares Abordagens centradas no usurio (usercentric) com suporte qualidade de experincia (QoE) para as Redes sem Fio da Prxima Gerao Algoritmos, mecanismos, protocolos e arquiteturas para redes baseadas em tecnologia de rdio cognitivo Algoritmos, Protocolos e Arquiteturas para a Internet das Coisas (IoT-Internet of Things) Anlise e Implementao de protocolos de gerenciamento de mobilidade para a Internet do Futuro Protocolos, mecanismos e arquiteturas para Redes Tolerantes a Atrasos e Desconexes (DTN - Delay and Disruption Tolerant

Kelvin Lopes Dias


D

Kelvin Lopes Dias Kelvin Lopes Dias Kelvin Lopes Dias


D


M


M

Kelvin Lopes Dias


M

Professor

rea(s)

Tipo(D/M) Networks)

Link

Liliane Rose Benning Salgado Liliane Rose Benning Salgado Liliane Rose Benning Salgado Manoel Eusebio de Lima


M

Otimizao em grafos: rvores geradoras com restries.


M

Uma abordagem algortmica dinmica para o Problema da Patrulha


M

Problema do Caixeiro Viajante: generalizaes assimtricas Desenvolvimento de um algoritmo para multiplicao de matrizes esparsas, para aplicao em problemas de alto desempenho em hardware utilizando FPGAs. Desenvolvimento de elementos de processamento especializados para sistemas de alto desempenho baseados em FPGA Estudo e desenvolvimento de arquiteturas hierrquicas de memria para sistemas de alto desempenho baseados em FPGAs Estudo de linguagens para especificao e sntese para plataformas reconfigurveis de alto desempenho Estudo de metodologias de projeto para desenvolvimento de sistemas de alto desempenho utilizando FPGAs Desenvolvimento de tcnicas de compactaco de dados em hardware reconfigurvel para sistemas de alto desempenho Estudo de plataformas Multi-FPGAs no processamento de problemas de alto

- ARQUITETURA DE SISTEMAS DE COMPUTAO

M

Manoel Eusebio de Lima Manoel Eusebio de Lima Manoel Eusebio de Lima Manoel Eusebio de Lima Manoel Eusebio de Lima


M


M


M


M


M

Manoel Eusebio de


M

Professor Lima Manoel Eusebio de Lima Manoel Eusebio de Lima Marcelo Bezerra d?Amorim Marcelo Bezerra d?Amorim

rea(s)

Tipo(D/M) desempenho

Link


M

Estudo e desenvolvimento de algoritmos em plataforma de alto desempenho baseadas em GPUs Modelagem elstica 3D para aplicaco em ssmica


D


M

Melhorando Tarantula Com Oracles


M

Melhorando Tarantula Com Slicing Dinmico

Marcelo Bezerra d?Amorim

- ENGENHARIA DE SOFTWARE | Anlise e Verificao de Programas - ENGENHARIA DE SOFTWARE | ENGENHARIA DE SOFTWARE BASEADA EM BUSCA

M

Gerao Incremental de Testes




Teste de Integrao para Linhas de Produto



D- ENGENHARIA DE SOFTWARE | Linha de Produtos de Software

Verificao de Linhas de Produto de Software

Marclia Andrade Campos Mrcio Lopes Cornlio

- Matemtica da Computao

M

Otimizao da biblioteca C-XSC no desempenho de algoritmos para Computao Cientfica Descrio de leis de programao no Universe Type System

- ENGENHARIA DE SOFTWARE | Anlise e

M

Professor

rea(s)Verificao de Programas

Tipo(D/M)

Link

Mrcio Lopes Cornlio Nelson Souto Rosa Nelson Souto Rosa


M

Traduo e Sincronizao entre diagramas Simulink e programas anotados com SafeJML Engine de Orquestrao LOTOS para Composio de Servios Construo de um Framework Formal para Especificao de Sistemas de Middleware

- SISTEMAS DISTRIBUDOS | COMPUTAO ORIENTADA A SERVIO

D

- SISTEMAS DISTRIBUDOS | MIDDLEWARE

D

Nelson Souto Rosa

- SISTEMAS DISTRIBUDOS | CLOUD COMPUTING

D- SISTEMAS DISTRIBUDOS | MIDDLEWARE

Middleware para Interoperabilidade Intercloud

- SISTEMAS DISTRIBUDOS

Nelson Souto Rosa

- SISTEMAS DISTRIBUDOS | APLICAES EM REDES DE SENSORES SEM FIO

M

Avaliao do Consumo de Energia de Aplicaes em Redes de Sensores Sem-Fio

Nelson Souto Rosa

- SISTEMAS DISTRIBUDOS | CLOUD COMPUTING

M- SISTEMAS DISTRIBUDOS | MIDDLEWARE

Middleware para Interoperabilidade Intercloud

Nelson Souto Rosa

- SISTEMAS DISTRIBUDOS | COMPUTAO ORIENTADA A SERVIO - SISTEMAS DISTRIBUDOS | MIDDLEWARE

M

Ferramenta para composio de servios heterogneos

Nelson Souto Rosa

- SISTEMAS DISTRIBUDOS | CLOUD COMPUTING - SISTEMAS DISTRIBUDOS | COMPUTAO ORIENTADA A SERVIO

M

Composio de Servios na Nuvem

Nelson Souto Rosa

- SISTEMAS DISTRIBUDOS | MIDDLEWARE - SISTEMAS DISTRIBUDOS | APLICAES EM REDES DE SENSORES SEM FIO

M

Extenso da Mquina Virtual TinyReef para Suportar Reprogramao Dinmica de Aplicaes

Nelson Souto

- SISTEMAS DISTRIBUDOS |

M

Desenvolvimento de um Middleware para

Professor Rosa

rea(s)MIDDLEWARE - SISTEMAS DISTRIBUDOS | APLICAES EM REDES DE SENSORES SEM FIO

Tipo(D/M)

Link Reprogramao Segura de Aplicaes

Patrcia Cabral de Azevedo Restelli Tedesco Patrcia Cabral de Azevedo Restelli Tedesco Patrcia Cabral de Azevedo Restelli Tedesco Patrcia Cabral de Azevedo Restelli Tedesco Patrcia Cabral de Azevedo Restelli Tedesco Patrcia Cabral de Azevedo Restelli Tedesco Patrcia Cabral de Azevedo Restelli Tedesco Patrcia Cabral de Azevedo Restelli

- Inteligencia artificial | Jogos digitais

M

i-Act: Um Testbed para Avaliao de Atores Sintticos


M

Utilizando Contexto para facilitar o aprendizado em cursos de Programao a Distncia MyLearning: Um modelo sensvel ao contexto para personalizao de interao em ambientes de aprendizagem multiplataforma


M

- Inteligencia artificial | Jogos digitais

M

Formao de equipes de trabalho baseado em sistemas multi-atores sintticos


M

i-nurse:Um assistente inteligente para avaliao de aprendizagem em Enfermagem


D

IProgram: Uma abordagem integrada para facilitar o aprendizado de Linguagens de programao


D

Mecanismos de Coordenao Dinmicos para Sistemas Autnomos


M

Modelagem e gerenciamento de informaes de contexto em sistemas de transporte pblico inteligente

Professor Tedesco Paulo Andr da Silva Gonalves Paulo Andr da Silva Gonalves Paulo Andr da Silva Gonalves Paulo Andr da Silva Gonalves Paulo Andr da Silva Gonalves Paulo Andr da Silva Gonalves Paulo Andr da Silva Gonalves Paulo Andr da Silva Gonalves Paulo Andr da Silva Gonalves Paulo Andr da Silva Gonalves Paulo Henrique

rea(s)

Tipo(D/M)

Link


M

Identificao por Radiofrequncia (RFID)


M

Segurana em Redes Sem Fio


D

Segurana em Redes Sem Fio


D

Identificao por Radiofrequncia (RFID)


M

Redes de Sensores


M

Redes Ad Hoc Veiculares


M

Redes Mesh


D

Redes de Sensores


D

Redes Ad Hoc Veiculares


D

Redes Mesh

- ENGENHARIA DE

M

Suporte ao Desenvolvimento e Manuteno de Features em Linhas de Produto de

Professor Monteiro Borba Paulo Henrique Monteiro Borba Paulo Henrique Monteiro Borba Paulo Henrique Monteiro Borba Paulo Henrique Monteiro Borba

rea(s)SOFTWARE

Tipo(D/M) Software

Link


M

Verificao de Refatoramentos para Linhas de Produto de Software


D

Refatorao de Linhas de Produtos de Software

- Matemtica da Computao

M

Otimizao da biblioteca C-XSC no desempenho de algoritmos para Computao Cientfica

- ALGORITMOS / INTELIGNCIA COMPUTACIONAL - Matemtica da Computao

M

Otimizao da biblioteca C-XSC no desempenho de algoritmos para Computao Cientfica

Paulo Jorge Leito Adeodato

- Inteligncia Computacional - APRENDIZAGEM DE MQUINA | Minerao de Dados

M

Minerao de Dados Aplicada ao Problema da Mortalidade Materna

Paulo Jorge Leito Adeodato

- APRENDIZAGEM DE MQUINA | Minerao de Dados - Inteligncia Computacional

M

Minerao de dados na avaliao do risco de reteno dos alunos da UFPE

Paulo Jorge Leito Adeodato Paulo Jorge Leito Adeodato Paulo Jorge

- APRENDIZAGEM DE MQUINA | Minerao de Dados - Inteligncia Computacional

M

Aplicao da Tcnica de Resistive Grids para Resolver o Problema do Passe na RoboCup 2D Soluo para o Problema de Extrao de Conhecimento a partir de Pequenas Amostras Desbalanceadas Metodologia para Transformar as Variveis e


D


D

Professor Leito Adeodato

rea(s)

Tipo(D/M)

Link as Seqncias de Aes para Incorporar Conhecimento Estatstico e Humano a Modelos de Aprendizagem por Reforo Metodologia D3M para Transformar as Variveis e Incorporar Conhecimento Estatstico e Humano a Domnios Especficos Desenvolvimento e Implementao de Sistemas Distribudos Especificao de Sistemas Distribudos, Baseada na Linguagem LOTOS Ambientes Multimdia Distribudos Trnsparncia em Sistema de Comunicao Mvel de Quarta Gerao Tcnicas de Controle de Mobilidade em Redes Heterogneas Qualidade de Experincia em Redes 4G Ambientes para Desenvolvimento de Sistemas Distribudos Especificao Formal de Sistemas Distribudos

Paulo Jorge Leito Adeodato Paulo Roberto Freire Cunha Paulo Roberto Freire Cunha Paulo Roberto Freire Cunha Paulo Roberto Freire Cunha Paulo Roberto Freire Cunha Paulo Roberto Freire Cunha Paulo Roberto Freire Cunha Paulo Roberto Freire Cunha


D


M


M


M


M


M


M


D


D

- SISTEMAS DE COMPUTAO

Paulo Romero Martins Maciel

- MODELOS ANALTICOS E DE SIMULAO - Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade

M

Avaliao de QoS de Aplicaes Crticas


- SISTEMAS DE COMPUTAO - MODELOS ANALTICOS E DE

M

Avaliao de Consumo de Energia e Identificao de Hot Spot de Aplicaes com restries de Consumo

Professor

rea(s)SIMULAO - SISTEMAS EMBARCADOS - Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade

Tipo(D/M)

Link


- Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade - Sistemas de Comunicao

M

Avaliao de Desempenho, Confiabilidade, Disponibilidade e Survivability de Servios de Comunicao

- Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade


- SISTEMAS DE COMPUTAO - Sistemas de Comunicao

M

Avaliao e Planejamento de Capacidade de Call Centers

- SISTEMAS EMBARCADOS - Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade - SISTEMAS DE COMPUTAO


M

Avaliao de desempenho em MPSOCs


- SISTEMAS DE COMPUTAO - Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade

M

Metodologia para Planejamento de Capacidade de Sistemas de Computacionais


- Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade - SISTEMAS DE COMPUTAO

M

Monitorao e Gerenciamento de Desempenho e Disponibilidade de Aplicaes Distribudas



M

Avaliao de QoS e SLAs em Data Centers

Paulo Romero


M

Avaliao de Desempenho e Consumo de

Professor Martins Maciel

rea(s)- Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade

Tipo(D/M)

Link Energia em Sistemas Embarcados Baseada em Arquiteturas



M

Gerao de Carga Sinttica para o Planejamento de Capacidade em Ambientes de Servidores Virtuais



M

Avaliao do Impacto de uma Poltica de Manuteno na Performabilidade de Sistemas de Transferncia Eletrnica de Fundos

- SISTEMAS DE COMPUTAO


- Data Centers and Cloud Infrastructure - Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade

M

Avaliao de Desempenho e Dependabilidade para Suporte ao Planejamento de Data Centers Sustentveis de Alta Disponibilidade.

- Supply Chain



M

Avaliao Desempenho e Sustentabilidade dos Processos de Negcio de Cadeias de Suprimentos Verdes

- Sistemas de Comunicao - SISTEMAS DE COMPUTAO - Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade


M

Avaliao de Desempenho e Dependabilidade de Aplicaes em Redes Convergentes


- ENGENHARIA DE SOFTWARE - Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade

M

Avaliao de Desempenho de Processos de Software


- SISTEMAS DE COMPUTAO - Avaliao de Desempenho, Dependabilidade e

M

WFS: Um Sistema de Arquivos FUSE-Linux Baseado na Poltica Write-Once Read-Many

Professor

rea(s)Planejamento de Capacidade - SOFTWARE BSICO

Tipo(D/M)

Link


- Data Centers and Cloud Infrastructure - Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade

M

Avaliao de Dependabilidade e Sustentabilidade em Cloud Computing



- Data Centers and Cloud Infrastructure - Medio e Monitorao

M

Monitorao de Desempenho de Recursos e Servios em Sistemas Computacionais


- Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade - MODELOS ANALTICOS E DE SIMULAO

D

Anlise de Sensibilidade aplicada modelagem hierrquica de dependabilidade de sistemas



D- SOFTWARE BSICO - SISTEMAS DE INFORMAO

Estudo e Concepo e Estratgias para Desenvolvimento de Dispositivos WORM



- Data Centers and Cloud Infrastructure - SISTEMAS DE COMPUTAO

D

Avaliao de Dependabilidade e Sustentabilidade de Data-Centers



- MODELOS ANALTICOS E DE SIMULAO - ENGENHARIA DE SOFTWARE

D

Avaliao de Desempenho de Processos Software

Professor

rea(s)- Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade

Tipo(D/M)

Link


- MODELOS ANALTICOS E DE SIMULAO - SISTEMAS EMBARCADOS

D

Anlise e Avaliao de Escalonamento de Sistemas Operacionais de Tempo Real considerando economia de energia.



- Data Centers and Cloud Infrastructure - SISTEMAS DE COMPUTAO

M

Anlise de Sensibilidade Aplicada ao Planejamento de Infra-Estruturas Computacionais

Renata Maria Cardoso Rodrigues de Souza Renata Maria Cardoso Rodrigues de Souza Renata Maria Cardoso Rodrigues de Souza Renata Maria Cardoso Rodrigues de Souza Ricardo Bastos Cavalcante Prudncio Ricardo Bastos Cavalcante Prudncio

- METODOLOGIA E TCNICAS DA COMPUTAO

M

Agrupamento de Dados Simblicos usando Abordagem Possibilistic


M

Classificao de Dados Simblicos usando Redes Neurais LVQ


M

Regresso Logstica Kernelizada para Intervalos: Uma aplicao de risco de crdito


M

Regresso Quantlica Simblica: Uma aplicao para Dados Econmicos


M

Meta-Aprendizado para Seleo e Otimizao de Algoritmos

- Inteligncia Computacional - APRENDIZAGEM DE MQUINA

M

Sistemas Inteligentes Hbridos para Otimizao de Redes Neurais Artificiais

Professor

rea(s)- Recuperacao de Informacao

Tipo(D/M)

Link

Ricardo Bastos Cavalcante Prudncio

- Processamento de Linguagem Natural - Anlise de Sentimentos

M

Anlise de Sentimentos para Classificao de Personalidade

Ricardo Bastos Cavalcante Prudncio Ricardo Bastos Cavalcante Prudncio Ricardo Bastos Cavalcante Prudncio Ricardo Bastos Cavalcante Prudncio Ricardo Bastos Cavalcante Prudncio Ricardo Bastos Cavalcante Prudncio Ricardo Bastos Cavalcante Prudncio Ricardo Bastos Cavalcante Prudncio Ricardo Massa Ferreira Lima

- REDES SOCIAIS - APRENDIZAGEM DE MQUINA

M

Minerao de Relacionamentos em Redes Sociais

- Sistemas de Recomendao - APRENDIZAGEM DE MQUINA

D

Aprendizado de Mquina para Sistemas de Recomendao

- APRENDIZAGEM DE MQUINA | Minerao de Dados - REDES SOCIAIS

D

Aprendizado de Mquina para Minerao de Relacionamentos

- Inteligncia Computacional - ENGENHARIA DE SOFTWARE

D

Busca Meta-Heurstica para Seleo de Casos de Teste de Software

- Extracao de Informacao - Recuperacao de Informacao - Minerao de Textos

M

Extrao de Informao para Minerao de Textos


M

Descoberta de Padres Temporais em Redes Sociais


M

Deteco de Comunidades Emergentes em Redes Sociais


M- Minerao de Textos

Extrao de Redes Biologicas com Mineracao de Relacionamentos e Textos


M

Modelagem e Avaliao de Sistemas Dinmicos de Eventos Discretos

Professor Roberto Souto Maior de Barros Roberto Souto Maior de Barros Roberto Souto Maior de Barros Roberto Souto Maior de Barros

rea(s)

Tipo(D/M)

Link Tema RSMB1 em Engenharia de Software 2011 - a ser proposto pelo candidato


M


M

Tema RSMB2 em Engenharia de Software 2011 - a ser proposto pelo candidato


M

Tema RSMB3 em Engenharia de Software 2011 - a ser proposto pelo candidato Tema RSMB-Doutorado em Engenharia de Software 2011 - a ser proposto pelo candidato


D

Robson do Nascimento Fidalgo

- BANCO DE DADOS | Suporte Deciso - APRENDIZAGEM DE MQUINA | Minerao de Dados

M

Avaliao da arquitetura DOLAM com outra tcnica de minerao de dados


- BANCO DE DADOS | Suporte Deciso - ENGENHARIA DE SOFTWARE | Anlise e Verificao de Programas

M

Um Framework de Testes Funcionais para OLAP Espacial (SOLAP)


- BANCO DE DADOS | Suporte Deciso - ENGENHARIA DE SOFTWARE | MODEL DRIVEN DEVELOPMENT

M

Um metamodelo e uma ferramenta CASE para construo de cubos de dados geogrficos

Robson do Nascimento Fidalgo Robson do Nascimento Fidalgo Robson do Nascimento

- BANCO DE DADOS | Suporte Deciso

M- Ontologias e Web Se mantica

Uma Arquitetura de Software para Suporte Deciso Semntico


M

Uma Arquitetura de Software para Suporte Deciso Temporal


M

Uma Linguagem Visual, baseada em formulrios e cones, para definio de

Professor Fidalgo

rea(s)

Tipo(D/M)

Link consultas espaciais a sistemas de Web mapping

Ruy Jos Guerra Barretto de Queiroz

- LGICAS E SEMNTICA DE PROGRAMAS - Lgica para Computao - Teoria da Prova

M

Deduo Natural Rotulada: Skolemizao e o Quantificador Existencial


- LGICAS E SEMNTICA DE PROGRAMAS - TEORIA DA COMPUTAO - Lgica para Computao - Teoria da Prova

M

Deduo Natural Rotulada: Igualdade Proposicional



D

Skolemizao e o Quantificador Existencial na Deduo Natural Rotulada



M

Deduo Natural Rotulada: Lgicas Subestruturais

Ruy Jos Guerra Barretto de Queiroz Ruy Jos Guerra Barretto de Queiroz Ruy Jos Guerra Barretto de

- LGICAS E SEMNTICA DE PROGRAMAS - TEORIA DA COMPUTAO

M

Deduco Natural Rotulada: Normalizao e Jogos de Linguagem

- Fundamentos da Criptografia Moderna - TEORIA DA COMPUTAO

M

Computao Segura de Pesquisas de Opinio

- Segurana Computacional

M

Tcnicas de defesa contra fraudes de clique usando CAPTCHAs clicveis

Professor Queiroz Ruy Jos Guerra Barretto de Queiroz Ruy Jos Guerra Barretto de Queiroz Ruy Jos Guerra Barretto de Queiroz Ruy Jos Guerra Barretto de Queiroz Ruy Jos Guerra Barretto de Queiroz Ruy Jos Guerra Barretto de Queiroz Ruy Jos Guerra Barretto de Queiroz Ruy Jos Guerra Barretto de Queiroz Ruy Jos Guerra

rea(s)

Tipo(D/M)

Link

- Segurana Computacional

D

Tcnicas de defesa contra fraudes de clique usando CAPTCHAs clicveis

- Fundamentos da Criptografia Moderna - TEORIA DA COMPUTAO

M

Esquemas criptogrficos para numerrio eletrnico

- Fundamentos da Criptografia Moderna - Segurana Computacional

M

Esquemas criptogrficos para compartilhamento de senhas visuais

- Segurana Computacional - Cibersegurana, Propriedade Intelectual e o Domnio Pblico

M

Arcabouo Conceitual para uma Teoria sobre Privacidade, Propriedade Intelectual e O Domnio Pblico

- Cibersegurana, Propriedade Intelectual e o Domnio Pblico - Segurana Computacional

M

Um Estudo Terico sobre o Domnio Pblico e o Ambientalismo Cultural

- Cibersegurana, Propriedade Intelectual e o Domnio Pblico - Segurana Computacional

D

Um Estudo Terico sobre o Domnio Pblico e o Ambientalismo Cultural


D

Sistemas Eletrnicos de Votao com Verificabilidade Fim-a-Fim


M

Sistemas Eletrnicos de Votao com Verificabilidade Fim-a-Fim

- Empreendedorismo em

M

O Modelo ?Lean Startups? e o Desenvolvimento de Produtos Web

Professor Barretto de Queiroz Ruy Jos Guerra Barretto de Queiroz

rea(s)Tecnologia da Informao

Tipo(D/M)

Link

- Fundamentos da Criptografia Moderna - TEORIA DA COMPUTAO - Segurana Computacional

M

Encriptao Totalmente Homomorfa


- Fundamentos da Criptografia Moderna - TEORIA DA COMPUTAO - Segurana Computacional

D

Encriptao Totalmente Homomorfa

- Complexidade Descritiva


- ANLISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTAO - TEORIA DA COMPUTAO

M

Complexidade Descritiva de Problemas em Grafos

- Complexidade Descritiva


- ANLISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTAO - TEORIA DA COMPUTAO

D

Complexidade Descritiva de Problemas em Grafos


- Teoria dos Modelos - Lgica para Computao - TEORIA DA COMPUTAO

D

Modelos Finitos via Teoria da Estabilidade



D- TEORIA DA COMPUTAO - Complexidade Descritiva

Questes Fundamentais sobre o Problema P=NP?


- Teoria dos Modelos - ANLISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTAO

M

Complexidade Computacional aplicada a Analise Numrica via Teoria de Modelos

Professor

rea(s)- Complexidade Descritiva - TEORIA DA COMPUTAO - Lgica para Computao

Tipo(D/M)

Link

- Teoria dos Modelos


- ANLISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTAO - Complexidade Descritiva - TEORIA DA COMPUTAO

D

Complexidade Computacional aplicada a Analise Numrica via Teoria de Modelos


- Teoria da Prova - Concorrncia - TEORIA DA COMPUTAO

M

Provas como Processos: Uma Abordagem via Grafos de Prova

- Mdias e Interao | Realidade Aumentada - MATEMTICA DA COMPUTAO - VISO COMPUTACIONAL - PROCESSAMENTO GRFICO (GRAPHICS)

Silvio de Barros Melo

M

Investigao sobre a importncia e o impacto da abordagem projetiva baricntrica na reconstruo em Realidade Aumentada.

- Tomografia de Processos Industriais - MATEMTICA DA COMPUTAO - PROCESSAMENTO GRFICO (GRAPHICS) - Projeto Geomtrico Auxiliado Pelo Computador (CAGD)


M

Reconstruo Racional da Funo de Densidade do Catalisador no Interior de um Riser para um Baixo Nmero de Projees Transversais


- Projeto Geomtrico Auxiliado Pelo Computador (CAGD)

M- MATEMTICA DA COMPUTAO - PROCESSAMENTO GRFICO

Comparao de alguns mtodos de interpolao de dados espalhados volumtricos

Professor

rea(s)(GRAPHICS)

Tipo(D/M)

Link



- Inteligncia Computacional | Redes Neurais - PROCESSAMENTO GRFICO (GRAPHICS)

M

Desenvolvimento de uma Tcnica de Otimizao Aplicada Gerao Automtica de Imagens Artsticas

- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING

Silvio Romero de Lemos Meira

- ENGENHARIA DE SOFTWARE - ENGENHARIA DE SOFTWARE | REENGENHARIA DE SOFTWARE

D

Um framework para reengenharia de sistemas e disponibilizao segundo o modelo de Cloud Computing



- ENGENHARIA DE SOFTWARE | ARQUITETURA DE SOFTWARE - ENGENHARIA DE SOFTWARE | CLOUD COMPUTING

M

SMAD: Uma linguagem de descrio arquitetural para Computao de Mquinas Sociais


- ENGENHARIA DE SOFTWARE - ENGENHARIA DE SOFTWARE | CLOUD COMPUTING

M

O impacto da Computao das Mquinas Sociais no Desenvolvimento de Novos Negcios de Software



- ENGENHARIA DE SOFTWARE | Linha de Produtos de Software - ENGENHARIA DE SOFTWARE | CLOUD COMPUTING

D

A Development Process for Service-Oriented Product Lines


- ENGENHARIA DE SOFTWARE - ENGENHARIA DE

D

A Development Process for Automatic Traceability in Software Product Lines

Professor

rea(s)SOFTWARE | Linha de Produtos de Software

Tipo(D/M)

Link

Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira


M

Utilizao de mtodos multicritrios de apoio deciso na elaborao de um indicador de produtividade de projetos de software Identificando Talentos nas Organizaes a partir do Uso de uma Ferramenta de Gesto de Conhecimento Baseada em Redes Sociais

- SISTEMAS DE INFORMAO - ENGENHARIA DE SOFTWARE

D

- ENGENHARIA DE SOFTWARE - ENGENHARIA DE SOFTWARE | Engenharia de Software Experimental - ENGENHARIA DE SOFTWARE | Gesto de Projetos de Software - ENGENHARIA DE SOFTWARE | PROCESSO E QUALIDADE DE SOFTWARE


D

Productivity Measurement in Software Development Projects



D- ENGENHARIA DE SOFTWARE | Metodologias geis

Sistemas de medio, Garantia da Qualidade e Melhoria Contnua em Ambientes de Processos geis

Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos

- REDES SOCIAIS

M

Uma ferramenta baseada em Ontologias para Extrao de Informao em Redes Sociais Redes Neurais Morfolgicas: Teoria e Aplicao em Previso Financeira

- Redes neurais e suas Aplicaes

M

- Redes neurais e suas Aplicaes

D

Redes Neurais Morfolgicas: Teoria e Aplicao em Previso Financeira

- ENGENHARIA DE SOFTWARE | CLOUD

M

DAMS >> Onde foram parar meus arquivos?

Professor Meira

rea(s)COMPUTING - REDES SOCIAIS - SISTEMAS DE INFORMAO

Tipo(D/M)

Link

Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira


D

Modeling The Tipping Point of a Innovation Process using Cellular Automata Applying Cellular Automata to Characterization an Innovation Process in Educational Instituitions Modeling Recommendation Clusters in Social Networks using Cellular Automata

- ENGENHARIA DE SOFTWARE | Processos de Inovao

M

- REDES SOCIAIS - METODOLOGIA E TCNICAS DA COMPUTAO

M


M

Mtodos de otimizao aplicados ao desenvolvimento do software Melhores prticas para realizao da percia forense computacional em redes sociais corporativas

- REDES SOCIAIS

M

- ENGENHARIA DE SOFTWARE | Linha de Produtos de Software | Reuso e Linha de Produtos de Software

M

A Mechanism to Manage Feature Interaction in the context of Software Product Lines



M

A Traceability Mechanism for Software Reuse Tools



M

An Approach for Product Instantiation in Software Product Lines Engineering



M

A Tool for Source Code Clone Detection

Professor

rea(s)- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - Redes e Sistemas Distribudos

Tipo(D/M)

Link


M

Cloud Computing: uma anlise da interoperabilidade dos padres open cloud.

Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira


D

A Software Product Line Testing Process

- ENGENHARIA DE SOFTWARE | Linguagens Especficas de Domnio

M

Uma abordagem para criao de linguagens especficas de domnio para interoperabilidade de mquinas sociais Utilizao de mtodos geis em desenvolvimento de software Open Source


M


M

Utilizao de Prticas XP no Desenvolvimento Distribudo de Software.


M

Comunicao de times geis distribudos.


M

Customizao do Kanban para Desenvolvimento Distribudo de Software. Uso de estratgia de linguagens funcionais para implementar solues de recomendao de contedo para portais


M


M

Cloud computing como reuso de plataformas


- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - Segurana Computacional - Redes e Sistemas

M

Aspectos de segurana em ambientes privados cloud computing

Professor

rea(s)Distribudos

Tipo(D/M)

Link


- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - Data Centers and Cloud Infrastructure - Redes e Sistemas Distribudos

M

Gerenciamento de ambientes de cloud computing

- Data Centers and Cloud Infrastructure


- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - Redes e Sistemas Distribudos

M

Testes de ambientes de cloud computing



M- ENGENHARIA DE SOFTWARE | Engenharia de Requisitos

Requisitos para aplicaes em cloud computing


- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - Data Centers and Cloud Infrastructure

M

Modelos de billing para Cloud Computing


- ENGENHARIA DE SOFTWARE | PROCESSO E QUALIDADE DE SOFTWARE - Interfaces, Usabilidades, Acessibilidade

M

Qualidade da Acessibilidade no Software Livre

Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira


M

Um Processo de Design para o Desenvolvimento de Sistemas Autoadaptativos Usando a Abordagem de DSPL Um Framework Comum de Polticas de Privacidade para Computao de Mquinas Sociais

- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - ENGENHARIA DE

M

Professor

rea(s)SOFTWARE | ARQUITETURA DE SOFTWARE

Tipo(D/M)

Link


- ENGENHARIA DE SOFTWARE | Mquinas Sociais - PEOPLEWARE

M

Pessoas como Mquinas Sociais



D- PEOPLEWARE - SISTEMAS DE INFORMAO

Uso de Ontologias para a soluo de problemas organizacionais no-estruturados atravs de Cloud Computing.

Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira


M

Cloud Computing Services as Functional (Language) Processes


D

Cloud Computing Services as Functional (Language) Processes


M

Contagem automtica de pontos de funo a partir de cdigo fonte Contagem de pontos de funo a partir de documentos de requisitos escritos em linguagem natural Um Estudo sobre a Engenharia de Requisitos em ambientes distribudos: uma Reviso Sistemtica da Literatura Um Sistema baseado em Ontologias para suporte a Engenharia de Requisitos em projetos distribudos


M


M


M



M- ENGENHARIA DE SOFTWARE | ARQUITETURA DE SOFTWARE

The Emerging Web of Social Machines

Professor

rea(s)- ENGENHARIA DE SOFTWARE | ARQUITETURA DE SOFTWARE

Tipo(D/M)

Link


D- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING

The Emerging Web of Social Machines

- ENGENHARIA DE SOFTWARE - ENGENHARIA DE SOFTWARE | Linha de Produtos de Software - ENGENHARIA DE SOFTWARE | Engenharia de Software Experimental

Srgio Castelo Branco Soares

M

Definio de um Testbed para Desenvolvimento de Software Orientado a Aspectos

- ENGENHARIA DE SOFTWARE - ENGENHARIA DE SOFTWARE | Linha de Produtos de Software - ENGENHARIA DE SOFTWARE | Engenharia de Software Experimental


M

Avaliando mtricas para Desenvolvimento de Software Orientado a Aspectos e Linhas de Produto de Software


- ENGENHARIA DE SOFTWARE - ENGENHARIA DE SOFTWARE | Engenharia de Software Experimental

D

Um testbed para Manuteno de Software Orientados a Aspectos

Teresa Bernarda Ludermir Teresa Bernarda Ludermir Teresa Bernarda Ludermir Teresa Bernarda


M

Sistema Neural Hbrido


M

Otimizao de Redes Neurais Artificiais


M

Uso de tcnicas de otimizao em comits de classificadores neurais Algoritmos de Agrupamento e Anlise de Base de Dados de Expresso Gnica


M

Professor Ludermir Teresa Bernarda Ludermir Teresa Bernarda Ludermir Teresa Bernarda Ludermir Tsang Ing Ren Tsang Ing Ren Tsang Ing Ren

rea(s)

Tipo(D/M)

Link


D

Sistemas Neurais Hbridos aplicados ao problema de agrupamento


D

Aprendizado em Neurais Sem Peso Qunticas


D

Otimizao Evolucionria Multimodal & Multi-objetivo de Redes Neurais Artificiais Sistema de reconhecimento de faces Anlise de Imagens Multivariadas Reconhecimento de tendncias em sries temporais financeiros Algoritmo de predio de classes de protenas Indexao e recuperao de imagens Reconhecimento das palmas das mos Sistema de reconhecimento de contexto em vdeo Reconhecimento de Gestos Sistema de reconhecimento em imagens de satlite. Sistema de reconhecimento de voz Sistema de segmentao e classificao de imagens de veculos Escalonamento de imagens


M M M



Tsang Ing Ren Tsang Ing Ren Tsang Ing Ren Tsang Ing Ren Tsang Ing Ren Tsang Ing Ren


M M M M M M






Tsang Ing Ren


M

Tsang Ing Ren Tsang Ing Ren


M M


Professor

rea(s)- PROCESSAMENTO GRFICO (GRAPHICS) | Processamento de Imagens

Tipo(D/M)

Link

Tsang Ing Ren

D

Cartoonizao de Vdeos


Tsang Ing Ren


D

Codificao de imagens utilizando vetores de vizinhana


Tsang Ing Ren- VISO COMPUTACIONAL

D

Reconhecimento de pedestres



D

Sistema de deteco e classificao de faces



D

Sistema de reconhecimento de eventos em videos Sistema de recuperao de imagens baseado no contexto Sistema de segmentao e classificao de placas e de veculos



D



D

Tsang Ing Ren

- APRENDIZAGEM DE MQUINA - Inteligencia artificial

D

Sistemas de Recomendao em Redes Sociais



M

Reconhecimento de pedestres


Tsang Ing Ren


D

Verificao e Reconhecimento de voz


Tsang Ing Ren


M

Sistema de reconhecimento de eventos em videos Sistema de recuperao de imagens baseado no contexto

Tsang Ing Ren


M

Professor

rea(s)- Inteligencia artificial

Tipo(D/M)

Link

Tsang Ing Ren

- APRENDIZAGEM DE MQUINA - Inteligencia artificial

M

Sistemas de Recomendao em Redes Sociais Algoritmos de Rotulao de componentes conectados

Tsang Ing Ren


M


Tsang Ing Ren


M

Vdeo Colortoning

Tsang Ing Ren

- PROCESSAMENTO GRFICO (GRAPHICS) | Processamento de Imagens - VISO COMPUTACIONAL

M

Tcnica de fuso de imagens

Valria Cesrio Times Valria Cesrio Times Valria Cesrio Times Valria Cesrio Times Valria Cesrio Times Valria Cesrio Times Valria Cesrio Times


D

Um Benchmak para Data Warehouse Geogrfico de Objetos Incertos OBAS: An OLAP Benchmark for Analysis Services Reestruturao automtica de Hiper-Cubos de Dados Espaciais baseada em Assinaturas SOLAP Um Sistema de Data Warehouse de Trajetrias FSOLAP: Um Sistema SOLAP baseado em Objetos Geogrficos Incertos Um Sistema de Data Warehouse de Documentos XML Interconectados Um Framework de Anlise Espacial para Monitoramento e Preveno de Agravos de Notificao: Estudo de Caso MapDenguePE


M


M


M


M


M


M

Valria Cesrio


D

Anlise de Trajetrias para Incorporao de

Professor Times Valria Cesrio Times Valria Cesrio Times Valria Cesrio Times Valria Cesrio Times Valria Cesrio Times Valria Cesrio Times Veronica Teichrieb Veronica Teichrieb Veronica Teichrieb

rea(s)

Tipo(D/M)

Link Informaes Semnticas


M

Um Novo Mtodo de Anlise do Comportamento de Objetos Mveis Anlise da Redundncia de Dados em Sistemas SOLAP Um Sistema Inteligente de Transporte Multimodal baseado em Contexto Um Sistema de Rastreamento de Objetos Mveis independente do Sistema de Posicionamento GeoMDQL+: Uma Linguagem de Consulta para Ambientes SOLAP Um Sistema Dinmico de Anlise de Adequao de Local para Objetos Mveis Realismo em Realidade Aumentada


M


M


M


M


M

- Mdias e Interao | Realidade Aumentada

M


D

Realismo em Realidade Aumentada Rastreamento 3D monocular de objetos baseado em caractersticas naturais da cena aplicado Realidade Aumentada Rastreamento 3D monocular de objetos baseado em caractersticas naturais da cena aplicado Realidade Aumentada


M

Veronica Teichrieb


D


Vincius Cardoso Garcia

- ENGENHARIA DE SOFTWARE | REENGENHARIA DE SOFTWARE - ENGENHARIA DE SOFTWARE | MODEL DRIVEN DEVELOPMENT

M

MORE: An effective Model Driven Reengineering Approach

Professor

rea(s)- ENGENHARIA DE SOFTWARE

Tipo(D/M)

Link


- ENGENHARIA DE SOFTWARE | Metodologias geis - ENGENHARIA DE SOFTWARE | Linha de Produtos de Software

M

A Lightweight Process to facilitating the Software Product Line Approach introduction in Small Companies



- ENGENHARIA DE SOFTWARE | ARQUITETURA DE SOFTWARE - ENGENHARIA DE SOFTWARE | CLOUD COMPUTING

M

Uma Abordagem para Rastreabilidade de Variabilidades entre Requisitos e Arquiteturas de Software Orientadas a Servios

Documents

Temas Mestrado Cin-UFPE