Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Geração de Código: Alocação de Registradores baseada em Crescimento de Domínios Ativos
Este projeto de pesquisa se propõe a estudar e implementar uma nova heurística para alocação de registradores usando uma técnica denominada Crescimento de Domínio Ativo (Live Range Growth). Esta técnica foi proposta para se resolver o problema de alocação de referências a vetores em registradores de endereçamento, dentro de laços
Verificação Híbrida de Modelos: Ferramentas e Aplicações
Sistemas computacionais são frequentemente utilizados em aplicações críticas como controladores de máquinas industriais aonde falhas podem ter consequências graves. Mesmo em aplicações não industriais erros são frequentemente inaceitáveis. Por exemplo, em um sistema de comércio eletrônico erros podem levar desde a perda de clientes por insatisfação com o serviço até
Modelos e Algoritmos para análise de Redes biológicas
A crescente geração de dados nos Projetos Genoma e em outras iniciativas que estão gerando dados em escalas nunca antes experimentadas, juntamente com a necessidade de se produzir informação a partir dessa enorme massa de dados, vêm demandando o desenvolvimento de novos modelos e algoritmos. Essa perspectiva de aquisição de
Otimização e Automação de Sistemas: Modelos, Algoritmos e Aplicações
É um projeto de pesquisa em andamento, onde o objetivo é propor modelos para diversos problemas e aplicações, algoritmos exatos, aproximativos e heurísticas, e aplicações especiais em redes óticas, redes sem fio e móveis, computação móvel e comunicação sem fio, redes celulares e sensores, problemas de produção e transporte como
AOL fellowship in Information Retrieval
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.
Bioinformática Estrutural de Proteínas: modelos, algoritmos e aplicações biotecnológicas
Este projeto propõe-se enfrentar dois desafios biotecnológicos de grande relevância nacional. O primeiro envolve a ricina, uma potente fitotoxina encontrada na mamoneira. Co-produtos da produção do óleo de mamona podem conter quantidades letais de ricina. Além do risco de intoxicação animal e humana do bagaço, isso tem dificultado sua reutilização
Inclusão Social: Serviços Digitais em Áreas Rurais – Moçambique-Brasil
O objetivo desta proposta é o projeto e o desenvolvimento de aplicações-protótipos e infraestrutura de tecnologia de informação e comunicação (TIC) visando melhorar a qualidade de vida de moradores de áreas rurais em países emergentes da língua portuguesa. Estas aplicações serão projetadas, tendo como restrições as estruturas ainda precárias de
Métodos e Ferramentas para Tratamento de Informação Disponível na Web
Este projeto foi proposto com o objetivo de desenvolver novos métodos e ferramentas para tratamento de informação existente em grandes repositórios de dados e coleções de documentos disponíveis na Web. A Web é hoje o maior repositório de informação digital produzida pelo ser humano, estando distribuído por milhões servidores conectados ao
Descobrindo, Inferindo e analisando relacionamentos em Redes complexas
Este projeto visa inferir e analisar relacionamentos em redes complexas. Sistemas complexos são dinâmicos, ou seja, novos elementos e relacionamentos surgem e desaparecem ao longo do tempo. Na literatura, o estudo da evolução e inferência dos relacionamentos entre elementos que compôem um sistema modelado por um grafo é denominado link
