instituição
- UNIVERSIDADE DE BRASILIA Organização
- UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE Organização
CIÊNCIAS DA COMPUTAÇÃO
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
- ALFABETIZAÇÃO EM PORTUGUÊS ATRAVÉS DE SISTEMAS TUTORIAIS INTELIGENTES: UM ESTUDO Documento
- ANALISE DE BENCHMARK PARA SISTEMAS OPERACIONAIS BASEADOS EM 8086 Documento
- Abordagem Ontológica para Mitigação de Riscos em Aplicações Web Documento
- Algoritmo Adaptativo para Escolha de Limiar para Balanceamento de Carga em um Ambiente Distribuído Heterogêneo. Documento
- Algoritmo de escalonamento de tarefas para aplicações em tempo real usando Erlang Documento
- An Architecture to Support Control Theoretical-based Verification of Goal-Oriented Adaptation Engines Documento
- Animação de Relações de Equivalênica entre Modelos Computacionais, suas Gramáticas e Linguagens Documento
- Análise Semântica dos Modelos de Representação do Conhecimento Documento
- Análise de métodos baseados em Aprendizado de Máquina para predição de ncRNAs Documento
- Aplicação dda CAPSL na Especificação de Protocolos Criptográficos Documento
- Aplicações de Técnicas de Reescrita ao Problema da Palavra em Teoria dos Grupos Documento
- Aprendizado Automático em Redes Bayesianas. Documento
- Arquitetura baseada em serviços web para dados espaciais da Biodiversidade Brasileira Documento
- Arquitetura de Coleta de Dados para Pesquisas de Campo em Ambientes Computacionais Heterogêneos Documento
- Autômato Celular Probabilístico para Modelagem Espacialmente Explícita de Metapopulações Documento
- Autômato SOM-A - Síntese Ortomolecular Aditiva SOM-A Documento
- Autômato SOM-A para Síntese Aditiva on-line Documento
- Avaliação das Tecnologias ClientMatch e dos padrões IEEE 802.11k e 802.11r no Suporte a Mobilidade e Tráfego de Tempo Real em Redes WLAN Documento
- Avaliação Experimental de Desempenho de Programas Sintéticos 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 metodologias para implementação de projetos de data warehouse: um estudo de caso Documento
- Classificação automatica do acabamento de gordura em Imagens Digitais de carcacas bovinas Documento
- Classificação automática de informações Geomorfológicas utlizando o modelo de rede neural BackPropagation. Documento
- Cloud.Jus - Arquitetura de Nuvem Comunitária do Âmbito do Poder Judiciário da União Documento
- Comparação paralela exata de seqüências biológicas longas com uso limitado de memória Documento
- Composição Algoritmica em Sistema de Síntese FM com Arvores de Tempo Documento
- Detecção de ataques através da constatação de violação dos protocolos IP e TCP. Documento
- Detecção e Classificação de Algas para Monitoramento da Água Documento
- Escalonamento de Tarefas visando Balanceamento de Carga em Ambientes de Computação em Grade Documento
- Especificação de Requisitos de negócios baseada em regras de negócios utilizando RM-ODP Documento
- Especificação de requisitos de software para o planejamento das contratações de tecnologia da informação Documento
- Estudo comparativo de desempenho de infraestrutura de arquiteturas de rede intra datacenter Documento
- Estudo de um Protocolo de Transporte Lightweight e seus Mecanismos de Multicast Documento
- Estudo sobre Hardware Trojans e suas ameaças à Administração Pública Federal Documento
- Execução Eficiente do Padrão de Propagação de Ondas Irregulares na Arquitetura Many Integrated Core Documento
- FAFOOPS - Ferramenta de Apoio ao FOOPS Documento
- Face Recognition Based on Eigenfaces and on PCA - Principal Component Analysis with many Thresholds Documento
- Formalização da terminação de especificações funcionais Documento
- Fusão de Imagens de Sensoriamento Remoto Utilizando a Transformada Wavelet Documento
- GERACAO DE TEOREMAS MUSICAIS A PARTIR DAS ARVORES DE TEMPOS. Documento
- Geração Automática de Ontologias para a Web Semântica. Documento
- Geração de partituras somA Documento
- Gerenciamento de Riscos em Equipes de Desenvolvimento de Software Documento
- Gestão de Riscos em Aquisições de TI: Proposta de Avaliação de Maturidade para o Modelo de Contratação de TI - SLTI no âmbito do INSS Documento
- Gestão de riscos na execução de serviços de tecnologia da informação em contratos com base na instrução normativa 04/2010 Documento
- Grau de Relevância de Variáveis em Redes Bayesianas Documento
- Identificação de Imagem com Análise em Multiresolução Wavelet em Sistema Documento
- Identificação de RNA não codificador utilizando redes neurais artificiais de treinamento não supervisionado. Documento
- Identificação de snoRNAs usando Aprendizagem de Máquina Documento
- Implementação de Redes Parallel-Self Organizing Map para classificar imagens de radar Documento
- Implementação de algoritmos para o problema da Ordenação por Transposições Documento
- Implementação do algoritmo de Hartman para o problema da ordenação por transposições Documento
- Infraestrutura Formal de Segurança para Sistemas Distribuídos Documento
- LIKE-Uma proposta mais eficiente para a troca de chaves criptográficas através da Criptoassinatura Documento
- Linha de Produtos de Software Dinâmica Direcionada por Qualidade: o Caso de Redes de Monitoração do Corpo Humano. Documento
- MADM ? Modelo de Apoio a Decisão para seleção de Métodos de desenvolvimento de software com base em conhecimento. Documento
- MGIES - Modelo de Gerenciamento de Equipes de Software Documento
- MGIES: Modelo de Gerenciamento Integrado de Equipes de Software Documento
- Mecanismo de Negociação de Auditor de QoS para Grades baseado em WS-Agreement Documento
- Melhorando o algoritmo de Bafna e Pevzner para o problema da ordenação por transposições Documento
- Metamorfose e Distorção de Imagens, Documento
- Metodologia para recomendação de consultores ad hoc baseada na extração de perfis do currículo lattes Documento
- Metodologias Computacionais para Previsão de tempo de viagem de Transporte Urbano em Paradas Consecutivas Documento
- Metricas para Orientação a Objetos Documento
- Model RABAC-ORDB - Uma proposta para Controle de Acesso Baeado em Papéis para Banco de Dados Objeto-Relacional Documento
- Modelo Multi-estratégico de Tolerância a Falhas para Ambiente de Nuvem Federada Documento
- Modelo de Processo de desenvolvimento de software: uma abordagem orientada ao reuso Documento
- Modelo de Reputação e Ontologia Aplicados à Rede Social Científica do ObserveUnB. Documento
- Modelo para Avaliação de Riscos em Segurança de Barragens com associação de métodos de análise de decisão multicritério e Conjuntos Fuzzy Documento
- Modelo para Especificação de Requisitos de Negócios baseada em Regras de Negócios utilizando RM-ODP. Documento
- Motivação em Sistemas Tutores Inteligentes Documento
- NoSQL2 : administrando banco de dados NoSQL com a linguagem SQL Documento
- Ordenação de sequências finitas por reversão usando conjugações em grupos de permutações Documento
- Ordenação por Transposições em Rearranjos de Genomas. Documento
- Orquestrador MIDI Sinfônico Documento
- Portal de Grids - Um ambiente Computacional Distribuído de Compartilhamento Eficiente de Recursos e Serviços Documento
- Precificação em Computação em Nuvem para Instâncias Permanentes e Transientes: Modelagem e Previsão Documento
- Proposta de Melhoria para o Processo de Desenvolvimento de Software do Exército Brasileiro com base no Modelo de Gestão de Risco e na Metodologia Ágil Documento
- Proposta de melhoria de processo de implementação de software : estudo de caso de um sistema de dados de operações do mercado monetário Documento
- Protocolo de Gerência Múltiplos em Sistemas DSM com Consistência do Escopo Documento
- Protocolos de Coerência Múltiplos em Sistemas DSM com Consistência do Escopo Documento
- Proveniência de dados em workflow de Bioinformática com PROV-DM e armazenamento em banco de dados baseado em grafo Documento
- Pré-processamento de Ecocardiogramas utilizando transformada wavelet Documento
- Raciocínio Plausível na Web Semântica através de Redes Bayesianas Multi-Entidades ? MEBN Documento
- Reconhecimento Facial Baseado em Eigenfaces e na PCA - Principal Component Analysis com Múltiplo Thresholds Documento
- Reconhecimento de Caracteres Impressos e Manuscritos Utilizando Reconhecimento Estatístico e Redes Neurais Documento
- Reconhecimento de Locutores em Língua Portuguêsa com Modelos de Redes Neurais e Gaussianos Documento
- Redes Adaptativas FBR: uma abordagem de aproximação para o aprendizado de máquinas Documento
- Redução de Falsos-positivos em IDS Documento
- Regras de Associação para Análise de Dados Médicos Documento
- SGMOO: Sistema Gestor de Métodos Orientados a Objetos baseado em Conhecimento Documento
- Sincronização de relógios em ambientes de Cluster Documento
- Sistema Multi-Agentes para Sincronização e Gerenciamento de Fluxo de Tráfego Aéreo em Tempo Real Documento
- Sistema adaptativo para Websites baseado no comportamento da formiga Documento
- Software Documento
- Spy DSM Documento
- TUTUR- Um Ambiente de Aprendizagem de Máquinas de Turing baseado na simulação evolutiva de modelos mentais Documento
- Tratando Variabilidade em Processos de Negócio Utilizando uma Abordagem Composicional Documento
- UM ESTUDO SOBRE SEGURANÇA EM BANCO DE DADOS UTILIZANDO O MODELO RBAC ? LDAP Documento
- UM MODELO PARA SISTEMAS TUTORES INTELIGENTES ADAPTATIVOS Documento
- Um Ambiente Gráfico para Representação de Domínios de Conhecimento e Regras de Estratégias de Ensino na Geração de Sistemas Tutoriais Inteligentes Documento
- Um Ambiente Multiplataforma para a Síntese e Transmissão de Áudio Documento
- Um Ambiente de Simulação de Serviços Integrados e Diferenciados Documento
- Um Estudo da Tecnologia dos Agentes e a Utilização de Agentes Móveis em um Ambiente Heterogêneo Distribuído Documento
- Um Modelo para contextualizar a Gerência de Configuração de Software Documento
- Um algoritmo para pesquisa aproximada de padrões baseado no método de Landau e Vishkin e uso de arranjos de sufixos para reduzir o uso de espaço Documento
- Um ambiente para a implementação de sistemas distribuídos em tempo real Documento
- Uma Abordagem Neural à Identificação Homomórfica de Locutor Documento
- Uma abordagem colaborativa de cache em redes ad hoc Documento
- Uma abordagem da Computação Quântica na teoria Computacional e a simulação destes recursos em computadores convencionais Documento
- Uma abordagem em hardware para algoritmos de comparação de seqüências baseados em programação dinâmica Documento
- Uma abordagem usando features BDD e modelo de objetivos para o desenvolvimento ágil de software Documento
- Uma metodologia para mineiração de dados em bases de germoplasma Documento
- Uma proposta de arquitetura para a criptoanálise do DES em um ambiente de processamento distribuído Documento
- Uma proposta de integração de sistemas computacionais utilizando ontologias Documento
- Urna Eletrônica Reconfigurável Documento
- Uso de Redes Bayesianas no tratamento da incerteza em economia Documento
- Utilização de Armazenamento Definido por Software em uma Arquitetura Hiperconvergente de Containers Documento
- Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas Documento
- Visualização de Consistência de Memória Compartilhada Distribuída Documento
- Visualização de Modelos de Consistência de Memória Híbridos Documento
- Visualização de Modelos de Consistência de Memória Híbridos Documento
Pesquisas
áreas de investigação
Contato
telefone
- (61) Ramal: 00
Identidade
identificador Capes
- 53001010033P9