Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos

PerFeiÇão: Perfil Feminino em Computação

O objetivo geral desse projeto é dividido em duas partes complementares: primeiro, traçar um perfil das mulheres da área de Computação, e partir de tal perfil, trabalhar para atrair meninas para a área e reter as que já se encontram na Computação. Os objetivos específicos em três etapas são: 1)

Saiba mais »

Suporte de Sistemas a Aplicações Escaláveis

No contexto de aplicações distribuídas de grande porte, desenvolver soluções a nível de sistemas operacionais e redes de computadores que propiciem a criação de um ambiente de desenvolvimento e execução de aplicações distribuídas em larga escala e com alto desempenho é hoje um desa?o para a comunidade de sistemas distribuídos.

Saiba mais »

Portal UNIversitário de Oportunidades

Este trabalho visa o projeto e a implementação de um portal universitário para a disseminação de oportunidades de bolsas de iniciação científica, estágios e empregos.   Alunos envolvidos: Graduação: (1) . Integrantes: Mirella Moura Moro – Coordenador / Wagner Vinicius Guimaraes Lopes – Integrante. Número de orientações: 3  

Saiba mais »

Biomecânica das Estruturas Orofaciais

O objetivo geral do projeto é desenvolver uma parceria entre os dois grupos no contexto da cooperação internacional Brasil-Espanha que potencialize os trabalhos de pesquisa ora existentes nas duas instituições. Para tanto, é importante frisar os desenvolvimentos já obtidos pelos grupos, de forma a tornar claras as potencialidades da colaboração

Saiba mais »

Ferramenta para Estimar Erros de Projeto em Circuitos Integrados

Com a complexidade dos circuitos integrados (CIs) crescendo exponencialmente, as técnicas tradicionais de verificação nem sempre são suficientes para localizar todos os erros de um projeto. Uma das técnicas mais utilizadas nos dias de hoje é a verificação baseada em asserções. asserções são monitores instanciados pelo projetista do circuito integrado

Saiba mais »

Uso de Máquinas de Estado Abstratas na Formalização de Agentes em Aplicações de Inteligência Artificial e Jogos

Este trabalho de pesquisa discute a adequação de formalismo ASM para a especificação do comportamento de agentes em aplicações de Inteligência Artificial. Fazendo uso de ferramentas específicas, um dos objetivos desta pesquisa é implementar aplicações de Inteligência Artificial usando-se o paradigma de ASM, bem como avaliar a facilidade de implementação

Saiba mais »

Acesso por PERFIL

Acessar o conteúdo