instituição
- INSTITUTO NACIONAL DE PESQUISAS DA AMAZÔNIA Organização
- UNIVERSIDADE FEDERAL DO AMAZONAS Organização
Graduate Program in Electrical Engineering
Programa de Pós-Graduação
- Visão geral
- Publicações
- Pesquisas
- Contato
- Identidade
- Ver todos
Visão geral
membro de
Publicações
publicações
- Um novo método de otimização baseado em teorias de satisfatibilidade Documento
- ACELERADOR EM HARDWARE PARA O ALGORITMO DE COMPACTAÇÃO BASEADO EM DICIONÁRIO MMP Documento
- ALOCAÇÃO DE RECURSOS HUMANOS EM UNIDADES DE SAÚDE ATRAVÉS DA TÉCNICA DE PROBLEMAS SUJEITOS A RESTRIÇÕES: PROPOSTA DE USO DE RESTRIÇÕES PROGRAMÁVEIS E ANÁLISE DE DESEMPENHO DE HEURÍSTICAS Documento
- APLICANDO VERIFICAÇÃO DE MODELOS BASEADA NAS TEORIAS DO MÓDULO DA SATISFABILIDADE PARA O PARTICIONAMENTO DE HARDWARE/SOFTWARE EM SISTEMAS EMBARCADOS Documento
- APLICAÇÃO DO MÉTODO DEA ADAPTADO PARA DETERMINAR O CONSUMO ESPECÍFICO EM EMBARCAÇÕES Documento
- APPSPOTTER: Uma Ferramenta de Derivação Dinâmica e Automatizada de Aplicações para Dispositivos Móveis Documento
- AVALIAÇÃO DA GRAVIDADE DA MALÁRIA UTILIZANDO TÉCNICAS DE EXTRAÇÃO DE CARACTERÍSTICAS E REDES NEURAIS ARTIFICIAIS Documento
- AVALIAÇÃO DAS MÉTRICAS DE AUTOFOCO PARA APLICAÇÃO EM IMAGENS DE BACILOSCOPIA DE TUBERCULOSE OBTIDAS UTILIZANDO MICROSCOPIA DE CAMPO CLARO Documento
- Ambiente de Treinamento por Teleoperação para Novos Usuários de Cadeiras de Rodas Motorizadas Baseado em Múltiplos Métodos de Condução Documento
- Aplicação de aprendizado profundo de máquina em análise de imagens médicas Documento
- Arquiteturas de software e de hardware modulares para monitoramento e controle remotos de sistemas de automação industrial Documento
- Avaliação de Classificadores Haar Projetados para Detecção Facial Documento
- Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Teorias do Módulo da Satisfatibilidade Documento
- BMCLua: Plataforma para Verificação de Códigos Lua Utilizando Bounded Model Checking Documento
- CIRCUITO DE LEITURA DE ISFET MELHORADO APLICÁVEL À LEITURA DE PH: CARACTERIZAÇÃO E COMPARAÇÃO Documento
- COMPRESSÃO DE SINAIS ELETROMIOGRÁFICOS BASEADA EM TÉCNICAS BIDIMENSIONAIS Documento
- CONTROLADOR ROBUSTO DISCRETO PARA ESTABILIDADE DE QUADRIRROTORES Documento
- CONTROLE E ESTABILIZAÇÃO DO DUPLO PÊNDULO INVERTIDO SOBRE UM CARRO Documento
- Caracterização eletro-optica do ruído de um sensor de imagem no modo logaritmico em temperaturas criogenicas Documento
- Classificação Automatica de Microcalcificações e Clusters de Microcalcificações usando RNA e K-means Documento
- Classificação Automática de Modulações Mono e Multiportadoras Utilizando Método de Extração de Caracterísitcas e Classificadores SVM Documento
- Comando de Cadeira de Rodas Motorizada por Fusão de Dados de BCI e Eye Tracking Documento
- Comparação do Desempenho do Classificador de Novidades com o Classificador do Vizinho Mais Próximo no Reconhecimento Facial Documento
- Compressão de Sinais de Eletrocardiograma Utilizando Técnicas de Codificação Distribuída Documento
- Conception of an Ambient Assisted Living Solution to Aid in Patient Medication Documento
- Conforto Térmico Multiusuário com Controle da Temperatura e Velocidade do Ar com base no Voto Médio Estimado usando Controle Fuzzy e Rede sem fio Zigbee Documento
- Controle de Atitude de um Quadrotor utilizando lógica Fuzzy Documento
- Correção de PCR para processadores de fluxos de transporte MPEG-2 Documento
- Código linguístico aplicável a dispositivos de atuação vibrátil para orientação de atletas deficientes visuais na modalidade corrida em pista. Documento
- DETECÇÃO DE LOCAIS DE LICENCIAMENTO VEICULAR UTILIZANDO IMAGENS COM DIFERENTES RESOLUÇÕES E EM AMBIENTE NÃO CONTROLADO EMPREGANDO TÉCNICAS DE SUPER RESOLUÇÃO Documento
- DETECÇÃO DE ÁREAS DESMATADAS NA PORÇÃO SUL DO ESTADO DO AMAZONAS, UTILIZANDO TÉCNICAS DE EXTRAÇÃO DE CARACTERÍSTICAS E REDES NEURAIS ARTIFICIAIS Documento
- Desenvolvimento de Potenciostatos para Caracterização de Células Eletroquímicas Documento
- Desenvolvimento de um Sistema Automatizado Baseado na Adoção de Dispositivos Móveis para Auxiliar o Automanejo da Asma em Adultos Documento
- Detecção Automática de Componentes de Montagem em Superfície Sobre Placas de Circuito Impresso Documento
- Detecção Automática de Componentes de Montagem em Superfície em Placas de Circuito Impresso Documento
- Detecção Automática do mycobacterium Tuberculosis em Imagens de microscopia convencional através da utilização de segmentação de cor e limiar global adaptativo Documento
- Detecção de Pontos Fiduciais Utilizando Filtragem Discriminativa com Análise de Componentes Principais e Alinhamento Adaptativo Documento
- Detecção de Pontos Fiduciais em Faces Humanas utilizando Máquina de Vetores Suporte Documento
- Detecção de vazamento de gás natural em imagens usando filtro de novidade. Documento
- Detecção do bacilo da tuberculose em imagens de baciloscopia de campo claro utilizando Redes Neurais Convolutivas. Documento
- Detecção e Diagnóstico Remoto de Falhas Baseado em Aprendizado de Máquina Para Equipamentos de Uso Doméstico Documento
- Detecção facial a partir de diferenças de cor Documento
- EFICIÊNCIA ENERGÉTICA DE REDES DE SENSORES SEM FIO APLICADA AO CONFORTO TÉRMICO EM AMBIENTES FECHADOS Documento
- EMTV - Extensão de Middleware para TV Digital Brasileira Baseada em Componentes Documento
- EMTV - Extensão de middleware para TV Digital Brasileira baeada em Componentes de Software Documento
- ESTIMADOR E CARACTERIZADOR DE CONSUMO DE ENERGIA PARA SOFTWARE EMBARCADO Documento
- Equalização Adaptativa Utilizando Seleção de Dados em Transceptores em Bloco com Redundância Reduzida Documento
- Esquema de Detecção e Diagnóstico de Falhas Baseado em Dados para Benchmark de Turbina Eólica Documento
- Estudo Comparativo entre Algoritmos de Previsão de Cheias Sazonais usando Rede Neural Artificial e Método de Aprendizado Baseado em Comitê Documento
- FDRobô: UM FRAMEWORK DIDÁTICO PARA AUXILIAR O ENSINO DE LINGUAGEM DE PROGRAMAÇÃO ADAPTADA AO MÉTODO DE APRENDIZAGEM COOPERATIVA E COMPETITIVA Documento
- FUSÃO DE IMAGENS MULTIFOCAIS E REALCE DE NITIDEZ: UMA CONTRIBUIÇÃO AO DIAGNÓSTICO AUTOMÁTICO DA TUBERCULOSE Documento
- Formal Verification Applied to Attitude Control Software of Unmanned Aerial Vehicles Documento
- Geração Automática de Código para Redes de Sensores Sem Fio Baseado em Componentes de Software Documento
- Geração Automática de Código para Redes de Sensores Sem Fio Usando Communicating X-Machine Documento
- Heurística basada em mercado para geração de rotas Documento
- IDENTIFICAÇÃO E CONTROLE DE ALTITUDE DE UM QUADRIRROTOR Documento
- IDENTIFICAÇÃO POR DECOMPOSIÇÃO DE SINAIS DE CONSUMO DE ENERGIA ELÉTRICA Documento
- IMPLEMENTAÇÃO DE UMA SOLUÇÃO MODULAR E ESCALÁVEL DAS FUNÇÕES DAED PARA O NÍVEL 2 DO SISTEMA DE SINALIZAÇÃO POR CANAL COMUM NÚMERO 7 USANDO DISPOSITIVOS DE LÓGICA Documento
- IMPLEMENTAÇÃO DE UMA SOLUÇÃO MODULAR E ESCALÁVEL DAS FUNÇÕES DAED PARA O NÍVEL 2 DO SISTEMA DE SINALIZAÇÃO POR CANAL COMUM NÚMERO 7 USANDO DISPOSITIVOS DE LÓGICA PROGRAMÁVEL Documento
- IMPLEMENTAÇÃO DE UMA SOLUÇÃO MODULAR E PORTÁVEL DAS FUNÇÕES DE CONTROLE DO NÍVEL 2 DO SISTEMA DE SINALIZAÇÃO POR CANAL COMUM NÚMERO 7 UTILIZANDO DISPOSITIVOS DE LÓGICA PROGRAMÁVEL Documento
- INTEGRAÇÃO ENTRE O MIDDLEWARE BRASILEIRO DE TV DIGITAL E SERVIÇOS DE DISPOSITIVOS ELETRÔNICOS EM REDES OSGi Documento
- INVESTIGAÇÃO EXPERIMENTAL DE CONTROLE ROBUSTO APLICADO AO PROBLEMA DE RASTREAMENTO DE PÊNDULO INVERTIDO CONSIDERANDO INCERTEZAS POLITÓPICAS Documento
- Identificação de Indivíduos Automática pela Íris Humana Documento
- Identificação de bifurcações em imagens de tomografia por coerência óptica utilizando redes neurais e máquinas de vetores de suporte Documento
- Integração Dinâmica de Dispositivos Residenciais Através de um Gateway Orientado a Serviços Documento
- Localização 3D em sistemas RFID com leitor móvel Documento
- Localização de Falhas em Programas Concorrentes em C Documento
- Localização em ambientes internos utilizando redes IEEE 802.11 Documento
- MODELO DE INTEGRAÇÃO DE INFORMAÇÃO ENTRE SISTEMAS ISOLADOS PARA IMPLEMENTAÇÃO DE APLICAÇÕES DE HEALTHCARE Documento
- MODELO EXPERIMENTAL PARA UTILIZAÇÃO DA TECNOLOGIA DE SEGUNDA TELA NO PADRÃO ISDB-TB Documento
- MODELO PARA ESCOLHA DE TOPOLOGIAS DE SENSORES DE PIXEIS ATIVOS LOGARÍTMICOS ADEQUADAS PARA IMPLEMENTAÇÃO DE SENSORES DE IMAGEM COM LARGO ALCANCE DINÂMICO Documento
- Mecanismo de Controle de Potência para Estimativa de Etiquetas em Redes de Identificação por Rádio Frequência Documento
- Metodologia para Extração de Conteúdo em Monitores e TVs Documento
- Modelagem e Análise de Sistemas de Manufatura Flexível através de Redes de Petri Colorida, Hierárquica e Temporizada Documento
- Modeling and Analysis of Flexible Manufacture Systems Through Documento
- Modelo Elétrico Alternativo e Circuito de condicionamento de Sinais com Compensação do Efeito da Temperatura para Sensores ISFET Sensíveis a PH Documento
- Modelo de Automação de Testes Funcionais para Desenvolvimento Ágil de Software Documento
- Monitoramento de Idosos em Ambientes Internos por meio da Análise Sintática de Dados Visuais Documento
- MÉTODOS PARA A ELIMINAÇÃO DE FLUTUAÇÕES DE LINHA BASE EM SINAIS DE ELETROCARDIOGRAMA: ESTUDO COMPARATIVO Documento
- Métodos de prognóstico híbridos baseados em Filtro de Partículas aplicados em uma caixa de engrenagens Documento
- O Lean Manufacturing Aplicado à Tecnologia Médico-Hospitalar Documento
- OTIMIZANDO A PREVISÃO DE CHEIAS SAZONAIS PARA O RIO NEGRO UTILIZANDO REDES NEURAIS DE PROPAGAÇÃO DIRETA Documento
- OTIMIZAÇÃO DA SEQÜÊNCIA DE MONTAGEM DE COMPONENTES PARA PROGRAMAÇÃO DE INSERSORAS AUTOMÁTICAS USANDO MÉDOTOS HEURÍSTICOS LOCAIS Documento
- Otimização da Função de Avaliação do Dominó de 4 Pontas Utilizando Algoritmo Genético Documento
- Otimização da Função de Avaliação para o Jogo de Dominó de 4 pontas utilizando Algoritmo Genético Documento
- PROPOSTA PARA OTIMIZAÇÃO DE ROTAS DE ENTREGA DE MERENDA ESCOLAR NA REDE PÚBLICA DA CIDADE DE MANAUS Documento
- Plataforma Didática para Desenvolvimento de Sistemas Multiagente Documento
- Projeto de Classificadores para Sistema de Reconhecimento Automático de Modulações Documento
- Proposição de um Simulador Ginga-NCL para Dispositivos Portáteis Documento
- Proposta De Ferramenta Computacional Para Otimização do Projeto de Iluminação Aplicando Recozimento Simulado Documento
- Proposta de um Agente para o Dominó de 4 Pontas Utilizando o Algoritmo Expectiminimax Documento
- QoN++: ROTEAMENTO POR QUALIDADE DOS NÓS COM REDUÇÃO DE SOBRECARGA EM DTN Documento
- RECONHECIMENTO BIOMÉTRICO DE ÍRIS ISANDO FILTRO DE CORRELAÇÃO Documento
- RECONHECIMENTO DAS CONFIGURAÇÃO DE MÃO DE LIBRAS BASEADO NA ANÁLISE DE DISCRIMINANTE DE FISHER BIDIMENSIONAL UTILIZANDO IMAGENS DE PROFUNDIDADE Documento
- RECONHECIMENTO E SEGMENTAÇÃO DO MYCOBACTERIUM TUBERCULOSIS EM IMAGENS DE MICROSCOPIA DE CAMPO CLARO UTILIZANDO AS CARACTERÍSTICAS DE COR E O ALGORÍTMO BACKPROPAGATION Documento
- REPRESENTAÇÃO E CLASSIFICAÇÃO DE TEXTURAS DA ÍRIS BASEADO NA ANÁLISE DISCRIMINANTE DE FISHER BI-DIMENSIONAL Documento
- Reconhecimento Automático de Armas de Fogo no Interior de Veículos. Documento
- Reconhecimento das configurações de mão da língua brasileira de sinais LIBRAS em imagens de profundidade através da análise de componentes principais e do classificador k-vizinhos mais próximos. Documento
- Reconhecimento de Dígitos Manuscritos: busca de uma taxa máxima de acerto Documento
- Reconhecimento de indivíduos através da íris usando o vetor de novidade Documento
- Roteamento Baseado em Entropia de Mobilidade para Internet das Coisas Documento
- Roteamento em redes de satélites de uma constelação de baixa órbita com vistas a redução do consumo energético Documento
- SEGMENTAÇÃO AUTOMÁTICA DE LESÕES DE MAMA EM IMAGENS DE ULTRASSOM UTILIZANDO REDES NEURAIS CONVOLUTIVAS Documento
- SEGMENTAÇÃO DA REGIÃO PULMONAR EM IMAGENS DE RADIOGRAFIA TORÁCICA UTILIZANDO REDES NEURAIS CONVOLUTIVAS Documento
- SEGMENTAÇÃO DO MYCOBACTERIUM TUBERCULOSIS EM IMAGENS DE MICROSCOPIA DE CAMPO CLARO UTILIZANDO O ALGORITMO BACKPROPAGATION Documento
- SMS COMO CANAL DE INTERATIVIDADE PARA DISPOSITIVOS PORTATEIS Documento
- Segmentação do lúmen e identificação de região de bifurcações em imagens de tomografia de coerência óptica intravascular utilizando redes neurais covolutivas Documento
- Segmentação do miocárdio em imagens de MRI cardíaca utilizando redes neurais convolutivas. Documento
- Segmentação, Classificação e Quantificação de Bacilos da Tuberculose em Imagens de Baciloscopia de Campo Claro Através do Emprego de uma Nova Técnica de Classificação de Pixels Utilizando Máquinas de Vetores de Suporte Documento
- Sensores de imagem CMOS com gradeamento metálico para detecção de distribuição angular espacial e polarização da luz Documento
- Separação automática de instrumentos de percussão brasileira a partir de mistura pré-gravada. Documento
- Shell para desenvolvimento de Sistema Especialistas Documento
- Shell para desenvolvimento de sistemas especialistas na área de saúde Documento
- Sistema Embarcado de Diagnóstico Veicular Integrado a Ambientes Inteligentes Documento
- Sistema Inteligente Ágil de Processo Evolutivo - SIAPE Documento
- Sistema de Seleção Automática para Laboratórios de Acesso Remoto da Área de Mecatrônica Documento
- Sistema de localização e correção de trajetória para atletas com deficiência visual em modalidade de corrida em pista Documento
- UM FRAMEWORK DE TV DIGITAL INTERATIVA PARA MANIPULAR OBJETOS DE APRENDIZAGEM DIGITAIS RELACIONADOS AO ENSINO DA TRIGONOMETRIA Documento
- UM MÉTODO DE DESENVOLVIMENTO DE SOFTWARE COMBINANDO LINHA DE PRODUTO DE SOFTWARE COM SCRUM: ESTUDO DE CASO SISTEMA DE NAVEGAÇÃO DE TV Documento
- UMA INFRAESTRUTURA DE COMUNICAÇÃO ENTRE DISPOSITIVOS DOMÉSTICOS E O MODELO BRASILEIRO DE TV DIGITAL Documento
- UMA METODOLOGIA PARA OTIMIZAÇÃO DO PROJETO DE ILUMINAÇÃO ARTIFICIAL APLICANDO RECOZIMENTO SIMULADO Documento
- USO DE ALGORITMOS MEMÉTICOS NA OTIMIZAÇÃO DE SEQUÊNCIAS DE MONTAGEM DE MÁQUINAS SMD Documento
- Um Simulador Ginga-NCL para Dispositivos Portáteis Documento
- Um processo de desenvolvimento de software combinando linha de produto de software e Scrum: Estudo de caso sistema de navegação de TV Documento
- Uma proposta de solução em hardware para o problema das p-medianas utilizando algoritmo genético e unidades de processamento softcore Documento
- Uso de algoritmos meméticos na otimização da montagem de placas de circuito impresso Documento
- Uso de técnicas de aprendizagem profunda na classificação de configurações de mão de língua de sinais Documento
- VERIFICAÇÃO DE IMPRESSÕES DIGITAIS USANDO MODELO DE VETOR CARACTERÍSTICO BASEADO EM GRAFOS PLANARES Documento
- Verificação Baseada em Indução Matemática para Programas C++ Documento
- Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Ponto-Fixo Documento
- Verificação de Programas Embarcados ANSI C Baseada em Indução Matemática e Invariantes Documento
- Verificação de Programas Multi-threads Baseados No Framework Multi-Plataformas Qt Documento
- Verificação de programas C++ baseados no framework cross-plataforma Qt Documento
- Verificação e Síntese de Controladores de Realimentação de Estados Estática com Garantias Formais de Desempenho não Frágil Documento
- XArmBee: Uma Arquitetura de Hardware Modular Multi-rádio para Gateways de Redes de Sensores Sem Fio Documento
Pesquisas
áreas de investigação
Contato
telefone
- (92) 3305-4689 Ramal: 00
endereço de email
- mcosta@ufam.edu.br
Identidade
identificador Capes
- 12001015021P1