Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal. Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.  

Esse projeto visa especificar e implementar um método semi-automático de classificação de regiões em ISRs utilizando realimentação de relevância baseado em programação genética (PG). Realimentação de relevância é uma técnica utilizada em recuperação de imagens por conteúdo e tem como objetivo agregar os interesses do usuário no processo de busca.

Este projeto propõe a adaptação de jogos educacionais existentes para refletir práticas mais modernas de produção de software e para considerar aspectos intrínsecos do desenvolvimento de software no Brasil. O objetivo geral é tornar o ensino de Engenharia de Software mais atrativo aos alunos, apresentando conceitos práticos importantes de uma

Entre as prioridades da nossa pesquisa em Robótica, estão problemas paradgmáticos da cooperação entre agentes móveis e estáticos (i.e. redes de sensores sem fio terrestre e robôs aéreos) e a localização e o mapeamento em ambientes externos. Por serem intrinsecamente não estruturados, tais ambientes demandam abordagens que possam lidar com

O objetivo deste projeto é o estudo e o desenvolvimento de metáforas e tecnologias de visualização capazes de representar o volume e a alta dimensionalidade de dados de Bioinformática, evidenciando os padrões neles presentes e sua evolução, facilitando a compreensão da informação apresentada. Integrantes: Raquel Cardoso de Melo Minardi –

Desenvolvimento, implantação e Moddle 2.0 IS. Estudo de arquitetura de informação, requisitos e políticas de seguranca de acesso para implantação da Plataforma Arouca. Integrantes: Renato Antonio Celso Ferreira – Integrante / Osvaldo Carvalho – Coordenador.  

Dentro deste contexto, o objetivo principal deste projeto é investigar, desenvolver e avaliar algoritmos para a Nanotecnologia Computacional, visando a otimização de  dispositivos, o desenvolvimento de sistemas de gerenciamento de dados da síntese de nanoestruturas e a posterior descoberta de conhecimento através destes dados. Além  disso, também é objetivo deste trabalho a

Networks require greater degree of service-awareness. This implies that not only are all digital items pertaining to a service delivered, but also all relevant business goals are fulfilled, and network resources are used optimally. As a consequence the network s complexity grows with service abundance placing new requirements on network