Temas Mestrado Cin-UFPE

Temas para Pr-Projeto de Mestrado e Doutorado Seleo 2011
Professor 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
Metodologia Hw/Sw para Avaliao de Diagnsticos de Doenas
Ambiente para Avaliao de Energia em GPUs para Aplicaes de Alto Desempenho
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
- Inteligncia Computacional - ENGENHARIA DE SOFTWARE | Engenharia de Software Experimental
Adriano Lorena Incio de Oliveira Adriano Lorena Incio
- Inteligncia Computacional - ENGENHARIA DE SOFTWARE | Engenharia de Software Experimental
Priorizao de Casos de Teste de Software usando Tcnicas de Aprendizagem de Mquina
- Inteligncia Computacional
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
- ENGENHARIA DE SOFTWARE | Gesto de Projetos de Software - Inteligncia Computacional
Gerenciamento e Avaliao de Servios em Sade: Indicadores de Qualidade
- Mdias e Interao
Alex Sandro Gomes
- Mdias e Interao | computer supported cooperative learning
Estilos de interao com ferramentas lingsticas em plataformas de ensino
- Mdias e Interao
Alex Sandro Gomes
- Mdias e Interao | computer supported cooperative learning
Arquiteturas de software para projeto de plataformas CSCL distribudas
Alex Sandro Gomes
- Mdias e Interao - Mdias e Interao | Social networking
Consciousness and engagement in social networks
Alex Sandro Gomes
Fun and learning in social networks
Alex Sandro Gomes Alex Sandro Gomes
Scaffolding and metacognition in social networks Semantic visualization of Social Activities in social networks
- Mdias e Interao - Mdias e Interao | Social
Professor
rea(s)
networking
Tipo(D/M)
Link
Alex Sandro Gomes
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
GUI Testing
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
Ferramenta de inferncia de falhas
- ENGENHARIA DE SOFTWARE | PROCESSO E QUALIDADE DE SOFTWARE
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
- Inteligncia Computacional | Algoritmos Evolucionrios
- Inteligncia Computacional | Redes Neurais
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)
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
- BANCO DE DADOS | SGBD Autnomos
- BANCO DE DADOS | Gerenciamento de Dados em Ambiente P2P
- Ontologias e Web Se mantica
Otimizao de Consulta Reformulada em PDMS
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
- ENGENHARIA DE SOFTWARE | Linguagens Especficas de Domnio
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
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
Otimizao de Linguagens Funcionais em Arquiteturas Paralelas
- Lgica para Computao
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
- ANLISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTAO
Algoritmos para teste de primalidade
- ENGENHARIA DE SOFTWARE | MODEL DRIVEN DEVELOPMENT
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
- BANCO DE DADOS | Integrao de Dados
- Mdias e Interao
- PROCESSAMENTO GRFICO (GRAPHICS) | Processamento de Imagens - VISO COMPUTACIONAL
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
Modelos de Viso Computacional atravs de Conceitos de Percepo Visual
- PROCESSAMENTO GRFICO (GRAPHICS) | Processamento de Imagens
Processamento de Imagens de Documentos Histricos
- Processamento Digital de Sinais
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
Um modelo de distribuio de processamento em TV conectada
- Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade - SISTEMAS DISTRIBUDOS
Anlise de desempenho de aplicaes de TV conectada
Cleber Zanchettin
- ALGORITMOS / INTELIGNCIA COMPUTACIONAL - Inteligncia Computacional
Desenvolvimento e Otimizao de Sistemas Hbridos Inteligentes
Cleber Zanchettin
- ALGORITMOS / INTELIGNCIA
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
Aplicao de Tcnicas de Inteligncia Computacional no Reconhecimento de Assinatura Manuscrita
Cleber Zanchettin
- APRENDIZAGEM DE MQUINA - PROCESSAMENTO GRFICO (GRAPHICS) | Processamento de Imagens
Aplicao de Tcnicas de Anlise de Layout em Sistemas de Processamento Automtico de Imagens
Cleber Zanchettin
- ALGORITMOS / INTELIGNCIA COMPUTACIONAL - APRENDIZAGEM DE MQUINA
Desenvolvimento e Otimizao de Sistemas Hbridos Inteligentes
Cleber Zanchettin
- ALGORITMOS / INTELIGNCIA COMPUTACIONAL - APRENDIZAGEM DE MQUINA
Aplicao de Tcnicas de Inteligncia Computacional no Reconhecimento de Escrita Manuscrita
Cristiano Coelho de Arajo Cristiano Coelho de Arajo
- Engenharia da Computao | Sistemas Embarcados
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
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
- Engenharia da Computao | Viso Computacional Embarcada
Modelagem de Um Sistema Embarcado de Interao Visual
Programao Paralela Escalvel para Sistemas Embarcados
Programao Paralela Escalvel para Sistemas Embarcados
- Redes e Sistemas Distribudos
Correlao de alertas
Deteco de Intruso Aperfeioamento dinmico do desempenho de servidores cache para streaming de vdeo Gerenciamento autonmico
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 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
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
FACE - Um Ambiente de Montagem e Reconhecimento de Face Investigao de Tcnicas Automticas de Extrao de Caractersticas Aplicadas a Verificao OFF-LINE de Assinaturas
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
Investigao de uma Plataforma Computacional para Identificao de DNA
PROVOZ Produo, Identificao e Reconhecimento De Voz
RAM - Radial ? Um modelo de Generalizao para as Redes Sem-Peso
Reconhecimento de Manuscrito Off-Line
Reconhecimento de Manuscritos On-Line
Tcnicas de Extrao e Reconhecimento de Padres em Imagens de Radar
Uma Abordagem Morfolgica para Reconhecimento de Objetos Estelares
Uma Arquitetura Neural Integrada para Extrao e Reconhecimento de Padres
FACE - Um Ambiente de Montagem e Reconhecimento de Face Investigao de Tcnicas Automticas de Extrao de Caractersticas Aplicadas a Verificao OFF-LINE de Assinaturas
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
Investigao de uma Plataforma Computacional para Identificao de DNA
PROVOZ Produo, Identificao e Reconhecimento De Voz
RAM - Radial ? Um modelo de Generalizao para as Redes Sem-Peso
Reconhecimento de Manuscrito Off-Line
Reconhecimento de Manuscritos On-Line
Tcnicas de Extrao e Reconhecimento de Padres em Imagens de Radar
Uma Abordagem Morfolgica para Reconhecimento de Objetos Estelares
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
Fabio Queda Bueno da Silva
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)
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
- 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
- Mdias e Interao - ENGENHARIA DE SOFTWARE
Fernando Jos Castor de Lima Filho
- ENGENHARIA DE SOFTWARE | Linha de Produtos de Software
D
Tratamento de Erros em Linhas de Produtos de Software
Professor Fernando Jos Castor de Lima Filho
rea(s)
Tipo(D/M)
Link
M
Tratamento de Erros Causa Bugs?
- SISTEMAS DISTRIBUDOS | MIDDLEWARE - ENGENHARIA DE SOFTWARE | ARQUITETURA DE SOFTWARE - TOLERNCIA A FALHAS - ENGENHARIA DE SOFTWARE | CLOUD COMPUTING
Desenvolvimento de Plataformas de Middleware Confiveis com Diversidade de Software
- LINGUAGENS DE PROGRAMAO - ENGENHARIA DE SOFTWARE | ARQUITETURA DE SOFTWARE
Desenvolvimento de Aplicaes Multicore Confiveis
M
Modularizao e Reuso de Tratamento de Erros com Programao Orientada a Aspectos
- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - SISTEMAS DISTRIBUDOS | MIDDLEWARE - TOLERNCIA A FALHAS
Desenvolvimento de Plataformas de Middleware Confiveis com Diversidade de Software
M
Tratamento de Erros em Linhas de Produtos de Software
Fernando Jos Castor de Lima
- ENGENHARIA DE SOFTWARE | CLOUD
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
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
Minerao e Anlise de Opinies na Web
Modelos de Agrupamento baseados na otimizao de uma funo objetivo
Abordagem Simblica em Meta-Aprendizado Para a Seleo de Modelos de Agrupamento
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
Estudo comparativo de mtodos de anlise de sentimento em notcias, blogs e tweets
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
Integrao entre a Web Semntica e o Motor de Inferncia Hbrido MONK
- METODOLOGIA E TCNICAS DA COMPUTAO - MATEMTICA SIMBLICA
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
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)
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
Manipulao Integrada de Informao em vrios Domnios
- LGICAS E SEMNTICA DE PROGRAMAS - ANLISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTAO - Raciocinio automatico
Inferencing Services over Description Logic
Frederico Luiz Gonalves de
- Inteligencia artificial - Ontologias e Web Se
Ontologies and their Applications for Neglected Tropical Diseases
Professor Freitas
mantica
rea(s)
Tipo(D/M)
Link
- Raciocinio automatico
- LGICAS E SEMNTICA DE PROGRAMAS - Ontologias e Web Se mantica
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
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
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
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
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
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
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
M
- Jogos Digitais
- Inteligencia artificial - Mdias e Interao
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
Extrao de caractersticas aplicadas a cenrios com multimodalidade intraclasse
Aprendizagem baseada em instncias e seleo de prottpipos
Seleo e ponderao de caractersticas aplicadas a problemas de classificao
- VISO COMPUTACIONAL | Biometria
Verificao de assinaturas usando Dynamic Time Warping
- VISO COMPUTACIONAL
Reconhecimento de palavras manuscritas em domnios restritos
Previso de Sries Temporais: uma abordagem usando Combinao de Classificadores
Medidas de Complexidade para Avaliar Algoritmos de Seleo de Prottipos
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
Verificao automtica de faces frontais
Verificao biomtrica atravs da dinmica da digitao usando modelagem de contorno
Reconhecimento de dgitos manuscritos: estratgias para selecionar prottipos
Deteco de objetos em imagens
Avaliao de funes de distncia para algoritmos baseados em instncias
Investigao de algoritmos de reconhecimento de padres para deteco de pedestres
Seleo e combinao dinmica de ensembles aplicada a problemas de viso computacional
Anlise e Desenvolvimento de Tcnicas de Reduo de Instncias
M
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)
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
M
M
- ENGENHARIA DE SOFTWARE | Gesto de Projetos de Software
Sistema de observao e anlise comportamental de equipes de projetos Definio de Perfis e Indicadores para Avaliao da Capacidade Sistmica de Gerentes de Projetos
Valor em Metodologias geis de Software
- SISTEMAS DE INFORMAO
Modelo de Gesto para Governana gil em TIC
Aprendizagem em Projetos de Software e Redes Sociais
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
Hermano Perrelli de Moura
- ENGENHARIA DE SOFTWARE - SISTEMAS DE INFORMAO
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
- ENGENHARIA DE SOFTWARE | Metodologias geis
- SISTEMAS DE INFORMAO
Incerteza e Equvoco em Projetos de Software
- Biologia Computacional
M
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
M
M
M
Professor Jaelson Freire Brelaz de Castro Jaelson Freire Brelaz de Castro Jaelson Freire Brelaz de Castro
rea(s)
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
- ENGENHARIA DE SOFTWARE | Engenharia de Requisitos
Jaelson Freire Brelaz de Castro
M
M
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
Uma Abordagem de Engenharia de Requisitos para Linhas de Produtos de Software Avaliao da Qualidade de Documentos de Requisitos
- ENGENHARIA DE SOFTWARE | Engenharia de Requisitos - ENGENHARIA DE
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
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
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
Judith Kelner
Judith Kelner
Gerenciamento autonmico
Judith Kelner
Redes mveis heterogneas sem fio
Judith Kelner
Redes de Emergncia
Professor Judith Kelner
rea(s)
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
Judith Kelner
Judith Kelner
Judith Kelner
- Mdias e Interao
Juliano Manabu Iyoda Juliano Manabu Iyoda Juliano Manabu Iyoda
- ENGENHARIA DE SOFTWARE | Anlise e Verificao de Programas
Mecanizao de Provas Usando CSP-Prover
Verificao e Teste de Sistemas Implementados em IMA
Katia Silva Guimares
- ALGORITMOS / INTELIGNCIA COMPUTACIONAL - Biologia Computacional
Integrao de Dados Genmicos para Inferncia de Redes Biolgicas
Modelos Hbridos para Sistemas Biolgicos
Anlise de Dados de Polimorfismo
Algoritmos Evolutivos para Sistemas Biolgicos
Professor
rea(s)
Tipo(D/M)
Link
Algoritmos para Reconstruo de Redes Biolgicas
Anlise de Modelos Hbridos para Redes Metablicas
Anlise de Algoritmos Evolutivos para Sistemas Biolgicos
Mtodos Inteligentes para Identificar Interaes Protena-protena
Kelvin Lopes Dias
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
Kelvin Lopes Dias Kelvin Lopes Dias Kelvin Lopes Dias
Kelvin Lopes Dias
Professor
rea(s)
Tipo(D/M) Networks)
Link
Liliane Rose Benning Salgado Liliane Rose Benning Salgado Liliane Rose Benning Salgado Manoel Eusebio de Lima
Otimizao em grafos: rvores geradoras com restries.
Uma abordagem algortmica dinmica para o Problema da Patrulha
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
Manoel Eusebio de Lima Manoel Eusebio de Lima Manoel Eusebio de Lima Manoel Eusebio de Lima Manoel Eusebio de Lima
Manoel Eusebio de
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
Estudo e desenvolvimento de algoritmos em plataforma de alto desempenho baseadas em GPUs Modelagem elstica 3D para aplicaco em ssmica
Melhorando Tarantula Com Oracles
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
Gerao Incremental de Testes
M
Teste de Integrao para Linhas de Produto
D
Verificao de Linhas de Produto de Software
Marclia Andrade Campos Mrcio Lopes Cornlio
- Matemtica da Computao
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
Professor
rea(s)
Verificao de Programas
Tipo(D/M)
Link
Mrcio Lopes Cornlio Nelson Souto Rosa Nelson Souto Rosa
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
- SISTEMAS DISTRIBUDOS | MIDDLEWARE
Nelson Souto Rosa
- SISTEMAS DISTRIBUDOS | CLOUD COMPUTING
D
Middleware para Interoperabilidade Intercloud
- SISTEMAS DISTRIBUDOS
Nelson Souto Rosa
- SISTEMAS DISTRIBUDOS | APLICAES EM REDES DE SENSORES SEM FIO
Avaliao do Consumo de Energia de Aplicaes em Redes de Sensores Sem-Fio
Nelson Souto Rosa
- SISTEMAS DISTRIBUDOS | CLOUD COMPUTING
M
Middleware para Interoperabilidade Intercloud
Nelson Souto Rosa
- SISTEMAS DISTRIBUDOS | COMPUTAO ORIENTADA A SERVIO - SISTEMAS DISTRIBUDOS | MIDDLEWARE
Ferramenta para composio de servios heterogneos
Nelson Souto Rosa
- SISTEMAS DISTRIBUDOS | CLOUD COMPUTING - SISTEMAS DISTRIBUDOS | COMPUTAO ORIENTADA A SERVIO
Composio de Servios na Nuvem
Nelson Souto Rosa
- SISTEMAS DISTRIBUDOS | MIDDLEWARE - SISTEMAS DISTRIBUDOS | APLICAES EM REDES DE SENSORES SEM FIO
Extenso da Mquina Virtual TinyReef para Suportar Reprogramao Dinmica de Aplicaes
Nelson Souto
- SISTEMAS DISTRIBUDOS |
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
i-Act: Um Testbed para Avaliao de Atores Sintticos
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
Formao de equipes de trabalho baseado em sistemas multi-atores sintticos
i-nurse:Um assistente inteligente para avaliao de aprendizagem em Enfermagem
IProgram: Uma abordagem integrada para facilitar o aprendizado de Linguagens de programao
Mecanismos de Coordenao Dinmicos para Sistemas Autnomos
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
Identificao por Radiofrequncia (RFID)
Segurana em Redes Sem Fio
Segurana em Redes Sem Fio
Identificao por Radiofrequncia (RFID)
Redes de Sensores
Redes Ad Hoc Veiculares
Redes Mesh
Redes de Sensores
Redes Ad Hoc Veiculares
Redes Mesh
- ENGENHARIA DE
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
Verificao de Refatoramentos para Linhas de Produto de Software
Refatorao de Linhas de Produtos de Software
- Matemtica da Computao
Otimizao da biblioteca C-XSC no desempenho de algoritmos para Computao Cientfica
- ALGORITMOS / INTELIGNCIA COMPUTACIONAL - Matemtica da Computao
Otimizao da biblioteca C-XSC no desempenho de algoritmos para Computao Cientfica
Paulo Jorge Leito Adeodato
- Inteligncia Computacional - APRENDIZAGEM DE MQUINA | Minerao de Dados
Minerao de Dados Aplicada ao Problema da Mortalidade Materna
Paulo Jorge Leito Adeodato
- APRENDIZAGEM DE MQUINA | Minerao de Dados - Inteligncia Computacional
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
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
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
- SISTEMAS DE COMPUTAO
Paulo Romero Martins Maciel
- MODELOS ANALTICOS E DE SIMULAO - Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade
Avaliao de QoS de Aplicaes Crticas
- SISTEMAS DE COMPUTAO - MODELOS ANALTICOS E DE
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
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
Avaliao e Planejamento de Capacidade de Call Centers
- SISTEMAS EMBARCADOS - Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade - SISTEMAS DE COMPUTAO
Avaliao de desempenho em MPSOCs
- SISTEMAS DE COMPUTAO - Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade
Metodologia para Planejamento de Capacidade de Sistemas de Computacionais
- Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade - SISTEMAS DE COMPUTAO
Monitorao e Gerenciamento de Desempenho e Disponibilidade de Aplicaes Distribudas
Avaliao de QoS e SLAs em Data Centers
Paulo Romero
Avaliao de Desempenho e Consumo de
Professor Martins Maciel
rea(s)
Tipo(D/M)
Link Energia em Sistemas Embarcados Baseada em Arquiteturas
Gerao de Carga Sinttica para o Planejamento de Capacidade em Ambientes de Servidores Virtuais
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
Avaliao de Desempenho e Dependabilidade para Suporte ao Planejamento de Data Centers Sustentveis de Alta Disponibilidade.
- Supply Chain
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
Avaliao de Desempenho e Dependabilidade de Aplicaes em Redes Convergentes
- ENGENHARIA DE SOFTWARE - Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade
Avaliao de Desempenho de Processos de Software
- SISTEMAS DE COMPUTAO - Avaliao de Desempenho, Dependabilidade e
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
Avaliao de Dependabilidade e Sustentabilidade em Cloud Computing
- Data Centers and Cloud Infrastructure - Medio e Monitorao
Monitorao de Desempenho de Recursos e Servios em Sistemas Computacionais
- Avaliao de Desempenho, Dependabilidade e Planejamento de Capacidade - MODELOS ANALTICOS E DE SIMULAO
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
Avaliao de Dependabilidade e Sustentabilidade de Data-Centers
- MODELOS ANALTICOS E DE SIMULAO - ENGENHARIA DE SOFTWARE
Avaliao de Desempenho de Processos Software
Professor
rea(s)
Tipo(D/M)
Link
- MODELOS ANALTICOS E DE SIMULAO - SISTEMAS EMBARCADOS
Anlise e Avaliao de Escalonamento de Sistemas Operacionais de Tempo Real considerando economia de energia.
- Data Centers and Cloud Infrastructure - SISTEMAS DE COMPUTAO
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
Agrupamento de Dados Simblicos usando Abordagem Possibilistic
Classificao de Dados Simblicos usando Redes Neurais LVQ
Regresso Logstica Kernelizada para Intervalos: Uma aplicao de risco de crdito
Regresso Quantlica Simblica: Uma aplicao para Dados Econmicos
Meta-Aprendizado para Seleo e Otimizao de Algoritmos
- Inteligncia Computacional - APRENDIZAGEM DE MQUINA
Sistemas Inteligentes Hbridos para Otimizao de Redes Neurais Artificiais
Professor
rea(s)
Tipo(D/M)
Link
Ricardo Bastos Cavalcante Prudncio
- Processamento de Linguagem Natural - Anlise de Sentimentos
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
Minerao de Relacionamentos em Redes Sociais
- Sistemas de Recomendao - APRENDIZAGEM DE MQUINA
Aprendizado de Mquina para Sistemas de Recomendao
- APRENDIZAGEM DE MQUINA | Minerao de Dados - REDES SOCIAIS
Aprendizado de Mquina para Minerao de Relacionamentos
- Inteligncia Computacional - ENGENHARIA DE SOFTWARE
Busca Meta-Heurstica para Seleo de Casos de Teste de Software
- Extracao de Informacao - Recuperacao de Informacao - Minerao de Textos
Extrao de Informao para Minerao de Textos
Descoberta de Padres Temporais em Redes Sociais
Deteco de Comunidades Emergentes em Redes Sociais
M
- Minerao de Textos
Extrao de Redes Biologicas com Mineracao de Relacionamentos e Textos
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
Tema RSMB2 em Engenharia de Software 2011 - a ser proposto pelo candidato
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
Robson do Nascimento Fidalgo
- BANCO DE DADOS | Suporte Deciso - APRENDIZAGEM DE MQUINA | Minerao de Dados
Avaliao da arquitetura DOLAM com outra tcnica de minerao de dados
- BANCO DE DADOS | Suporte Deciso - ENGENHARIA DE SOFTWARE | Anlise e Verificao de Programas
Um Framework de Testes Funcionais para OLAP Espacial (SOLAP)
- BANCO DE DADOS | Suporte Deciso - ENGENHARIA DE SOFTWARE | MODEL DRIVEN DEVELOPMENT
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
Uma Arquitetura de Software para Suporte Deciso Temporal
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
Deduo Natural Rotulada: Skolemizao e o Quantificador Existencial
- LGICAS E SEMNTICA DE PROGRAMAS - TEORIA DA COMPUTAO - Lgica para Computao - Teoria da Prova
Deduo Natural Rotulada: Igualdade Proposicional
Skolemizao e o Quantificador Existencial na Deduo Natural Rotulada
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
Deduco Natural Rotulada: Normalizao e Jogos de Linguagem
- Fundamentos da Criptografia Moderna - TEORIA DA COMPUTAO
Computao Segura de Pesquisas de Opinio
- Segurana Computacional
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
Tcnicas de defesa contra fraudes de clique usando CAPTCHAs clicveis
- Fundamentos da Criptografia Moderna - TEORIA DA COMPUTAO
Esquemas criptogrficos para numerrio eletrnico
- Fundamentos da Criptografia Moderna - Segurana Computacional
Esquemas criptogrficos para compartilhamento de senhas visuais
- Segurana Computacional - Cibersegurana, Propriedade Intelectual e o Domnio Pblico
Arcabouo Conceitual para uma Teoria sobre Privacidade, Propriedade Intelectual e O Domnio Pblico
- Cibersegurana, Propriedade Intelectual e o Domnio Pblico - Segurana Computacional
Um Estudo Terico sobre o Domnio Pblico e o Ambientalismo Cultural
- Cibersegurana, Propriedade Intelectual e o Domnio Pblico - Segurana Computacional
Um Estudo Terico sobre o Domnio Pblico e o Ambientalismo Cultural
Sistemas Eletrnicos de Votao com Verificabilidade Fim-a-Fim
Sistemas Eletrnicos de Votao com Verificabilidade Fim-a-Fim
- Empreendedorismo em
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
Encriptao Totalmente Homomorfa
- Fundamentos da Criptografia Moderna - TEORIA DA COMPUTAO - Segurana Computacional
Encriptao Totalmente Homomorfa
- Complexidade Descritiva
- ANLISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTAO - TEORIA DA COMPUTAO
Complexidade Descritiva de Problemas em Grafos
- Complexidade Descritiva
- ANLISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTAO - TEORIA DA COMPUTAO
Complexidade Descritiva de Problemas em Grafos
- Teoria dos Modelos - Lgica para Computao - TEORIA DA COMPUTAO
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
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
Complexidade Computacional aplicada a Analise Numrica via Teoria de Modelos
- Teoria da Prova - Concorrncia - TEORIA DA COMPUTAO
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
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)
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)
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
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
SMAD: Uma linguagem de descrio arquitetural para Computao de Mquinas Sociais
- ENGENHARIA DE SOFTWARE - ENGENHARIA DE SOFTWARE | CLOUD COMPUTING
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
A Development Process for Service-Oriented Product Lines
- ENGENHARIA DE SOFTWARE - ENGENHARIA DE
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
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
- 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
Productivity Measurement in Software Development Projects
D
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
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
- Redes neurais e suas Aplicaes
Redes Neurais Morfolgicas: Teoria e Aplicao em Previso Financeira
- ENGENHARIA DE SOFTWARE | CLOUD
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
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
- REDES SOCIAIS - METODOLOGIA E TCNICAS DA COMPUTAO
Mtodos de otimizao aplicados ao desenvolvimento do software Melhores prticas para realizao da percia forense computacional em redes sociais corporativas
- REDES SOCIAIS
- ENGENHARIA DE SOFTWARE | Linha de Produtos de Software | Reuso e Linha de Produtos de Software
A Mechanism to Manage Feature Interaction in the context of Software Product Lines
A Traceability Mechanism for Software Reuse Tools
An Approach for Product Instantiation in Software Product Lines Engineering
A Tool for Source Code Clone Detection
Professor
rea(s)
- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - Redes e Sistemas Distribudos
Tipo(D/M)
Link
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
A Software Product Line Testing Process
- ENGENHARIA DE SOFTWARE | Linguagens Especficas de Domnio
Uma abordagem para criao de linguagens especficas de domnio para interoperabilidade de mquinas sociais Utilizao de mtodos geis em desenvolvimento de software Open Source
Utilizao de Prticas XP no Desenvolvimento Distribudo de Software.
Comunicao de times geis distribudos.
Customizao do Kanban para Desenvolvimento Distribudo de Software. Uso de estratgia de linguagens funcionais para implementar solues de recomendao de contedo para portais
Cloud computing como reuso de plataformas
- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - Segurana Computacional - Redes e Sistemas
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
Gerenciamento de ambientes de cloud computing
- Data Centers and Cloud Infrastructure
- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - Redes e Sistemas Distribudos
Testes de ambientes de cloud computing
M
Requisitos para aplicaes em cloud computing
- ENGENHARIA DE SOFTWARE | CLOUD COMPUTING - Data Centers and Cloud Infrastructure
Modelos de billing para Cloud Computing
- ENGENHARIA DE SOFTWARE | PROCESSO E QUALIDADE DE SOFTWARE - Interfaces, Usabilidades, Acessibilidade
Qualidade da Acessibilidade no Software Livre
Silvio Romero de Lemos Meira Silvio Romero de Lemos Meira
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
Professor
rea(s)
SOFTWARE | ARQUITETURA DE SOFTWARE
Tipo(D/M)
Link
- ENGENHARIA DE SOFTWARE | Mquinas Sociais - PEOPLEWARE
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
Cloud Computing Services as Functional (Language) Processes
Cloud Computing Services as Functional (Language) Processes
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
The Emerging Web of Social Machines
Professor
rea(s)
Tipo(D/M)
Link
D
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
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
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
Um testbed para Manuteno de Software Orientados a Aspectos
Teresa Bernarda Ludermir Teresa Bernarda Ludermir Teresa Bernarda Ludermir Teresa Bernarda
Sistema Neural Hbrido
Otimizao de Redes Neurais Artificiais
Uso de tcnicas de otimizao em comits de classificadores neurais Algoritmos de Agrupamento e Anlise de Base de Dados de Expresso Gnica
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
Sistemas Neurais Hbridos aplicados ao problema de agrupamento
Aprendizado em Neurais Sem Peso Qunticas
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
Tsang Ing Ren Tsang Ing Ren
M M
Professor
rea(s)
Tipo(D/M)
Link
Tsang Ing Ren
Cartoonizao de Vdeos
Tsang Ing Ren
Codificao de imagens utilizando vetores de vizinhana
Tsang Ing Ren

Reconhecimento de pedestres
Tsang Ing Ren

Sistema de deteco e classificao de faces
Tsang Ing Ren

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
Tsang Ing Ren

Tsang Ing Ren

Tsang Ing Ren
Sistemas de Recomendao em Redes Sociais
Tsang Ing Ren

Reconhecimento de pedestres
Tsang Ing Ren
Verificao e Reconhecimento de voz
Tsang Ing Ren
Sistema de reconhecimento de eventos em videos Sistema de recuperao de imagens baseado no contexto
Tsang Ing Ren
Professor
rea(s)
Tipo(D/M)
Link
Tsang Ing Ren
Sistemas de Recomendao em Redes Sociais Algoritmos de Rotulao de componentes conectados
Tsang Ing Ren
Tsang Ing Ren
Vdeo Colortoning
Tsang Ing Ren
- PROCESSAMENTO GRFICO (GRAPHICS) | Processamento de Imagens - VISO COMPUTACIONAL
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
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
Valria Cesrio
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
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
- Mdias e Interao | Realidade Aumentada
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
Veronica Teichrieb
Vincius Cardoso Garcia
- ENGENHARIA DE SOFTWARE | REENGENHARIA DE SOFTWARE - ENGENHARIA DE SOFTWARE | MODEL DRIVEN DEVELOPMENT
MORE: An effective Model Driven Reengineering Approach
Professor
rea(s)
Tipo(D/M)
Link
- ENGENHARIA DE SOFTWARE | Metodologias geis - ENGENHARIA DE SOFTWARE | Linha de Produtos de Software
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
Uma Abordagem para Rastreabilidade de Variabilidades entre Requisitos e Arquiteturas de Software Orientadas a Servios

Temas Mestrado Cin-UFPE

Enviado por

Dados do documento

Descrição original:

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Temas Mestrado Cin-UFPE

Enviado por

Direitos autorais:

Formatos disponíveis

Temas para Pr-Projeto de Mestrado e Doutorado Seleo 2011

Metodologia Hw/Sw para Avaliao de Diagnsticos de Doenas

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

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

Adriano Lorena Incio de Oliveira Adriano Lorena Incio

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

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

Aplicao de Tcnicas de Minerao de

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

Gerenciamento e Avaliao de Servios em Sade: Indicadores de Qualidade

Alex Sandro Gomes

- Mdias e Interao | computer supported cooperative learning

Estilos de interao com ferramentas lingsticas em plataformas de ensino

Alex Sandro Gomes

- Mdias e Interao | computer supported cooperative learning

Arquiteturas de software para projeto de plataformas CSCL distribudas

Alex Sandro Gomes

- Mdias e Interao - Mdias e Interao | Social networking

Consciousness and engagement in social networks

Alex Sandro Gomes

- Mdias e Interao - Mdias e Interao | Social networking

Fun and learning in social networks

Alex Sandro Gomes Alex Sandro Gomes

- Mdias e Interao - Mdias e Interao | Social networking

- Mdias e Interao - Mdias e Interao | Social

Alex Sandro Gomes

- Mdias e Interao - Mdias e Interao | Social networking

Extending user experience in social networks to iTV and mobile devices

- ENGENHARIA DE SOFTWARE | Engenharia de Software Experimental

- ENGENHARIA DE SOFTWARE | Engenharia de Software Experimental

- ENGENHARIA DE SOFTWARE|Segurana (safety) de sistemas

- ENGENHARIA DE SOFTWARE | Engenharia de Software Experimental

- ENGENHARIA DE SOFTWARE|Segurana (safety) de sistemas

Ferramenta de inferncia de falhas

- ENGENHARIA DE SOFTWARE | PROCESSO E QUALIDADE DE SOFTWARE

- ENGENHARIA DE SOFTWARE | PROCESSO E QUALIDADE DE SOFTWARE

- Inteligncia Computacional | Algoritmos Evolucionrios

- Inteligncia Computacional | Algoritmos Evolucionrios

- Inteligncia Computacional | Redes Neurais

- Inteligncia Computacional | Redes Neurais

- Inteligncia Computacional | Algoritmos Evolucionrios

- Inteligncia Computacional | Redes Neurais

- Inteligncia Computacional | Redes Neurais

- BANCO DE DADOS | SGBD Autnomos

- BANCO DE DADOS | Gerenciamento de Dados em Ambiente P2P

- Ontologias e Web Se mantica

- BANCO DE DADOS | Gerenciamento de Dados em Ambiente P2P

Otimizao de Consulta Reformulada em PDMS

- BANCO DE DADOS | Gerenciamento de Dados em Ambiente P2P

- BANCO DE DADOS | Gerenciamento de Dados em Ambiente P2P

- ENGENHARIA DE SOFTWARE | Linguagens Especficas de Domnio

Andr Lus de Medeiros Santos

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

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

Otimizao de Linguagens Funcionais em Arquiteturas Paralelas

- Lgica para Computao

- Lgica para Computao

- Lgica para Computao

- ANLISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTAO

Algoritmos para teste de primalidade

- ENGENHARIA DE SOFTWARE | MODEL DRIVEN DEVELOPMENT

- BANCO DE DADOS | Integrao de Dados

- BANCO DE DADOS | Integrao de Dados