Início
Painéis de Indicadores
Ferramentas

Carrot2 Visão
Equipe
Sobre
Contato
Inglês
Inglês Português

cour_565cc665-58bb-4c6a-be21-19ca5e084646

Visão geral
Publicações
Ver todos

Visão geral

oferecido por

Program of Graduate Studies in Computer Science
Universidade Federal do Rio Grande Do Norte

Publicações

publicações

: Classificação Multirrótulo com Aprendizado Semissupervisionado: Uma Análise Multivisão de Dados. Documento
?Infrastructure as a Service Intra-Platform Interoperability:An Exploratory Study with OpenStack Documento
A INTEGRAÇÃO DO TUTORIAL INTERATIVO TRYLOGIC VIA IMS LEARNING TOOLS INTEROPERABILITY: CONSTRUINDO UMA INFRAESTRUTURA PARA O ENSINO DE LÓGICA ATRAVÉS DE ESTRATÉGIAS DE DEMONSTRAÇÃO E REFUTAÇÃO Documento
A Linguagem de Descrição de Arquiteturas ZCLcsp Documento
A Linguagem de Especificação Algébrica CASL e o Tipo de Dados Intervalos Documento
A Tourism Multi-user Recommendation Approach Based on Social Media Photos Documento
A framework for investigating the use of face features to identify naturally generated emotion Documento
A probabilistic analysis of the biometrics menagerie existence: a case study in fingerprint data Documento
A study about the impact of combining keystroke and handwriting dynamics on gender and emotional state prediction Documento
A virtual laboratory for developing and experimenting internet of things applications Documento
AIGA: Um Ambiente Integrado de Gerência para Redes em Malha Sem Fio IEEE 802.11s Documento
ALGORITMO MEMETICO E VOCABULARY BUILDING: UMA APLICAÇÃO AO PROBLEMA DO CAIXEIRO VIAJANTE ASSIMETRICO Documento
ALGORITMOS EVOLUCIONÁRIOS NA SOLUCÃO DA PROGRAMAÇÃO DAS SONDAS DE PRODUÇÃO TERRESTRE Documento
ANÁLISE DE CONFIABILIDADE E ESTIMAÇÃO DA DEMANDA DE SERVIÇOS DAS SONDAS DE PRODUÇÃO TERRESTRES ? SPT´S NA MANUTENÇÃO DOS POÇOS DA BACIA POTIGUAR ? RN/CE Documento
ANÁLISE MORFOSSINTÁTICA APLICADA AO PROCESSO DE SUMARIZAÇÃO AUTOMÁTICA DE DOCUMENTOS DO PORTUGUÊS BRASILEIRO Documento
AO-OIL: Um Middleware Orientado a Aspectos Baseado em uma Arquitetura de Referência Documento
AVALIAÇÃO SISTEMÁTICA DE UMA ABORDAGEM PARA INTEGRAÇÃO DE FUNCIONALIDADES EM SISTEMAS WEB CLONADOS Documento
AVALIAÇÃO SISTEMÁTICA DE FERRAMENTAS DE DERIVAÇÃO DE PRODUTO Documento
Abordagem Evolucionária para Problemas da Cogeração e do Roteamento da Unidade Móvel do Pistoneio Documento
Abordagem de Geração de Arquitetura Homogênea para Comitês via Meta-aprendizagem Documento
Abordagens baseadas em teoria da informação para seleção automatizada de atributos Documento
AccNoSys: Uma Arquitetura Adaptativa Aceleradora com Interconexão baseada em Rede em Chip Documento
Acessibilidade na Internet para Deficientes Visuais Documento
Acquisition and analysis of the first keystroke dynamics biometrics database for user verification in the online collaborative game League of Legends. Documento
Acquisition and analysis of the first mouse dynamics biometrics database for user identification in the online collaborative game League of Legends Documento
Agraphs: definição, implementação e suas ferramentas Documento
Algebraic Semantics for Nelson's Logic S Documento
Algoritmo genético aplicados ao Problema do Caixeiro Viajante Documento
Algoritmo simulated annealing híbrido para o problema de roteamento de veículos com frota heterogênea Documento
Algoritmo transgenético para os problemas da geometria e da intensidade em IMRT Documento
Algoritmos Científicos Documento
Algoritmos Evolucionários aplicados ao Nonograma com Aplicações em Reconhecimento de Padrões e Compactação de Dados Documento
Algoritmos Evolucionários para a Distribuição de Produtos de Petróleo por Redes de Polidutos Documento
Algoritmos Transgenéticos Aplicados ao Problema da Árvore Geradora Biobjetivo Documento
Algoritmos de Agrupamento Fuzzy Intervalares e Índices de Validação para Agrupamento de Dados Simbólicos do Tipo Intervalo. Documento
Algoritmos de agrupamento aplicados a dados de expressão gênica de câncer: um estudo comparativo Documento
Algoritmos evolucionários para o problema de dimensionamento dos dutos de uma rede urbana de distribuíção de gás natural Documento
Algoritmos experimentais para o problema biobjetivo da árvore geradora quadrática em adjacência de arestas Documento
Algoritmos meta-heurísticos para a solução do problema do caixeiro viajante com múltiplas caronas Documento
Ambientes residenciais controlados por dispositivos móveis: estudo, concepção e desenvolvimento de um aplicativo considerando a diversidade Documento
An aI based tool for networks-on-chip design space exploration Documento
An experimental investigation of letter identification and scribe predictability in medieval manuscripts Documento
An extension of a tool for the formal support for component-based development Documento
An investigation of biometric-based user predictability in the online game League of Legends Documento
Analisando o Desempenho e Diversidade em Sistemas Multiclassificadores com Componentes Construtivos Documento
Analisando o desempenho do ClassAge: um sistema multiagentes para classiﬁcação de padrões Documento
Análise Experimental de Variações da Heurística de Lin e Kernighan para o Problema do Caixeiro Viajante Multiobjetivo Documento
Análise das Medidas de Boa e Má Diversidade na Construção de Comitês de Classificadores Através de Metaheurísticas de Otimização Multiobjetivo Documento
Análise de Escalabilidade de uma Implementação Paralela do Simulated Annealing Acoplado Documento
Análise de Impacto Baseada em Rastreabilidade de Artefatos para Linhas de Produto de Software Documento
Análise do comportamento de estudantes em videoaulas Documento
Aplicando Gamificação no Ensino de Teste de Software Documento
Aplicação de ontologias para métodos de negociação de um sistema multiagente para o reconhecimento de padrões Documento
Aplicação do Método B ao Projeto Formal de Software Embarcado Documento
Aplicação do Operador OWA nos Problemas da Otimização de Ângulo de Feixe e da Intensidade em IMRT Documento
Apoiando a Construção de Testes de Aceitação Automatizados a partir da Especificação de Requisitos Documento
Aprendizado Significativo Aplicado ao Ensino de Algoritmos Documento
Aprendizagem da língua japonesa apoiada por ferramentas computacionais: estudo e desenvolvimento do jogo Karuchā Ships Invaders Documento
Arquitetura com elevada taxa de processamento e reduzida largura de banda de memória para a estimação de movimento em vídeos digitais Documento
Arquitetura de microsserviços para processamento de imagens relevantes em evidências de crimes digitais Documento
Arquitetura e biblioteca para FERUS - apoio formal a espercificação e re-utilização de componentes de software Documento
AutoWebS: Um Ambiente para Modelagem e Geração Automática de Serviços Web Semânticos Documento
Avaliando Contribuição de Desenvolvedores Para Pojetos de Software Utilizando Mineração de Repositórios de Software e Mineração de Processos Documento
Avaliando a Robustez e Manutenibilidade do Comportamento Excepcional de Aplicações C# Documento
Avaliando o impacto da utilização de renderizações panorâmicas para a navegação em ambientes virtuais. Documento
Avaliação Top-Down de Consultas de Caminhos Livres-de-Contexto em Grafos Documento
Avaliação da Execução de Aplicações Orientadas a Dados na Arquitetura de Rede-em-Chip IPNoSys Documento
Avaliação de Arquiteturas de Agentes Emocionais: uma abordagem baseada em métricas de qualidade e na influência das emoções sobre usuários Documento
Avaliação de Desempenho de Protocolos de Roteamento para Redes Móveis Ad Hoc sob Condições de Tráfego de Aplicações de Videofone Documento
Avaliação de Reusabilidade de Aplicações Web Baseadas em Frameworks Orientados a Ações e a Componentes: Estudo de caso sobre os Frameworks Apache Struts e JavaServer Faces Documento
Avaliação do Uso de Smartphones na Interação com as Aplicações da Televisão Digital Brasileira Documento
BETA: Uma ferramenta para geração de testes de unidade a partir de especificações B Documento
BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML Documento
BSMART: Desenvolvimento Rigoroso de Aplicações Java Card Com Base no Método Formal B. Documento
BTS: Uma ferramenta de suporte ao desenvolvimento de sistemas confiáveis baseados em componentes Documento
Brain-computer interface games based on consumer-grade electroencephalography devices: systematic review and controlled experiments Documento
CALV3 - UMA LINGUAGEM ESPECÍFICA DE DOMÍNIO PARA SEGURANÇA EM SISTEMAS CORPORATIVOS: UM ESTUDO DE CASO SISTEMÁTICO NA INDÚSTRIA Documento
CES ? Um Mecanismo Genérico de Composição de Eventos para Sistemas Sensíveis ao Contexto Documento
Caixeiro viajante com coleta de prêmios e passageiros Documento
Caracterizando os Fluxos Excepcionais em Linhas de Produtos de Software: Um Estudo Exploratório Documento
Carcará: Um sistema multi-agente para busca na web com sugestões dinâmicas aos usuários Documento
Catálogo de recomendações para auxiliar adoção ou transformação ágil Documento
Cloud Computing Assisted Smart Surveillance Based Transportation-Safety System to Improve Crime Assistance on Smart Cities Documento
Cloud Integrator: Uma Plataforma para Composição de Serviços em Ambientes de Computação em Nuvem Documento
Cloud Stratus: Uma plataforma de middleware para desenvolvimento de aplicações em nuvem Documento
Cloud query manager: uso de web semântica para evitar o problema de aprisionamento em IaaS Documento
Combinando Aspectos e Componentes: uma abordagem interpretada Documento
Comitês de Agrupamentos Aplicados a Dados de Expressão Gênica Documento
Comitês de Classificadores Neurais - Estratégias para Construção e Emprego Documento
Comparação do impacto de técnicas de auxílio à navegação no wayfinding em tarefas de busca em ambientes virtuais. Documento
Computabilidade no Espaço dos Intervalos Reais: Um Modelo BSS Intervalar Documento
Computação Evolucionária Aplicada a Problemas de Otimização Combinatória. Documento
Concepção Multi-Agentes para Implementação do Raciocínio Aproximado Documento
Construção de Mosaicos Georreferenciados usando Imagens Aéreas de Pequeno Formato Documento
Contribuições na Otimização Discreta por Nuvem de Partículas - Aplicação ao Problema do Caixeiro Viajante Documento
Contribuições para o Processo de Verificação de Satisfatibilidade Módulo Teoria em Event-B. Documento
Contrinuições para a verificação automática de applets JavaCard Documento
Controle de Mobilidade Infraestruturado e Orientado à Qualidade para Maximização de Admissões em Sistemas WiNeMO: Uma Abordagem Definida por Software Documento
CrashAwareDev: apoiando o desenvolvimento a partir da mineração e análise de crash reports Documento
Criptoanálise Diferencial do Papílio Documento
CrossMDA-SPL: Uma Abordagem para Gerência de Variabilidades Dirigida por Modelo e Aspectos Documento
Dados abertos do governo brasileiro: entendendo as perspectivas de fornecedores de dados e desenvolvedores de aplicações ao cidadão Documento
Desenvolvimento Guiado por Interpretação de Metadados, uma Abordagem de Desenvolvimento Dissociado do Domínio de Negócios Documento
Desenvolvimento de aplicações móveis baseadas em sistemas de informações web existentes. Documento
Desenvolvimento de chatterbots: um estudo de caso voltado ao ensino de algoritmos Documento
Desenvolvimento e avaliação do Nihongo Kotoba Shiken: um exame computadorizado de conhecimento da língua japonesa Documento
Documentação de requisitos e compartilhamento do conhecimento: Uma proposta a partir de um estudo etnográfico Documento
Dos Alfabetos ao Exame de Proficiência: Revisão Sistemática de Aplicativos para Ensino e Revisão da Língua Japonesa Documento
Dos requisitos à arquitetura em linhas de produtos de software: uma estratégia de transformações entre modelos Documento
ECSFlow: implementação de um modelo de tratamento de exceção para C# Documento
EUPAT for WoW: Uma Ferramenta de Assistência à Programação por Usuário Final Documento
EcoCIT: uma plataforma escalável para desenvolvimento de aplicações de IoT Documento
Educação à distância via Web - Desenvolvimento de um modelo conceitual Documento
Elaboração e Implementação de uma Estratégia Baseada em Transgenética Computacional para Otimização da Configuração do Serviço de Distribuição de Vídeo DynaVideo Documento
Especificação Formal de Mecanismos de Sincronização em Aplicações Multimídia baseadas no PREMO Documento
Especificação do tipo intervalar parametrizado em CASL Documento
Especificação e implementação do DynaVideo VoD Server Documento
Especificação e monitoramento dinâmico da política de tratamento de exceções Documento
Estimativa em Projetos de Desenvolvimento de Aplicações Móveis Documento
Estudo Conceitual do Paradigma Baseado em Agentes como Solução Computacional de Problemas Documento
Estudo da Viabilidade de Desenvolvimento de Sistemas Integrados Baseados em Redes em Chip sem Processadores: Sistema IPNoSys Documento
Estudo de Técnicas de Aprendizado de Máquina para Predição de Eventos através de Dados Neurofisiológicos: um estudo de caso com Epilepsia Documento
Estudo empírico de análise da compatibilidade de aplicações Android com diferentes versões da API da plataforma Documento
ExMinerSOF: Minerando Informações Excepcionais do StackOverflow Documento
Extending CRefine to Support Tactics of Refinement Documento
Extensões Intervalares do Método de Segmentação de Imagens digitais por K-Means: Estudos Comparativos e de Caso Documento
Extensões ao Projeto LVWNet: Mobilidade, interação com equipamentos reais, comunicação direta, e registro dinâmico de nós Documento
Extraindo dados de tráfego a partir de vídeos em tempo real Documento
FMTA - Um Framework para Monitoramento de Trafego de Aplicacoes Multimidia Documento
GPU Support for Automatic Generation of Finite-Differences Stencil Kernels Documento
GT4CCI: uma abordagem baseada em grounded theory para a identificação de interesses transversais em documentos de requisitos Documento
Game Design de Jogos Digitais de Pensamento Computacional Inspirados no Instrumento de Avaliação Bebras Challenge Documento
GeOntoQuery - Um Mecanismo de Busca em Bancos de Dados Geográficos Baseado em Ontologias Documento
Geração Procedural de Cenários Orientada a Objetivos Documento
Geração automática de hardware a partir de especificações formais: Estendendo uma abordagem de tradução Documento
Geração de Processos BPEL com Base em um Algoritmo de Reescrita de Regras Documento
Geração de Testes a partir de gramáticas Documento
Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU Documento
Geração de testes a partir de gramáticas: áreas de aplicação Documento
Geração de tutores virtuais para turmas baseadas em PBL Documento
Gestão de Requisitos Legais com Foco na Conformidade dos Sistemas com a Legislação Vigente Documento
GingaForAll: Linha de Produtos do Middleware Ginga Documento
Identificação de dificuldades e questões de interesse de desenvolvedores de aplicações para Big Data com o framework Apache Spark Documento
Identificando Interesses Transversais em Modelos de Requisitos PL-AOVgraph Documento
Implementação Hardware/Software da estimação de movimento segundo o padrão h.264 Documento
Implementação da Técnica de Paralelismo Software Pipelining na Rede em Chip IPNoSyS Documento
Implementação de uma Malha de Interconexão Crossbar Switch Documento
Implementação do Algoritmo de crioptografia Papílio no OpenSSL Documento
Improving bug localization by mining crash reports: an empirical study Documento
Infoestrutura: Um Sistema em Nuvem para Prover Contexto como Serviço no Cenário de Internet das Coisas Integrado a Ambientes Veiculares. Documento
Instanciação e avaliação de um framework para a geração dinâmica de processos Documento
Integrais de Linha Intervalares: Fundamentos e Aplicações. Documento
Integrando Padrões Através de Meta-modelos Documento
Integração de Dispositivos Elétricos Inteligentes de Abordagem Legada em Sistemas Smart Grid Baseados na IoT Documento
Interação Gestual em Ambiente Residencial: Estudo, Concepção e Desenvolvimento Documento
Interfaces cérebro-computador: estudo, design e desenvolvimento do jogo AdmiralMind Battleship Documento
Investigando a Relação entre Integração Contínua e Métricas de Qualidade de Sóftware: Um Estudo Empírico Documento
Investigando a compressão da percepção de distância em ambientes virtuais através da comparação entre dispositivos de visualização Documento
Investigando o Uso do Sentido Háptico na Visualização de Dados Multivariados em Gráficos de Dispersão Bidimensionais Documento
Investigating fuzzy methods for multilingual speaker identification Documento
Investigação do Ensino de Engenharia de Requisitos na Perspectiva da Academia e da Indústria: Um enfoque em Documentação de Requisitos Documento
Investigações sobre Técnicas de Arquivamento para Otimizadores Multiobjetivo Documento
JAVA-XSC: Módulos Complexo e Complexo Intervalar Documento
JAVA-XSC: Uma Biblioteca JAVA para Computações Intervalares Documento
JCML - Java Card Modeling Language: Definição e Implementação Documento
JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java Documento
JFloat: biblioteca de ponto flutuante para Java com arredondamento direcionado Documento
KNoT-FI: Um Ambiente Integrado baseado no FIWARE para Desenvolvimento de Aplicações de Internet das Coisas Documento
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicacoes Java Card com o metodo B. Documento
Konect: framework de desenvolvimento para aplicações do Kinect. Documento
LOrbSec: Uma biblioteca para Construção de Objetos Distribuídos Seguros Documento
LWiSSy - Uma Linguagem Específica de Domínio Para Modelagem de Sistemas de RASSF Documento
Leveraging the Development of FIWARE-based Internet of Things Applications with IoTVar Documento
Linguagem de Domínio Específico para Modelagem e Avaliação de Processadores. Documento
Linguagens Lineares Fuzzy Documento
Lógicas BDI Fuzzy Documento
MARISA-MDD - Uma Abordagem para Transformações entre Modelos Orientados a Aspectos: dos Requisitos ao Projeto Detalhado Documento
MKey: Um protocolo para o Gerenciamento de Chaves de Grupo Documento
MOBILE INTERACT: Uma ferramenta de auxílio didático proporcionando interação entre professores e alunos através de celulares. Documento
Malha de Interconexão para Sistemas Integrados em Chip Único Documento
Mecanismo de tolerância a falhas através de escalonamento para uma arquitetura reconfigurável de grão grosso Documento
Medição Precisa de Áreas de Feridas Crônicas Usando Structure From Motion Documento
Meta-heurísticas híbridas Aplicadas ao Problema da Árvore Geradora Multiobjetivo Documento
Metaheurísica Busca Tabu Aplicada à Solução do Problema da Unidade Móvel do Pistoneio Documento
Metaheurísticas Paralelas para o Problema de Alocação de Sondas de Produção Terrestre: Desenvolvimento e Aplicação. Documento
Metodologia para análise da dependabilidade de Smart Grids Documento
Metodologia para sistemas dinâmicos Documento
Midgard: Um Middleware Baseado em Componentes e Orientado a Recursos para Redes de Sensores sem Fio. Documento
Minerando exceções Runtime não documentadas em bibliotecas Java a partir do GitHub: um estudo exploratório Documento
MoSAC: Um Módulo Para Seleção de Configurações Arquiteturais Baseado em Critérios de QoS no Contexto de Sistemas Distribuídos Autoadaptativos Documento
Modelagem Formal do Sistema Operacional de Tempo Real FreeRTOS Utilizando o Método B Documento
Modelagem de Arquiteturas Reconfiguráveis com Espaços de CHU. Documento
Modelo de Interoperabilidade para Utilização dos Recursos dos Ambientes Virtuais de Aprendizagem através de Dispositivos Móveis Documento
Modelos e Algoritmos para o Problema de Planejamento para Produção de Recursos em Jogos de Estratégia de Tempo Real Documento
Modelos para Qualidade de Software: um Estudo Comparativo Documento
Multicast Packing Problem - Abordagem Multiobjetivo Documento
MyPersonal-EPG: Um EPG Personalizável e com Suporte à Recomendações para o SBTVD Documento
Métricas para Avaliação de Sistemas de Middleware Orientado a Aspectos e Aplicação em um Sistema de Monitoramento de Poços de Petróleo Documento
N2N FRAMEWORK: UMA PLATAFORMA PARA DESENVOLVIMENTO DE SISTEMAS COLABORATIVOS DISTRIBUÍDOS Documento
Novos Métodos Determinísticos para Gerar Centros Iniciais dos Grupos no Algoritmo Fuzzy C-Means Documento
Números Dinâmicos: Uma abordagem computacional orientada a objetos com implementações na linguagem Java Documento
O Problema do Bin Packing Tridimensional em Contêineres: Usando Interação com o Usuário Documento
O Problema do Caixeiro Viajante com Múltiplos Passageiros e Quota Documento
O Problema do Caixeiro Viajante com Passageiros e Lotação Documento
O Problema do Caminho mais curto Multiobjetivo Aplicado ao Problema da Navegação de Robôs Documento
O Problema do Hiker Dice em Tabuleiro Compacto: Um estudo algorítmico Documento
O Uso da Lógica Difusa no Controle de Parâmetros do Algoritmo Genético para o Problema do Caixeiro Viajante Documento
On Rich Modal Logics Documento
Ordenação de Variáveis de BDDs Utilizando Algoritmos Genéticos Paralelos Documento
Ordenação inicial de BDDs para a verificação de sistemas de transição finita Documento
Orthus: A Blockchain Platform for Smart Cities. Documento
Otimização Multicritério dos Problemas de Ângulos de Feixe e Mapa de Fluência para Tratamentos Radioterápicos IMRT Documento
Otimização das Intervenções em poços de petróleo por sondas de produção terrestre: uma abordagem Metaheurística Documento
Otimização de Comitês de Agrupamento Usando o Algoritmo Coral Reefs Optimization Documento
Otimização de Topologia Irregular Para Aplicações Tempo Real e Não Tempo Real em MP-SoCs Baseadas em Redes-em-Chip Documento
Otimização do Corte: Ênfase na Indústria de Confecção Documento
Otimização em Braquiterapia de Alta Taxa de Dose com Algoritmo Transgenético. Documento
POPT: Uma Abordagem de Ensino de Programação Orientada a Problema e Testes Documento
PUPSI: Uma Proposta de Processo Unificado para Políticas de Segurança da Informação Documento
Papílio: Proposta de um algoritmo de criptografia baseado no algoritmo Viterbi e codificação convolucional Documento
Plataforma Interativa de Análise de Velocidade em Dados Sísmicos usando GPUs Documento
Poirot - Uma ferramenta de avaliação de interfaces de usuário Documento
Predspot: Predicting Crime Hotspots with Machine Learning Documento
Problema do Caixeiro Viajante Elétrico com Passageiros Documento
Problema do Passeio Lucrativo com Passageiros e Penalidades por Atrasos Documento
Problema do Passeio Lucrativo com Passageiros e Restrições de Tempo - PPL-RT Documento
Processo para Engenharia de Requisitos, apoiado de um CIM composto por ontologias e Linguagens Naturais Controladas Documento
Projeto e Implementação de um Framework de Agentes de Recomendação para Sistemas Web Documento
Projeto e Implementação de uma Plataforma MP-SoC usando SystemC Documento
Projeto e implementação em FPGA de um processador com conjunto de instruções reconfigurável utilizando VHDL Documento
Projetos desenvolvidos em hackathons e game jams continuam? Um estudo exploratório sobre a manutenção das relações sociais e a continuidade dos projetos em eventos colaborativos de curta duração Documento
Proposta de um processador multithreading com características de previsibilidade Documento
Proposta e Implementação de uma Arquitetura Reconfigurável Híbrida para Aplicações Baseadas em Fluxo de Dados Documento
Prova Automática de Satisfatibilidade Módulo Teoria Aplicada ao Método B. Documento
Quantum computing application in super-resolution Documento
Quiosque Informativo para os Programas de Saúde Pública Documento
Renderizações Não Fotoreslísticas para Estilização de Imagens e Vídeos Usando Areia Colorida Documento
Rendimento Escolar Corrigido Como Garantia de Qualidade No Acesso Ao Ensino Superior Documento
Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software Documento
SMiLe: uma notação textual modular para modelos iStar Documento
STREAM-AP: um processo para sistematizar a escolha de padrões arquiteturais baseado em requisitos não-funcionais Documento
Segmentação Fuzzy de Imagens e Vídeos Documento
Segmentação Fuzzy de Texturas e Vídeos Documento
Segmentação Vascular Documento
Segurança Contra a Falsificação de Endereços IP na Resolução de Nomes no DNS Documento
Seleção de Atributos Baseado em Algoritmos de Agrupamento para Tarefas de Classificação Documento
Seleção de Atributos em Comitês de Classificadores Heterogêneos Utilizando Algoritmos Genéticos Documento
Self-adaptive authorisation in cloud-based systems Documento
Simulação de Reservatórios de Petróleo em Ambiente MPSoC Documento
Sistema Operacional e Biblioteca de Funções para Plataformas MPSOC: Um Estudo de Caso para Simuladores de Reservatório Documento
Sistema de Agentes Poligínicos para Esteganálise de Imagens Digitais. Documento
Sistema de Reescrita de Termos para Intervalos: Em Direção a Um Modelo Formal para a Computação Intervalar Documento
Sistema especialista fuzzy para dimensionamento de bombeio mecânico Documento
SmartEdge: fog computing cloud extensions to support latency-sensitive IoT applications Documento
Solução para interoperabilidade de protocolos em ambientes inteligentes Documento
Squid Impact Analyser: Uma Ferramenta para Análise de Impacto de Mudança em Linhas de Produto de Software Documento
Teoria Fuzzy Intervalar: Uma Proposta de Integração da Matemática Intervalar à Teoria Fuzzy Documento
Teoria dos Conjuntos Dominantes e Aplicações em Algumas Classes de Grafos Documento
Teoria dos Grafos e Sistema de Informações Geográficas: Uma Alternativa de Integração Documento
The Impact of Adopting Continuous Integration on the Delivery Time of Pull Requests: An Empirical Study Documento
The Interval Constructor on classes of ML-algebras Documento
The impact of feature selection methods on online handwritten signature by using clustering-based analysis Documento
Transdutores adaptativos programáveis e sua aplicação no desenvolvimento de agentes de diálogos Documento
UM AMBIENTE DE SUPORTE A EXPERIMENTOS CONTROLADOS ESPECIFICADOS EM EXPDSL Documento
UMA FERRAMENTA DE ANÁLISE AUTOMATIZADA DE TÉCNICAS DE SELEÇÃO DE TESTES DE REGRESSÃO BASEADA EM MINERAÇÃO DE REPOSITÓRIOS DE SOFTWARE Documento
Um Ambiente Interativo de Apoio ao Ensino de Lógica de Programação nos Cursos Técnicos (EaD) do Instituto Metrópole Digital/UFRN. Documento
Um Ambiente Multi-Middleware para Desenvolvimento de Aplicações Distribuídas Documento
Um Estudo Algorítmico da Programação da Intervenção de Sondas de Produção Documento
Um Estudo Algorítmico para o Problema do Dimensionamento de Dutos em uma Rede Urbana de Distribuição de Gás Natural Documento
Um Estudo Comparativo entre a Evolução do Comportamento Excepcional em Aplicações Java e Android Documento
Um Estudo Sobre Aprendizado de Máquina Aplicado à Modelagem de Retorno de Ações Documento
Um Framework para criação de jogos voltados para o ensino de lógica de programação Documento
Um Middleware Reflexivo e Orientado a Aspectos: Arquitetura e Implementações Documento
Um Modelo de Interconexão de Componentes para Ambientes Multimídia Distribuido Documento
Um Modelo de Objetos Baseado em CORBA para o Gerenciamento Distribuído de Redes de Computadores Documento
Um Modelo de Sistema de informação para implantação de Sistemas de Qualidade Baseados na Norma ISO 9000-3 Documento
Um Método Para a Modificação de Processos Legados Utilizando SPEM e Processo Unificado Documento
Um Problema de Caminho Mais Curto Multiobjetivo na Computação em Nuvem Documento
Um Processo Semi-automatizado para Elicitação de Requisitos de Acessibilidade Web Documento
Um Serviço de Descoberta Ciente de Contexto para Internet das Coisas Documento
Um Sistema de Certificação Digital para Plataformas de Middleware Documento
Um Sistema de Gerenciamento de Firewalls e IDS Documento
Um Sistema de apoio à decisão para o gerenciamento dinâmico das sondas de produção terrestres na bacia potiguar Documento
Um algoritmo transgenético para a resolução do Traveling Purchaser Problem Documento
Um estudo empírico sobre geração de testes com BETA: avaliação e aperfeiçoamento Documento
Um framework baseado em modelos para desenvolvimento de sistemas multimídia distribuídos autoadaptativos Documento
Um framework conceitual para apoiar a instrumentação da avaliação formativa da aprendizagem em jogos digitais Documento
Um framework para integração de plataformas de aprendizado de programação e Computação Desplugada Documento
Um framework para o desenvolvimento de sistemas de apoio a atividades práticas tendo como caso de estudo a hotelaria Documento
Um modelo conceitual baseado em MDD e padrões para evolução de sistemas OA Documento
Um método para desenvolvimento de abordagens generativas com composição de linguagens específicas de domínio Documento
Um sistema computacional georreferenciado de apoio à decisão para otimizar o emprego de unidades móveis de pistoneio Documento
Uma Abordagem Dirigida a Modelos para Redes de Sensores sem Fio Documento
Uma Abordagem Dirigida por Modelos para Desenvolvimento de Middlewares Auto-Adaptativos para Transmissão de Fluxo de Dados Baseado em Restrições de QoS Documento
Uma Abordagem Genérica Dirigida à Modelos para Integração entre Projeto Detalhado e Codificação Orientada a Aspectos Documento
Uma Abordagem Transgenática para o Problema da Coloração de Grafos Documento
Uma Abordagem baseada em Aspectos e Composição Dinâmica para a Construção de Aplicações Adaptativas Cientes ao Contexto Documento
Uma Abordagem para Avaliação e Tratamento de Exceções Propagadas no uso de Serviços Web em .NET Documento
Uma Abordagem por Nuvem de Partículas para Problemas de Otimização Combinatória. Documento
Uma Análise Comparativa de Sistemas de Combinação de Classificadores com Distribuição Vertical dos Dados Documento
Uma Análise Experimental de Abordagens Heurísticas aplicadas ao Problema do Caixeiro Viajante Documento
Uma Análise Experimental de Algoritmos Exatos Aplicados ao Problema da Árvore Geradora Multiobjetivo Documento
Uma Análise da Aplicação do Modelo de Rede Neural RePART em Comitês de Classificadores Documento
Uma Aplicação de Algoritmo Genético na otimização do Emprego da Unidade Móvel de Pistoneio Documento
Uma Aplicação de GRASP na Otimização do Emprego da Unidade Móvel de Pistoneio Documento
Uma Arquitetura Hardware/Software de um Núcleo NCAP segundo o Padrão IEEE 1451: uma prova de conceito Documento
Uma Estratégia Metaheurística Híbrida Genética de Grupamento para o Problema Bin Packing 1-D Documento
Uma Estudo Algorítmico de Problemas Logísticos na Indústria de Petróleo e Gás Natural Documento
Uma Linguagem para Descrição de Missões em Sistema-de-Sistemas Documento
Uma Linha de Processo de Software para Elicitação de Requisitos Baseada na Criatividade Combinacional Documento
Uma Linha de Produto de Software para o Dimensionamento de Bombeio Mecânico em Dispositivos Móveis Documento
Uma Máquina de Redução de Grafos Extensível para a Implementação de Fluxos de Trabalho Documento
Uma Máquina de Redução de Grafos para Serviços Web Documento
Uma Ontologia para a Descrição da Semântica da IMML Documento
Uma Plataforma Adaptável para Localização em Ambientes Internos Documento
Uma Proposta de Processo para Implantação de Dados Abertos em Instituições Públicas Brasileiras Documento
Uma Solução Arquitetural para o Desenvolvimento de Sistemas Interativos Multiplataformas Documento
Uma abordagem de apoio à gerência de projetos de software para análise da contribuição de desenvolvedores Documento
Uma abordagem de definição de políticas para offloading de dados no contexto de computação em névoa Documento
Uma abordagem na camada de middleware para troca dinâmica de componentes em sistemas multimídia distribuídos baseados no framework Cosmos Documento
Uma abordagem para o controle de elasticidade dinâmico voltada a sistemas cloud-network definidos por slices Documento
Uma abordagem para o desenvolvimento de jogos digitais educativos no ensino básico Documento
Uma abordagem para promover o alinhamento entre a estratégia de negócio e a tecnologia de informação Documento
Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software Documento
Uma análise de métodos de distribuição de atributos para construção de comitês de classificadores Documento
Uma equivalência entre Funções Intervalares Documento
Uma extensão da IMML para apoiar o Design de Interfaces de Usuário Multi-Plataforma Documento
Uma ferramenta para suporte formal à evolução e reutilização para linguagens de especificação algébrica com semântica inicial Documento
Uma plataforma de monitoramento inteligente de arritmia cardíaca em fluxo de tempo real Documento
Uma proposta de framework para facilitar o processo de desenvolvimento de aplicações baseadas em IoT Documento
Uma proposta de indicadores para o acompanhamento de alunos em projetos de desenvolvimento colaborativo de software com foco no desenvolvimento de habilidades transversais Documento
Uma revisão de modelos de algoritmos de otimização para o problema de geração de dados de teste Documento
Uso de Modelos i* para Enriquecer Requisitos em Metodos Ageis Documento
Uso de confiabilidade em problema de classificação multirrótulo com o aprendizado semissupervisionado Documento
Utilizando Pesos estáticos e dinâmicos em sistemas multi-classificadores com diferentes níveis de diversidade Documento
Utilizando Programação Orientada a Aspectos no Projeto de Sistemas Hardware Desenvolvidos com SystemC Documento
Utilizando comitês de classificadores para predição de rendimento escolar Documento
Utilizando mapas de conectividade fuzzy no desenvolvimento de algoritmos reparadores de imagens binárias 3D Documento
Veículos Aéreos Não Tripulados e Sistema de Entrega: Estudo, Desenvolvimento e Testes Documento
WPTrans: Um Assistente para Verificação de Programas em Frama-C. Documento
WebFlowAH: Um Ambiente para Especificação e Execução ad-hoc de Processos de Negócio Baseados em Serviços Web Documento
What is a Fuzzy Bi-implication? Documento
X-ARM: Um Modelo de Representação Orientado a Processo para Artefatos de Software Documento
X-Conf: Uma Infra-Estrutura de Configuração e Gerenciamento de Sistemas de Distribuição de Vídeo Digital Documento

Instituto Brasileiro de Informação em Ciência e Tecnologia (Ibict)
SAUS Quadra 5 - Lote 6 Bloco H - Asa sul - CEP: 70.070-912 - Brasília - DF