instituição
- UNIVERSIDADE DE BRASILIA Organização
- UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE Organização
Graduate Program in Informatics
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
- A Fully Automatic Tool for Domain-oriented Sentiment Analysis of Tweets Documento
- A Machine-Verified Theory of commuting strategies for product-line reliability analysis Documento
- A Novel Approach for Conflict Detection and Resolution for Trajectory-Based Operations in 4D-Navigation using NoSQL Databases and Local Search Algorithms Documento
- A Performance Evaluation Model for Network Function Virtualisation on 5G Networks Documento
- A goal-oriented approach to support the assurance process of self-adaptive systems under uncertainty Documento
- A study on Unification and Disunification Documento
- Abordagem Adaptativa de Monitoramento para Escalonamento de Grafos Dirigidos Acíclicos emAmbientes Distribuídos Documento
- Abordagem em Algoritmos Genéticos para Otimização da Alocação de Slots no Programa de Opções de Trajetórias Colaborativo Documento
- Accelerating Learning in Multiagent Domains through Experience Sharing Documento
- Accelerating Sensitivity Analysis in Microscopy Image Segmentation Workflows with Multi-level Computation Documento
- Adaptive Model to Community Detection in Dynamic Social Networks Documento
- Adicionando temporalidade à linguagem OWL 2: Um estudo a partir da linguagem tOWL e sua decidibilidade Documento
- Agentes Autônomos para Monitoramento e Alocação Dinâmica de Recursos para Nuvem Computacional Documento
- Agentes Racionais Baseados no Modelo Belief-Desire-Intention para o Sistema MASE Documento
- Agentes de Mineração e sua Aplicação no Domínio de Auditoria Governamental Documento
- Ajuste automático de parâmetros para aplicações de segmentação nuclear em imagens médicas Documento
- Algoritmos Paralelos Exatos e Otimizações para Alinhamento de Sequências Biológicas Longas em Plataformas de Alto Desempenho Documento
- Algoritmos Paralelos e Eficientes para Consultas IP no Intel(R) Xeon Phi(tm) e CPUs Multi-Core Documento
- Alinhamento de Imagens de Profundidade com Aplicação no Reconhecimento da Língua de Sinais Documento
- Alinhamento primário e secundário de sequências biológicas em arquiteturas de alto desempenho Documento
- Alocação de Canais e Comunicação Cooperativa em Redes Ad Hoc Documento
- Alocação de blocos de recurso em redes LTE sensível à heterogeneidade dos fluxos de dados Documento
- Alocação de tarefas paralelas comunicantes em ambientes distribuídos heterogêneos Documento
- An Empirical Workflow of Uncertainty Quantification to Evaluate Agent-based Simulation Outputs Aiming Analytical Confidence Documento
- Análise das temperaturas de um motor de indução submetido conjunta e individualmente a distorções harmônicas e desequilíbrios de tensão : ensaios laboratoriais e simulações computacionais Documento
- Análise de Múltiplos Algoritmos Aplicados em Balanceamento de Fluxo em Rede Documento
- Análise de Redes Sociais Cientícas para Ampliação de Redes de Colaboração Documento
- Análise de técnicas de clusterização em MMO com dados restritos: o caso de Final Fantasy XIV Documento
- Análise do Impacto de Cenários Implícitos na Confiabilidade de Sistemas Computacionais Documento
- Análise do impacto na compreensão de programas Java com a adoção de expressões lambda Documento
- Aplicação de técnicas de mineração de texto para categorização de eventos de segurança no CTIR Gov Documento
- Aprendizado Ativo Efetivo e Eficiente para Análise de Imagens em Patologia Utilizando Aprendizado Profundo Documento
- Aprendizagem estatística para recuperação de informação Documento
- Aprendizagem por Reforço Aplicada ao Gerenciamento Tático do Fluxo de Tráfego Aéreo Documento
- Aprendizagem por Reforço aplicada à Análise de Impacto no Controle de Fluxo de Tráfego Aéreo Documento
- Arcabouço para construção de jogos ubíquos com foco em reabilitação Documento
- Arquitetura Dedicada para Decodificação CABAC H.264/AVC em Sistema em Silício Documento
- Arquitetura de um Controlador de Elasticidade para Nuvens Federadas Documento
- Arquitetura para Privacidade em Cloud of Things Documento
- Auto-Tuning de banco de dados NoSQL com dados de Internet das Coisas : um estudo de caso com o Cassandra Documento
- Avaliação de desempenho de método para a resolução da evolução temporal de sistemas autogravitantes em dois paradigmas de programação paralela: troca de mensagens e memória compartilhada. Documento
- Avaliação de desempenho de métricas de fragmentação de espectro em redes ópticas elásticas Documento
- Avaliação do Uso de Diferentes Protocolos para Localização com Abordagem de Sistema Multiagente e Rede Neural Documento
- Besouro: aprimorando a aferição automática da conformidade das atividades de desenvolvimento com TDD Documento
- Big Data Approach for Uncertain Environments to Improve Efficiency of Air Traffic Management Documento
- BioNimbuZ 2 - Uma Plataforma de Federação de Nuvens em uma Arquitetura Orientada a Microsserviços Documento
- BioNimbus : uma arquitetura de federação de nuvens computacionais híbrida para a execução de workflows de Bioinformática Documento
- BioNimbus: uma arquitetura de federa ção de nuvens computacionais h brida para a execu ção de workflows de Bioinform atica Documento
- COprojeto de um Decodificador de Áudio AAC-LC em FPGA Documento
- Caracterizando distorções em redes ad hoc Documento
- Caracterização de desempenho de uma aplicação paralela do método dos elementos finitos em ambientes heterogêneos de pcs Documento
- Characterization of Implied Scenarios as Families of Common Behavior Documento
- Characterizing and Improving Decision-making in Fog Radio Access Netoworks Documento
- Cifração e autenticação utilizando funções fisicamente não clonáveis (PUFs) Documento
- Classificação Automática do Acabamento de Gordura em Imagens Digitais de Crcaças Bovinas Documento
- Classificação automática de páginas Web Multi-label via MDL e Support Vector Machines Documento
- Combining clause learning and resolution for multimodal reasoning Documento
- Comparação Paralela de Sequências Biológicas em Múltiplas GPUs com Descarte de Blocos e Estratégias de Distribuição de Carga Documento
- Comparação Paralela Exata de Sequências Biológicas em Plataformas Heterogêneas de Alto Desempenho Documento
- Comparação paralela de sequências biológicas em plataformas de hardware uniformes e híbridas Documento
- Comparação paralela de sequências biológicas longas utilizando Unidades de Processamento Gráfico (GPUs) Documento
- Comparação paralela exata de seqüências biológicas longas com uso limitado de memória Documento
- Construção da rede metabólica do fungo Paracoccidioides lutzii Documento
- Contribuição dos artefatos blocado, borrado e perda de pacotes na qualidade dos vídeos Documento
- Controlador de SLA em Nuvens Federadas, estudo de caso BioNimbuZ Documento
- Criação e manipulação de áudio 3D em tempo real utilizando unidades de processamento gráfico (GPU) Documento
- Cálculo da Distância de Reversão e Construção de Árvores Filogenéticas usando a Ordem dos Genes Documento
- DSOA: uma arquitetura orientada a serviços para o contexto de computação ubíqua Documento
- Decisão colaborativa com utilização de Teoria dos Jogos para o sequenciamento de partidas em aeroportos Documento
- Dependability Verification for Contextual/Runtime Goal Modelling Documento
- Desenvolvimento de hardware reconfigurável dedicado para suporte ao alinhamento de seqüencias Documento
- Desenvolvimento de uma Arquitetura Dedicada em Plataforma Reconfigurável para Suporte ao Alinhamento de Sequências Documento
- Desenvolvimento de uma Métrica de Qualidade para Sinais Áudio-Visuais Documento
- Diversidade em Replicação de Máquina de Estados Documento
- DoSSEC : proposta de detecção e mitigação de ataques SYN Flood em redes SDN Documento
- Eficiência energética em redes ópticas elásticas Documento
- Escalonamento de tarefas no ambiente do Peer-to-peer do BIOFOCO III Documento
- Especifi cação e Veri fica ção Formais de Boa-Formação em Linha de Produtos de Processo de Negócio Documento
- Especificação e Verificação Formais de Boa-Formação em Linha de Produtos de Processo de Negocio Documento
- Estratégia Distribuída Híbrida em Cluster Multicore Heterogeneo para Alinhamento Múltiplo de Sequências Biológicas com o DIALIGN-TX Documento
- Estratégia Paralela Exata para o Alinhamento e Múltiplo de Sequências Biológicas Utilizando Unidades de Processamento Gráfico (GPU) Documento
- Estratégia de web cache utilizando redes P2P de clientes sobre WebRTC Documento
- Estratégia paralela para alinhamento múltiplo de sequências com algoritmo genético multi-ilha Documento
- Estratégias comutativas para análise de confiabilidade em linha de produtos de software Documento
- Estratégias para Otimização de Redes de Acesso Oportunístico Documento
- Expansibilidade em Cálculos de Substituições Explícitas. Documento
- Extração Automatizada de Perfis Operacionais de Teste Documento
- Extração e evolução de linhas de produtos de software usando Delta-Oriented Programming : um relato de experiência Documento
- FDT-MAC e FDMR-MAC : protocolos de controle de acesso ao meio projetados para explorar o potencial das comunicações full-duplex Documento
- Feature-Family-Based Reliability Analysis of Software Product Lines Documento
- Ferramenta de Simulação com Abordagem de Sistema Multiagente para a Dinâmica de Uso da terra Documento
- Ferramenta de Visualização Interativa de Comparação entre Múltiplos Genomas para a Identificação de Sintenias. Documento
- Ferramentas de apoio a experimentos : um mapeamento sistemático Documento
- Flexibilidade em linhas de produtos dinâmicas cientes de qualidade : uma abordagem baseada em linguagens específicas de domínio Documento
- Framework Node2FaaS: Automatic Nodejs Application Converter for Function as a Service Documento
- Framework P2P para Execução de Tarefas Bag-of-Tasks com Múltiplas Políticas de Alocação em Ambientes Distribuídos Heterogêneos Documento
- Framework para execução adaptativa e tolerante a falhas de workflows em grid Documento
- Geração Automática de Ontologias para a Web Semântica. Documento
- Gerenciamento de Proveniência de Dados de Workflows de Bioinformática em Ambiente de Nuvens Federadas Documento
- Gerenciamento de proveniência de dados de workflows de bioinformática em ambiente de nuvem computacional Documento
- Gerência de variabilidade em modelos de confiabilidade para linha de produtos de software Documento
- GrAMoS : serviço para a monitoração de acordos em Grid Documento
- Grammar Compression by Induced Suffix Sorting Documento
- Hephaestus-PL : uma linha de produtos de ferramentas para linha de produtos de software Documento
- Identificação de Comunicado de Ocorrência de Perdas em Seguro Agrícola Utilizando Algoritmos de Inteligência Artificial Documento
- Identificação de RNA nao codificador utilizando redes neurais artificiais de treinamento nao supervisionado Documento
- Identificação de RNAs não-codificadores por modelos de covariância com prioris Dirichlet adaptadas a grupos de ncRNAs com estruturas secundárias similares = Identifying non-coding RNAs using covariance models with Dirichlet priors specific to groups of ncRNAs of similar secondary structures Documento
- Identificação de comunicado de ocorrência de perdas em seguros agrículas utilizando algoritmos de inteligência. Documento
- Influência das Razões Foto-Antropométricas no Processo de Reconhecimento Facial Biométrico Documento
- Integrating Data Mining into Contextual Goal Modeling to Tackle Context Uncertainties at Design Time. Documento
- Jogos Ubíquos Reconfiguráveis Documento
- Ligação de Entidades: uma nova abordagem para ligação de Conceitos Concretos com entidades Wiki utilizando Modelos de Espaço Vetorial Documento
- Linha de Produtos de Software Dinâmica Direcionada por Qualidade: o Caso de Redes de Monitoração do Corpo Humano. Documento
- MADIK : uma abordagem multiagente para o exame pericial de sistemas computacionais Documento
- MASA-OpenCL : comparação paralela de sequências biológicas longas em GPU Documento
- Matching Estável para Tomada de Decisão Colaborativa na Alocação de Slots Documento
- Mecanismo de Negociação de Auditor de QoS para Grades baseado em WS-Agreement Documento
- Melhoria de modelos de processo de negócio com mineração de processos e simulação baseada em agentes Documento
- Metodologia para recomendação de consultores ad hoc baseada na extração de perfis do currículo lattes Documento
- Mineração de dados em base de germoplasma Documento
- Modelagem de Influência de Sócios das Redes Sociais pelos PageRank e índice W-Entropia Documento
- Modelagem de apoio à decisão para o problema de espera no ar utilizando sistemas multiagentes e aprendizagem por reforço Documento
- Modelagem de aprendizagem por reforço e controle em nível meta para melhorar a performance da comunicação em gerência de tráfego aéreo. Documento
- Modelo Híbrido de Programação Paralela para uma Aplicaçao de Elasticidade Linear Baseada no Método dos Elementos Finitos Documento
- Modelo de Balanceamento com Multi-fluxox para Aplicação em Gerenciamento de Tráfego Aéreo Documento
- Modelo de Dados para um Pipeline de Sequenciamento de Alto Desempenho Transcritômico Documento
- Modelo de Interoperabilidade Semântica Aplicado ao a Domínio da Saúde: Um Estudo de Caso na Vigilância Alimentar e Nutricional Documento
- Modelo de Reputação e Ontologia Aplicados à Rede Social Científica do ObserveUnB. Documento
- Modelo de Simulação Baseado em Agentes Interativos com Teoria de Jogos para Uso e Cobertura da Terra Documento
- Modelo de balanceamento com multi-fluxos para aplicação em gerenciamento de tráfego aéreo Documento
- Modelo de planejamento multiagente com verificação, transformação e validação de planos Documento
- Modelos de Comunicação Cooperativa e Equidade no Consumo de Energia em Enlaces Cooperativos Aplicados à RSSF Documento
- Método baseado em aprendizado de máquina para seleção de características para distinção entre RNAs não-codificadores longos e RNAs codificadores de proteínas Documento
- Método de Aprendizagem por Reforço no Sistema BioAgents Documento
- Método de mineração de processos para auxílio à tomada de decisão : um estudo de caso no controle de férias Documento
- Método para reconstrução in silico de redes metabólicas de fungos : um estudo de caso para o Paracoccidioides lutzii Documento
- No-reference Video Quality Assessment Model Based on Artifacts Metrics for Digital Transmission Applications Documento
- Nominal equational problems modulo associativity, commutativity and associativity-commutativity Documento
- On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS Documento
- Ordenação de sequências finitas por reversões usando conjugações em grupos de permutações Documento
- Ordenação por Reversões de Permutações sem Sinal usando uma Abordagem de Algoritmos Genéticos Documento
- Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticos Documento
- Ordenação por transposições baseado no Formalismo Algébrico Documento
- Otimização Multiobjetivo Aplicada ao Planejamento Sistemático de Conservação para Espécies de Plantas do Cerrado Brasileiro Documento
- Otimização de Negociação Dinâmica para Múltiplas Áreas Restritas de Fluxo no Programa de Opções de Trajetórias Colaborativo Documento
- Otimização no Custo para Processamento de Big GeoSpatial Data em Ambiente de Nuvem Computacional Documento
- PR-OWL 2 RL : um formalismo para tratamento de incerteza na web semântica Documento
- Per-pixel mirror-based measuring: Um novo método para aquisiçao para vıdeo de alta velocidade Documento
- Potencializando a modulação adaptativa com roteamento em múltiplos saltos em redes ópticas elásticas Documento
- Predição de tempo e dimensionamento de recursos para workflows científicos em nuvens federadas Documento
- Preenchimento de Buracos de Expansão em Síntese de Vista Baseada em Profundidade Documento
- Preenchimento de buracos em síntese de vista baseado em mapa de profundidade Documento
- Processamento Distribuído do BLAST em Redes P2P Documento
- Processamento de mapas de profundidade para codificação e síntese de vídeo Documento
- Propagação de evidências em redes bayesianas: diagnóstico sobre doenças pulmonares. Documento
- Proposta de técnicas para reserva de canal e atenuação do problema de surdez de antenas em comunicações direcionais Documento
- Provendo Múltiplas Transferências de Dados em Massa em Redes Ópticas Elásticas Documento
- Proveniência de Dados em Work ows de Bioinformática Documento
- Provenância de Dados em Workflows de Bioinformatica Documento
- Raciocínio Plausível na Web Semântica através de Redes Bayesianas Multi-entidades Documento
- Rastreamento de Indivíduos em Sistema de Monitoramento Documento
- Reconhecimento de Acromegalia em Imagens Tomográficas Computadorizadas de Vértebras (L1-L5) com uso de Ensemble de Classificadores Binários. Documento
- Replicação de dados em workflows de bioinformática usando os bancos de dados NoSQL Documento
- Serviços do SWIM Registry Brazil: uma nova abordagem com Blockchain Documento
- Sistema Classificador para Escalonamento Dinâmico de Processadores Documento
- Sistema multiagente para anotação manual em projetos de seqüenciamento de genomas Documento
- Suporte a simulação distribuída em SystemC Documento
- The application of analysis filters in compressed sensing algorithms for magnetic resonance imaging reconstruction Documento
- Transferências de Dados em Massa Ciente de Eficiência Energética em Redes Ópticas Elásticas Documento
- Tratando variabilidade em linha de processos de negócio : uma abordagem composicional Documento
- Técnicas para melhorar a eficiência do sensoriamento colaborativo em redes 5G para áreas remotas Documento
- UbiquitOS – uma proposta de arquitetura de middleware para a adaptabilidade de serviços em sistemas de computação ubíqua Documento
- Um Estudo sobre Qualidade e Produtividade em Software - Proposta de um Modelo de Estratégia para Melhoria da Produção de Software- MEMPS Documento
- Um Framework de Alinhamento Ontológico entre a TI e o Negócio de uma Organização Documento
- Um Framework para Processamento Paralelo de Algoritmos de Aumento de Resolução de Vídeos Documento
- Um Modelo Adaptativo de Objetos para Modelos Conceituais Baseados em UFO Documento
- Um Modelo para Definir e Priorizar Indicadores Orientado as Necessidades do Usuário Documento
- Um Plano de Controle Seguro e Distribuído para Redes Definidas por Software Documento
- Um Provador de Teoremas baseado em Tableaux para Verificação de Propriedades em Lógicas Temporais de Conhecimento ou Crença Documento
- Um algoritmo algébrico para o Problema da Distância de Transposição em Rearranjo de Genomas Documento
- Um algoritmo para pesquisa aproximada de padrões baseado no método de Landau Vishkin e uso de arranjos de suficos para reduzir o uso de espaço Documento
- Um conjunto de soluções para a construção de aplicativos de computação ubíqua Documento
- Um estudo de limpeza em base de dados desbalanceada e com sobreposição de classe Documento
- Um estudo sobre verificação formal de sistemas concorrentes Documento
- Um framework baseado em plug-ins para raciocínio em ontologias PR-OWL 2 Documento
- Um modelo baseado em inteligencia artificial para a gestão do conhecimento aplicado ao processo de desenvolvimento de software Documento
- Um modelo de Planejamento Multiagente para a Gestão das Operações em Solo nos Aeroportos Documento
- Um modelo para o gerenciamento de informaçoes de contexto baseado em ontologias Documento
- Um índice baseado em árvores de sufixos comprimidas com baixo consumo de memória Documento
- Uma Abordagem Automatizada para Estimar a Experiência do Jogador em Eventos de Jogo usando Sinais Psicofisiológicos. Documento
- Uma Abordagem Dirigida a Modelo para a Geração de Casos de Teste Baseada na Detecção de Cenários Implícitos. Documento
- Uma Arquitetura Resiliente Baseada em Agentes para Instâncias Transientes na Computação em Nuvem Documento
- Uma Formalização da Composicionalidade do Cálculo ʎex em Coq Documento
- Uma Formalização da Composicionalidade do Cálculo lambda-ex em Coq Documento
- Uma Proposta de Diretório de Serviços Baseado em Conhecimento para um Ambiente de Grade Computacional Documento
- Uma Proposta para Redução de Consumo de Energia em Redes de Sensores Sem Fio Documento
- Uma abordagem colaborativa de cache em redes ad hoc Documento
- Uma abordagem de controle de acesso ao meio para redes de acesso dinâmico com múltiplos canais ortogonais Documento
- Uma arquitetura baseada em containers para workflows de bioinformática em nuvens federadas Documento
- Uma interpretação do agir docente revelado por gestos didáticos e gestos de aprendizagem no contexto da Graduação e da Pós-Graduação Documento
- Uma metodologia de otimização de roteamento com OSPF para tráfego de vídeo autossimilar Documento
- Uma proposta de integração de sistemas computacionais utilizando ontologias Documento
- UnBGOLDProv : arquitetura de proveniência de dados para um workflow de publicação de dados abertos governamentais Documento
- Using Texture Measures for Visual Quality Assessment Documento
- Utilização de Âncoras Verbais e Raciocínio Fuzzy na Construção de Mapas Estratégicos da Metodologia Balanced Scorecard. Documento
- Verificação de Propriedades do Cálculo lambda-ex em Coq Documento
- Verificação de Texto Manuscrito em Dispositivos Móveis Documento
- Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata Documento
- Verifying the Computational Properties of a First-Order Functional Model Documento
- Visualização de dados genômicos do fungo Paracoccidioides brasiliensis Documento
- What Could the Source Code Evolution Tell Us About Errors? Documento
- ncRNA-Agents : anotação de RNAs não-codificadores baseada em sistema multiagente Documento
- p2pBIOFOCO : um framework Peer-to-Peer para processamento distribuido do BLAST Documento
Pesquisas
áreas de investigação
Contato
telefone
- (61) 3107-7395 Ramal: 0
endereço de email
- ppgi@cic.unb.br
Identidade
identificador Capes
- 53001010054P6