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

Uma cadeia de suprimentos é, portanto, uma composição de unidades organizacionais visando o melhor atendimento de suas demandas e consumidores, e aumentando a competitividade, explorando diversos tratamentos, metodologias e algoritmos, em diferentes áreas de conhecimento. Nosso objetivo neste projeto é explorar o seu pilar de coordenação, mais especificamente as tecnologias

Este projeto de pesquisa tem como objetivo principal investigar o desenvolvimento de sistemas de objetos distribuídos incorporando abstrações adequadas a programação em ambinetes de computação móvel. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (1) . Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir Oliveira Di

Com a evolução da Web 2.0, é cada vez mais fácil de?nir conexões (redes) sociais, as quais podem ser analisadas para descoberta de conhecimento; esse conhecimento pode, e deve, ser disseminado entre os componentes dessa rede. Os dados na Web não são mais apenas conteúdo, pois agregam informação social, o que aumenta ainda

O potencial educacional e de preservação e disseminação cultural e científica existente nas bibliotecas digitais é inegável. Tal potencial é ainda mais relevante no Brasil, onde bibliotecas digitais podem atuar como ferramentas de apoio a soluções de problemas específicos do país tais como exclusão digital, analfabetismo, má preparação de educadores

Objetivo proposto: Um estudo de um sistema de vigilância espaço-temporal que tem como objetivo a identificação rápida e precoce de áreas geográficas com aumento excessivo do risco. Por risco excessivo em uma área geográfica num instante de tempo deve-se entender um risco substancialmente diferente daquele que poderia ser esperado naquela

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

Construção automática de ambientes virtuais realísticos com aplicações em robótica cooperativa. Utilização de um domo de câmeras para captura de imagens e movimento, reconstrução 3D, localização, etc. Integrantes: Luiz Chaimowicz – Integrante / Mário Fernando Montenegro Campos – Integrante / Rodrigo Carceroni – Coordenador.  

Atividades criminais variam em escopo e complexidade, mas existem em todos os setores da sociedade. Com o desenvolvimento tecnológico, os crimes tornaram-se mais sofisticados migrando do mundo físico e atingindo, também, o mundo virtual. Diante das inúmeras formas que as atividades ilegais podem tomar, a saída para a sociedade moderna