cour_c6a142fb-6b61-4d27-abb6-ab3a3cb1c8b8
- Visão geral
- Publicações
- Ver todos
Visão geral
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 Visual Analytics Approach for Geocoded Crime Data Documento
- A context-oriented framework and decision algorithms for computation offloading in vehicular edge computing Documento
- Abordagem para Qualidade de Serviço em Bancos de Dados Multi-Inquilinos em Nuvem. Documento
- Adaptação de modelos baseados em splats para superfícies e arestas curvas Documento
- Angel - Framework para Detecção de Quedas de Idosos usando Dispositivos Vestíveis Documento
- Applying Smart Decisions, Adaptive Monitoring and Mobility Support for Enhancing Offloading Systems. Documento
- BALANCING AND TRANSPOSITION OF MAPS FOR LOCATION-BASED GAMES Documento
- CAEHV: um método para verificação de modelos do tratamento de exceção sensível ao contexto em sistemas ubíquos Documento
- Certificação de componentes em uma plataforma de nuvens computacionais para serviços de computação de alto desempenho. Documento
- Coloração e convexidade em grafos. Documento
- Complexidade Descritiva da Lógica de Ponto Fixo Relacional Inflacionário. Documento
- Contributions To Bug-Fixing Time Estimation: An Empirical Study In Open Source Projects of Apache Ecosystem Documento
- Correlate & lead: process and catalog of non-functional requirements correlations in ubicomp and iot systems Documento
- Densidade mínima de códigos de identificação em grades 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
- Expressiveness and Complexity in Preferential, Hybrid and Bounded-Degree Logics Documento
- FOLE: Um framework conceitual para avaliação de desempenho da elasticidade em ambientes de computação em nuvem 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 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
- Gerenciamento de capacidade para computação em nuvem no modelo Software como Serviço (SaaS) Documento
- Gradient-based Steering for Vision-based Crowd Simulation Algorithms Documento
- IMPROVING THE DYNAMIC SELECTION PREDICTION IN IMBALANCED CREDIT SCORING PROBLEMS Documento
- In-memory dababase instant recovery Documento
- IoT Service Placement with Load Distribution and Service Migration in Edge Computing for 5G Networks Documento
- Jogos de Perseguição em Grafos e Coloração Localmente Identificável Documento
- Local dampening: Differential privacy for non-numeric queries via local sensitivity Documento
- MALTU ? Um Modelo para Avaliação da interação em sistemas sociais a partir da Linguagem Textual do Usuário Documento
- Mathematical programming approaches for NP-Hard constrained shortest path problems Documento
- Modelo de análise de sentimentos com base na estrutura linguística da sentença Documento
- Network optimization for wireless microwave backhaul Documento
- O Problema de Ordenação de Rodadas e Problemas de Otimização Associados Documento
- ON THE DESIGN OF SIMILARITY FUNCTIONS FOR BINARY DATA FORTALEZA 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
- Otimização Combinatória Documento
- PIPE: Um Preditor de Tempos de Viagem usando Fluxos Contínuos de Trajetórias Documento
- Parameterized Complexity Investigations on the First-Order Satisfiability and Matching Problems Documento
- Parâmetros de Coloração de Vértices baseados em Algoritmos de Coloração Documento
- Problema de árvore geradora mínima com restrição de grau mínimo e centrais e terminais fixos Documento
- Problemas Quadráticos Binários: Abordagem Teórica e Computacional Documento
- Processamento de Consulta em um Framework Baseado em Mediador para Integração de Dados no Padrão de Linked Data Documento
- Propositional Belief Merging and Distributive Justice Documento
- Pursuit-evasion games, decompositions and convexity on graphs Documento
- RESULTADOS EM JOGOS DE COLORAÇÃO E PERSEGUIÇÃO EM GRAFOS 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
- RepliC: Replicação Elástica de Banco de Dados Multi-Inquilino em Nuvem com Qualidade de Serviço Documento
- Reprodução e Manipulação de Personagens Virtuais Documento
- Resultados no Tempo Máximo e no Número de Envoltória nas Convexidades P3 e Geodésica. Documento
- SCUDO: Secure CloUd storage service for Detecting viOlations of security properties in a data sharing environment Documento
- SIM: um modelo semântico inferencialista para expressão e raciocínio em sistemas de linguagem natural Documento
- STRUCTURAL AND COMPLEXITY STUDIES IN INVERSIONS AND COLOURING HEURISTICS OF (ORIENTED) GRAPHS 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
- Sistemas Esquemáticos de Dedução Natural - Um Estudo Prova-Teórico. Documento
- Speed Prediction applied to Dynamic Traffic Sensor Networks and Road Networks Documento
- Synthesis of First-Order Sentences using Ehrenfeucht?Fraïssé games and Boolean Satisfiability Documento
- System Support for Self-Adaptive Cyber-Physical Systems. Documento
- Team formation problems: an integer linear optimization approach Documento
- Temporally Coherent Sculpture of Composite Objects Documento
- TestDAS: Testing Method for Dynamically Adaptive Systems. Documento
- UFCInventor - Um Ambiente para Modelagem e Geração de Aplicações para Aulas de Campo Ubíquas 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 Framework baseado em template com o uso de Conhecimento de Senso Comum para Sistemas de Perguntas e Respostas sobre Grafo de Conhecimento Documento
- Um Modelo Orientado ao Negócio para Suporte à Tomada de Decisão Multicritério no Gerenciamento de Capacidade em Provedores IaaS 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
- Uma Plataforma para Aplicações Científicas de Alto Desempenho Usando Conectores 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 estratégia para assegurar a confidencialidade de dados armazenados em nuvem 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 Vibrações Naturais na Descrição e no Controle de Locomoções Fisicamente Simuladas de Personagens Articulados Arbitrários 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
- Visualização Interativa de Dinâmicas de Tráfego Através de Dados de Trajetórias Documento