Projeto de pesquisa financiado pela AOL para desenvolvimento de teorias e ferramentas para Bibliotecas Digitais. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (1) . Integrantes: Marcos André Gonçalves – Integrante / Edward A Fox – Coordenador.  

Este projeto descreve atividades de pesquisa científica, tecnológica e de inovação nas áreas de computação ubíqua (Ubicomp) e redes de sensores sem fio (RSSFs). As RSSFs têm como objetivo monitorar, instrumentar, e, possivelmente, controlar o mundo físico. Por outro lado a computação ubíqua tem como objetivo embutir a computação no

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

LerNET (Language Engineering and Rigourous Software Development) is a network of higher education and research institutions in the Area of Computer Science, formed under the auspices of the European Comission ALFA Programme (Latin America Academic Training) programme.  Integrantes: Carlos Camarão de Figueiredo – Integrante / Luis Soares Barbosa – Coordenador

A busca por uma plataforma computacional que possibilite o processamento escalável de grandes quantidades de dados, a busca por estratégias de coleta e extração de dados que sejam eficazes e eficientes, sem comprometer a privacidade dos indivíduos.  Integrantes: Renato Antonio Celso Ferreira – Integrante / Wagner Meira Jr. – Coordenador.

Projeto de Colaboração Espanha – Seminários, que visa a realização de dois seminários, um na Espanha e um no Brasil. Os objetivos são: identificar problemas de interesse dos dois grupos para projetos de colaboração, e treinar alunos de pós-graduação nos dois países nos temas que os grupos são mais fortes:

O contexto deste projeto de pesquisa envolve algoritmos de otimização explorados em problemas clássicos de Combinatória, mas com grande potencial de aplicação a problemas reais, mas também a três temas de aplicação amarrados a outras linhas clássicas da computação: Engenharia de Software, Robótica, Visão Computacional e Jogos, e Redes de

Esse projeto tem como objetivos pre-processar imagens de exames PET e usar tecnicas de data mining e processamento de imagens para auxiliar no prognostico de pacientes com linfoma. Alunos envolvidos: Graduação: (3) . Integrantes: Gisele Lobo Pappa – Integrante / Hugues Talbot – Coordenador / Michel Meignan – Integrante /

O projeto foi proposto para apoiar as pesquisas do solicitante nas seguintes áreas: Erosão Arquitetural. Durante a implementação e evolução de um sistema, sua arquitetura concreta pode se desviar da arquitetura com que ele foi planejado. Mais importante, esses desvios normalmente não são detectados, dando origem ao fenômeno conhecido como