instituição
- UNIVERSIDADE FEDERAL DA PARAÍBA ( AREIA ) Organização
- UNIVERSIDADE FEDERAL DO CEARA Organização
Master and Doctorate Program in Computer Science
Programa de Pós-Graduação
- Visão geral
- Publicações
- Pesquisas
- Contato
- Identidade
- Ver todos
Visão geral
membro de
Publicações
publicações
- .Algoritmos exatos para o problema da clique máxima ponderada Documento
- A Abstração de Contratos Contextuais para Alocação de Recursos de Sistemas de Computação Paralela Orientados a Componentes em Nuvens de Computação de Alto Desempenho Documento
- A ROUGH SETS-BASED RULE INDUCTION FOR NUMERICAL DATASETS Documento
- A TI E SUAS FERRAMENTAS: MELHORIA NO CONTROLE E DESEMPENHO DAS EMPRESAS Documento
- A Visual Analytics Approach for Geocoded Crime Data Documento
- A context-oriented framework and decision algorithms for computation offloading in vehicular edge computing Documento
- A evolução do projeto computacional para uma inteligência artificial e as novas perspectivas oferecidas pelos avanços da cognição enativa Documento
- AESPmob - Modelo Autônomo e Evolutivo para Provisão de Serviços Essenciais em Redes Móveis Documento
- AHO - ANALISADOR HARMÔNICO OTIMISTA Documento
- ASBJoin: Uma estratégia adaptativa para consultas envolvendo operadores de junção em Linked Data. Documento
- ATAXIA: Uma Arquitetura para a Viabilização de NVE's Voltados para a Educação a Distância através da INTERNET Documento
- AVALIAÇÃO DE FEATURES DE LOCALIZAÇÃO PARA AUTENTICAÇÃO TRANSPARENTE E CONTÍNUA: PROCESSO E ESTUDO DE CASO Documento
- AVET - Um Ambiente de Videoconferência para a Educação a Distância Documento
- Abordagem Analítico - Numérica da Transferência de Calor e Massa com Efeito da Pressão Documento
- Abordagem para Qualidade de Serviço em Bancos de Dados Multi-Inquilinos em Nuvem. Documento
- Abordagens Híbridas para Problemas de Programação Inteira da Teoria e da Prática Documento
- Abordagens Não-Intrusivas para Sintonia Automática de Instruções SQL Documento
- Abordagens para a Sintonia de Comandos SQL Documento
- Acesso a Dados A partir de Ontologias Utilizando Mapeamentos Heterogêneos e Programação em Lógica Documento
- Adaptação de modelos baseados em splats para superfícies e arestas curvas Documento
- AdaptiveRME e AspectCompose: Um Middleware Adaptativo e um Processo de Composição Orientado a Aspectos para o Desenvolvimento de Software Móvel e Ubíquo Documento
- AdaptiveRME e aspectCompose: um middleware adaptativo e um processo de composição orientado a aspecto para o desenvolvimento de software móvel e ubíquo Documento
- Administração Remota de Ambientes Virtuais em Rede Para Integração com Sistemas de Gerenciamento de Aprendizado Documento
- Algoritmos para o Problema de Localização Simples Baseadas nas Formulações Clássica e Canônica Documento
- Algoritmos para o Problema de Localização Simples Baseados nas Formulações clássica e Canônica Documento
- Alocação de Freqüências para Telefonia Celular: Uma Solução através do Procedimento de Busca Guloso Adaptativo Aleatório Documento
- An Empirical Study on Inter-Component Exception Notification in Android Platform Documento
- An adaptive replica placement approach for distributed key-value stores Documento
- Angel - Framework para Detecção de Quedas de Idosos usando Dispositivos Vestíveis Documento
- AnÃlise sobre o impacto da densidade veicular, da carga da rede e da mobilidade no desempenho de protocolos de roteamento para redes veiculares Documento
- Análise da Utilização de Métodos Ágeis no Desenvolvimento de Ambientes Virtuais de Aprendizagem Documento
- Análise de desempenho de uma aplicação VoIP em redes veiculares Documento
- Aplicação da Metodologia ODP na Especificação da Função de Controle de Acesso em Sistemas Abertos Distribuídos, de acordo com a Recomendação X.812 do ITU-T Documento
- Aplicação do Processamento Paralelo na Resolução de Problemas de Programção Linear de Grande Porte Utilizando o Princípio de Dantzig-Wolf Documento
- Aplicações da Combinatória Analítica para a contagem de tipos especiais de árvores em grafos Documento
- Aplicações de Combinatória Analítica para a Contagem de Tipos Especiais de Árvores Documento
- Applying Smart Decisions, Adaptive Monitoring and Mobility Support for Enhancing Offloading Systems. Documento
- ArCatch: Uma Solução para Verificação Estática de Conformidade Arquitetural do Tratamento de Exceção Documento
- Armazenamento nativo XML eficiente Documento
- Arquitetura Multi-agentes para Detecção Distribuída de Intrusão Documento
- Arquitetura Multiagentes para Detecção de Intrusão Distribuída Documento
- Atualização de Banco de Dados Objeto-Relacionais através de Visões XML Documento
- Atualização de Banco de Dados Objeto-Relacionais através de Visões de Objetos Documento
- Atualização de Múltiplas Bases de Dados através de Mediadores Documento
- Atualização de bancos de dados objeto-relacionais atraves de visoes XML Documento
- Auto Manutenção de Classes de Fusão em Visões de Integração de Dados Documento
- Automated verification of care pathways using constraint programming Documento
- Avaliação da Competição no Treino de Agentes Autônomos com Aprendizado Profundo por Reforço em Jogos de Tiro em Primeira Pessoa Documento
- Avaliação de Desempenho de uma Plataforma de Componentes Paralelos Documento
- BACOS: Uma Estratégia de Balanceamento de Carga para Sistemas de Armazenamento de Objetos em Nuvem Documento
- BALANCING AND TRANSPOSITION OF MAPS FOR LOCATION-BASED GAMES Documento
- BeE Model - Modelo de Comportamento e de Interação de Entidades em Ambientes de Realidade Virtual e em Jogos Documento
- BenchXtend: a Tool to Measure the Elasticity of Cloud Database Systems Documento
- BiO4SeL: Uma Abordagem Baseada em Colônia de Formigas para a Otimização do Tempo de Vida de Redes de Sensores Sem Fio Documento
- Bidirectional search for nearest neighbors queries over road networks Documento
- CAEHV: um método para verificação de modelos do tratamento de exceção sensível ao contexto em sistemas ubíquos Documento
- CHASE: checklist para avaliação da experiência do usuário em ambientes de internet das coisas Documento
- COGNITIVE IMPACT EVALUATION OF MULTIMODAL INTERFACES FOR PEOPLE WHO ARE BLIND: QUALI-QUANTITATIVE REVIEW AND GUIDELIN Documento
- CONQUEST: Um Framework Para a Construção de Chatbots de IQA Baseados em Templates sobre Knowledge Graphs Documento
- CONSULTAS SOBRE FONTES DE DADOS LIGADOS BASEADAS EMRECONHECIMENTO DE ENTIDADES NOMEADAS Documento
- CRAbCVE - Uma Arquitetura para Viabilização de CVEs Através da Internet Documento
- CRAbGE ? UMA ARQUITETURA PARA MOTORES GRÁFICOS FLEXÍVEIS, EXPANSÍVEIS E PORTÁVEIS Documento
- Calculo do Fator-de-Forma Exato entre Areas Diferencial e Finita Utilizando CSG Documento
- Características e medidas de software para avaliação da qualidade da interação humano - computador em sistemas ubíquos Documento
- CatchML - Uma Linguagem de Domínio Específico para Modelagem e Verificação do Tratamento de Exceção Sensível ao Contexto Documento
- Certificação de componentes em uma plataforma de nuvens computacionais para serviços de computação de alto desempenho. Documento
- Classificação de Impressão Digital Usando SVM Documento
- Classificação de Texturas utilizando Métodos de Busca com Informação. Documento
- Classificação de tráfego e dos dispositivos de IoT através do fluxo de rede e inspeção da carga útil dos pacotes Documento
- CoAP-CTX: Descoberta Sensível ao Contexto de Objetos Inteligentes Baseada no CoAP Documento
- Coloração Gulosa e Coloração Ponderada Documento
- Coloração e convexidade em grafos. Documento
- Coloração k-imprópria gulosa Documento
- Comparação de Técnicas de Data Mining na Previsão de Precipitação Documento
- Complexidade Descritiva da Lógica de Ponto Fixo Relacional Inflacionário. Documento
- Complexidade Descritiva de Classes de Complexidade Probabilísticas Documento
- Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais Documento
- Complexidade e algoritmos de jogos de blocos Documento
- Conjuntos Independentes e Coloração Documento
- Construção de Otimizadores com Reescrita de Consulta para Sistemas Paralelos de Banco de Dados Orientados a Objetos. Documento
- Consultas KNN em Redes Dependentes do Tempo Documento
- Contratos Formais para Derivação e Verificação de Componentes Paralelos Documento
- Contributions To Bug-Fixing Time Estimation: An Empirical Study In Open Source Projects of Apache Ecosystem Documento
- Convexidade monofônica em classes de grafos Documento
- Convexidades de Caminhos e Convexidades Geométrica Documento
- Coordenação e Reconfiguração Dinâmica de Componentes em uma Plataforma de Computação Paralela Documento
- Correlate & lead: process and catalog of non-functional requirements correlations in ubicomp and iot systems Documento
- CrabVis: Um Sistema Web para Visualização de Dados Espaço-Temporais Documento
- Cálculo do Fator-de-Forma Exato entre Áreas Diferencial e Finita Usando CSG Documento
- DOP-MS: Serviço de offloading de dados usando uma arquitetura de microsserviços com suporte a anonimização de dados Documento
- DTX: um mecanismo de controle de concorrência distribuído para dados XML Documento
- Da modelagem conceitual à representação lógica de trajetórias em SGBDOR e sistemas de DW Documento
- Decomposição e Largura em Árvore de Grafos Planares Livres de Ciclos Pares Induzidos Documento
- Decomposição em Árvore de Grafos com Largura Limitada - Uma Pesquisa Algorítmica Documento
- Dedução Natural e Normalização Fraca para a Lógica Linear Completa Documento
- Densidade mínima de códigos de identificação em grades Documento
- Descoberta de Relacionamentos entre padrões de software utilizando semântica latente Documento
- Detecção e Reconhecimento de Objetos usando Descritores Locais Documento
- Differentially Private Release of Count-Weighted Graphs Documento
- Digital Class: Um Modelo para a Criação de Cursos no Paradigma de Ensino Híbrido. Documento
- Disjoint paths and the Grid Theorem in digraphs Documento
- EPMOSt: um sistema de monitoramento passivo energeticamente eficiente para redes de sensores sem fio Documento
- Embutimento de Árvores Orientadas em Dígrafos Documento
- Enriquecimento Semântico de Linhas de Produto de Software Documento
- Escalonamento de tarefas em processadores Documento
- Estratégia para Conectividade e Comunicação em Ambiente Inteligente Documento
- Estratégias de Particionamento de Blocos para o Grid File Documento
- Estudo Computacional de Algoritmos Exatos para Coloração de Grafos Documento
- Estudo Poliédrico de Decomposição em Árvore Documento
- Estudo de Casos de Complexidade de Coloração Gulosa de Vértices e de Arestas Documento
- Estudo de Casos de Complexidade de Colorações Gulosa de Vértices e de Arestas Documento
- Evoluindo o Método ChAPTER em direção à Geração de Casos de Teste. Documento
- Evolução de Split Grammars para Otimização de Construções Procedurais Documento
- Expressiveness and Complexity in Preferential, Hybrid and Bounded-Degree Logics Documento
- Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado Documento
- Extensões induzidas de altura minima de um conjunto parcialmente ordenado Documento
- Extração de características de imagens para classificação da qualidade de couro caprino usando padrão binário local Documento
- FCTOOL: UMA FERRAMENTA PARA A GERAÇÃO DE ROTEIROS ADAPTATIVOS DE AULAS INVERTIDAS DE SISTEMAS DISTRIBUÍDOS Documento
- FIXONTO: UM MÉTODO PARA ENRIQUECIMENTO SEMÂNTICO E VERIFICAÇÃO DE MODELOS DE CARACTERÍSTICAS EM LPS SENSÍVEL AO CONTEXTO Documento
- FOLE: Um framework conceitual para avaliação de desempenho da elasticidade em ambientes de computação em nuvem Documento
- FRAMESEC: Um framework para a provisão de segurança fim-a-fim para aplicações no ambiente de computação móvel Documento
- FairCPU: uma arquitetura para provisionamento de máquinas virtuais utilizando características de processamento Documento
- Fusion: Abstrações Linguísticas sobre Java para Programação Paralela Heterogênia com GPGPUs Documento
- GEDANIC: UM FRAMEWORK PARA O GERENCIAMENTO DE BANCO DE DADOS EM NUVEM BASEADO NAS INTERAÇÕES ENTRE CONSULTAS Documento
- GERNU: UMA ABORDAGEM PARA GERÊNCIAMENTO DE NUVENS BASEADA NOS REQUISITOS DO USUÁRIO, CRIAÇÃO DINÂMICA DOS SERVIÇOS E DEFINIÇÃO DE ATRIBUTOS DE QUALIDADE Documento
- GPS2GR: Formação Otimizada de Comboios de Veículos em Vias Urbanas com base em Trajetórias de GPS Documento
- GPU-based backtracking strategies for solving permutation combinatorial problems Documento
- Geração Adaptativa de Malha Baseada em Erro de Curvatura Documento
- Geração Adaptativa de Malhas Baseado em Erro de Curvatura Documento
- Geração Adaptativa de Malhas de Superfíceis Paramétricas com Controle de Curvatura Documento
- Geração Adaptativa de Malhas de Superfícies Paramétricas com Controle de Curvatura Documento
- Geração Adaptativa de Malhas de Superfícies Paramétricas em Paralelo com Controle de Curvatura. Documento
- Geração de Malhas por Refinamento Adaptativo Usando GPU Documento
- Geração de Mapas de Hotspots Em Redes de Ruas para a Predição de Crimes. Documento
- Geração de Personagens Virtuais Simulando o Processo Reprodutivo de Seres Diplóides Documento
- Geração de Personagens Virtuais por reprodução Simulada Aplicado ao Problema de Pessoas Desaparecidas Documento
- Geração de Prole Virtual por Reprodução Simulada Aplicada ao Problema de Pessoas Desaparecidas Documento
- Geração de facetas para politopos de conjuntos independentes Documento
- Geração de malhas de alta ordem para análise isogeométrica utilizando elementos de Bézier Racionais Documento
- Geração em Paralelo de Malhas Tetraédricas com Fraturas por Decomposição Espacial Binária Documento
- Geração em Paralelo de Malhas Triangulares por Avanço de Fronteira com Particionamento por Decomposição Espacial Recursiva Documento
- Gerenciamento Autonômico de Energia em Redes Sensores Sem Fio Através do Escalonamento de Atividades dos Nós. Documento
- Gerenciamento Autonômico de Energia em Redes de Sensores Sem Fio Através do Escalonamento de Atividade dos Nós Documento
- Gerenciamento de capacidade para computação em nuvem no modelo Software como Serviço (SaaS) Documento
- Gerenciamento pró-ativo Distribuído baseado em Lógica Fuzzy Documento
- Gradient-based Steering for Vision-based Crowd Simulation Algorithms Documento
- HUbis - Heurísticas de usabilidade para avaliar sistemas ubíquos Documento
- IMPROVING THE DYNAMIC SELECTION PREDICTION IN IMBALANCED CREDIT SCORING PROBLEMS Documento
- INTEGRE: Um Sistema Acoplado para o Cálculo de Integrais com Análise de Funções Numéricas. Documento
- Implementações de Conexões de Componentes CCA Distribuídos usando Java e MPI Documento
- Implementaçõs de Conexões de Componentes CCA Distribuídos usando Java e MPI Documento
- In-memory dababase instant recovery Documento
- Incentivando a cooperação em redes Ad Hoc Documento
- Infra-estrutura de Componentes Paralelos para Aplicações de Computação de Alto Desempenho Documento
- Integração de Heurísticas Lagrangeanas com Algoritms Exatos para a Otimização de Particionamento de Conjuntos Documento
- Integração de bibliotecas científicas de propósito especial em uma plataforma de componentes paralelos Documento
- Integração de heurísticas lagrangeanas com algoritmos exatos para a otimização de particionamento de conjuntos Documento
- Interface Gráfica para Análise e Dimensionamento de Fluxos em Redes de Abastecimento d'Água Documento
- Investigações sobre Semânticas Algébricas para a Lógica da Inconsistência Epistêmica Documento
- IoT Service Placement with Load Distribution and Service Migration in Edge Computing for 5G Networks Documento
- Javam de castro Machado Documento
- Jogos de Perseguição em Grafos e Coloração Localmente Identificável Documento
- LUCY: UM AMBIENTE PARA AULAS PRÁTICAS DE COMPUTAÇÃO UBÍQUA. Documento
- LeGaL: Uma Extensão NCL para Representação de Jogos Baseados em Localização Documento
- Limites Inferiores para o Problema de Coloração de Vértices via Geração de Cortes e Colunas Documento
- Local dampening: Differential privacy for non-numeric queries via local sensitivity Documento
- M-CODE: Um Modelo para Medição de Confidencialidade e Desempenho para Aplicações Móveis Seguras Documento
- MALTU ? Um Modelo para Avaliação da interação em sistemas sociais a partir da Linguagem Textual do Usuário Documento
- MEDIDAS PARA AVALIAÇÃO DA CONFIABILIDADE DE SISTEMASAUTOADAPTATIVOS Documento
- MODELO PARA GERENCIAMENTO REMOTO DE FALHAS EM ARQUITETURAS DE AMBIENTES VIRTUAIS EM REDES Documento
- MOON: An approach to data management on relational database and blockchain Documento
- Machine Learning for Incomplete Data Documento
- Manutenção incremental de visões de mashup de dados interligados Documento
- Mathematical programming approaches for NP-Hard constrained shortest path problems Documento
- MeMO ? Uma Estratégia para Merging Múltiplo de Ontologias baseada em clustering Documento
- Medidas de Qualidade de Software para a Avaliação da Confiança no Funcionamento de Sistemas Ubíquos Documento
- Meta-heurísticas para solução de problemas de Otimização Combinatória Documento
- MetisIDX - Indexação de Dados Preditiva Documento
- Migração de uma Plataforma de Offloading para a Abordagem de Microsserviços Documento
- Mobility Data Analysis under a Complex Network Perspective: From Interactions Among Points of Interest. Documento
- Mobility and Complex Network Documento
- Modelagem de ações em jogos em jogos por meio da análise de RPGs Documento
- Modelo Conceitual para Gerenciamento de Recursos Hídricos em Ambiente de SIG Documento
- Modelo de análise de sentimentos com base na estrutura linguística da sentença Documento
- Modelos Minimais e Hierarquia de Expressividade Documento
- MyDBaaS: Um Framework para o Monitoramento de Serviços de Banco de Dados em Nuvem. Documento
- Máquina de Aprendizagem Mínima com Opção de Rejeição. Documento
- Máquina de Aprendizagem Mínima: Aspectos Teóricos e Práticos. Documento
- Máquinas de Vetores Suporte Suporte na Classificção de Impressões Digitais Documento
- Método Dinâmico para Troca de Representação em Sistemas de Renderização de Multidões Híbridos Documento
- Métodos e Algoritmos para a Resolução do Problema de Fluxo Máximo em Redes Documento
- Métodos e Técnicas para Resolução do Problema de Fluxo Máximo em Redes Documento
- Métodos para Solução do Problema de Coloração de fluxo Documento
- Nearest Neighbors with Operating Time Constraints and Optimal Sequenced Route Queries in Time-Dependent Road Networks Documento
- Network optimization for wireless microwave backhaul Documento
- Número de Dominação Romana em Grafo Documento
- Número de Turán para cópias disjuntas de caminhos Documento
- O Problema de Formação de Equipes Sociotécnicas: complexidade, formulações matemáticas e resultados computacionais Documento
- O Problema de Ordenação de Rodadas e Problemas de Otimização Associados Documento
- O problema da K-floresta com máximo número de folhas Documento
- O problema da floresta geradora k-rotulada Documento
- ON THE DESIGN OF SIMILARITY FUNCTIONS FOR BINARY DATA FORTALEZA Documento
- Objeto de aprendizagem como ferramenta de modelagem computacional exploratória aplicada ao ensino de física Documento
- Objetos de Aprendizagem Digitais como Ferramenta de Modelagem Computacional Aplicados ao Ensino de Física Documento
- On Model Complexity Reduction in Instance-based Learners Documento
- On the Comparative Expressiveness of Semantics in Argumentation Systems Documento
- Online Clustering of Trajectory Data Stream. Documento
- OntologyManagementTool - uma ferramenta para gerenciamento de ontologias como teorias lógicas Documento
- Otimalidade Dinâmica - Um Survey Documento
- Otimização Combinatória Documento
- Otimização de Redes de Backhaul sem Fio Documento
- PIPE: Um Preditor de Tempos de Viagem usando Fluxos Contínuos de Trajetórias Documento
- PRECISE - Um Processo de VeRificação Formal para ModElos de CaracterístIcas de Aplicações Móveis e Sensíveis ao ContExto Documento
- PRODIWA: Um Processo Automatizável para Geração e Automatização de Visões de Contexto de Navegaçãopara Aplicações DIWA Documento
- Padrões para Integração de Visões Modeladas com UML Documento
- Parameterized Complexity Investigations on the First-Order Satisfiability and Matching Problems Documento
- Pares de Amigos e Inimigos em Grafos Planares Perfeitos (Even and Odd Pairs in Planar Perfect Graphs) Documento
- Pares de Amigos em Grafos Planares Perfeitos Documento
- Parâmetros de Coloração de Vértices baseados em Algoritmos de Coloração Documento
- Performance Modeling and Provisioning for NoSQL Cloud Databases Documento
- Planejamento Automático Documento
- Planejamento Automático com Suporte a Recursos Documento
- ProDIWA: um Processo Automatizável para Geração e Manutenção de Visões de Contexto de Navegação para Aplicações DIWA Documento
- Problema da Árvore t-Spanner de Custo Mínimo Documento
- Problema de árvore geradora mínima com restrição de grau mínimo e centrais e terminais fixos Documento
- Problema do Arranjo Linear Mínimo. Documento
- Problema do caminho mínimo com restrição probabilística de atraso máximo Documento
- Problemas Quadráticos Binários: Abordagem Teórica e Computacional Documento
- Problemas de Coloração de Grafos com Poucos P_4's Documento
- Problemas de Código de Identificação em Grides Documento
- Processamento de Consulta em um Framework Baseado em Mediador para Integração de Dados no Padrão de Linked Data Documento
- Processamento de consultas em ambientes de Computação em Nuvem. Documento
- Procura em Grafos Documento
- Programação em Lógica Estendida da Inconsistência Epistêmica Documento
- Propositional Belief Merging and Distributive Justice Documento
- Proposta de arquitetura baseada em Internet das Coisas para análise de dados de arboviroses Documento
- Propostas para Controle de Congestionamento em Rede LTE Ocasionado pela Comunicação Máquina-a-máquina. Documento
- Pursuit-evasion games, decompositions and convexity on graphs Documento
- RACICIOCÍNIO E DECISÃO USANDO LEI Documento
- RESULTADOS EM JOGOS DE COLORAÇÃO E PERSEGUIÇÃO EM GRAFOS Documento
- Raciocínio e Decisão Usando LEI Documento
- Raciocínio sobre Crenças utilizando a Lógica de Confiança em Tópicos. Documento
- Realizando Consultas em Trajetórias Semânticas Utilizando uma Abordagem Baseada em Verificação de Modelos. Documento
- Recommending Places based on the Wisdom-of-the-Crowd. Documento
- Reconfiguração Elástica de Componentes Paralelos sobre Nuvens de Serviços de Computação de Alto Desempenho. Documento
- Redes bayesianas para previsão de falhas em discos rígidos Documento
- RefaX: Um Arcabouço para Desenvolvimento de Ferramentas de Refatoração Baseado em XML Documento
- Refinamento de Consultas em Lógicas de Descrição Utilizando a Teoria dos Rough Sets. Documento
- RelP - Um middleware para publicação e consulta de dados relacionais através de visões SQL/XML Documento
- RelP: Um Framework Baseado em Serviços Web para Publicação de Dados Relacionais através de Visões XML Documento
- Renderização com amostragem adaptativa no domínio N-dimensional Documento
- Renderização de Geometrias Baseadas em Pontos Documento
- RepliC: Replicação Elástica de Banco de Dados Multi-Inquilino em Nuvem com Qualidade de Serviço Documento
- RepliX: Um Mecanismo para a Replicação de Dados XML Documento
- Replicação de Arquivos de Mídias em Ambientes de Educação à Distância e de Realiade Virtual Documento
- Replicação de Arquivos de Mídias em Ambientes de Educação à Distância e de Realidade Virtual Documento
- Reprodução e Manipulação de Personagens Virtuais Documento
- Requisitos para Testes de Aplicações Móveis Documento
- Resultados no Tempo Máximo e no Número de Envoltória nas Convexidades P3 e Geodésica. Documento
- S-SWAP: Scale--Space Based Workload Analysis and Prediction Documento
- SAEL - Sistema de Avaliação Eletrônico: Uma Aplicação da Informática à Atividade Didático-Pedagógica do Professor Documento
- SAGRES - Um Sistema Baseado em Conhecimento para Apoia a Gerencia de Falhas em Redes de Computadores Documento
- SCUDO: Secure CloUd storage service for Detecting viOlations of security properties in a data sharing environment Documento
- SEA54: UM MÉTODO SUBLIMINAR DE ESTEGANOGRAFIA EM IMAGENS DIGITAIS ESTÁTICAS Documento
- SEA54: Um Método Subliminar de Estenografia em Imagens Digitais Documento
- SGME - Um Sistema Genérico de Monitoração de Redes de Computadores Dirigido a Eventos Documento
- SIM: um modelo semântico inferencialista para expressão e raciocínio em sistemas de linguagem natural Documento
- SNPI - Uma Abordagem para a Implantação de Nós Programáveis em Redes de Computadores Documento
- STRUCTURAL AND COMPLEXITY STUDIES IN INVERSIONS AND COLOURING HEURISTICS OF (ORIENTED) GRAPHS Documento
- SUCCEEd: Um framework de suporte à criação e execução de workflows para SAS em ambientes IoT Documento
- SeAct: Método Híbrido de Segmentação de Fluxos de Dados de Sensores para Ambientes de Vida Assistida Documento
- Security and privacy-preserving of data in mobile health systems: an approach based on non-interactive zero-knowledge proof and blockchain. Documento
- Semantic Web Data Mashup (SWDM): Um Framework para a Cosntrução e Execução de Linked Data Mashups Documento
- Semi-supervised Minimal Learning Machine Documento
- Semântica Inferencialista na Resolução de Anáforas Pronominais Documento
- Sequências Convergentes e Testabilidade Documento
- Simulação de Tecido em Malha Triangular: Um Estudo Sobre a Adaptatividade da Malha Documento
- Simulação de evacuação de multidão por autômato celular - Estudo de caso em um estádio de futebol Documento
- Sisifo: uma abordagem semântica para construção de Enterprise Knowledge Graphs Documento
- Sistemas Esquemáticos de Dedução Natural - Um Estudo Prova-Teórico. Documento
- Sistemas Formais Avançados e Estratificação Relevante : Uma defesa da predicatividade Documento
- Sistemas Formais Avançados e a Estratificação Relevante : Uma Defesa da Predicatividade das Definições Documento
- SmartLTM: Smart Larger-Than-Memory Storage for Hybrid Database Systems Documento
- Sobre b-coloração de Grafos com Cintura pelo menos 6. Documento
- Solução de Equações Diferenciais Acopladas pela Técnica de Transformada Integral e Computação Simbólica Documento
- Solução de um problema de Transferência de Calor e Massa em um Meio Capilar Poroso sob Efeito da Pressão Documento
- Speed Prediction applied to Dynamic Traffic Sensor Networks and Road Networks Documento
- Splitting APIs: An exploratory study of software unbundling Documento
- SumOpinions: Sumarização automática de opiniões sobre pontos turísticos Documento
- Supporting Change-Prone Class Prediction Documento
- Synthesis of First-Order Sentences using Ehrenfeucht?Fraïssé games and Boolean Satisfiability Documento
- System Support for Self-Adaptive Cyber-Physical Systems. Documento
- TESTDCAT: CATALOG OF TEST DEBT SUBTYPES AND MANAGEMENT ACTIVITIES Documento
- TPRED: um framework espaço-temporal de predição de localização Documento
- Tardigrade - um framework android para desenvolvimento de jogos de cartas ubíquos Documento
- Team formation problems: an integer linear optimization approach Documento
- Temporally Coherent Sculpture of Composite Objects Documento
- Teoremas de Normalização para a Lógica da Inconsistência Epistêmica Documento
- Teoria da revisão de primeira ordem para a modelagem do estudante Documento
- TestDAS: Testing Method for Dynamically Adaptive Systems. Documento
- Teste do Grafo de Serialização Temporal: Uma Abordagem para o Controle de Concorrência em Ambientes de Broadcast Documento
- Teste do Grafo de Serialização Temporal: Uma Estratégia para o Controle de Concorrência em Ambientes de Broadcast Documento
- Técnicas de Aprendizagem Automática no processo de Data Mining em dados climatológicos Documento
- Técnicas para Construção de Árvores Filogenéticas Documento
- Técnicas para Geração de Malhas de Quadriláteros Convexos e sua aplicação em Reservatórios Naturais Documento
- Técnicas para Geração de Malhas de QuadriláterosConvexos e sua aplicação em Reservatórios Naturais Documento
- UFCInventor - Um Ambiente para Modelagem e Geração de Aplicações para Aulas de Campo Ubíquas Documento
- UM FRAMEWORK PARA SISTEMAS DE MEDIAÇÃO BASEADOS EM XML Documento
- UM MECANISMO DE PROVENIÊNCIA PARA UMA NUVEM DE SERVIÇOS DE COMPUTAÇÃO DE ALTO DESEMPENHO ORIENTADA A COMPONENTES Documento
- UM MODELO PARA GERENCIAMENTO REMOTRO DE FALHAS EM ARQUITETURAS DE AMBIENTES VIRTUAIS EM REDES Documento
- UM TRATAMENTO FORMAL PARA O RACIOCÍNIO SOBRE AÇÃO EM INTELIGÊNCIA ARTIFICIAL Documento
- UMA ANÁLISE SOBRE O IMPACTO DE DADOS FALTANTES NO DESEMPENHO DE MÉTODOS DE APRENDIZADO DE MÁQUINA Documento
- UMA ESTRATÉGIA PARALELA E DISTRIBUÍDA PARA ASSGURAR A CONFIDENCIALIDADE DE DDOS ARMAZENADOS EM NUVEM Documento
- UMA VARIANTE DO MÉTODO DE REGRESSÃO FORWARD STAGEWISE PARA DADOS INCOMPLETOS Documento
- Um Ambiente de Apoio à Seleção de Software Educativo. Documento
- Um Ambiente de Desenvolvimento de Aplicações Multi-Plataformas e Adaptativas para Dispositívos Móveis Documento
- Um Ambiente de Execução Peer-to-peer para Escalonamento Dinâmico de Workflows em Grades Computacionais Documento
- Um Ambiente para Geração de Cenários deTestes para Linhas de Produto de Software Sensíveis ao Contexto Documento
- Um Ambiente para Processamento de Consultas Federadas em Linked Data Mashups Documento
- Um Ambiente para Processamento de Consultas Federadas em Linked Data Mashups Documento
- Um Ambiente para o Auxílio à Aprendizagem de Habilidades Laparoscópicas usando Realidade Aumentada e Gamificação. Documento
- Um Ambiente para o Desenvolvimento de Aplicações Orientadas à Configuração Utilizando Objetos Distribuídos Documento
- Um Arcabouço Baseado em Componentes para Computação Paralela de Larga Escala sobre Grafos Documento
- Um Arcabouço para a Construção de Aplicações Baseadas em Componentes sobre uma Plataforma de Nuvem Computacional para Serviços de Computação de Alto Desempenho. Documento
- Um Esquema de Escalonamento Disrtribuido e Colaborativo para a Gerência de Cobertura em Redes de Sensores sem Fio Densas. Documento
- Um Estudo Computacional de Coloração de Grafos Documento
- Um Estudo Computacional sobre o Problema de Decomposição em Árvore de Grafos Documento
- Um Estudo de Redes com Fluxos Ramificados Arco-disjuntos. Documento
- Um Estudo do Politopo e dos Limites Inferiores Gerados pela Formulação de Coloração dos Representantes Documento
- Um Estudo sobre as Origens da Lógica Matemática e os Limites da sua Aplicabilidade à Formalização da Matemática Documento
- Um Framework baseado em template com o uso de Conhecimento de Senso Comum para Sistemas de Perguntas e Respostas sobre Grafo de Conhecimento Documento
- Um Framework para a Provisão de Segurança Fim - a - Fim para Aplicações no Ambiente de Computação Móvel Documento
- Um Framework para o Desenvolvimento de Treinamentos em Dispositivos Móveis Utilizando Realidade Virtual Documento
- Um Mecanismo de Gerência de Cache para Servidores Móveis em Redes Ad Hoc Documento
- Um Mecanismo de Melhoria de Handovers Verticais Utilizando Endereçamento Multicast e Serviços do MIH802.21 Documento
- Um Mecanismo de Melhoria de Handovers Verticais Utilizando Esquemas de Endereçamento Multicast e Serviços do MIH 802.21 Documento
- Um Mecanismo de Segurança com Adaptação Dinâmica em Tempo de Execução para Dispositivos Móveis. Documento
- Um Mecanismo de Tratamento de Exceções Sensíveis ao Contexto para Sistemas Ubíquos Orientados a Tarefas. Documento
- Um Mecanismo de Tratamento de Exceções Sensível ao Contexto para Sistemas Ubíquos Orientados a Tarefas Documento
- Um Mecanismo para a Replicação de Dados XML Documento
- Um Mecanismo para o Escalonamento de Pacotes no Uplink da Rede LTE no Contexto da Comunicação Máquina - a- Máquina Documento
- Um Modelo Orientado ao Negócio para Suporte à Tomada de Decisão Multicritério no Gerenciamento de Capacidade em Provedores IaaS Documento
- Um Modelo de Audiogame Móvel Acessível e Customizável para Práticas Ortográficas com o Braille Documento
- Um Modelo de Contato Simplificado para Tratamento de Equilíbrio Documento
- Um Modelo de Transações para o Ambiente de Integração Web Banco de Dados Documento
- Um Método para Avaliação da Qualidade do Modelo de Features em Linhas de Produtos de Software utilizando Medidas Documento
- Um Processo de V&V para Modelos de Características Sensíveis ao Contexto Documento
- Um Serviço de Tarifação Flexível para a Computação em Nuvem Documento
- Um Sistema Infinitário para a Lógica de Menor Ponto Fixo Documento
- Um Sistema de Gestão para a Educação Tecnológica à Distância: Projeto e Implementação Documento
- Um Sistema de Suporte para Computação Ubíqua Documento
- Um Sistema para Animação de Estruturas Articuladas através da Técnica Space Time Constraints Documento
- Um estudo comparativo de métodos de simulação de tecidos virtuais através de sistemas de partículas Documento
- Um modelo de sistema nervoso para o problema do controle de animação por dinâmica direta Documento
- Um modelo híbrido para simulação de multidão com comportamentos variados em tempo real Documento
- Um modelo para representação flexível de grupos sociais em simulação de multidão. Documento
- Um serviço de offloading de dados contextuais com suporte à privacidade Documento
- Um sistema de gestão para a Educação Tecnológica à Distância Documento
- Uma Abordagem Baseada em Ontologias para a Geração de Serviços Web de Integração de Dados Documento
- Uma Abordagem Baseada em Ontologias para o Desenvolvimento de Aplicações Web de Integração de Dados Documento
- Uma Abordagem Dirigida por Modelos para a Configuração de Aquisição de Contexto Intermediada por Middleware Documento
- Uma Abordagem Distribuída para Preservação de Privacidade na Publicação de Dados de Trajetória. Documento
- Uma Abordagem Semi-Automática para Geração Incremental de Correspondências entre Ontologias. Documento
- Uma Abordagem Semi-Automática para Geração Incremental de Correspondências entreOntologias Documento
- Uma Abordagem Semiautomática para a Geração de Mapeamentos R2R com Base em Padrões Documento
- Uma Abordagem de Aprendizado Assistido por Computador Utilizando Programação Híbrida Simbólico-Numérica Documento
- Uma Abordagem de Privacidade Diferencial para Consultas sobre Dados RDF no Contexto de Redes Sociais. Documento
- Uma Abordagem de Privacidade Diferencial para Dados Correlacionados Utilizando Técnicas de Agrupamento Documento
- Uma Abordagem para Estimativa de Iluminção indireta Documento
- Uma Abordagem para Inserção de Sensibilidade ao Contexto em Técnicas de Recomendação Baseadas em Conhecimento Documento
- Uma Abordagem para Otimizar o Processamento de Consultas em Ambientes com Recursos Computacionais Limitados. Documento
- Uma Arquitetura para Provisionamento de Máquinas Virtuais Utilizando Características de Processamento Documento
- Uma Arquitetura para a Viabilização de NVE´S Voltados para Educação à Distância através da Internet Documento
- Uma Entidade Funcional para Autenticação de Dispositivos Móveis entre Área s de Microbilidade Documento
- Uma Entidade Funcional para Autenticação de Dispositivos Móveis entre Áreas de Microbilidade Documento
- Uma Estratégia de Indexação para Dados XML. Documento
- Uma Estratégia para Interpolação de Superfícies através de Funções Bases. Documento
- Uma Estratégia para Merging Múltiplo de Ontologias Baseada em Clustering Documento
- Uma Estratégia para Sistema de Detecção e Prevenção de Intrusão Baseada em Software Livre Documento
- Uma Ferramenta para Atribuição de Relógios Lógicos a Execuções Distribuídas. Documento
- Uma Ferramenta para a Análise Automática de Modelos de Características de Linhas de Produtos de Software Sensível ao Contexto. Documento
- Uma Generalização do Teorema de Hall e Suas Implicações Para a Teoria de Fatores Documento
- Uma Heurística Lagrangeana com Paralelismo para o Problema de Ponderação de Rodadas Documento
- Uma Interface de Programação Distribuída pra Aplicações em Otimização Combinatória Documento
- Uma Linguagem de Programação Paralela Orientada a Objeto para Arquiteturas de Memória Distribuídas. Documento
- Uma Linguagem de Programação Paralela Orientada a objetos Documento
- Uma Melhoria no Algoritmo K-médias utilizando o Estimador de James-Stein. Documento
- Uma Nova Abordagem para o Raciocínio Não Monotônico Documento
- Uma Nova Estratégia para Renderizar Descontinuidades e Superfícies Intersectantes em Modelos Baseados em Splats Documento
- Uma Plataforma CCA para Aplicações Científicas usando Conectores Documento
- Uma Plataforma para Aplicações Científicas de Alto Desempenho Usando Conectores Documento
- Uma Proposta de Integração das Redes UMTS e IEEE 802.11 com Suporte a Mobilidade Documento
- Uma Proposta para Acessibilidade Visual e Táctil em Dispositivos Touchscreen. Documento
- Uma Proposta para a Integração de Modelos de Padrões de Software com Ferramentas de Apoio ao Desenvolvimento de Sistemas. Documento
- Uma Representação Flexível de Controladores para Animação Fisicamente Realista de Personagens Virtuais. Documento
- Uma Solução Baseada Em Template e Multi-solução para Geração de Textos a Partir de Triplas. Documento
- Uma Técnica de Decomposição a Priori para Geração Paralela de Malhas Bidimensionais Documento
- Uma abordagem de partição e interpolação de polígonos para visualização temporal e interativa de mapas de crimes Documento
- Uma abordagem para a investigação de padrões de movimento e de comportamento de indivíduos empregando análise visual de Predictive Suffix Trees Documento
- Uma abordagem para offloading em múltiplas plataformas móveis Documento
- Uma aplicação para a LPR Documento
- Uma estratégia para assegurar a confidencialidade de dados armazenados em nuvem Documento
- Uma estratégia para sistemas de detecção e prevenção de intrusão baseada em software livre Documento
- Uma interface de programação distribuída para aplicações em otimização combinatória Documento
- Uma lógica de descrição default Documento
- Uma proposta de solução para offloading de métodos entre dispositivos móveis Documento
- Uma tecnica de decomposicao de dominios a priori para geracao automatica de malhas tetraedricas em paralelo Documento
- Usability scaffolding for evaluating multimodal video games for learners who are blind Documento
- Usando Assertivas de Correspondência para Especificação e Geração de Visões XML para Aplicações Web Documento
- Usando Vibrações Naturais na Descrição e no Controle de Locomoções Fisicamente Simuladas de Personagens Articulados Arbitrários Documento
- Uso de Refinamento Adaptativo Progressivo em Escultura Virtual para Modelagem de Detalhes em Malhas Triangulares Documento
- Uso de Subárvores Especializadas para Obtenção de Desfazer e Tutorial Localizados em Sistemas de Controle de Versão de Modelos 3D. Documento
- Uso de refinamento adaptativo em escultura virtual para criação livre de detalhes em malhas triangulares Documento
- Utilizando Redes Neurais Artificiais para a Predição de Falhas em Links de Redes Ópticas Documento
- Utilização de Inteligência de Enxame em UAVs para Busca de Alvo Fixo de Localização Desconhecida Documento
- Utilização de Metaheurísticas para Balancceamento de Carga em Ambientes MapReduce Documento
- VALERIE: Um Guia para Elaboração de Entrevistas Semiestruturadas para Avaliação de Player Experience em Jogos Baseados em Localização Documento
- VEGA - Um Modelo de Integração de Aplicações Externas a Ambientes Virtuais através do Uso de Aplicações Mediadoras e de Simulóides. Documento
- Versionamento de Ontologias Baseado em Lógicas Temporais Documento
- Visualização Interativa de Dinâmicas de Tráfego Através de Dados de Trajetórias Documento
- WVM - Ferramenta para Processamento de Alto Desempenho via Web Documento
- WVM: Uma Ferramenta para Processamento Distribuído de Alto Desempenho Documento
- XML Publisher: Um Framework para Publicar Dados Objeto Relacioanis Através de Visões XML Documento
- XML Publisher: Um Framework para Publicar Dados Objeto-Relacionais Através de Visões XML Documento
- XML-PM: Um Método Eficiente para Identificação de Padrões no Processamento de Consultas a Dados XML Documento
- XMLS+Matcher: Um Método para Identificação de Correspondências entre Esquemas XMLS+ Documento
- b-Colorações de Grafos Documento
- Árvore Geradora com Dependências Mínima. Documento
- Árvore de Subgradiente com Pré-Fase VNS-Lagrangeana para a Árvore Geradora com Restrição de Grau Máximo nos Vértices Documento
- Árvore de Subgradiente com Pré-Fase VNS-Lagrangeana para o Problema da Árvore Geradora Mínima com Restrição de Grau Máximo nos Vértices Documento
Pesquisas
áreas de investigação
Contato
telefone
- (85) 3366-9847 Ramal:
endereço de email
- secretariamdcc@lia.ufc.br
Identidade
identificador Capes
- 22001018031P5