Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
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é
Escalabilidade e Eficiência no Pareamento Probabilístico de Bases do SUS
Este projeto tem por objetivo desenvolver técnicas escaláveis e eficientes para o pareamento de bases do SUS, tanto em termos do pareamento em si, quanto da sua paralelização. Integrantes: Wagner Meira Junior – Coordenador / Dorgival Olavo Guedes Neto – Integrante / Renato Antonio Celso Ferreira – Integrante / Walter
Infra-estruturas de informação espacial: acesso móvel e distribuído a múltiplas fontes de informação
Grande parte do papel integrador que a Computação exerce em relação a outras áreas de pesquisa decorre dos recursos desenvolvidos na área ao longo do tempo para armazenar, acessar, manipular, gerenciar, integrar e analisar grandes volumes de dados, gerando informação e conhecimento. No entanto, não existe na atualidade um equilíbrio
GreenWeb
Projeto desenvolvido dentro do InWeb – Instituto Nacional de Ciência e Tecnologia para Web que visa o desenvolvimento de técnicas, métricas e métodos para detecção de poluição de conteúdo e promoção de conteúdo de mais alta qualidade na Web 2.0. Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (5) / Doutorado: (3)
Métodos Evolucionários em Mineraç?o de Dados: Aprendizado Semi-Supervisionado para Dados Web
Esse projeto prop?e um conjunto de métodos baseados em aprendizado (semi-)supervisionado para resolver diversos problemas envolvendo dados provenientes da Web, embora outras fontes de dados também possam ser utilizadas com pequenas adaptaç?es. O projeto destaca vários outros sub-projetos que tratam de problemas relevantes dentro da parte de mídias sociais, tais
Ferramenta para diagnóstico de falhas em veículos automotores
Desenvolvimento de uma nova plataforma de hardware para o scanner automotivo Scanycar, sem o uso de cartuchos. Essa plataforma deveria ser capaz de se comunicar com as diferentes redes de comunicação de dados existentes nos veículos atuais e com a interface serial RS-232 de um computador pessoal (PC). Alunos envolvidos:
INCTWeb: Instituto Nacional de Ciência e Tecnologia para a Web
Dada a escala exponencial de crescimento da Web, o surgimento de novas aplicações e serviços está limitado por aspectos de infra-estrutura de software e hardware. Portanto, o estudo dos diversos aspectos que envolvem a Web extrapola as atividades tradicionais de geração de conteúdo e criação de novos serviços, demandando o
Algoritmos para Problemas de Computação Móvel e Computação Sem Fio
Estudar modelos e algoritmos, com a geração de aplicações em Computação Móvel e Comunicação Sem Fio. Integrantes: Geraldo Robson Mateus – Coordenador / James M Smith – Integrante / Antonio A F Loureiro – Integrante / Mauro N Rocha – Integrante / Frederico R B Cruz – Integrante.
HCI in Brazil and Denmark
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
