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

O objetivo do projeto é apoiar a colaboração de pesquisadores no Brasil e Dinamarca na área de IHC e Sistemas Colaborativos. Identificou-se que as principais questões de interesse comum aos diversos pesquisadores envolvidos são teorias de IHC e colaboração, design participativo e baseado em modelos e Governo Eletrônico. Faz parte

WINDS is a research project that proposes to investigate the communication tech-nologies related to cloud applications being accessed by mobile clients. Those clients are either classic devices such as tablets, smartphones and mobile computers, or things (embedded systems with networking capabilities). Cloud computing is one of the most successful paradigms

A crescente disponibilidade de dados provenientes de projetos de sequenciamento e latente limitação das técnicas de anotação clássicas baseadas puramente na homologia de sequência, somadas a inúmeras iniciativas de genômica estrutural e ao aperfeiçoamento dos métodos de modelagem por homologia, tornam o desenvolvimento de técnicas baseadas em estrutura para predição

A confiabilidade de uma aplicação depende de três aspectos chaves: desempenho, disponibilidade e robustez a usuários maliciosos e oportunistas. Neste projeto, pretendemos atuar em três frentes de trabalho para aumentar a confiabilidade de aplicações da Internet. No contexto de aplicações de comércio eletrônico, pretendemos desenvolver um arcabouço integrado de gerenciamento

This European project focuses on the concept of inductive querying, i.e., the formalization of knowledge discovery processes as sequences of queries. This project is the follow-up of the successful IST FET project CINQ (FP5 IST 26469) which was already dedicated to the inductive database framework. Integrantes: Loïc Pascal Gilles Cerf

O projeto visa o desenvolvimento da tecnologia de redes de computadores no âmbito da Internet de coisas. Ele é composto por sete sub-projetos relacionados à robustez e segurança das comunicações em um ambiente de redes heterogêneo, típico do encontrado pelos sistemas vislumbrados para a Internet de coisas. O Sub-projeto 1

Esse projeto têm como objetivo incorporar credibilidade a algoritmos de classificação de documentos. O termo credibilidade foi inicialmente definido para avaliar a capacidade de um usuário acreditar em um sistema computacional, e atualmente vêm sido vastamente investigada no contexto de serviços e dados disponíveis na Web. Porém, método automáticos assumem

As doenças infecciosas vêm tendo sua importância recolocada no cenário epidemiológico brasileiro, com as epidemias de dengue, de leptospirose, a recorrência da tuberculose, entre outras. Além disso, as doenças ditas (re)emergentes e sua rápida disseminação estão colocando novos desafios para os sistemas de saúde, particularmente quanto à forma de conduzir