Graduate Program in Computer Science
Programa de Pós-Graduação
-
- Visão geral
-
- Publicações
-
- Pesquisas
-
- Contato
-
- Identidade
-
- Ver todos
-
Visão geral
Publicações
publicações
-
Afinidade de Tipos de Aplicações em Nuvens Computacionais Documento
-
? UMA AVALIACAO DE ALGORÍTMOS NÃO EXAUSTIVOS PARA A OTIMIZACAO DE JUNÇÕES Documento
-
A CROSS-DOMAIN MULTI-ARMED BANDIT HYPER-HEURISTIC Documento
-
A Caminho de Estratégias Práticas para Comunicação com Reuso Espacial em Redes Sem Fio sob o Modelo SINR Documento
-
A Meta-heuristic Search-Based Test Data Generation Approach for MapReduce Systems. Documento
-
A Multi-Armed Bandit Approach for Enhancing Test Case Prioritization in Continuous Integration environments Documento
-
A Multi-objective Optimization Approach for Load Balancing Over the Fog Computing Edge Layer Documento
-
A Near-Data Select Scan Operator for Database Systems Documento
-
A TEORIA SÓCIO-INTERACIONISTA E A RESISTÊNCIA DO DOCENTE EM RELAÇÃO AOS PERIFÉRICOS DE ENTRADA E SAÍDA DAS TIC: um estudo nas escolas Bom Sucesso, Seac e Cohab, da rede pública municipal em São Mateus-ES Documento
-
A Virtual-Machines-MIB: Uma abordagem baseada em SNMP para o gerenciamento de máquinas virtuais. Documento
-
A preference-based approach for reducing the number of objectives applied to the variability testing of software product line Documento
-
A produção de material de curso como subproduto da prática pericial. Documento
-
A robust context based approach to detect and segment the ocular region components Documento
-
AGENTE-M: Um Matriculador Inteligente Documento
-
ALGORITMOS EVOLUTIVOS COM TRATAMENTO DE RESTRIÇÕES APLICADOS AO PROBLEMA DE PLANEJAMENTO DO DESPACHO HIDROTÉRMICO Documento
-
ALGORITMOS EXATOS PARA COLOCRAÇÃO DE GRAFOS Documento
-
ANALISE DO COMPORTAMENTO DA HIERARQUIA DE MEMÓRIA COM O PROFILE ESTENDIDO Documento
-
ANEMONA: Uma Linguagem de Configuração para Aplicações de Monitoração de Redes Documento
-
ANÁLISE SEMÂNTICA DO OBJETO NULO EM PORTUGUÊS DO BRASIL Documento
-
APLICAÇÕES DE ALGORÍTIMOS USANDO VISÕES MATERIALIZADAS PARA INTEGRAÇÃO DE BIBLIOTECAS DIGITAIS Documento
-
ARQUITETURA PARA SELEÇÃO DE ÍNDICES EM BANCO DE DADOS RELACIONAIS, UTILIZANDO ABORDAGEM BASEADA EM CUSTOS DO OTIMIZADOR Documento
-
ASSINALAMENTOS DE TESTES PARA UM ALGORITMO DE DIAGNÓSTICO EM NÍVEL DE SISTEMA PARA REDES DE SENSORES SEM FIO: UMA COMPARAÇÃO DE ABORDAGENS Documento
-
AUTOMATIC ALGORITHM SELECTION FOR THE QUADRATIC ASSIGNMENT PROBLEM USING META-LEARNING PRINCIPLES AND FITNESS LANDSCAPE MEASURES Documento
-
AUTOMATIC INTRAPERSONAL VARIABILITY MODELING FOR OFFLINE SIGNATURE AUGMENTATION Documento
-
AVALIAÇÃO DE CAPACIDADES ASSOCIADAS A ALFABETIZAÇÃO BILÍNGÜE DE CRIANÇAS SURDAS: UM PROTOTIPO DE SISTEMA WEB BASEADO NUMA METODOLOGIA DA PSICOLOGIA EXPERIMENTAL Documento
-
AVALIAÇÃO DE TECNICAS PARA O RECONHECIMENTO DE PESSOAS PELA FORMA DE ANDAR (GAIT RECOGNITION) Documento
-
AVALIAÇÃO DE TÉCNICAS DE ANÁLISE DE TEXTURAS PARA CLASSIFICAÇÃO DE FAMÍLIAS DE MALWARE Documento
-
Abordagem modular baseada em dicionário para reconhecimento de entidades nomeadas através de associação aproximada Documento
-
Abordagens Livres de Segmentação para Reconhecimento Automático de Cadeias Numéricas Manuscritas Utilizando Aprendizado Profundo Documento
-
Aceleração de Cache Misses Prováveis Através de Requisições Paralelas Documento
-
Adaptação Dinâmica de Parâmetros em Computação Evolucionária: o Controle do Tamanho da População em um Sistema de Programação Genética Documento
-
Adaptação de Apresentação de Conteúdos de Objetos de Aprendizagem considerando Estilos de Aprendizagem Documento
-
Agrupamento Dinâmico de Sensores Baseado na Similaridade de Leitura de Dados Documento
-
Algoritmo Genético Restrito por Listas Tabu no Contexto de Mineração de Dados Documento
-
Algoritmos Evolutivos Multi-Objetivo para Problemas com Vários Objetivos Documento
-
Algoritmos Genéticos para Planejamento em Inteligência Artificial Documento
-
Algoritmos Híbridos em Mineração de Dados. Documento
-
Algoritmos Paralelos para Árvores de Cortes e Medidas de Centralidade em Grafos Documento
-
Algoritmos de nuvem de partículas e a otimização com muitos objetivos Documento
-
Algoritmos exatos para o problema da coloração de grafos Documento
-
Algoritmos genéticos para solução de problemas de alcançabilidade em uma determinada classe de redes de Petri acíclicas Documento
-
Algoritmos para Teste de Perfeição de Grafos Documento
-
Algoritmos para planificacao baseada em strips Documento
-
Alinhamento automático de imagens de profundidade para modelagem 3D de objetos. Documento
-
Alocação de recursos com máxima conectividade em redes com topologia arbitrária Documento
-
Alternância entre Competição e Colaboração para Promover o Aprendizado por meio da Heurística de Jogos Documento
-
Ambiente Interativo Tangível de Baixo Custo para Apoio ao Letramento Braille Documento
-
Ambiente Virtual Interativo com Colisão e Deformação de Objetos para Treinamento Médico Utilizando a API Java Documento
-
Ambiente de Simulação para Sistemas Embarcados utilizando ArchC Documento
-
Ambiente de consulta para o modelo ERC+ Documento
-
Ambientes Virtuais Baseados na Web - Opções Tecnológicas e Estratégias para Execução em Máquinas com Recursos Limitados de Processamento e Memória e para o Aumento do Nível de Usabilidade pela Redução das Dificuldades na Instalação Documento
-
An Architecture for Mapping Relational Database to Ontology Documento
-
An Efficient and Layout-Independent Automatic License Plate Recognition System Based on the YOLO Detector Documento
-
An adaptive evolutionary multi-objective clustering based on the quality of the base partitions Documento
-
An analysis of deep neural networks for texture classification Documento
-
Analise experimental do quicksort probabilístico com gerador de números pseudo-aleatórios penta-independente Documento
-
Análise Comparativa de Técnicas de Iluminação Global para Síntese de Imagens com Realismo Documento
-
Análise Comparativa de Uso dos Conjuntos de Instruções dos Microprocessadores de 32 bits MIPS, PowerPC e SPARC Documento
-
Análise Experimental de Algoritmos Documento
-
Análise da Aplicabilidade das Regras de Ouro ao Tuning de Sistemas Gerenciadores de Bancos de Dados Relacionais em Ambientes de Computação em Nuvem. Documento
-
Análise de Tráfego de Backbones Baseada em Sistemas Gerenciadores de Streams de Dados Documento
-
Análise de Tráfego de Backbones Baseado em Sistemas Gerenciadores de Streams de Dados Documento
-
Análise de desempenho do Planejamento Módulo Teorias para um novo domínio usando recursos e tempo Documento
-
Análise de layout de página em jornais históricos Germano-Brasileiros Documento
-
Análise de mutantes e critérios restritos no contexto de teste de software: Resultados de uma avaliação empírica. Documento
-
Análise do Comportamento da Hierarquia de Memória com OProfile Estendido Documento
-
Análise do impacto das estratégias de seleção de tradicionais MOEAs em MOEDAs: CMA-ES e UMDA Documento
-
Análise do uso de formalização de conhecimento heurístico no ensino de jogos através do estímulo à alternância entre competição e colaboração Documento
-
Análise qualitativa de métodos de planificação de malhas tridimensionais Documento
-
Ao redor dos sistemas Documento
-
Aplicação de Formas Não-Clausais em Planejamento com Redes de Petri Documento
-
Aplicação do Algoritmo de Kruskal na Otimização de Consultas com Múltiplas Junções Relacionais Documento
-
Aplicações de Algoritmos Usando Visões Materializadas para Integração de Bibliotecas Digitais Documento
-
Approximation Algorithms in Graphs via Sample Complexity Documento
-
Aprendizado de Regras de Classificação com Nuvem de Partículas Multiobjetivo Documento
-
Aprisionamento na Infraestrutura de Tecnologia da Informação Documento
-
Arcabouço para Formação de Pares de Estudantes para Online Peer Assessment Documento
-
Arcabouço para Mapeamento do Conhecimento do Aluno Baseado no Modelo de Redescrição Representacional Documento
-
Arco Consistência Generalizada em Codificações SAT Relativas Documento
-
ArqMAEC: um modelo arquitetural baseado em Agentes para monitorar, avaliar e estimular a colaboração em ambientes educacionais gamificados Documento
-
Arquitetura em Pipeline para o Algoritmo de Canny em uma plataforma VHDL/FPGA Documento
-
Arquitetura para Seleção de Índices em Bancos de Dados Relacionais, utilizando abordagem baseada em custos do Otimizador Documento
-
Arquitetura pedagógica computacional para interações intelectuais entre crianças surdas e pais não-surdos em Libras e Português. Documento
-
Arquivamento Digital a Longo-Prazo baseado em Seleção de Repositórios em Redes Peer-to-Peer Documento
-
Atores e Permissões de Acesso em Ambiente Dedicado à Pratica Ensino e Aprendizagem de Xadrez Documento
-
Automatic Identification of Phasic Dopamine Release Documento
-
Automatização da evolução de esquemas em ferramentas de transporte de dados para Data Warehouse Documento
-
Autoria de diretrizes pedagógicas destinadas ao treinamento das múltiplas capacidades da perícia em conceitos visuais complexos Documento
-
Avaliacao de Desempenho da Comunicacao com PVM em Ambiente Linux Documento
-
Avaliação Experimental de Ferramentas para Medição de Largura de Banda Documento
-
Avaliação da viabilidade de Modelos Filogenéticos na classificação de aplicações maliciosas Documento
-
Avaliação de Algoritmos de Escalonamento de Disco com Qualidade de Serviço em Ambientes Virtualizados Documento
-
Avaliação de Descritores de Textura para Segmentação de Imagens Documento
-
Avaliação de Desempenho em Aglomerados de PCs Interligados por Ehternet Documento
-
Avaliação de Desempenho em Aglomerados de PCs Interligados por Ethernet Documento
-
Avaliação de Sistemas de Recuperação de Imagens Baseada em Conteúdo: Um Estudo de Caso na Área Médica Documento
-
Avaliação de rugas cutâneas da região periorbital baseada em processamento digital de imagens Documento
-
Avaliação do Detector de Pontos de Interesse IGFTT em Visual SLAM Documento
-
Avaliação do impacto da retroação na aprendizagem apoiada por uma ferramenta educacional Documento
-
BASEADO EM DEFEITOS DE CLASSES JAVA UTILIZANDO ASPECTOS E MUTAÇÃO DE ESPECIFICAÇÕES OCL Documento
-
BEYOND SIGHT: AN APPROACH FOR VISUAL SEMANTIC NAVIGATION OF MOBILE ROBOTS IN AN INDOOR ENVIRONMENT Documento
-
BIOMETRIC IDENTIFICATION WITH 3D FINGERPRINTS ACQUIRED THROUGH OPTICAL COHERENCE TOMOGRAPHY Documento
-
BOOSTING E ESTRATÉGIAS EVOLUCIONÁRIAS NA TAREFA DE REGRESSÃO PARA A MINERAÇÃO DE DADOS TEMPORAIS Documento
-
Benchmark em Banco de Dados Multimídia: Análise de Desempenho em Recuperação de Objetos Multimídia Documento
-
Biclique aresta coloração por listas Documento
-
Biometria neonatal: da aquisição ao reconhecimento por imagens papiloscópicas digitais. Documento
-
Busca de Padrões em Subdivisões Planares Documento
-
Busca e ranqueamento de recursos educacionais com suporte de agrupamento de tags Documento
-
CAAMPI: UMA ABORDAGEM BASEADA EM TÉCNICAS DE AGRUPAMENTO PARA MINERAÇÃO DE ASPECTOS E IDENTIFICAÇÃO DE PONTOS DE CORTE. Documento
-
CAJEDUS : Uma Metodologia para Concepção de Jogos Educativos para Crianças Surdas Baseados em Objetivos de Aprendizagem da Educação Infantil Documento
-
CARACTERIZAÇÃO DE PERSONAGENS CRÍVEIS EM JOGOS ELETRÔNICOS Documento
-
COMPRESSÃO FRACTAL DE IMAGENS Documento
-
COMPRESSÃO SEM PERDAS DE PROJEÇÕES DE TOMOGRAFIA COMPUTADORIZADA USANDO A TRANSFORMADA WALVELET. Documento
-
CONCEITOS E FERRAMENTAS PARA ENSINO DO JOGO DE XADREZ ATRAVÉS DE COMPUTADORES Documento
-
CONSTRUÇÃO DE GRAMÁTICA DO PORTUGUÊS PARA UM ESTUDO COMPARATIVO DA ROBUSTEZ DE ALGUNS ALGORITMOS DE ANÁLISE GRAMATICAL Documento
-
CORE-SL-SW-GENERATOR: GERADOR AUTOMÁTICO DA ESCRITA DA LIBRAS A PARTIR DE UM MODELO DE ESPECIFICAÇÃO FORMAL DOS SINAIS Documento
-
CORE-SL-Sign Register: Ferramenta computacional para a especificação de sinais da Libras Documento
-
Caracterização da Rede de Sincronização na Internet Documento
-
Caracterização de Parâmetros para Modelos de Serviço HTTP Documento
-
Caracterizações de buscas em hipermultigrafos Documento
-
Causalidade e dependência em raciocínio sobre ações Documento
-
Circular Arc Bigraphs and their Helly subclass Documento
-
Classificação de Padrões Radiológicos Por Blocos em Imagens Não Segmentadas de Tomografia Computadorizada Documento
-
Classificação e Avaliação de Sistemas de Recuperação de Imagens por Conteúdo. Documento
-
Cobertura por Vértices Mínima em Grafos Lei de Potência Documento
-
Combinação de Características Texturais para a Classificação Automática de Vagas de Estacionamento Documento
-
Communication Patterns Abstractions for Programming SDN to Optimize High-Performance Computing Applications Documento
-
Compactação Eficiente da Geometria de Malhas Triangulares Documento
-
Comparing restricted propagation graphs for the similarity flooding algorithm Documento
-
Composição de Serviços Virtualizados de Rede sobre Múltiplos Orquestradores NFV & Tolerância a Falhas para Microsserviços do Controlador O-RAN Documento
-
Composição dinâmica de Serviços Web utilizando ontologias na descrição e planejadores hierárquicos em inteligência artificial Documento
-
Compressão Sem Perdas de Projeções de Tomografia Computadorizada usando a Transformada Wavelet Documento
-
Conceitos e Ferramentas de Apoio ao Aperfeiçoamento de Desempenho de Heurísticas de Jogos Documento
-
Conceitos e Ferramentas para a Modelagem de Aprendizes no Ensino de Conceitos Visuais Documento
-
Conceitos e ferramentas para apoiar o ensino de lógica de programação imperativa Documento
-
Conhecimento Zero Estatístico e Reduções Eficientes para o Problema MKTP Documento
-
Consolidação em Open Design: Uma abordagem sociotecnica Documento
-
Construindo Descrições Simbólicas Consistentes com Aplicação a um Sistema de Autoria de Conceitos Visuais Documento
-
Construindo Sistemas Distribuídos Tolerantes a Falhas e Eficientes em Redes SDN com NFV Documento
-
Construção de Gramática do Português para um Estudo Comparativo da Robustez de Alguns Algoritmos de Análise Gramatical Documento
-
Controle da Disseminação em Agrupamentos Dinâmicos de Dados Para Rede IoT Densa Contra o Ataque de Injeção de Dados Falsos Documento
-
Controle de Acesso baseado em Criptografia para a Distribuição Segura de Conteúdo Multimídia em Redes Centradas em Informação Documento
-
Correspondência de minúcias utilizando nuvens de poros 3D Documento
-
Customização em Ambientes de Qualidade de Dados Documento
-
DASFLOW: UMA ARQUITETURA DISTRIBUÍDA DE ARMAZENAMENTO E PROCESSAMENTO PARA DADOS DE MONITORAMENTO DE REDE Documento
-
DBValTool: Uma Ferramenta para Apoiar o Teste e a Validação de Projeto Lógico de Banco de Dados Relacional Documento
-
DETECÇÃO E REMEDIAÇÃO DE ERROS NA GENERALIZAÇÃO DE CONCEITOS MATEMÁTICOS POR MEIO DE SISTEMAS TUTORES INTELIGENTES Documento
-
DETECÇÃO MULTI-LABEL DE ACTION UNITS EM MÚLTIPLAS POSES DA CABEÇA COM REGIÕES DINÂMICAS DE APRENDIZADO, REDES NEURAIS CONVOLUCIONAIS E REDES NEURAIS RECORRENTES Documento
-
DIGITAL A LONGO-PRAZO BASEADO EM SELEÇÃO DE REPOSITÓRIOS EM REDES PEER-TO-PEER Documento
-
DO ALGORITMO DE KRUSKAL NA OTIMIZAÇÃO DE CONSULTAS COM MÚLTIPLAS JUNÇÕES RELACIONAIS Documento
-
Dados Meteorológicos: Um estudo de viabilidade utilizando um SGBD em plataforma de baixo custo Documento
-
Data Instrumentation from Network Traffic as Support for Performance and Security Management in IoT Documento
-
Data Migration Between different Data Models for NoSQL Databases Documento
-
De volta ao passado: Memoria Virtual com segmentação para maquinas com memoria RAM quase infinita Documento
-
Decisão no Handoff Ciente da Confidencialidade das Redes de Acesso Documento
-
Deep Representations for Iris and Periocular Biometric Systems Documento
-
Definiçăo de um padrăo baseado em xml para descriăo de normas jurídicas brasileiras Documento
-
Definição de Uma Arquitetura Integrada de Repositório de Padrões e Metadados Documento
-
Definição formal de táticas de Xadrez por meio da autoria incremental de conceitos heurísticos Documento
-
Dependency Rank: Método de priorização de requisitos baseado nas relações de dependência identificadas por PLN Documento
-
Descoberta da Topologia de Redes Dinâmicas e Descentralizadas com Agentes Móveis Inteligentes Documento
-
Desdobramento para Redes de Petri k-limitadas Documento
-
Desenvolvimento de Sistemas de Armazenaemnto para Redes de Sensores Sem Fio Baseado em Máquina de Estados Documento
-
Desenvolvimento de Técnicas de Caminhos Disjuntos para Roteamento em Systems-on-Chip Documento
-
Desenvolvimento de um repositório distribuído chave-valor com garantia de localidade de dados Documento
-
Desenvolvimento de um sistema CAD para detecção de nódulo pulmonar em exames de tomografia computadorizada de tórax Documento
-
Designing deep neural networks using a flexible grammar-based evolutionary approach Documento
-
Detecção de Outliers no Espaço Semântico Aplicada à Análise de Sentimento por Redes Neurais Convolucionais Documento
-
Detector Híbrido de Anomalias para Agricultura Inteligente Documento
-
Detecção de Alterações de Conteúdo em Redes P2P para Transmissões de Mídia Contínua ao Vivo Documento
-
Detecção de eventos de segurança em vídeo. Documento
-
Detecção do Ventrículo Esquerdo do Coração para Geração de Imagens Híbridas Multimodais com Aquisição Atemporal Documento
-
Detecção e Remediação de Erros Através de Múltiplas Representações Externas e da Teoria da Reparação Documento
-
Diagnóstico de Imunoensaios de fluxo lateral por meio de reconhecimento de padrões Documento
-
Diagnóstico de Redes de Topologia Arbitrária: Um Algoritmo Baseado em Inundação de Mensagens Documento
-
Diretrizes para o Design de Aplicações de Jogos Eletrônicos para Educação Infantil de Surdos Documento
-
Discovery and Application of Data Dependencies Documento
-
Disseminação Segura de Conteúdo Diante de Ataques Sybil para a Internet das Coisas. Documento
-
Disseminação Segura de Dados Pessoais Vitais Para Apoio às Tomadas de Decisão em Situações Emergenciais Documento
-
Dystopol - políticas para armazenamento dinâmico de dados em redes de sensores sem fios Documento
-
EFFECTIVE TECHNIQUES FOR DETECTING AND LOCATING TRAFFIC DIFFERENTIATION IN THE INTERNET Documento
-
ENoC: Rede em Chip Expansível Documento
-
ESCALONAMENTO DE TAREFAS NO FECHAMENTO DE LACUNAS EM PLATAFORMAS DE SEQUENCIAMENTO GENÉTICO DE NOVA GERAÇÃO Documento
-
ESTRATÉGIAS DE MAPEAMENTO DE THREADS PARA PROCESSAMENTO EFICIENTE DE CONSULTAS Documento
-
ESTUDO DE UMA FERRAMENTA DE MEDIAÇÃO DO ERRO EM DISCIPLINAS DE ALGORITMOS: UMA PROPOSTA DE METODOLOGIA PARA PROMOÇÃO DA INTERAÇÃO Documento
-
ESTUDO DE VIABILIDADE DE UMA PLATAFORMA DE BAIXO CUSTO PARA DATA WAREHOUSE Documento
-
EXECUÇÃO DISTRIBUÍDA DE BENCHMARKS EM SISTEMAS DE BANCOS DE DADOS RELACIONAIS ATRAVÉS DO TPCC-C3SL Documento
-
EXTRAÇÃO DE REGRAS DE INTEGRIDADE REFERENCIAL A PARTIR DO CÓDIGO FONTE Documento
-
Efficient Evolutionary-based Neural Architecture Search in few GPU hours for Image Classification and Medical Image Segmentation Documento
-
Embedded Landmark Acquisition System for Visual SLAM Using Star Identification Based Stereo Correspondence Descriptor Documento
-
Especificação Formal do SNMPv3 usando Semântica de Ações Documento
-
Especificação Formal e Implementação de um Protótipo para a Linguagem ParaLog Documento
-
Estudo de Caso de Um Ambiente de Edição Colaborativa de Material Documento
-
Estudo de Caso de Um Ambiente de Edição Colaborativa de Material Técnico-Didático Utilizando Engenharia Semiótica Documento
-
Estudo de Gestão de Dados Não Convencionais Baseada em Metadados para o Ambiente de Dispositivos Móveis Documento
-
Estudo empírico e aspectos pré-computacionais para a detecção automática de capacidades da perícia em aprendizes de xadrez Documento
-
Estudos Empíricos dos Métodos de Balanceamento para a Classificação Documento
-
Evolução Diferencial Intervalar: uma abordagem baseada em decomposição estrutural de problemas de otimização global Documento
-
Evolução de Funções em Programação Genética Orientada a Gramáticas Documento
-
Execução distribuída de benchmarks em sistemas de bancos de dados relacionais Documento
-
Explorando o Relacionamento entre Metricas Baseadas em Caso de Uso e o Numero de Casos de Teste Documento
-
Explorando teste baseado em perturbaçăo no contexto de Web Services Documento
-
Extensão do framework waLBerla para uso de GPU em simulações do método de Lattice Boltzmann Documento
-
Extensão no Mapeamento de Workflows Científicos Abstratos para Execução em Ambientes de Nuvens com Serviços de Insfraestrutura. Documento
-
FERRAMENTAS INTEGRADAS DE ACESSO REMOTO PARA APOIAR O AUTO-ESTUDO E A COMPETICÃO EM JOGOS HEURÍSTICOS Documento
-
Farma: Uma ferramenta de autoria para objetos de aprendizagem de conceitos matemáticos Documento
-
Ferramenta computacional para treinamento no reconhecimento e producao de expressões faciais por autistas Documento
-
Ferramenta de Autoria e Ensino de Perícias em Circuitos Elétricos Documento
-
Ferramentas Integradas de Acesso Remoto para Apoiar o Auto-Estudo e a Competição Documento
-
Ferramentas de apoio ao aprendizado de algoritmos de busca heurística por meio da visualização das árvores de memória Documento
-
Ferramentas e métodos para apoiar o ensino de Xadrez na fronteira entre os fundamentos e a perícia Documento
-
Ferramentas para apoio ao ensino estruturado de conceitos visuais na educação de surdos Documento
-
Fusão de Sensores Utilizando Técnica de Fingerprint kNN e Ponderação de Atributos para Localização Indoor de um Robô Móvel Documento
-
GADBMS - UM ALGORITMO GENÉTICO MINERADOR DE DADOS PARA BASE DE DADOS RELACIONAIS Documento
-
GENERATION OF REFACTORING ALGORITHMS THROUGH GRAMMATICAL EVOLUTION Documento
-
GERADOR DE PERÍFRASES VERBAIS DO TIPO ESTAR+GERÚNDIO E ESTAR+PARTICÍPIO PASSADO EM PORTUGUÊS Documento
-
Garantia de Integridade em Bases RDF Documento
-
Gerando dados para o Teste de Mutação de Linha de Produto de Software com algoritmos de otimização multiobjetivo Documento
-
Geração de Códigos de Simullação para Armazenamento de Dados em Redes de Sensores Sem Fio Documento
-
Geração de Perífrases Verbais do tipo ESTAR + GERÚNDIO e ESTAR + PARTICÍPIO PASSADO em Português Documento
-
Geração e Análise de Sobrecarga em Servidores Web Documento
-
Gerencia Confiavel de Redes Locais Baseada em Diagnostico Distribuido Documento
-
Gerenciamento de Pequenos Projetos de Software Documento
-
Gerenciamento de chaves públicas sobrevivente baseado em grupos para MANETs Documento
-
Gerência de Desempenho Baseada em Pesquisa Multidimensional Documento
-
Gerência do Ciclo de Vida de VNFs e Implementação de Serviços Distribuídos na Rede Documento
-
Gherkin Specification Extension - Uma linguagem de especificação de requisitos baseada em Gherkin Documento
-
Grafos Bi-Arco Circulares Documento
-
Grafos Biclique de Grafos de Bi-Intervalos e Bi-Arco-Circulares Documento
-
HPNet: Detecting human parts in the wild Documento
-
HadoopTest: um controlador de testes para sistemas baseados em MapReduce Documento
-
Hidra: Arquivamento Digital de Alta-Confiabilidade utilizando Auditoria em redes peer-to-peer Documento
-
HiveQL Self-Tuning Documento
-
Hyper- heuristic Particle Swarm Optimization for Many-objective Problems Documento
-
IDENTIFICADOR MULTHREAD DE FLUXO DE OBJETOS: ABORDAGEM POR AGRUPAMENTO DE VETORES DE MOVIMENTO E MODELAGEM DE BACKGROUND Documento
-
IMPLEMENTAÇÃO DE UMA ANÁLISE SEMÂNTICA DA CONTRUÇÃO ESTAR + PARTICÍPIO PASSADO EM PORTUGUÊS Documento
-
INTERPRETAÇÃO PEDAGÓGICA DE RELAÇÕES LÓGICAS EM DIÁLOGOS PARA O ENSINO DE CONCEITOS VISUAIS Documento
-
ISOMORFISMO DE GRAFOS APLICADO À COMPARAÇÃO DE IMPRESSÕES DIGITAIS Documento
-
Identificação de Espécies Florestais Utilizando Seleção Dinâmica de Classificadores no Espaço de Dissimilaridade Documento
-
Identificação de Propriedade em Imagens com Marcas d?Água no Domínio da Transformada Wavelet Documento
-
Identificação de Recém-Nascidos Utilizando Impressões Palmares e Plantares Documento
-
Identificação e Verificação de Escritores Usando Características Texturais e Dissimilaridade Documento
-
Identifying Evidences of Computer Programming Skills Through Automatic Source Code Evaluation Documento
-
Image-Based Appearance Preservation Documento
-
Implementação de uma Análise Semântica da Construção estar + particípio em Português Documento
-
InCoP: UM FRAMEWORK CONCEITUAL PARA O DESIGN DE AMBIENTES COLABORATIVOS INCLUSIVOS PARA SURDOS E NÃO SURDOS DE CULTIVO A COMUNIDADES DE PRÁTICA Documento
-
Indexação de Imagens Documento
-
Inferência de estados afetivos em ambientes educacionais: proposta de um modelo híbrido baseado em informações cognitivas e físicas. Documento
-
Informação de auxílio ao usuário no paradigma de auto-pubicação em arquivos abertos Documento
-
Informática educacional e a mediação do erro na educação: um estudo teórico-crítico e uma proposta de instrumento computacional Documento
-
Innovative Hybrid MOEA/D variants for solving multi-objective Combinatorial Optimization Problems Documento
-
Interpretação dos advérbios de localização temporal em Português Documento
-
Investigando a Implementação do Consenso Escalável sobre o VCube Documento
-
Investigação de Técnicas de Projeto de Cache de Dados para Sistemas Embarcados Documento
-
J-Query - Uma Ferramenta para Consulta a Bancos de Dados Heterogeneos Distribuidos Documento
-
JEIS - Framework conceitual e ferramenta de autoria para a construção de jogos digitais para Educação Infantil de surdos Documento
-
LETRAR: UM MODELO DE AMBIENTE VIRTUAL DE APOIO AO ENSINO DA LÍNGUA PORTUGUESA ESCRITA COMO SEGUNDA LÍNGUA PARA CRIANÇAS SURDAS MEDIADO PELA LIBRAS Documento
-
LEX-LIBRAS: Descrição das Unidades Morfossintáticas da LIBRAS a partir dos Parâmetros Fonológicos para o Processo de Tradução Automática por um Avatar Documento
-
LOCALIZAÇÃO DE OBJETOS UTILIZANDO LEITURA DE INTENSIDADE DE SINAL WIRELESS E ENXAME DE ROBÔS Documento
-
Language Features Library - Uma biblioteca de Classes para Semântica de Ações Orientada a Objetos Documento
-
Limites de Capacidade e Proteção de Servidores em Redes Gigabit Documento
-
Linguagem e ferramenta de autoria para a meta-modelagem de aprendizes de conceitos visuais Documento
-
MAFINT: Modelo Afetivo de Intervenção Tutorial a Partir Da Identificação do Erro do Aprendiz em Sistemas Tutores Inteligentes Documento
-
METODOLOGIA DE DESENVOLVIMENTO DE SOFTWARE LIVRE COM ARQUITETURAS ORIENTADAS A SERVIÇOS: UM ESTUDO DE CASO EM UM AMBIENTE DE TRADUÇÃO AUTOMÁTICA Documento
-
METODOLOGIA PARA IMPLEMENTAÇÃO DE ESTRATÉGIAS COLABORATIVAS MEDIADAS POR FERRAMENTAS DE INTERAÇÃO SÍNCRONAS Documento
-
MOvalues: Um método orientado a valores para a avaliação de redes sociais online Documento
-
Manutenção de Visões Materializadas em Data Warehouse Documento
-
Manutenção incremental de visões materializadas em ambientes Datawarehousing. Documento
-
Mapeamento de Atributos Complexos e Multivalorados na Extração de Esquemas Utilizando XML Documento
-
Masking Salient Object Detection, a Mask Region-based Convolutional Neural Network Analysis for Segmentation of Salient Objects Documento
-
Matrigs - Um ambiente de Interface pra mapeamento de triggers em modelo ERC+ Documento
-
Maximização de Influência em Grafos Lei de Potência Documento
-
Medidas Cognitivas para Ensino de Conceitos Visuais com Sistemas Tutores Inteligentes Documento
-
Mestrado em Computação Documento
-
Metodologia baseada em Visão Computacional e Aprendizado de Máquina para guiar o projeto de sistemas de Comunicação Aumentativa e Alternativa usando interação gestual personalizada Documento
-
Mineração de Dados com Algoritmos Genéticos Documento
-
Mineração de imagens do projeto FootScanAge Documento
-
ModelVars2SPL: An Automated Approach to Reengineer Model Variants into Software Product Lines Documento
-
Modelagem Simbólica de Padrões Morfológicos para a Classificação de Séries Temporais Documento
-
Modelagem de Desempenho de Servidores Web empregando a Teoria Network Calculus Documento
-
Modelagem do Processo de Aquisição de Conhecimento Apoiado por Ambientes Inteligentes Documento
-
Modelo Computacional e sua Implementação para Identificação de Perfil de Personalidade Baseado em Textos Educacionais Documento
-
Modelo de apoio ao design de ambientes colaborativos para elaboração de conteúdos didáticos Documento
-
Modelo de calibração para sistemas de odometria robótica Documento
-
Modelo de inferência dos parâmetros causais: incorporação da probabilidade de conhecimento nas atribuições das causas dos sucessos ou fracassos em atividades cognitivas e sua relação com as ações dos estudantes Documento
-
Multi-PBil: Um Algoritmo de Estimação de Distribuição Aplicado a Problemas de Otimização Multimodais. Documento
-
MÉTODO PARA VERIFICAÇÃO DE PROPRIEDADES DE REDES DE PETRI UTILIZANDO RESOLVEDORES SMT Documento
-
Método de Desdobramento Temporal para Redes de Petri Temporais Documento
-
Método para Representação de Clustering para Dados Espaciais Documento
-
Métodos de agrupamento: uma abordagem comparativa com aplicação em segmentação de imagens de profundidade Documento
-
Métricas de Software Baseadas em Casos de Uso e Teoria Fuzzy Documento
-
NOVAS ESTRAT´EGIAS PARA OTIMIZACAO POR NUVEM DE PARTICULAS APLICADAS A PROBLEMAS COM MUITOS OBJETIVOS Documento
-
Nariz - Um Sistema de Correlacionamento de Alertas Distribuído Documento
-
Need for Speed: Analysis of Brazilian Malware Classifiers? Expiration Date. Documento
-
Negociação de Preços em Comércio Eletrônico Documento
-
Network Optimizations in Software Defined Networks for Data Placement in Big Data Systems Documento
-
Nose Pose Estimation in The Wild and Its Applications on Nose Tracking and 3D Face Alignment Documento
-
Novel deep learning methods applied for unconstrained visual object recognition and 3D modeling from point clouds Documento
-
O Uso de Cadeias de Assinaturas em Redes Tolerantes a Atrasos e Desconexões Documento
-
O Uso de Múltiplos Enxames na Otimização de Problemas com Vários Objetivos Documento
-
OTIMIZAÇÃO DE CONSULTAS NO POSTGRESQL UTILIZANDO O ALGORITMO DE KRUSKAL Documento
-
OTIMIZAÇÃO DO INSIGHT SEGMENTATION AND REGISTRATION TOOLKIT (ITK) UTILIZANDO STREAMING SIMD EXTENSIONS (SSE) e OPENMP Documento
-
On the Semantic Information in Zero-Shot Action Recognition Documento
-
Optimizations and Applications of the T-Distributed Stochastic Neighbor Embedding Algorithm: An Approach Based on High Scalability Solutions Documento
-
Optimização de Consulta para NoSQL Documento
-
Otimização de Consultas SPARQL em Bases RDF Distribuídas Documento
-
Otimização de sistemas intervalares não lineares acíclicos Documento
-
Otimização de um algoritmo de estimativa de distribuição na tarefa de seleção de características Documento
-
Otimização por Nuvem de Partículas Multiobjetivo no Aprendizado Indutivo de Regras: Extensões e Aplicações Documento
-
PANLYSER, UMA FERRAMENTA DE BAIXO IMPACTO PARA MEDIÇÃO DE UTILIZAÇÃO DE RECURSOS DO SISTEMA OPERACIONAL LINUX Documento
-
PEWS Editor, Um front-end para linguagem de composição PEWS Documento
-
POPULARIZAÇÃO DA CIÊNCIA: A PESQUISA-AÇÃO COMO INSTRUMENTO DE CONSTRUÇÃO DO CONHECIMENTO CIENTÍFICO E INCLUSÃO SOCIAL Documento
-
POR NUVEM DE PARTICULAS MULTIOBJETIVO NO APRENDIZADO INDUTIVO DE REGRAS: EXTENSÕES E APLICAÇÕES Documento
-
PRESERVANDO O ESTILO ARQUITETURAL NO PROJETO BASEADO EM BUSCA DE LINHA DE PRODUTO DE SOFTWARE Documento
-
PROGRAMAÇÃO DE MÁQUINAS-FERRAMENTAS DE 3 EIXOS ASSISTIDA POR EDITOR PARA MODELAGEM E SIMULADOR GRÁFICO 3D DE PEÇAS Documento
-
PROJETO E IMPLEMENTAÇÃO DE MULTIPROCESSADOR EMBARCADO EM DISPOSITIVOS LÓGICOS PROGRAMÁVEIS Documento
-
PROVEDORES DE DADOS DE BAIXO CUSTO: PUBLICAÇÃO DIGITAL AO ALCANCE DE TODOS Documento
-
Paralelização do Detector de Bordas Canny para a Biblioteca ITK utilizando CUDA. Documento
-
Pensamento Computacional e Educação de Jovens e Adultos: na direção de um modelo socialmente consciente Documento
-
Pesquisa-Ação na Construção de Insumos Conceituais para um Ambiente Computacional de Apoio ao Letramento Bilíngue de Crianças Surdas Documento
-
Pipeline para reconstrução digital de objetos com scanners 3D de triangulação a laser: aplicação na preservação digital de acervos naturais e culturais. Documento
-
Planarização de Grafos por Divisão de Vértices Documento
-
Planejamento aplicado à verificação de bloqueios em redes de Petri Documento
-
Planejamento de Caminhos 3D em ambiente estático Documento
-
Planejamento em Inteligência Artificial utilizando Redes de Petri Cíclicas Documento
-
Planejamento em Redes de Tarefas Hierárquicas com Aplicação em Jogos Documento
-
Planejamento em inteligência artificial na Lógica de Ações e Planos Documento
-
Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos Documento
-
Plataforma para Desenvolvimento e Avaliação de Resolvedores SAT Documento
-
Point Spread Function Estimation of Solar Surface Images with a Cooperative Particle Swarm Optimization Documento
-
PredTool: Uma ferramenta de apoio ao teste baseado em predicados Documento
-
Predição de movimento em jogos distribuídos baseada em Aprendizado de Máquina Documento
-
Processamento Digital de Imagens e a Evolução Tecnológica na Resolução em Sensoriamento Remoto: O Caso da Fusão de Imagens de Diferentes Resoluções Especiais. Documento
-
Profiling Halide DSL with Performance Events for Schedule Optimization Documento
-
Programação Genética Baseada em Árvores para Classificação com Uma Classe com Ênfase na Geração de Anomalias. Documento
-
Programação Genética Orientada a Gramática e a Mineração de Base de Dados Relacional Documento
-
Programação Genética Orientada à Gramática e a Mineração de Base de Dados Relacionais Documento
-
Programação Matemática e Imersões Métricas para Aproximações em Problemas de Corte Documento
-
Projeto e Implementação de um Protótipo para a linguagem ParaLog Documento
-
Proposta de um Método de Verificação por Tempo Global com Redes de Petri no Desenvolvimento de Software Embarcado e de Tempo Real Documento
-
Proposta de um algoritmo de programacao genetica baseado em estrategias evolucionarias Documento
-
Proposta de uma Arquitetura de Componentes para Sistemas de Informação baseados na Web Documento
-
Proposta de uma Plataforma de Imageamento Microscópio Portátil baseada em Holografia Digital Inline Documento
-
Proposta de uma Área de Convergência Nuvem-HPC para a Redução do Número de Violações de Tempo de Resposta em Centrais de Dados Documento
-
Proteção de dados de autenticação em um sistema operacional usando enclaves SGX Documento
-
Protocolo de Roteamento para Redes DTN Documento
-
Protocolo de transparência da Mobilidade para Redes Ad Hoc Móveis Documento
-
Provisionamento de Recursos Computacionais baseado em Redes de Petri para Bancos de Dados Orientados a Leitura Documento
-
Príncipios de Banco de Dados para Imagens Médicas Documento
-
Pupilometria Dinâmica para Avaliação do Reflexo Fotomotor na detecção da Neuropatia Autonômica Diabética e Relação Glicêmica Documento
-
RASTREAMENTO FACIAL E REFINAMENTO DE PONTOS FIDUCIAIS 3D BASEADO NA REGIÃO DO NARIZ EM AMBIENTES NÃO CONTROLADOS Documento
-
RECONHECIMENTO FACIAL 3D USANDO SIMULATED ANNEALING E A MEDIDA DE INTERPENETRAÇÃO DE SUPERFÍCIES Documento
-
REPRESENTAÇÃO DE TEXTOS E ARQUITETURA DE REDES NEURAIS PROFUNDAS MISTAS USANDO UMA ABORDAGEM DE EVOLUÇÃO GRAMATICAL Documento
-
REPRESENTAÇÃO E FERRAMENTAS PARA A MODELAGEM DE APRENDIZES NO ENSINO DE CONCEITOS VISUAIS Documento
-
Raciocínio Baseado em Casos como Recomendador de Conteúdo Pedagógico Documento
-
Real-time 3D face recognition using low-cost acquisition devices Documento
-
Recomendações de acessibilidade para surdos dos tipos de questões usadas na avaliação baseada em computador em ambientes virtuais de aprendizagem Documento
-
Reconhecimento Automático de Padrões Radiológicos Utilizando Aprendizado Profundo Documento
-
Reconhecimento de Expressões Faciais Compostas em Imagens 3D: Ambiente Forçado vs Ambiente Espontâneo Documento
-
Reconhecimento de Expressões Faciais em Neonatos Documento
-
Reconhecimento de Imoressões Digitais com Baixo Custo Computacional para um Sistema de Controle de Acesso Documento
-
Reconhecimento de Símbolos de Configuração de Mão do SignWriting Documento
-
Reconhecimento de espécies florestais através de imagens macroscópicas. Documento
-
Reconstrução 3D de acervos culturais usando câmeras RGB-D: solução de compromisso entre precisão e tempo aplicada ao projeto Aleijadinho Digital Documento
-
Reconstrução Precisa de Modelos 3D com Aplicação na Preservaão Digital de Patrimônios Naturais e Culturais. Documento
-
Reconstrução Tridimensional de Imagens Obtidas por meio de de Microscópios de Luz Documento
-
Reconstrução de Imagens Tomográficas com Redes Neurais Parcialmente Conectadas Documento
-
Reconstrução de Imagens Tomográficas com Redes Neurais Parcialmente Conectadas. Documento
-
Recurso de tecnologia assistiva vestível para rastreamento do olhar Documento
-
Redes de Petri: Método de Análise Baseado em Tempo Global Documento
-
Redes neurais convolucionais para análise de expressões faciais Documento
-
Reduzindo Colisões em Redes Locais Sem Fio através do Alargamento das Janelas de Contenção por Encurtamento dos Slots e da Divisão de Tempo Documento
-
Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT Não Clausal para as Instâncias Obtidas Documento
-
Relacionamentos Temporais entre Redes de Petri e Planejamento Automático Documento
-
Renderização de Cenas Tridimensionais Interativas em Computadores com Recursos Gráficos Limitados Documento
-
Requisitos para um ambiente de comunicação como ferramenta de apoio à alfabetização bilíngüe de crianças surdas Documento
-
Roteamento Reverso na Internet Documento
-
Roteamento tolerante a falhas baseado em desvios de alta conectividade Documento
-
SEGMENTAÇÃO FACIAL E DETEÇÃO DE CARATERÍSTICAS FACIAIS EM IMAGENS DE PROFUNDIDADE Documento
-
SEMAN - Uma proposta de middleware seguro para as redes ad hoc móveis Documento
-
SEMÂNTICA DE AÇÕES ORIENTADA A OBJETOS Documento
-
SIDS - UM Modelo de Gerenciamento de Dados Baseado em Similaridade Espacial para Redes de Sensores Sem Fio Documento
-
SISMAT - Sistema de Matrícula Inteligente Documento
-
SOLUÇÃO EXATA DO PROBLEMA DA CLIQUE MÁXIMA. Documento
-
SUPORTE À PERSISTÊNCIA DE ARTEFATOS PARA O AMBIENTE DISTRIBUÍDO DE DESENVOLVIMENTO DE SOFTWARE DiSEN Documento
-
Satisfatibilidade Não-Clausal Restrita às Variáveis de Entrada Documento
-
Segmentação Facial e Detecção de Características Faciais em Imagens de Profundidade Documento
-
Segmentação de Imagens Baseada em Dependência Espacial Utilizando Campo Aleatório de Markov Associado com Características de Texturas Documento
-
Segmentação de Imagens Baseada em Descritores de Textura Extraídos por Transformadas Wavelets Documento
-
Segmentação de Imagens de Profundidade Utilizando Curvaturas de Superfície e um Método de Estimativa Robusto Documento
-
Segmentação de Imagens de Profundidade por Deteção de Bordas Documento
-
Segmentação de imagens de profundidade utilizando curvaturas de superfícies e um método de estimativa robusto Documento
-
Segmentação e Classificação de Imagens Landsat - TM Documento
-
Seleção de Nodos para a Execução de Experimentos no PlanetLab Baseada no Monitoramento de Estabilidade das Interações Fim-a-Fim. Documento
-
Seleção e Avaliação de Dados de Teste Baseadas em Programação Genética Documento
-
Sentinel: A Multi-Objective Hyper-Heuristic Approach for the Automatic Generation of Mutant Reduction Strategies Documento
-
Sequenciamento Adaptativo de Exercícios baseado na Correspondência entre a Dificuldade da Solução e o Desempenho Dinâmico do Aprendiz Documento
-
Sequenciamento Inteligente e Adaptativo de Enunciados em Programação de Computadores Documento
-
Sintese de Estruturas Neurais Usando Gramáticas Vetoriais Estocásticas Documento
-
Sistema WEB para a Interpretação do Modelo Computacional da LIBRAS para os Sìmbolos do SignWriting Documento
-
Sistema de Arquivos Criptográfico com Aceleração Especulativa em GPU Documento
-
Sistema de Gerenciamento de Chaves Públicas Baseado em Virtualização para Redes Ad Hoc Móveis Documento
-
Sistema de Predição de Ataque de Negação de Serviço Distribuído Documento
-
Sistema de Visualização de Fatores Ambientais e Doenças em Mapas na Internet Documento
-
Sistema de Visualização de Fatores Ambientais e Mapas na Internet Documento
-
Sistemas de Armazenamento Compartilhado com Qualidade de Serviço e Alto Desepenho Documento
-
Stunpede : um sistema P2P para conectividade fim-a-fim transparente na internet usando túneis IPV6-sobre-UDP Documento
-
Suporte ao Aprendizado Apoiado por Múltiplas Representações Externas Através da Análise e Remediação de Erros Documento
-
Suporte ao aprendizado por múltiplas representações externas através da análise e remediação de erros. Documento
-
TDSGEN - Uma Ferramenta de Geração de Dados de Teste Baseada em Algoritmos Genéticos Documento
-
TECNOLOGIAS DIGITAIS PARA USO NAS ESCOLAS PÚBLICAS DE EDUCAÇÃO BÁSICA: TV MULTIMÍDIA Documento
-
TOWABE - Uma Ferramenta para Avaliação de Usabilidade de Aplicações para Web Documento
-
TRUMIT - Gerenciador de Confiança para IoT, Ano de obtenção: 2019. Documento
-
Teste Baseado em Defeitos de Classes Java Utilizando Aspectos e Mutação de Especificações OCL Documento
-
Teste baseado em defeitos para Web Services Documento
-
Teste de Aplicações Usando a Análise de Instâncias de Dados Alternativas Documento
-
Teste de Intrusão para Aplicações Web: um Método com Planejamento em Inteligência Artificial Documento
-
Teste de Linha de Produto de Software Baseado em Mutação do Diagrama de Características Documento
-
Teste de Mutação para Ontologias OWL Documento
-
Teste de Software Baseado em Perturbação de Dados Dirigida por Padrões Documento
-
The Design And Implementation Of Query Execution In Modern Processing-In-Memory Hardware Documento
-
The cooperation of multi-objective evolutionary algorithms for many-objective optimization Documento
-
Tolerância a Falhas em Sistemas MPI com Grupos Dinâmicos de Processos Recomendados e Registro de Mensagens Distribuído Baseado em Paxos Documento
-
Transformação de Modelos Independente de Metamodelos Usando Reflexão Documento
-
Transformação de Modelos de Diagrama de Sequência UML Contemplando Restrições de Tempo e Energia para Rede de Petri Temporal Documento
-
Traçado Automático de Hipergrafos Direcionados Documento
-
Treasure Hunt: A Framework for Cooperative, Distributed Parallel Optimization Documento
-
TruMan: Trust Management for Vehicular Networks Documento
-
Técnicas Probabilísticas Aplicadas em Algoritmos de Aproximação Documento
-
U2XECS: Avaliação de Usabilidade e Experiência de Usuário de Sistemas Conversacionais Documento
-
UM ABIENTE DE INTERFACE VISUAL PARA A ELABORAÇÃO DE PREDICADOS PARA UMA FERRAMENTA DE CONSULTAS A BANCO DE DADOS SOB O MODELO ERC+ Documento
-
UM ALGORITMO DISTRIBUÍDO E ADAPTATIVO PARA DIAGNÓSTICO DE REDES AD HOC MÓVEIS COM BASE EM INFORMAÇÕES GEOGRÁFICAS Documento
-
UM ALGORITMO EVOLUTIVO DE GERAÇÃO DE DADOS DE TESTE PARA SATISFAZER CRITÉRIOS EM CÓDIGO OBJETO JAVA Documento
-
UM ALGORITMO HEURÍSTICO PARA ROTEAMENTO ROBUSTO E EFICIENTE BASEADO EM AVALIAÇÃO DE FLUXO MÁXIMO Documento
-
UM AMBIENTE DE INTERFACE PARA VISUALIZAÇÃO DA RESPOSTA EM UMA FERRAMENTA DE CONSULTA A BANCO DE DADOS Documento
-
UM AMBIENTE VISUAL DE INTERFACE PARA A APRESENTAÇÃO DA RESPOSTA PARA UMA FERRAMENTA DE CONSULTA BASEADA NO MODELO ERC+ Documento
-
UM PROTOCOLO DE AUTORIZAÇÃO PARA INTERNET DAS COISAS BASEADO EM ATRIBUTOS E INFORMAÇÕES DE CONTEXTO Documento
-
UM SERVIÇO BASEADO EM SNMP PARA DETECÇÃO DE FALHAS EM SISTEMAS DISTRIBUÍDOS NA INTERNET Documento
-
UM SISTEMA BASEADO EM REGRAS FUZZY PARA CLASSIFICAÇÃO SUPERVISIONADA DE IMAGENS MULTIESPECTRAIS DE ALTA Documento
-
UMA ABORDAGEM BASEADA EM MÉTRICAS PARA EXPLORAR ALTERNATIVAS DE ESQUEMAS DE DADOS NO PROCESSO DE CONVERSÃO DE RDB PARA NOSQL Documento
-
UMA ABORDAGEM PARA INTEGRAÇÃO E TESTE DE MÓDULOS BASEADA EM AGRUPAMENTO E ALGORITMOS DE OTIMIZAÇÃO MULTIOBJETIVOS Documento
-
UMA ARQUITETURA DISTRIBUIDA PARA O MODELO DE METADADOS METAMIDIA Documento
-
UMA INTERFACE PARA A PERSISTÊNCIA DE FENÔMENOS. TERRESTRES REPRESENTADOS COMO OBJETOS Documento
-
UMA PROPOSTA DE ARQUITETURA DE ALTO DESEMPENHO PARA SISTEMAS PACS BASEADA EM EXTENSÕES DE BANCO DE DADOS Documento
-
URF - Framework Unificado para Robótica - Proposta de Interface para Sistemas Distribuídos Documento
-
USO DE PADRÕES EM PROJETO ARQUITETURAL BASEADO EM BUSCA DE LINHA DE PRODUTO DE SOFTWARE Documento
-
UTILIZANDO REDES NEURAIS PARA MODELAR A CONFIABILIDADE DE SOFTWARE Documento
-
UTILIZANDO TÉCNICAS DE APRENDIZADO DE MÁQUINA PARA APOIAR O TESTE DE REGRESSÃO Documento
-
UTILIZANDO TÉCNICAS DE PROGRAMAÇÃO LÓGICA INDUTIVA PARA MINERAÇÃO DE BANCO DE DADOS. Documento
-
UUDT-MA: Técnica para Projeto da Usabilidade e Experiência do Usuário em Aplicações Móveis Documento
-
UXUG-AP ? DIRETRIZES DE USABILIDADE E EXPERIÊNCIA DO USUÁRIO PARA PROJETO ÁGIL Documento
-
Um Algoritmo Baseado em Comparações para Diagnóstico Distribuído Hierárquico Documento
-
Um Algoritmo Baseado em Inundação para Diagnóstico de Redes de Topologia Arbitrária Documento
-
Um Algoritmo Evolutivo Para Geração de Dados de Teste Documento
-
Um Algoritmo Evolutivo de Geração de Dados de Teste para Satisfazer Critérios Baseados em Código Objeto Java Documento
-
Um Algoritmo Genético Multiobjetivo para Geração de Dados de Testes Documento
-
Um Algoritmo de Evolução de Gramáticas Livres de Contexto Documento
-
Um Algoritmo para Planejamento por Desdobramento de Redes De Petri Documento
-
Um Ambiente de Interface Visual para a Elaboração de Predicados para uma Ferramenta de Consultas a Banco de Dados sob o Modelo ERC+ Documento
-
Um Ambiente de Interface Visual para a Geração de Sub-Esquemas para uma Ferramenta de Consulta Baseada no Modelo ERC+ Documento
-
Um Ambiente de Interface e Interação para Um Servidor de Xadrez on-line na WEB como Uma Ferramenta Educacional Documento
-
Um Arcabouço Holístico para a Execução de Funções Virtualizadas de Rede: Arquitetura, Gerenciamento e Aplicações Documento
-
Um Arcabouço para Resiliência de Sistemas em rede por Conformação de Agrupamentos Documento
-
Um Componente de Gerenciamento de Execução de Workflow Segundo a Abordagem de Linha de Produto de Software Documento
-
Um Esquema Bio-inspirado para a Tolerância à Má-conduta em Sistemas de Quórum Apoiando Serviços de Operação em MANETs Documento
-
Um Esquema Para Análise Multicritério E Cooperativa Da Presença De Ataques EUP Em Redes Ad Hoc De Rádio Cognitivo. Documento
-
Um Esquema de Autenticação Resistente à Ataques de Repetição de Identidades em Redes Heterogêneas Documento
-
Um Mecanismo de Defesa Contra Ataques Traffic Side-channel Temporais no Contexto da IOT Documento
-
Um Modelo Perceptivo de Limiarização de Imagens Digitais Documento
-
Um Modelo de Otimização para Planejamento Dinâmico de Voo para Grupos de Drones por Meio de Sistema Multiagente e Leilões Recursivos Documento
-
Um Modelo de Proveniência para Extração de Tendências em Séries Temporais Documento
-
Um Modelo para Resolução de Conflitos sobre Repositório de Dados XML Documento
-
Um Método de Avaliação de Interface de Mapas Interativos Documento
-
Um Método de Avaliação de Interface de Mapas Interativos para WEB Documento
-
Um Novo Gerador de Topologias da Internet Documento
-
Um Padrão de Metadados para Indexação e Recuperação de Obejetos Multimídia. Documento
-
Um Padrão de Metadados para Indexação e Recuperação de Objetos Multimídia Documento
-
Um Protocolo de Roteamento Resistente a Ataques Blackhole sem Detecção de Nos Maliciosos Documento
-
Um Protocolo para Difusão Confiável em Redes de Topologia Arbitrária Documento
-
Um Serviço Distribuído de Detecção de Falhas Baseado em Disseminação Epidêmica Documento
-
Um Sistema Baseado na Teoria do Perigo para Detectar Ataques Jamming em MANETs Documento
-
Um Sistema de Detecção de Ataques Sinkhole sobre 6LoWPAN para Internet das Coisas Documento
-
Um Sistema de Identificação Antecipada e Transmissão Prioritária de Alertas Médicos sobre WBAN e WLAN Documento
-
Um Sistema de Tempo de Execução para a Linguagem PEWS Documento
-
Um algoritmo de Otimização por Nuvem de Partículas Hibrido para resolução de problemas combinatórios discretos Documento
-
Um algoritmo para a evolução incremental de esquemas para XML Documento
-
Um algoritmo para paginação de árvores binárias de pesquisa utilizando empacotamento unidimensional Documento
-
Um arcabouço que enfatiza a retroação a contextos de erro durante o acesso a conteúdos educacionais Documento
-
Um esquema para entrega de mensagens codificadas em redes DTN Documento
-
Um estudo sobre configuração automática do Algoritmo de Otimização por Enxame de Partículas Multiobjetivo Documento
-
Um modelo de execução de fluxos de trabalho científico utilizando técnicas de planejamento automático. Documento
-
Um modelo de provisionamento elástico de recursos baseado em níveis de estresse Documento
-
Um modelo para gerenciamento de transações com controle de cache em um repositório chave-valor Documento
-
Um modelo para para integração de documentos XML em nível de instância. Documento
-
Um modelo para rastreabilidade de requisitos do usuário em produtos de software livre Documento
-
Um método de coleta e classificação de metadados de produção científica em Repositórios Digitais Institucionais Documento
-
Um método de geração de dados de teste utilizando Satisfiability Modulo Theory e critério estruturais Documento
-
Um método de pré-processamento de fórmulas SAT e pseudo-Boolean baseado em técnicas de programação linear inteira mista Documento
-
Um método para identificação antecipada de candidatos a aspecto no desenvolvimento de frameworks de domínio Documento
-
Um sistema baseado em regras fuzzy para classificação supervisionada de imagens multiespectrais de alta resolução Documento
-
Um sistema computacional para apoio à Neonatologia utilizando o método Footscan Documento
-
Uma Abordagem Arquitetural de Grade de Dados para Imagens Fits Documento
-
Uma Abordagem Baseada em Seleção pelas Conseqüências para Aprendizagem de Redes Neurais Multi-Camadas Voltadas à Concepção de Sistemas Autônomos Inteligentes Documento
-
Uma Abordagem Matricial para Desdobramento de Redes de Petri Utilizando a Ferramenta Matlab Documento
-
Uma Abordagem Multithread em Aplicações Paralelas Utilizando MPI Documento
-
Uma Abordagem para Gerenciamento de Fluxo de Dados da IoT na Fog Documento
-
Uma Abordagem para Transmissão de Fluxos Multimídia Assistida por Redes P2P Documento
-
Uma Abordagem para o Particionamento de Dados na Nuvem Baseada em Relações de Afinidade em Grafos Documento
-
Uma Análise de Desempenho de Motores de Armazenamento Chave-Valor para Ambientes com Recursos de Armazenamento Persistente Compartilhados Documento
-
Uma Arquitetura Baseada em Padrões Abertos para Visualização Científica via Internet Aplicada à Medicina Documento
-
Uma Arquitetura OAI para Preservação Digital utilizando Redes Peer-to-Peer Estruturadas Documento
-
Uma Arquitetura de Alta Disponibilidade Para Funções e Serviços Virtualizados de Rede Documento
-
Uma Arquitetura para Sistemas Tutores Inteligentes que Utiliza a Teoria Qualitativa de Processos para Recomendação de Próximos Melhores Exercícios Documento
-
Uma Estratégia Baseada no Algoritmo do Carteiro Chinês para Diagnóstico Distribuído de Redes de Topologia Arbitrária. Documento
-
Uma Estratégia de Publicação do Status de Chaves Públicas em Redes Centradas na Informação Documento
-
Uma Estratégia de Testes Logarítmica para o Algoritmo Hi-ADSD Documento
-
Uma Estratégia para Diagnóstico de Redes de Topologia Arbitrária Documento
-
Uma Ferramenta de Apoio ao Gerenciamento de Desenvolvimento de Software Distribuido Documento
-
Uma Ferramenta de Apoio à Fase de Requisitos da MDSODI no Contexto do Ambiente DiSEN Documento
-
Uma Ferramenta de Monitoramento de Redes usando Sistemas Gerenciadores de Streams de Dados Documento
-
Uma Ferramenta de apoio ao Projeto Arquitetural de Linha de Produto de Software Baseado em Busca. Documento
-
Uma Ferramenta para Comunicação Confiável em Sistemas P2P Baseada em Grupos de Peers Documento
-
Uma Heurística para Implementação Eficiente de Roteamento Tolerante a Falhas Baseado em Avaliação de Fluxo Máximo Documento
-
Uma Implementação do Método das Conexões de Bibel para uma Lógica paraconsiente Anotada. Documento
-
Uma Metodologia Incremental de Teste de Estresse de Banco de Dados Transacional de Grande Escala Documento
-
Uma Metodologia de Estresse de Banco de Dados Transacional de Grande Escala Documento
-
Uma Metodologia para a Construção do Léxico de Gestos: Estudo de Caso de Museu Virtual Documento
-
Uma Plataforma NFV-MANO para Suporte e Orquestração de Serviços de Rede Virtualizados em Nuvem CloudStack Documento
-
Uma Plataforma Robusta para Gerência de Recursos em Nuvens IaaS Documento
-
Uma Proposta de Aplicação Integrada para a Transferência Automática de Documentos Estruturados por Meio da Web, Utilizando Serialização de Objetos e Metalinguagem XML Documento
-
Uma Proposta de Especificação Formal para Data Warehousing Documento
-
Uma Proposta de Reorganização da estrutura do Sistema Signwriting Documento
-
Uma Proposta de Sistema de Software para Auxílio na Geracão de Transformacões do Formalismo BAV para Integracão de Bancos de Dados Documento
-
Uma Técnica Bio-Inspirada de Posicionamento, Segmentação e Retemporização para Reduzir o Consumo de Energia em FPGAs Documento
-
Uma abordagem arquitetural de Grades de dados para imagens FITS. Documento
-
Uma abordagem baseada em algoritmos de otimização multiobjetivos para reduzir o custo do critério de teste análise de mutantes Documento
-
Uma abordagem baseada em hiper-heurística e otimização multi-objetivo para o teste de mutação de ordem superior Documento
-
Uma abordagem de localização de íris baseada em aprendizado profundo. Documento
-
Uma abordagem de otimização multiobjetivo para projeto arquitetural de linha de produto de software Documento
-
Uma abordagem de segmentação semântica de Íris para fins Biométricos usando Aprendizagem Profunda Documento
-
Uma abordagem de teste de mutação para avaliar a acessibilidade de aplicações Android Documento
-
Uma abordagem dialógica alternativa para a aquisição de habilidades táticas em jogos educacionais Documento
-
Uma abordagem metacognitiva através de múltiplas representações externas para o ensino de Programação de Computadores Documento
-
Uma abordagem para filtragem de arestas de grafos de palavras aplicada ao problema de classificação de texto Documento
-
Uma arquitetura para a gerência da migração de máquinas virtuais em ambientes de computação em nuvem Documento
-
Uma ferramenta de processamento de imagens para o Sistema FootScan Documento
-
Uma hiper-heurística de seleção baseada em decomposição para estabelecer sequencias de módulos para o teste de software Documento
-
Uma implementação da Semântica de Ações Orientada a Objetos em Maude Documento
-
Uma implementação genérica para métodos de tableau modais com uma aplicação específica Documento
-
Uma proposta para a formalização do problema de clusterização em grafos. Documento
-
Uso de Análise de Superfície de Aptidão, Seleção Adaptativa de Operadores e Aprendizado de Máquina na Solução de Problemas Multi e com Muitos Objetivos Documento
-
Uso de Redes Neurais na Previsão de Desvios em Arquiteturas Superescalares Documento
-
Utilizando Análise de Mutantes em Documentos XML Schema Documento
-
Utilizando Fotografias Digitais de Alta Qualidade na Geração de Textura para Modelos 3D: Documento
-
Utilizando Técnicas de Programação Lógica Indutiva para Mineração de Banco de Dados Relacional Documento
-
Utilizando fotografias digitais de alta qualidade na geração de textura para modelos 3D: uma abordagem prática na preservação digital de acervos culturais e naturais. Documento
-
Utilizando técnicas de aprendizado de máquina para apoio ao teste de regressão Documento
-
Utilização de Heurísticas de Planejamento no Desdobramento de Redes de Petri Documento
-
Utilização de múltiplas representações externas para construção de fractais em ambientes exploratórios de aprendizagem Documento
-
VERIFICAÇÃO DE TIPOS DE XQUERY: UM PROTÓTIPO EM ASF + SDF Documento
-
VFT: UMA ESTRUTURA DE APLICAÇÃO PARA VISUALIZAÇÃO DE FENÔMENOS TERRESTRES EM 3D VIA WEB Documento
-
ValiMPI: Uma Ferramenta de Teste Estrutural para Programas Paralelos em Ambiente de Passagem de Mensagem Documento
-
Visualização 3D Interativa Aplicada à Preservação Digital de Acervos Naturais e Culturais Documento
-
Visualização 3D interativa utilizando um sistema de renderização remota. Documento
-
Visualização Científica de Dados Analíticos Filtrados por Formulações Matemáticas - Estudo de Caso: Distribuição de Temperaturas Documento
-
Visualização Interativa de Modelos 3D Realistas na Web Documento
-
Visualização e Estilização Tridimensional de Tumores Intracranianos em Exames de Tomografia Computadorizada Documento
-
WiKLaTS - Um Ambiente de interface e interação para manipulação e formalização de conhecimento para tradução entre pares de linguas baseada em regras Documento
-
X - VIQUEN - Uma Ferramenta Visual para Extração de Esquemas Utilizando XML. Documento
-
X-Tool: Uma Ferramenta de Teste de Esquemas para Estrutura de Dados Documento
-
X-Tool: Uma Ferramenta de Teste para Estrutura de Dados Documento
-
XKEYDIFF - Um Algoritmo Semântico para Detecção de Diferenças entre Documentos XML Documento
-
XKeyMatch: Um Algoritmo Semântico para Detecção de Diferenças entre Documentos XML Documento
-
cLUPA - Um Ampliador de Documentos Impressos Sobre uma Plataforma Multicore Documento
-
cossistema Educacional Apoiado por Computadores: um modelo para uso de novas tecnologias no processo de ensino e aprendizagem Documento
-
recomendações para Acessibilidade aos Surdos de Auxílio aos Designers na Criação e na Implementação de Ambientes WEB Documento
-
xplorando a Elasticidade em Nível de Programação no Desenvolvimento e na Execução de Aplicações Científicas Documento
Pesquisas
Contato
telefone
-
(41) 3361-3101 Ramal: 3101
endereço de email
Identidade