área de pesquisa
- "Análise da viabilidade da implementação de algoritmos pós-quânticos baseados em quase-grupos multivariados quadráticos em plataformas de processamento limitadas"
- "Contribuições à verificação funcional ajustada por cobertura para núcleos de hardware de comunicação e multimídia"
- "Infraestrutura tecnológica em cursos na modalidade presencial mediado por tecnologia para o Estado do Amazonas"
- "Proposta de modelo para continuidade da qualidade de serviço percebida pelo usuário final através de Handover vertical"
- Abel Guilhermino da Silva Filho
- Adriano César Santana
- Alexandre dos Santos Roque
- Alexandre Teixeira
- Algorítimos Genéticos adaptativos: Um estudo comparativo
- Ana Beatriz Martins Aguiar
- Anderson Fraiha Machado
- Andre Rodriguez Gilio
- Anirio Salles Filho
- Aplicação de redes neurais artificiais na interpretação de contextos lingüísticos
- Aplicação de técnicas de inteligência artificial na alocação dinâmica de canais em redes sem fio.
- Aplicações de Algorítimos Genéticos em oceanografia
- Arquitetura VLSI para aplicações em Inteligência Artificial
- Arquiteturas para Máquinas de Estados Finitos Assíncronas Quase Insensíveis a Atraso
- Arthur Henrique Iasbeck
- Augusto Mikowski
- Breno Augusto Ribeiro Arêdes
- Bárbaro Maykel López-Portilla Vigil
- Cao Ji Kan
- Carlos Alberto Teixeira Junior
- Carlos Magno Baptista Lopes
- CAT - Content Authoring Tool
- Claudemir Gimenez
- Compactação de dados para aplicações oceanográficas
- Construção de um robô autônomo modular para uso em experimentos de sistemas de controle
- Conversão de voz inter-linguística
- Cristiano Coêlho de Araújo
- Danilo Picagli Shibata
- Desenvolvimento de modelos para predição de desempenho de programas paralelos MPI.
- Desenvolvimento de um sistema de navegação baseado em máquina de vetores de suporte para dirigibilidade de um robô móvel por caminhos em plantações
- Desenvolvimento de uma arquitetura em hardware prototipada em FPGA para aplicações genéricas utilizando redes neurais artificiais embarcadas
- Desenvolvimento de uma arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware
- Desenvolvimento de uma interface gráfica em software para sistemas paralelos baseados em transputers.
- Desenvolvimento e Implementação de uma Arquitetura de Codificador de Canal LDPC (Low Density Parity-Check Codes) para o Padrão IEEE 802.22 WRAN (Super WI-FI) em ASIC
- DETECÇÃO DE QUEDAS EM IDOSOS USANDO REDES NEURAIS ARTIFICIAIS.
- Diana Maria da Camara Gorayeb
- Didática dos diferentes usos do computador na transcrição e no aprendizado da teoria musical
- Dieison Soares Silveira
- Digitalização de imagens em tempo real
- Duarte Lopes de Oliveira
- Eder Santana Freire
- Edgar Leonardo Romero Tobar
- Edith Ranzini
- Especificação de um sistema de informação integrado para o planejamento operacional em empresas de energia
- Especificação formal, em estelle, de sistemas digitais.
- Everton Alceu Carara
- Exame de Imunofluorescência Indireta Auxiliado por Computador
- Fabiano Marques Fonseca
- Fabricio Noveletto
- Felipe de Almeida Florencio
- Ferramenta para acompanhamento da participação do aluno em sessões de fórum aplicada no ensino a distância via Web.
- Flávio Pascoal Vieira
- FÁBIO CÉZAR MARTINS
- Fábio Luís Livi Ramos
- Geancarlo Abich
- Geração Automática de Interfaces para Hardware/Software Co-design
- GERENCIAMENTO TÉRMICO E ENERGÉTICO EM MPSOCS
- GESTÃO DA CONTINUIDADE DE NEGÓCIOS APLICADA AO ENSINO PRESENCIAL MEDIADO POR RECURSOS TECNOLÓGICOS
- Guilherme Machado de Castilhos
- Gustavo Ciro Ribeiro
- Gustavo Gomes Kuhn
- Halmos Fernando do Nascimento
- Hardware-Based Fast Hybrid Morphological Reconstruction
- Hugo Vieira Neto
- Héctor Pettenghi Roldán
- Implementação de uma rede de dispositivos microprocessados distribuída para aplicações de controle e supervisão
- Implementação em FPGA de um sistema para o processamento de imagens digitais para aplicações diversificadas
- Implementação em Hardware de um Sistema Inteligente para a Detecção de Plantas Daninhas em Plantações de Soja Utilizando Máquinas de Vetores de Suporte e Redes Neurais Artificiais
- ITSC-Integração de Tecnologias em Sistemas de Computação e Automação
- Jaidilson Jó da Silva
- Jorge Roberto Guedes
- José Alfredo Ferreira Costa
- José Alvim Berkenbrock
- João Luiz Carneiro Carvalho
- Karla Haryanna Santos Moura
- Laura Milena Parra Navarro
- Lauê Rami Souza Costa de Jesus
- Leomar Soares da Rosa Junior
- Leonardo Alves Dias
- Leonardo Costa de Paula
- Leoncio Claro de Barros Neto
- Lilian Rosana Kremer Schultz
- linguagens de programação para robôs industriais
- Lucas Murliky
- Luciano Volcan Agostini
- Luneque del Rio de Souza e Silva Junior
- Mapeamento de circuitos eletrônicos em uma arquitetura multiprocessada e reconfigurável utiliznado-se algoritmos genéticos
- Mapping Live Sequence Charts to Coloured Petri Net for Analysis and Verification of Embedded Systems
- Marcela Ormenese Capovilla
- Marcelo Silva Freitas
- Marco Antonio Ochoa Montiel
- Marco Túlio Carvalho de Andrade
- Marconi Kolm Madrid
- Maria Emilia Gomes Sobral
- Mauricio da Graca Botelho
- Memória de Núcleos de Ferrite
- Metodologia Eficiente de Verificação de Hardware DSP Utilizando UVM e Modelos em MATLAB
- Microcomputador de 32 bits
- Miguel Grimm do Nascimento
- Modelagem de tarifação por conjuntos nebulosos para controle de admissão de conexão em redes ATM
- Multiprocessador em Eletrônica Reconfigurável para Aplicações Robóticas.
- Método para manutenção de sistema de software utilizando técnicas arquiteturais.
- Nara Strappa Facchinetti Doria
- Nelson Alexandre Estevão
- Núcleo de Pesquisa em Biodiversidade e Computação - BioComp
- Optimized execution of morphological reconstruction in large medical images on embedded devices
- Padrões de software para Tutores Inteligentes Cooperativos em Engenharia de Requisitos
- Paulo Faria Santos Amaral
- Pedro Thiago Valério de Souza
- Prof. Dr. José Sidnei Colombo Martini
- Prof. Dr. Norian Marranghello
- Programação aplicada ao ensino de engenharia
- Projeto e implementação de um sistema de controle distribuído à automação de uma ETE compacta
- Proposta de extensão do protocolo PCE considerando parâmetros de QoT para roteamento inter-domínios em redes GMPLS.
- Protocolos de transferência de arquivos para redes locais de computadores
- Reconhecimento automático de palavras isoladas, independente de locutor, para sistemas embarcados.
- Redes Neurais para classificação de eletrocardiogramas
- Ricardo Caneloi dos Santos
- Rodrigo Fonseca Carneiro
- Roteamento em redes embutidas utilizando otimização por colônia de formigas.
- Runtime Adaptive Qos Management in NoC-Based MPSoCs
- Rycardo Bruno Ferreira Soares
- SELF-ADAPTIVE QOS AT COMMUNICATION AND COMPUTATION LEVELS FOR MANY-CORE SYSTEM-ON-CHIP
- Sintese Dinâmica para o Planejamento da Expansão a Longo Prazo de Sistemas de Transmissão de Energia Elétrica
- Sistema de aquisição e Processamento de Sinais de Ultra-Som para Caracterização de Meios Biológicos e Não Biológicos.
- Sistema de monitoramento e correção do trajeto do nado para deficientes visuais / System for monitoring and correcting the path of swimming for the visually impaired
- Sistema microcontrolado para supervisão da operação de veículos interurbanos em todo o trecho usando posicionamento global
- Sistema Programável para Aulas práticas de Física - SPAF
- Sistema Sensorial a LASER para Robôs Quadúpedes para mapeamento de superfícies e obstáculos
- Sistemas de Desenvolvimento de Projetos com Microprocessadores.
- Sistemas Gráficos, para consulta a banco de dados
- Sistemas Para Transcrição de Partituras com Auxílio de Computadores
- Suely Cunha Amaro Mantovani
- Thiago Cerqueira de Jesus
- TIAGO GIACOMELLI ALVES
- Transformações Inter-Metamodelos: Metodologia e Padrões
- Técnicas para a Verificação Funcional Eficiente de uma Implementação RTL da Camada Banda Base do Protocolo Bluetooth
- Um Estudo Sobre O Comportamento de Sistemas Digitais
- Um mecanismo de consistência scope de variáveis compartilhadas aplicando um protocolo home-based
- Um modelo de gerenciamento de projetos baseado nas metodologias ágeis de desenvolvimento de software e nos princípios da produção enxuta.
- Um processo de migração de sistema legado funcional para orientado a objetos direcionado por indicadores de qualidade.
- Um tutor inteligente para a analise orientada a objetos
- Uma abordagem para a síntese de sistemas digitais
- Uma arquitetura baseada em espaço de tuplas para redes IMS.
- Uma ferramenta baseada em teoria Fuzzy para o acompanhamento de alunos aplicado ao modelo de educação presencial mediado por tecnologia.
- Uma Implementação da Ling. Paralela CPAR usando modelo de Programação 'Threads
- Uma Metodologia para Desenvolvimento de Programas Paralelos Eficientes em Ambientes Homogêneos e Heterogêneos.
- Utilização de FPGA para Implementar uma Proteção Diferencial Baseada em RNA
- Utilização de Redes Neurais artificiais para construção de imagens em câmara de cintilação
- Vanildo Silva Meira
- Wagner Leal dos Santos
- William Roberto Malvezzi
- Érico Nunes Ferreira Bastos