Systems Engineering and 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
-
"Avaliação do Perfil Técnico do Analista de Sistemas nas Grandes Corporações" Documento
-
"Implementação e Avaliação de índices para orientação a objetos" Documento
-
"Serviços de Gerência de Metadados para Mediadores: Uma Implementação sobre o Servidor de Objetos GOA++" Documento
-
"Índices espaciais e paralelismo no processamento de junções espaciais utilizando o GOA++" Documento
-
.Uso do Algoritmo de Suavização Hiperbólica em Taxonomia de Macroalgas Documento
-
3DbyStep - Ferramenta para autoria de apresentações 3D Documento
-
A FNM e a Indústria Automotiva no Brasil: Uma Análise Antiética do Ponto de Vista da Teoria Ator-Rede Documento
-
A Arquitetura de Diálogos entre Agentes Cognitivos Distribuídos Documento
-
A Educação Profissional Como Base para o Desenvolvimento Organizacional Documento
-
A Engenharia de Aplicações no Contexto da Reutilização baseada em Modelos de Domínio Documento
-
A FNM e a indústria automotiva no Brasil: Uma analise antitética do ponto de vista da Teoria Ator-Rede Documento
-
A Função do Índice de Síntese das Linguagens na Classificação Gramatical com Redes Neurais sem Peso Documento
-
A Importância dos Recursos Humanos no Processo de Fidelização dos Clientes: Um Estudo de Caso dos Concessionários no Setor Automobilístico Brasileiro Documento
-
A Influência de Fatores na Produtividade do Desenvolvimento de Software de Acordo com Um Modelo de Estruturas Teóricas Documento
-
A Influência dos Agentes Inteligentes na Navegação dos Usuários em Ambientes Virtuais Documento
-
A Informatização do Ensino Agropecuário a Distância em Minas Gerais Documento
-
A Informatização do Ensino Agropecuário a Distância no Estado de Minas Gerais Documento
-
A Informática na Modernização da Pecuária de Leite Documento
-
A Knowledge-based approach to support internet of everything (IoE) Lifestyle Documento
-
A Study on Snake: Active Contour Determination Documento
-
A TRANSPARÊNCIA DOS PORTAIS BRASILEIROS DE TRANSPARÊNCIA PÚBLICA: UM ESTUDO DE TRÊS CASOS Documento
-
A Tecnologia da Informação No Processo de Modernização das Indústrias do Setor Cervejeiro: Uma Analise Comparativa Entre O Canadá e O Brasil Documento
-
A Tecnologia e o Espaço Educacional de Matemática: Uma Proposta para Melhorar a Comunicação de Conteúdos Documento
-
A Técnica Lock Acquirer Prediction e sua Aplicação em Sistemas de Memória Compartilhada Distribuída Documento
-
A complexidade de uma orientação localmente simétrica Documento
-
A definir Documento
-
A design study about winnowing neuronal hypotheses from the visual cortex Documento
-
A informática na modernização do sistema agroindustrial do café no estado de Minas Gerais. Documento
-
A legalidade de computações sobre memória compartilhada Documento
-
A medição da produtividade no desenvolvimento de software Documento
-
A stable tensor-based deflection model for controlled fluid simulations Documento
-
A tableaux method for dolev-yao multi-agent epistemic logic Documento
-
A trajetória da Internet no Brasil: do surgimento das redes de computadores à instituição dos mecanismos de governança Documento
-
ABORDAGEM PARA ESPECIFICAÇÃO DE EXPERIMENTOS IN SILICO EM ENGENHARIA DE SOFTWARE E ÁREAS AFIM Documento
-
ACOMPANHAMENTO DE PROJETOS DE TI PELA ALTA ADMINISTRAÇÃO Documento
-
ADA: Especificação de um Módulo de Análise Semântica Estática Documento
-
ADAPTAÇÃO EFICIENTE A PADRÕES DE COMPARTILHAMENTO EM SOFTWARE DSMS Documento
-
AFRANCI: A Multi-Layer Architecture for Cognitive Agents (*Revalidado pela UFRJ*) Documento
-
AGENDABUILDER: UMA FERRAMENTA PARA APOIAR O DESIGN DE PROCESSOS COLABORATIVOS Documento
-
AGRON: uma interface baseada em linguagem natural para consulta a bancos de dados da produção agrícola Documento
-
AJUSTE ADAPTATIVO DO SINAL DE TRANSMISSÃO DE MENSAGENS DE DESCOBERTA PARA CONSUMO EFICIENTE DE ENERGIA EM REDES TOLERANTES A ATRASOS E INTERRUPÇÕES. Documento
-
ALGORITMO DE CLASSIFICAÇÃO MÁQUINA DE VETORES SUPORTE VIA SUAVIZAÇÃO HIPERBÓLICA Documento
-
ALGORITMO EXATO E HEURISTICAS PARA O PROBLEMA DE LOCALIZACAO Documento
-
ALGORITMOS APRIMORADOS PARA VISUALIZAÇÃO VOLUMÉTICA E PROCESSAMENTO DE MALHAS Documento
-
ALGORITMOS DESINFORMADOS PARA ROTEAMENTOS EM REDES Documento
-
ALGORITMOS PARA ACESSO INTERATIVO EM APLICAÇÕES DE VÍDEO P2P Documento
-
ALGORITMOS PARA ACHAR EQUILÍBRIO EM JOGOS BASEADOS EM GRAFOS Documento
-
ALGORITMOS PARA O PROBLEMA DA MOCHILA QUADRÁTICA 0-1 Documento
-
ALGUMAS APLICAÇÕES DA GEOMETRIA RIEMANNIANA À OTIMIZAÇÃO Documento
-
ALGUNS METODOS DE OTIMIZACAO EM SISTEMAS DISCRETOS E CONTINUOS Documento
-
ALÉM DA NOSTALGIA DE MACUNAÍMA: AS PROMESSAS DE BRASIS NA POLÍTICA NACIONAL DE INFORMÁTICA, NAS INICIATIVAS DE SOFTWARE LIVRE E NA GERAÇÃO CIDADÃ DE DADOS EM FAVELAS Documento
-
AMANDA: Density-based Adaptive Model for Non-stationary Data under Extreme Verification Latency Scenarios Documento
-
AMBIENTE DE DESENVOLVIMENTO DE SISTEMAS BASEADOS EM CONHECIMENTO Documento
-
AMBIENTE DE DESENVOLVIMENTO DE SOFTWARE ORIENTADO A ORGANIZAÇÃO DE DESENVOLVIMENTO BASEADO EM INSTRUMENTAÇÃO VIRTUAL Documento
-
AMBIENTES VIRTUAIS PARA A REABILITAÇÃO COGNITIVA DE PACIENTES NEUROLÓGICOS E PSIQUIÁTRICOS Documento
-
ANIMAÇÃO EM CAMADAS COM QUADROS-CHAVE ESPACIAIS E EDIÇÃO DE TRAJETÓRIAS Documento
-
ANÁLISE DA ADOÇÃO DE SISTEMAS DE RASTREABILIDADE BOVINA NO BRASIL: ESTUDOS DE CASO NOS SEGMENTOS DE PRODUÇÃO, INDÚSTRIA E COMÉRCIO. Documento
-
ANÁLISE DE DESEMPENHO DA GERÊNCIA PARALELA DE OBJETOS SEGUNDO DIFERENTES MODELOS DE MEMÓRIA Documento
-
ANÁLISE DE DESEMPENHO DE ALGORITMOS DE CONTROLE DE ADMISSÃO DE CONEXÕES PARA REDES MÚLTIMÍDIA Documento
-
ANÁLISE DE INTERAÇÃO NO PROCESSO DE INSTANCIAÇÃO DE OBJETOS 3D Documento
-
APLIACANDO TILDECRF NA DETECÇÃO DE HOMOLOGIAS DISTANTES Documento
-
APLICAÇÃO DE ALGORITMOS APROXIMADOS AO PLANEJAMENTO AUTOMÁTICO DE SISTEMAS DE TRANSMISSÃO DE POTÊNCIA Documento
-
APLICAÇÃO DE MODELOS OCULTOS DE MARKOV EM JOGOS DE ESTRATÉGIA MISTA Documento
-
APLICAÇÃO DE OTIMIZAÇÃO POR NUVEM DE PARTÍCULAS NA MINERAÇÃO DE DADOS DA INTERNET Documento
-
APLICAÇÕES DA TEORIA ESPECTRAL EM ALGUMAS CLASSES DE GRAFOS Documento
-
APLICAÇÕES DE LÓGICA MODAIS A TEORIA DE GRAFOS E SISTEMAS CONCORRENTES Documento
-
APOIO À CONSTRUÇÃO DE BASES DE DADOS DE PESQUISA EM AMBIENTES DE DESENVOLVIMENTO DE SOFTWARE ORIENTADOS A DOMÍNIO Documento
-
APRENDIZADO NÃO-PARAMÉTRICO DE FILTROS DE PARTÍCULAS EM PREVISÃO DE SÉRIES TEMPORAIS Documento
-
APRENDIZADO POR REFORÇO APLICADO À META-ESCALONAMENTO Documento
-
AQUISIÇÃO DE CONHECIMENTO: UMA APLICAÇÃO NO PROCESSO DE DESENVOLVIMENTO DE SOFTWARE Documento
-
ARARA: UM SISTEMA MULTI-AGENTES PARA PROVISÃO DE PERCEPÇÃO EM DESENVOLVIMENTO DE SOFTWARE Documento
-
ARAXA: Uma abordagem objeto-relacional para o armazenamento de documentos XML Ativos Documento
-
ARCABOUÇO AUTONÔMICO DE PADRÕES PARA ELIMINAÇÃO DE DADOS Documento
-
ARCHITECTURAL BREACHES DETECTION IN A MODEL DRIVEN DEVELOPMENT SCENARIO Documento
-
ARIANE: Um Mecanismo de apoio à Percepção em Bases de Dados Compartilhadas Documento
-
ATRIBUIÇÃO DE GRAU DE SIGILO: UMA ABORDAGEM DE CATEGORIZAÇÃO DE DOCUMENTOS Documento
-
AVALIAÇÃO DA QUALIDADE DE DADOS. PELA NÃO CONFORMIDADE Documento
-
AVALIAÇÃO DE CAPACIDADE E CONSUMO DE ENERGIA DE REDE MÓVEL AD HOC CENTRADA EM INTERESSE Documento
-
AVALIAÇÃO DE MÉTODOS BASEADOS EM SISTEMAS FUZZY PARA MINERAÇÃO DE DADOS GEORREFERENCIADOS Documento
-
AVALIAÇÃO E MELHORIA DE ATIVOS DE PROCESSOS DE SOFTWARE DE INSTITUIÇÕES IMPLEMENTADORAS Documento
-
AVALIAÇÃO EDUCACIONAL NO ENEM: UM ESTUDO SOBRE QUALIDADE E EQUIDADE Documento
-
Abordagem Integrada para Modelagem Computacional de Percepcao Visual Documento
-
Abordagens de Técnicas de LSH Aplicadas ao Problema de Similaridade de Documentos Documento
-
Accelerating Dual Dynamic Programming Applied To Hydrothermal Coordination Problems Documento
-
Acessibilidade em Software para Pessoas com Cegueira Total Documento
-
Acesso Inicial com Erro de Geolocalização em Redes Celulares por Ondas Milimétricas Documento
-
Acesso a Dados Abertos e Georreferenciados do Governo Brasileiro em Plataformas Móveis Documento
-
Acompanhamento de Raios Otimizado para Solidos CSG Documento
-
Active Learning: An Unbiased Approach Documento
-
Adaptabilidade, competitividade e nível de dano econômico de Cyperus esculentus L. na cultura do arroz irrigado. Documento
-
Adaptação do Algoritmo de Otimização Baseado em Enxame de Partículas para Execução em Clusters: Uma Abordagem Utilizando o Modelo Ilha Documento
-
Adaptive Hypermedia Courses: Qualitative and Quantitative Evaluation and Tool Support Documento
-
Adoção de Jogos no Planejamento Estratégico Documento
-
Agrupamento Semi-Supervisionado de Documentos XML Documento
-
Agrupamento Semi-supervisionado de Documentos XML Documento
-
Agrupamento Via Suavização Hiperbólica com Arquitetura CUDA Documento
-
Agrupamento de Conjuntos de Instâncias: Uma Aplicação ao ENEM Documento
-
Agrupamento de Dados através de Algorítmo Swarm Documento
-
Agrupamento de Regiões: Uma Abordagem Utilizando Acessibilidade Documento
-
Agrupamentos Múltiplos Não-Redundantes em Grafos com Atributos Documento
-
Algoritimo de Classificação Máquina de Vetores Suporte via Suavização Hiperbólica Documento
-
Algoritmo Relax-and-Cut para o Problema do Conjunto Independente Máximo Documento
-
Algoritmo de classificação por particionamento hierárquico Documento
-
Algoritmo de escalonamento utilizando modelo de Ising com campo externo Documento
-
Algoritmo de ponto interior para programação linear baseado no FDIPA Documento
-
Algoritmo de ponto proximal no cone das matrizes simétricas semidefinidas positivas e um método de escalarização proximal log-quadrático para programação multiobjetivo Documento
-
Algoritmos para programação não linear inteira mista Documento
-
Algoritmos Aprimorados para Visualização Volumétrica e Processamento de Malhas Documento
-
Algoritmos Exatos Para Problemas de Coloração em Grafos Documento
-
Algoritmos Exatos e Heurísticos para o Problema da Diversidade Máxima Documento
-
Algoritmos Genéticos na Simulação da Evolução das Bibliotecas de Genes do Sistema Imune Documento
-
Algoritmos Integrados para Classificação de Dados com Atributos Categóricos Documento
-
Algoritmos Paralelos para Problemas em Grafos Documento
-
Algoritmos Sequencias e Paralelos para Problemas de Geometria Molecular Documento
-
Algoritmos de Hashing para Problemas Específicos Documento
-
Algoritmos de Otimização Aplicados ao Problema de Steiner em N Dimensões Documento
-
Algoritmos de Otimização Aplicados ao Problema de Steiner Euclidiano em n Dimensões Documento
-
Algoritmos de Otimização para o Problema de Planejamento de Redes Celulares de Terceira Geração Documento
-
Algoritmos de Planejamento em Dimensão Arbitrária Documento
-
Algoritmos de Stemming e o Estudo de Proteomas Documento
-
Algoritmos de Trajetória Central para Programação Linear - Implementação e Testes Documento
-
Algoritmos de pontos interiores para a programacao convexa nao suave Documento
-
Algoritmos de pontos interiores para programação linear combinando fase 1 e fase 2 Documento
-
Algoritmos desinformados para roteamentos em redes Documento
-
Algoritmos e Complexidade de decomposicao em Grafos Documento
-
Algoritmos e Novos Limites para Busca em Conjuntos Parcialmente Ordenados Documento
-
Algoritmos heurísticos e metaheurísticas híbridas aplicadas ao planejamento de uma rede de telecomunicações com topologia anel-estrela Documento
-
Algoritmos para Traçado de Elementos Básicos na Construção de Figuras Documento
-
Algoritmos para a Geração de Classes de Extensões de Conjuntos Parcialmente Ordenados Documento
-
Algoritmos para a Localização de Pontos em Faces de Grafos Planares Documento
-
Algoritmos paralelos para casamento de cadeias Documento
-
Algoritmos polinomiais para problemas de Otimização Combinatória com multi-objetivos em grafos Documento
-
Algorítimos com Métricas Variáveis e Topologia dos Conjuntos Viáveis Documento
-
Alguns Problemas Algorítmicos em Conjuntos Parcialmente Ordenados e o Teorema de Dilworth Documento
-
Alguns Resultados Sobre Invariantes em Não Planaridade: Uma Abordagem Estrutural e de Complexidade Documento
-
Alguns Resultados e Experimentos sobre Prova Automática de Teoremas Documento
-
Alguns Resultados em Espessura de Grafos Documento
-
Aliança - Uma Proposta de Arquitetura Para Banco de Dados Nebulosos Documento
-
Alinhamento múltiplo de seqüências baseado em coberturas de conjuntos Documento
-
Alinhando Perspectivas de Qualidade em Código Fonte a Partir de Estudos Experimentais - Um Caso na Indústria Documento
-
Alo-Competência: Alocação de Competências Documento
-
Alternativas de Busca Linear no Contexto de Pontos Interiores para o Fluxo de Potência Ótimo Documento
-
Alternativas para Diferenciação de Serviços em Redes Locais sem Fio Documento
-
Alto Desempenho em Comparações entre Genomas com Map-Reduce e HMMER Documento
-
Ambiente OSI de Transferência e Manipulação de Tarefas para o Sistema VAX/VMS, COPP-UFRJ, Rio de Janeiro, 1988 Documento
-
Ambiente de Desenvolvimento de Software Orientado a Organização Aplicado à Instrumentação Virtual Documento
-
Ambiente de Suporte para Aprendizagem Cooperativa Distribuída Documento
-
Ambientes de Engenharia de Software Orientados a Corporação Documento
-
Ampliando a Cultura de Processos de Software - um enfoque baseado em Groupware e Workflow Documento
-
An Aesthethic Metric for Multiplayer Turn-Based Games Documento
-
An Evidence-Based Roadmap to Support the Internet of Things Software Systems Engineering Documento
-
Analise das Opções de Centralização e Distribuição Documento
-
Analise de Politicas de Escalonamento para Sistemas Prolog que exploram Paralelismo OU Documento
-
Animação Baseada em Física Usando Partículas em GPUS Documento
-
Animação Baseada em Física com Simulação Desacoplada Documento
-
Animação Computacional de Chuva com Fluxo Superficial Simulado via SPH Documento
-
Animação Física Simplificada Documento
-
Animação em Camadas com Quadros-chave Espaciais e Edição de Trajetórias Documento
-
Análise Sintática Baseada em Regras Usando um Modelo Conexionista: Uma Visão Crítica Documento
-
Análise Sintática RRP SLR(0,1) Documento
-
Análise da Adoção do Teletrabalho: Um Estudo de Caso na Administração de uma Instituição Federal de Ensino Superior Documento
-
Análise da Conectividade em Redes Móveis Utilizando Dados Obtidos da Mobilidade Humana Documento
-
Análise de Convergência e de Implementação de um Algoritmo Proximal para o Problema de Complementaridade Não-Linear Documento
-
Análise de Dados Científicos sobre Múltiplas Fontes de Dados ao longo da Execução de Simulações Computacionais Documento
-
Análise de Desempenho do Algoritmo de Traçado de Raios Guiado por Face Visível Otimizado para Cache Documento
-
Análise de Grupamento Documento
-
Análise de Internet Data Center com Foco nos Prestadores de Serviços: Estudos de Caso Documento
-
Análise de Métodos do Tipo Proximal com Regularização Quase-Distância Documento
-
Análise de Pontos de Função em Sistemas Desenvolvidos Usando MDA Documento
-
Análise de Técnicas de Visualizações para auxílio à Alocação de Recursos Humanos Documento
-
Análise de conceitos táticos do futebol por meio de simulação computacional Documento
-
Análise de convergência dos Métodos de Gauss-Newton do ponto de vista do princípio Majorante Documento
-
Análise de estabilidade em dinâmica industrial Documento
-
Análise do Mercado Brasileiro de Internet Data Center com Foco nos Prestadores de Serviços: Estudos de Caso Documento
-
Análise do Tempo Médio de Espera das Mensagens para um Protocolo de Acesso com Prioridades Documento
-
Análise e Balanceamento de Redes Sociais no Contexto Científico Documento
-
Análise em Redes Sociais Científicas Documento
-
Aplicação de Grafos Cordais a Sistemas Lineares Esparsos Documento
-
Aplicação de Rede Neural Sem Peso e Locality-Sensitive Hashing para o Problema de Cold-Start Item em Filtragem Colaborativa Documento
-
Aplicação de Técnicas de Qualidade de Dados e Gamificação em Projetos de Crowd Science Documento
-
Aplicação de técnica de decomposição com o cálculo de multiplicadores implícitos no planejamento da expansão da geração e rede de transmissão de sistemas elétricos Documento
-
Aplicação do Mecanismo de Extrapolação no Método da Penalização Hiperbólica Documento
-
Aplicação do Mecanismo de Extrapolação no Método de Hiperbólica Documento
-
Aplicação do Método de Pontos Interiores para a Resolucão do Problema de Fluxo de Potência Ótimo Documento
-
Aplicações da Transformada Wavelet em Compressão de Imagens Documento
-
Aplicações de B-Wavelets, Semi-ortogonais sobre intervalos, em Modelagem Geométrica, Filtragem e Reconstrução de Imagens em Multiresolução Documento
-
Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes Documento
-
Apoio ao Processo de Solução Técnica em Ambientes de Desenvolvimento de Software Orientados à Organização Documento
-
Apoio de Gerência do Conhecimento para a Gerência Quantitativa de Projetos de Software Documento
-
Apoio à Alocação de Recursos Humanos em Projetos de Software: Uma Abordagem Baseada em Satisfação de Restrições Documento
-
Apoio à Construção de Base de Dados de Pesquisa em Ambientes de Desenvolvimento de Software Orientados a Domínio Documento
-
Apoio à Decisão Multicritério para o Consumidor no Mercado de Plano Privado de Assistência à Saúde Documento
-
Apoio à Especificação e Verificação de Requisitos Funcionais de Ubiquidade em Projetos de Software Documento
-
Apoio à Especificação e Verificação de Requisitos de Ubiqüidade em Projetos de Software Documento
-
Apoio à Garantia da Qualidade do Processo e do Produto em Ambientes de Desenvolvimento de Software Orientados a Organização Documento
-
Apoio à Integração de Processos de Negócios em Empresas Virtuais Documento
-
Apoio à Seleção de Portfólios de Projetos de Software Baseado na Moderna Teoria do Portfólio Documento
-
Apoio à Tomada de Decisão no Processo de Solução Técnica em Ambientes de Desenvolvimento de Software Orientados à Organização Documento
-
Apoio à Verificação de Software em Ambientes de Desenvolvimento de Software Orientados à Organização Documento
-
Applying Machine Learning on Algorithm Selection for the Graph Coloring Problem Documento
-
Aprendizado Ativo aplicado à Elicitação de Preferências para fins de Incentivo Documento
-
Aprendizado Genético de Regras de Decisão Utilizando a Codificação Natural e Novos Operadores de Recombinação Documento
-
Aprendizado Profundo para Classificação de Microrganismos Documento
-
Aprendizado Relacional Através do Uso de Cláusulas Mais Específicas no Sistema C-IL2P Documento
-
Aprendizado de Máquina Aplicada à Fragmentação Vertical de Bases de Objetos Documento
-
Aprendizado de Máquina Aplicado à Fragmentação Vertical de Bases de Objetos Documento
-
Aprimoramentos na Resolução de Problemas de Empacotamento Utilizando Suavização Hiperbólica Documento
-
Aprovisionamento de Bobinas de Cabos Telefônicos: Uma Aplicação de Programação Heurística Documento
-
Apuama: Processamentio de Consultas OLAP com Atualizações Concorrentes em um Agrupamento de Banco de Dados Documento
-
Arcabouço Autonômico de Padrões para Eliminação de Dados (Pattern based Autonomic Framework for Data Killing) Documento
-
Arquitetura corporativa de tecnologia de informação Documento
-
Arquitetura para Publicação de Dados Abertos em Sistemas de Governo: O Exemplo do SIASG Documento
-
Arquitetura para sistema de detecção de plágio multi-algoritmo Documento
-
Arquiteturas Super Escalares: Efeito de Alguns Parâmetros sobre o Desempenho Documento
-
As Abordagens Volumétricas para a Reconstrução Estéreo Documento
-
As Abordagens Volumétricas para o Algoritmo Estéreo Documento
-
As Lições de Gaspard Monge e o Ensino Subsequente da Geometria Descritiva Documento
-
As Promessas das TICS para a Gestão do SUS: Uma Reflexão Sociotécnica Sobre a Implantação de Um Software para a Estratégia de Saúde da Família Documento
-
Aspectos de Paralelismo na Gerência de Dados e Objetos Documento
-
Aspectos sobre a aplicação de métodos de gradientes conjugados em otimização irrestrita diferenciável Documento
-
Aspéctos de geência de objetos persistentes: A implementação do GOA++ Documento
-
Aumentando o Nível de Abstração para ETL Através de MDA Documento
-
Automatic Complex Instruction Identification with Hardware Sharing for Efficient Application Mapping onto ASIPs Documento
-
Automação Industrial - o CIM como Estratégia de Vantagem Competitiva. Estudo de Caso numa Petroquímica Intermediária Documento
-
Automação de Escritório e Competitividade Empresarial: Um Estudo de Casos Documento
-
Automação de ferramentas de suporte ao desenvolvimento estruturado de sistemas Documento
-
Automação do processo de desenvolvimento de software pela estação TABA Documento
-
Autômatos Celulares Generalizados como modelos de Influência para Agrupamentos de Dados e Interações Sociais. Documento
-
Autômatos Celulares Probabilísticos Aplicados a Sistemas Biológicos Documento
-
Avaliando os Parâmetros de uma Arquitetura VLIW Documento
-
Avaliação Experimental da Memória Cooperativa Colapsada para Sistemas de Vídeo Sob Demanda Documento
-
Avaliação Experimental do Sistema Multiprocessador Paralelo ACP Documento
-
Avaliação da Confiabilidade Composta de Sistemas de Potência em Ambientes Computacionais Paralelos e Distribuídos Documento
-
Avaliação da Qualidade de Dados Pela Não-Conformidade Documento
-
Avaliação da Qualidade de Sistemas Especialistas Documento
-
Avaliação da Qualidade do Uso de Wavelets para Recuperação, Classificação e Agrupamento da Informação Textual Documento
-
Avaliação da usabilidade e manutenibilidade de modelos de processo de software em BPMN Documento
-
Avaliação de Estratégias de Balanceamento de Carga do Tipo Mestre-Escravo para Aplicações SPMD em Clusters e Grids Computacionais Documento
-
Avaliação de Melhorias em Processos de Software Durante a Execução de um Projeto Documento
-
Avaliação de Modelos de Acesso à Memória de Dados em Arquiteturas Superescalares Documento
-
Avaliação de Opções Europeias pelo Método dos Elementos Finitos Documento
-
Avaliação de Processamento Paralelo de Consultas no Modelo Orientado a Objetos Documento
-
Avaliação de Processos de Software Baseada em Medições Documento
-
Avaliação de bordo exata Documento
-
Avaliação do Potencial de Utilização de um Ambiente Virtual 3D para a Prática de Ecercícios de Matemática por Crianças com Transtorno de Déficit de Atenção e/ou Hiperatividade Documento
-
Avaliação do Problema de Ordenação em Diagramas de Decisão Binária Documento
-
Avaliação do desempenho potencial de projetos de software com simulação de processos Documento
-
Avaliação do potencial de utilização de um ambiente virtual 3D para a prática de exercícios de matemática por crianças com transtorno de déficit de atenção e/ou hiperatividade Documento
-
Avaliação e Melhoria de Ativos de Processos Organizacionais em Ambientes de Desenvolvimento de Software Documento
-
B-CONVERT: PROJEÇÃO DE FACES TRIANGULARES BASEADA NO ALGORITMO DE TRAÇADO DE RETAS DE BRESENHAM Documento
-
B-Convert: Projeção de Faces Triangulares Baseada no Algoritmo de Bresenham Documento
-
BGP Traceback: Um Novo Método para Identificação de Caminhos de Ataques na Internet Documento
-
BPMNt : a proposal for flexible process tailoring representation in BPMN / Documento
-
BRECHÓ-VCM: UMA ABORDAGEM BASEADA EM VALOR PARA MERCADOS DE COMPONENTES Documento
-
Balanced Scorecard Autonômico: Um Arcabouço de Referência Documento
-
Ball trees otimizadas para criação interativa de layouts em 2D com formas irregulares Documento
-
Banco de Dados Relacional, Performance e Monitoração Documento
-
Banco de Dados de Proteínas Documento
-
Bandwidth em grafos Documento
-
Biblio: Um Sistema de Análise Bibliométrica para Prospecções Tecnológicas Documento
-
Bill of Experiments: um sistema colaborativo para explicitação, reuso e planejamento de workflows científicos Documento
-
BioProv: uma biblioteca para dados de proveniência em workflows de genômica comparativa Documento
-
Bitlivery: Um Algoritmo para Transmissão de Conteúdo entre Múltiplos Servidores e Múltiplos Clientes Documento
-
BlogMiner: Representação temporal de assuntos através de modelagem de tópicos Documento
-
BrasilODS : um modelo colaborativo de apoio à realização dos objetivos de desenvolvimento sustentável da ONU Documento
-
Bus Line Trajectories Classification Using Weightless Neural Networks Documento
-
Busca de agrupamentos de dados utilizando geração de colunas em programação inteira. Documento
-
Busca de ótimos locais para um problema não convexo de estratégia de preços em mercados de energia Documento
-
Busca e Recuperação de Componentes em Ambientes de Reutilização de Software Documento
-
CAPTURA DE PROVENIÊNCIA ASSÍNCRONA E ADAPTATIVA EM SIMULAÇÕES COMPUTACIONAIS Documento
-
CARACTERIZACOES DE SOLUCOES OTIMAS ATRAVEZ DE ALGORTIMOS POLINOMAIS PARA PROBLEMAS EM SCHEDULING TIPO NO-WAIT FLOW-SHOP Documento
-
CARACTERIZANDO VARIÁVEIS DE INTERATIVIDADE DOS ALUNOS DO CURSO DE COMPUTAÇÃO DO CEDERJ, BASEADO NO SERVIDOR MULTIMÍDIA RIO Documento
-
CARACTERIZAÇÃO DA MOBILIDADE HUMANA E DOS MODELOS DE MOBILIDADE E SUAS INFLUÊNCIAS NAS REDES MÓVEIS Documento
-
CARACTERIZAÇÃO DA MOBILIDADE VEICULAR E O SEU IMPACTO NAS REDES VEICULARES TOLERANTES A ATRASOS E DESCONEXÕES Documento
-
CARACTERIZAÇÃO E RECONHECIMENTO DE GRAFOS BIPARTIDOS CORDAIS Documento
-
CARACTERIZAÇÕES E ALGORITMOS PARA PROBLEMAS CLÁSSICOS DE ESCALONAMENTO Documento
-
CEJ - Um ambiente para a definição e execução de processos customizáveis de publicação científica Documento
-
CICLO HAMILTONIANO EM GRAFOS DE REARRANJO DE GENOMAS POR TRANSPOSIÇÕES PRÉ-FIXADAS Documento
-
CLASSIFICAÇÃO DE LINFOMAS UTILIZANDO UMA ABORDAGEM BASEADA EM ÁRVORES DE DECISÃO Documento
-
CLOUDS - An Object Oriented Fuzzy Database Extender Documento
-
CNOSSOS - MIDDLEWARE DISTRIBUÍDO BASEADO NA PERMUTA MULTILATERAL COMO MODELO DE COMPARTILHAMENTO DE RECURSOS EM REDES P2P Documento
-
COBERTURA DE CORPOS POR ESFERAS UTILIZANDO SUAVIZAÇÃO HIPERBÓLICA Documento
-
COLLABRDL: Uma Extensão da RDL para Especificação de Processos de Reutilização Colaborativos Documento
-
COLORAÇÃO TOTAL EM GRAFOS POTÊNCIA DE CICLO Documento
-
COMPAGENT: Uma Ferramenta par ao Apoio a Busca e Recuperação de Informações Orientadas a Domínio na WEB Documento
-
COMPAGENT: Uma Ferramenta para o apoio à Busca e Recuperação de Informações Orientadas a Domínio na Web Documento
-
COMPLEXITY AND ALGORITHMS RELATED TO TWO CLASSES OF GRAPH PROBLEMS Documento
-
COMPOOTIM: Em direção ao Planejamento, Acompanhamento e Otimização da Colaboração na Definição de Processos de Software Documento
-
COMPORTAMENTO COMUNICATIVO APLICADO A TRANSAÇÃO NO GOA++ Documento
-
CONSTRUÇÃO DE REDES SOCIOTÉCNICAS E OS MITOS DE FUNDAÇÃO DE UMA TECNOCIÊNCIA BRASILEIRA Documento
-
CONTRIBUICOES PARA OTIMIZACAO EM GRAFOS E PROBLEMAS DE PERCURSO DE VEICULOS: SISTEMA SISGRAFO Documento
-
CONTROLE DESTRIBUIDO DE WORKFLOWS EM MALHAS COMPUTACIONAIS Documento
-
CONTROLE DISTRIBUÍDO DA SINALIZAÇÃO DE INTERSEÇÕES E DO FLUXO DE TRÁFEGO Documento
-
CONTROLE DISTRIBUÍIDO DE TRAFEGO COM FLUXOS HETEROGÊNEOS Documento
-
COOPRACTICE - COMUNIDADES DE PRÁTICA VIRTUAIS APOIADAS POR ONTOLOGIAS Documento
-
CORROBORAÇÃO COMPUTACIONAL POR "DOCKING" MOLECULAR DA HIPÓTESE AUTO-IMUNE DA ESQUIZOFRENIA. Documento
-
CRM e Ambientes Configurados na Estação TABA Documento
-
CUSTO EQUIVALENTE DE GERAÇÃO TÉRMICA ATRAVÉS DE UMA MODELAGEM LINEAR POR PARTES DINÂMICA APLICADO AO PROBLEMA DE PLANEJAMENTO DA OPERAÇÃO HIDROTÉRMICA NÃO LINEAR ESTOCÁSTICO Documento
-
Cacheamento Consistente, Transparente e Distribuído de Banco de Dados em Servidores de Comércio Eleletrônico Documento
-
Cacheamento Consistente, Transparente e Distribuído de Banco de Dados em Servidores de Comércio Eletrônico Documento
-
Cacheamento Transparente de banco de Dados em Servidores de Comércio Eletrônico Documento
-
Captura de Dados de Proveniência de Workflows Científicos em Nuvens Computacionais Documento
-
Captura de Dados de Proveniência para Apoiar a Análise de Hiperparâmetros em Redes de Aprendizado Profundo Documento
-
Caracterizando o Comportamento de Longo Prazo de Sistemas Markovianos com Múltiplas Escalas de Tempo Documento
-
Caracterização da distribuição de carga em redes complexas submetidas a um tráfego uniforme Documento
-
Caracterização de Sistemas de Controle Invariantes Documento
-
Caracterização de Tráfego Utilizando Classificação de Fluxos de Comunicação Documento
-
Caracterização de Tráfego Utilizando Fluxos de Comunicação Documento
-
Caracterização de períodos antecipatórios de crises epiléticas Documento
-
Caracterização e Modelagem do Comportamento de Usuários Acessando um Vídeo de Ensino a Distância Documento
-
Caracterização e Modelos para Avaliar o Desempenho de Redes de Acesso Residencial Baseados em Aprendizado de Máquina Documento
-
Caracterizações de Grafo de Interseção de Triângulos Documento
-
Caracterizações e Algoritmos para Generalizações da Propriedade de Helly Documento
-
Caracterizações para Grafos de Interseção de Triângulos Documento
-
CardioAutor: Um ambiente na Web para autoria de tutoriais em Cardiologia Documento
-
Central Telefônica Controlada pelo Terminal Inteligente Documento
-
Centro de Massa de Matrizes Simétricas Definidas Positivas: Descrição de Um Algoritmo e Sua Implementação Documento
-
Charon: Uma Máquina de Processos Extensível Baseada em Agentes Inteligentes Documento
-
Charon: Uma Máquina de processos Extensível Baseada em Agentes Inteligentes Documento
-
Ciclos Hamiltonianos em Grafos de Kneser Documento
-
Ciclos Induzidos Pares em Grafos Planares Documento
-
Ciência na imprensa brasileira no pós-guerra: o caso do suplemento 'Ciência para Todos' (1948-1953) Documento
-
Classes de Grafos Clique-Inversos Documento
-
Classificação automática de autômatos celulares por máquinas paralelas usando entropia de transições de estados Documento
-
Classificação de Emoções Faciais utilizando a Rede Neral sem Pesos WiSARD Documento
-
Classificação de Texturas Florestais Via Matrizes de Coocorência e Simullated Annealing Documento
-
Classificação de embarcações por meio de suas assinaturas magnéticas Documento
-
Classificação/Segmentação de Imagens empregando Gradientes de Deformação Documento
-
Clique-, Biclique-, and Star-Colourings Documento
-
Clusters Java: Implementação e Avaliação Documento
-
Codifica ções Estruturais para a Resolu ção Escalar de Sistemas Lineares Esparsos Simétricos, Definidos Positivos Documento
-
Cografos-(k,l): Caracterização e Reconhecimento Documento
-
Coleções de Conjuntos Disjuntos: Operações e Algoritmos Documento
-
Collaborative Assessment of Automation Technologies from the Work Perspective Documento
-
Coloração Orientada: Uma Abordagem Estrutural e de Complexidade Documento
-
Coloração Total de Famílias de Snarks Documento
-
Colorações de Grafos Arco-circulares Documento
-
Colorações de Grafos Arcos-Circulares Documento
-
Combinando aprendizado de máquina e informações evolutivas na identificação e classificação funcional de proteínas homólogas distantes Documento
-
Compactação de Circuitos Integrados com Aplicação de Relaxação Lagrangeana Documento
-
Compactação de Código para Arquiteturas SPARC VLIW Documento
-
Comparação de Desempenho entre Modelos Neurais Ágeis Documento
-
Comparação difusa de classes baseada no comportamento Documento
-
Comparação e Classificação de Sequências de Proteínas Utilizando Mineração de Textos Documento
-
Compilando Resolução de Problemas para Minimização de Energia Documento
-
Compilação em Separado usando Linguagem ADA Documento
-
Complexidade Parametrizada de Problemas de Edição de Grupos Documento
-
Complexidade dos problemas sanduíche e probe para subclasses de grafos-(k,l) Documento
-
Componentes de Processo para Análise de Desempenho de Processos de Software Documento
-
Comportamento da Trace Cache num Ambiente Multiprogramado Documento
-
Compublish: Um Sistema para a Publicação, Busca e Recuperação de Componentes de Software na Internet Documento
-
Computational Environment for Discovery of New Molecules with Diagnostic Potential Documento
-
Comércio Eletrônico: Uma Abordagem Baseada em Recursos Documento
-
Conceptual Framework for Supporting the Identification of Representative Samples for Surveys in Software Engineering Documento
-
Concepção de Um computador híbrido Documento
-
Condições Necessárias de Otimalidade para Sistemas de Geração Hidrotérmicos Documento
-
Conexão de terminais com limitação de roteadores :complexidade e relação com fluxos e caminhos disjuntos Documento
-
Conjunto Independente e Cobertura por Cliques em Grafos de Disco Unitário e Moeda Unitária Documento
-
Considerando o ruído no aprendizado de modelos preditivos robustos para a filtragem colaborativa Documento
-
Construcao de Arvores Binarias Lexicograficas Atraves de Algoritmos Heuristicos Documento
-
Construção de Algoritmos Reversíveis e Quânticos Documento
-
Construção de Núcleos Paralelos de Álgebra Linear Computacional com Execução guiada por Fluxo de Dados Documento
-
Construção de um Sistema para Simulação de Fluido com Ênfase no Tratamento de Bordas Documento
-
Construção de um Sistema para Simulação de Fluidos com Ênfase no Tratamento de Borda Documento
-
Consórcios como Agentes de Disseminação de Conhecimento e Despertar de Vocações: A Experiência do Consórcio BIOMAT - Instituto para Estudos Avançados de Biossistemas e do Consórcio Brasil - Estados Unidos da América em Informática Médica Documento
-
Contagem de Tempo Em Sistemas de Virtualização Documento
-
Contratação de Desenvolvimento Ágil de Software pelo Governo Documento
-
Contribuição ao Problema de Equilíbrio em Redes Documento
-
Contribuição ao Problema de Viabilidade Convexa Documento
-
Contribuição para a Resolução do Problema de Steiner num Grafo Direcionado: um Método Heurístico. Documento
-
Contribuição teórica para entender os problemas de síntese e ampliação de redes Documento
-
Contribuição às Aplicações dos Modelos de Recobrimento e Particionamento em Programação Inteira Documento
-
Contribuições para a Solução do Problema do Caixeiro Viajante Assimétrico Documento
-
Contribuições à Solução do Problema Bin-Packing: Formulações, Relaxações e Novos Algoritmos Aproximativos. Documento
-
Contribuições à soluções de problemas de percursos e sequenciamento de veículos Documento
-
Controle Distribuído de Tráfego Baseado em Veículos Conectados Documento
-
Controle H-infinito para Sistemas Lineares a Tempo Contínuo com infinitos Saltos Markovianos Documento
-
Controle da Qualidade de Software Financeiro Documento
-
Controle de Congestionamento: Uma Abordagem Dinâmico-Populacional via Teoria dos Jogos Evolucionários Documento
-
Controle de Qualidade em Bancos de Dados Documento
-
Controle distribuído de Workflows em malhas computacionais Documento
-
Controle Ótimo para problemas LQ a tempo contínuo com saltos Markovianos Documento
-
Controlling the Parallel Execution of Workflows Relying on a Distributed Database Documento
-
CooMan - Sistema Colaborativo de Gerenciamento de Projetos Documento
-
Coordenação de Programas de Manutenção Preventivas de Unidades Geradoras Documento
-
Corroboração Computacional da Hipótese Auto-imune da Esquizofrenia Documento
-
Corte Estrela e Corte clique Sanduíche Documento
-
Cortes Disjuntivos para o Problema do Particionamento Documento
-
Cortes-Estrela e Cortes-Clique Sanduíche Documento
-
Criação e Instanciação de Arquiteturas de Software Específicas de Domínio no Contexto de uma Infra-Estrutura de Reutilização Documento
-
Critério de Dominância para Problemas de Localização de Armazéns Capacitados de Grande Porte Documento
-
Critérios de Estabilidade no Problema de Previsão de Matrizes Documento
-
CrowdView: Uma Plataforma de Crowdsourcing para Gerenciamento Temporal de Entidades Documento
-
CÓDIGOS PARA SUBFAMÍLIAS DOS GRAFOS CORDAIS Documento
-
Cálculo de Descritores de Tráfego para Modelos Markovianos de Fontes Multimídia Documento
-
Código_A: Uma proposta de código intermediário, independente de máquina, para ADA Documento
-
DECOMPOSITION OF (2K + 1)-REGULAR GRAPHS CONTAINING SPECIAL SPANNING 2K-REGULAR CAYLEY GRAPHS INTO PATHS OF LENGTH 2K + 1 Documento
-
DECOMPOSIÇÕES PARA COLORAÇÃO DE ARESTAS E COLORAÇÃO TOTAL DE GRAFOS Documento
-
DEFINIÇÃO DE ORDENS NAS CADEIAS LATERAIS DE PROTEÍNAS PARA CÁLCULOS COMBINATÓRIOS DE ESTRUTURAS TRIDIMENSIONAIS Documento
-
DEFORMAÇÃO O DE FORMAS 2D BASEADA EM RESTRIÇÕES? ES POSICIONAIS INTUITIVAS E MANIPULAÇÃO? O DE CAMADAS Documento
-
DELÍRIO E CRIATIVIDADE: UMA ABORDAGEM NEUROCOMPUTACIONAL Documento
-
DESCONTAMINAÇÃO DISTRIBUÍDA DE GRAFOS Documento
-
DESCRIÇÃO DO COMPORTAMENTO DA VAGEM DA CLITORIA fairchildiana HOWARD-FABACEAE DURANTE A SEMEADURA Documento
-
DESSENSIBILIZAÇÃO E REPROCESSAMENTO POR MOVIMENTOS OCULARES BASEADA EM INTERFACE NATURAL, TRANSPARÊNCIA E VIRTU ALIDADE PARA TRATAMENTO DO ESTRESSE PÓS-TRAUMÁTICO Documento
-
DETERMINACAO DA CAVA OTIMA EM MINERACAO A CEU ABERTO ATRAVES DE PROGRAMACAO PARALELA Documento
-
DIAGNOSE EM SISTEMAS DE POTENCIA UTILIZANDO LOGICA NAO-MONOTONICA E REDES NEURAIS. Documento
-
DIRECTOR - A Cloud Microservice Selection Framework Documento
-
DIVERSIDADE DE CAMINHOS PARA APLICAÇÕES EM TEMPO REAL Documento
-
DIVISÃO ESPACIAL DE DADOS VOLUMÉTRICOS REGULARES PARA RENDERIZAÇÃO OUT-OF-CORE Documento
-
DRAWING DROID: SISTEMA COLABORATIVO EM DESENHO TÉCNICO PARA DISPOSITIVOS MÓVEIS Documento
-
DTM@JVM: Reuso Dinâmico de Traços em uma Máquina Virtual Java Documento
-
DUETO: Um Editor Cooperativo de Textos Técnicos Técnicos Documento
-
DUPLAS PARES EM GRAFOS PERFEITOS Documento
-
DWFIST: Uma Abordagem Baseada em Data Warehouse para Exploração e Análise de Conjuntos de Itens Frequentes Documento
-
DYNAFLOW: WORKFLOWS DISTRIBUÍDOS EM AMBIENTES P2P COM AUXÍLIO DE AGENTES Documento
-
Da TV Broadcasting a Web TV: Um Modelo de Televisão Viável Documento
-
Dados Autonômicos Documento
-
Data Mining : Determinação de agrupamentos em Grandes Bases de Dados Documento
-
Dataflow Execution for Reliability and Performance in Current Hardware Documento
-
Decisio: Um Sistema de apoio a decisão para o planejamento ambiental Documento
-
Decomposição por cliques maximais e subgrafos proibidos para grafos de caminho Documento
-
Dedução Natural e Cálculo de Seqüentes para 'Geralmente' Documento
-
Definição de Processos Reutilizáveis para Projetos com Aquisição Documento
-
Definição de Termos em Ambientes para o Desenvolvimento de Software Documento
-
Definição de uma Técnica de Leitura Baseada em Perspectiva (OO-PBR) Apoiada por Estudos Experimentais Documento
-
Definição e Construção de Ambientes de Desenvolvimento de Software Orientados a Organização Documento
-
Definição e Gerência de Objetivos de Software Alinhados ao Planejamento Estratégico Documento
-
Definição e Implementação de um Sistema Especialistas em Modularização de Projeto Estruturado de Sistemas Documento
-
Deformação de formas 2D baseada em restrições posicionais intuitivas e manipulação de camadas Documento
-
Democratização do Acesso ã Banda Larga no Brasil: O Caso Telebrás Documento
-
Descrições e conflitos computacionais: o caso da derivada Documento
-
Desempenho Computacional do Método de Agrupamento Via Suavização Hiperbólica Documento
-
Desenvolvimento de um Algoritmo de Linearizações Sucessivas para Estudos de Confiabilidade em Sistemas de Potência Documento
-
Desenvolvimento de um Protocolo de Comunicação entre dois Sistemas Distribuídos Documento
-
Desenvolvimento do Suporte Básico para Sistemas Operacionais Distribuídos Documento
-
Desenvolvimento e Avaliação de Um Protocolo Peer-to-peer para Aplicações da Internet Orientadas a Interesse Documento
-
Desenvolvimento e Avaliação de um protocolo Peer-to-peer para aplicações da Internet orientadas a interesses Documento
-
Desenvolvimento e implementação de um Sistema de arquivo em disco para acesso aleatório Documento
-
Design and development of a fluid simulation environment focused on multimedia networks Documento
-
Despacho e Formação de preços de energia elétrica através de leilões em sistemas predominantemente hidráulicos Documento
-
Detection and localization of events in computer networks using end-to-end measurements time series Documento
-
Detecção de Anomalias em Fluxos de Redes de Computadores Utilizando Técnicas de Redes Neurais e Estimadores Lineares Documento
-
Detecção de Homologias Distantes através de HMMs e Informações Estruturais de Proteínas Documento
-
Detecção de Palíndromos Aproximados em Cadeias Documento
-
Detecção de predicados globais em programas paralelos distribuídos Documento
-
Determinação de Estruturas de Proteínas Via Suavização Hiperbólica Documento
-
Dez algoritmos para o Problema-Sanduíche do Conjunto Homogêneo Documento
-
Dicionáro de Dados:Uma Ferramenta Automatizada de Apoio ao Método DARST Documento
-
Dig: Um Serviço para Prover custos e Estatísticas para o Processamento Distribuído de Consultas Documento
-
Discussão de casos de cardiologia Documento
-
Distribuição Em Sistemas Gerenciadores de Bases de Dados Orientados A Objetos: Um Estudo de Caso Usando O O2 Documento
-
Distributed Parallel Simulation of Neural Networks for Visual Perception of Natural Images Documento
-
Distância de transposição através da transformação em permutação simples Documento
-
Distâncias em Grafos Geométricos Aleatórios e suas Aplicações ao Problema da Localização em Redes de Sensores Documento
-
Diâmetro de Grafos Fulerenes e Transversalidade de Ciclos Ímpares de Fuleróides-(3,4,5,6) Documento
-
Do Braille ao Dosvox - Diferenças nas vidas dos cegos brasileiros Documento
-
Documentação de Componentes Reutilizáveis: uma abordagem baseada nas tecnologias de Hipermídia e Padrões Documento
-
Dois Modelos de Simulacao Para Sistemas de Saude Documento
-
Dominação e Dominação Total em Grafos Cúbicos de Cintura Grande Documento
-
Dualidade em Problemas de Programação Não-Linear com Vínculos Positivos Documento
-
Duas Barreiras para a Programação Semidefinida Documento
-
Duplas Pares em Grafos Berge Touro-redutíveis Documento
-
Dynamic Process Adaptation: Planning In a Context-Aware Approach Documento
-
ESCALONADOR DISTRIBUÍDO DE TAREFAS PARA O APACHE SPARK Documento
-
ESCALONAMENTO DISTRIBUIDO LIVRE DE COLISOES PARA REDES DE SENSORES SEM FIO COM MULTIPLAS FONTES E MULTIPLOS SUMIDOUROS Documento
-
ESCOLA FAZ TECNOLOGIA, TECNOLOGIA FAZ ESCOLA Documento
-
ESCOLA; Ambiente de Aprendizagem Baseado em Hipertecnologias Documento
-
ESTRATÉGIAS DE OFERTAS ÓTIMAS SOB INCERTEZA E EQUILÍBRIOS DE NASH DE AGENTES GERADORES EM MERCADOS DE CURTO PRAZO DE ENERGIA ELÉTRICA: UMA ABORDAGEM POR PROGRAMAÇÃO LINEAR INTEIRA Documento
-
ESTRATÉGIAS DE PARALELISMO NA BUSCA POR SIMILARIDADES EM SEQÜÊNCIAS DE DNA E PROTEÍNAS JUNTO AO MPIBLAST Documento
-
ESTRATÉGIAS ESCALÁVEIS PARA DISTRIBUIÇÃO DE MÍDIAS CONTÍNUAS SOB DEMANDA EM REDES SEM FIO Documento
-
ESTRATÉGIAS PARA O ESCALONAMENTO DINÂMICO DE WORKFLOWS EM GRID Documento
-
ESTUDOS EXPERIMENTAIS SOBRE AGILIDADE NO DESENVOLVIMENTO DE SOFTWARE E SUA UTIL UTILIZAÇÃO NO PROCESSO DE TESTE Documento
-
ESTUDOS EXPERIMENTAIS SOBRE AGILIDADE NO DESENVOLVIMENTO DE SOFTWARE E SUA UTILIZAÇÃO NO PROCESSO DE TESTE Documento
-
EVOLTRACK-PROCESS: UM AMBIENTE PARA A VISUALIZAÇÃO DA COLABORAÇÃO EM PROCESSOS DE SOFTWARE Documento
-
EXPANSÃO ÓTIMA DE SISTEMAS DE TRANSMISSÃO ATRAVÉS DE DECOMPOSIÇÃO DE BENDERS E TÉCNICAS DE PLANOS CORTANTES Documento
-
EXPLORANDO A EQUIVALÊNCIA ENTRE UMA MÁQUINA QUÍMICA ABSTRATA E COMPUTAÇÃO DATAFLOW Documento
-
EXTENDING WISARD TO PERFORM ENSEMBLE LEARNING, REGRESSION, MULTI-LABEL, AND MULTI-MODAL TASKS Documento
-
EXTENSÂO DE LIMITES ELIPSOIDAIS EM PROGRAMAÇÂO QUADRÁTICA INTEIRA. Documento
-
EXTRAÇÃO DE ACRÔNIMOS E SEUS SIGNIFICADOS COM MODELOS OCULTOS DE MARKOV Documento
-
EXTRAÇÃO DE CONHECIMENTO EM PROCESSOS DE CERTIFICAÇÃO PROFISSIONAL Documento
-
EXTRAÇÃO DE CONHECIMENTO EM PROCESSOS DE CERTIFICAÇÃO PROFISSIONAL Documento
-
EXTRAÇÃO DE LITOFACIES UTILIZANDO MARCHING CUBES COM PROCESSAMENTO PARALELO Documento
-
Ecossistema para Infraestrutura de Dados Espaciais Híbrida, Coproduzida, Colaborativa, Convergente e Compartilhável Documento
-
Efeito da Execução Condicional em Arquiteturas Paralelas: Especificação da Documento
-
Efeito da Reorganização do Código Binário no Desempenho de Cache de Instruções em Arquiteturas RISC Documento
-
Elementos de Geometria Riemanniana para Métodos de Pontos Interiores Documento
-
Emprego de Princípios de Sistemas Emergentes na Construção de Uma Plataforma para Aplicações Ponto-a-Ponto Documento
-
Endo-GDC: desenvolvimento de um game design canvas para concepção de jogos educativos endógenos Documento
-
Enriquecendo animações em quadros-chaves espaciais com movimento capturado Documento
-
Entropia, Informação e Qualidade: de um Perceptron para Avaliar Similaridade entre Strings até um Modelo de Campos Conservativos Documento
-
Escalonamento Distribuído de Linhas de Execução Paralelas através de Reversão de Arestas com Hibernação Documento
-
Escalonamento de Enlaces e Roteamento Multi-Caminho para Redes em Malha Sem Fio Documento
-
Escalonamento distribuído por reversão de arestas com reconfiguração dinâmica de carga Documento
-
Especificação de Sistemas Multi-Agentes Baseados em Conhecimento Documento
-
Estabilidade de Sistemas Não-Lineares: Uma Abordagem Estrutural Documento
-
Estado da Arte da Criptografia de Chave Pública baseada no Problema da Mochila Documento
-
Estimating Hand Poses from RGB-D Data Documento
-
Estimativa de Esforço em Projetos de Especificação de Requisitos Documento
-
Estratégia Geral de Ondas de Mensagens para Desenvolvimento de Tarefas em Enxames de Robôs Documento
-
Estratégias Empresariais no Mercado Brasileiro de Segurança da Informação: Um Estudo de Casos no Rio de Janeiro Documento
-
Estratégias baseadas em políticas verdes para alocação de recursos em grids computacionais Documento
-
Estratégias de Hardware e Software para Otimização de Sistemas de Memória Compartilhada Distribuída Documento
-
Estratégias de Ofertas Ótimas sob Incerteza e Equilíbrios de Nash de Agentes Geradores em Mercados de Curo Prazo de Energia Elétrica: Uma Abordagem por Programação Linear Inteira Documento
-
Estratégias de Software e Hardware para Otimização de Sistemas de Memória Compartilhada Distribuída Documento
-
Estrutura de Dados Espaciais Para Um Gerente de Objetos Documento
-
Estruturas de Dados para a Interface de Banco de Dados LOBAN Documento
-
Estudo Comparativo de Algoritmos de Fluxo Máximo Documento
-
Estudo da Complexidade de Grafos Bem Cobertos-(r, l): Reconhecimento, Problemas sanduíche e Probe Documento
-
Estudo da Disponibilidade de um Centro de Supervisão baseado em uma Arquitetura Distribuída Documento
-
Estudo da Viabilidade de Redes Neurais na Solucao do Problema de Decodificacao Binaria Documento
-
Estudo das Técnicas de Computação em Redes Distribuidoras de Mercadorias Documento
-
Estudo de Algoritmos de Busca em Grafos e sua Aplica¸cao a Problemas de Planejamento Documento
-
Estudo de Diferentes Abordagens Sócio-técnicas sobre a Geração Tecnológica: um Caso Comparativo da Tecnologia Digital de Centrais Telefônicas Públicas Documento
-
Estudo de Técnicas p/ Classificação e Avaliação de Interface Homem-Máquina baseados na Satisfação do Usuário Documento
-
Estudo de algoritmos de polling em redes Documento
-
Estudo de jogos combinatórios em grafos e sua aplicação em neurociência Documento
-
Estudo de sistemas de controle a estrutura variável Documento
-
Estudo do Operador Inversa Parcial Aplicado a um Cone Documento
-
Estudo do Tempo de Acesso ao Meio em Redes em Malha sem Fio Documento
-
Estudo e Avaliação de Arquiteturas RISC para uso em Sistemas Multiprocessadores Documento
-
Estudo e Implementação Eficiente de Algoritmos Criptográficos Documento
-
Estudo e Implementação de uma Infra-estrutura de Chaves Públicas com aplicação em controle e acesso a redes sem fio Documento
-
Estudos de Arquiteturas de Memórias Cache Distribuídas para o Sistema MULTIPLUS Documento
-
Estudos sobre os métodos iterativos de Krylov para solução de sistemas de equações lineares Documento
-
Evidence Representation and Aggregation in Software Engineering Using Theoretical Structures and Belief Functions Documento
-
Evolução de Autômatos Celulares para a Previsão de Séries Temporais Correlacionadas Documento
-
Evolução do Conhecimento Documento
-
Execução Especulativa em uma Máquina Virtual Dataflow Documento
-
Exercitando o Funcionamento Dinâmico da Organização dos Agentes Econômicos na Nuvem: Uma Análise com Grafos e Simulações Documento
-
Existência de soluções e Dualidade para um Problema de Equilíbrio Generalizado Documento
-
Expansão da Capacidade de Ponta em Sistemas Hidrelétricos Interligados Documento
-
Experimento em Engenharia de Software Documento
-
Experimentos com o Servidor Rio em um Ambiente Distribuído e Heterogêneo Documento
-
Expert Piano: um ambiente de auxílio à aprendizagem musical Documento
-
Explorando Dinamicamente o Reuso de Traces em Nível de Arquitetura de Processador Documento
-
Explorando Linhas de Execução Paralelas com Programação Orientada por Fluxo de Dados. Documento
-
Explorando Paralelismo em Primitivas de Mineração de Dados para a Tarefa de Classificação Documento
-
Exploring Digital Nomads' Knowledge Ecologies Documento
-
Extensões não Lógicas do Cálculo Relacional Documento
-
Extração Automática de um Grafo a partir de Imagens de Mapas Urbanos Documento
-
Extração de Gramáticas Sincrônicas para Traduação de Linguagens Naturais em Linguagens Formais Documento
-
Extração de Modelo Digital de Elevações Acelerada em GPU Documento
-
Extração de Relações Semânticas em Reivindicações de Patentes Documento
-
FEGRES - FERRAMENTAS GRAFICAS PARA ENGENHARIA DE SOFTWARE Documento
-
FERRAMENTA MULTIMÍDIA DE AUXÍLIO A AULAS Documento
-
FERRAMENTAS AUTOMATIZADAS PARA APOIO AO PROJETO ESTRUTURADO Documento
-
FILTRAGEM COLABORATIVA COMO SERVIÇO UTILIZANDO PROCESSAMENTO NA GPU Documento
-
FILTRO RASTER DE TRÊS CORES PARA JUNÇÃO DE OBJETOS ESPACIAIS Documento
-
FORENSIC FACIAL RECONSTRUCTION USING MESH TEMPLATE DEFORMATION WITH DETAIL TRANSFER OVER HRBF Documento
-
FRAGMENTAÇÃO FÍSICA DE DADOS EM DATA WAREHOUSES BASEADA EM ÁRVORES R. Documento
-
FRAMEWORK DATAFLOW PARA COMPUTAÇÃO PARALELA DE ALTO DESEMPENHO APLICADO A SISTEMAS LINEARES ESPARSOS Documento
-
FUSAO DE DADOS EM GAMMA Documento
-
Fatores de Aceleração no Problema de Particionamento Não Ponderado Documento
-
Femina Computationalis ou A Construção do Gênero na Informática Documento
-
Ferramenta para Instanciação e Execução do Processo de Análise de Desempenho do Ambiente SPEAKER Documento
-
Ferramenta para o aprendizado da escrita a mão livre de caracteres japoneses Documento
-
Ferramentas de apoio ao SGBD COPPEREL Documento
-
Ferramentas para Edição de Texto em um ambiente operacional amigavel Documento
-
Filtro Riemanniano Adaptativo Baseado em centros de massas: uma aplicação à difusão tensorial de imagens por ressonância magnética Documento
-
Filtros Raster para Junções de Polilinhas Documento
-
Formalização e Verificação de Consistência na Representação de Variabilidades Documento
-
Formatização e Verificação de Consistência na Representação de Variabilidades Documento
-
Formação e Inserção no Mercado de Trabalho em Computação e Informática: Um estudo de caso sobre o curso de Informática da UFRJ Documento
-
Formulação variacional de problemas de fluxo em rede: análise teórica e numérica Documento
-
Formulações e Algoritmos de Solução para o Conjunto Dominante 2-Conexo Mínimo Documento
-
Fractional edge coloring for wireless link scheduling in the physical interference model Documento
-
Funções de Mérito para o Problema de Complementariedade Semidefinido Documento
-
Funções de ativação hiperbólicas em redes neurais Documento
-
GAMIFICANDO OBJETIVOS EM QUESTS: MODELO E IMPLEMENTAÇÃO Documento
-
GCN: Gestão do Conhecimento na Negociação Documento
-
GERENCIAMENTO DE TEXTURAS PARA APLICAÇÕES DE VISUALIZAÇÃO DE TERRENOS EM AMBIENTE DE COMANDO E CONTROLE Documento
-
GERÊNCIA DE DADOS GENÔMICOS EM WORKFLOWS DE BIOINFORMÁTICA Documento
-
GOS: Servicos de Ontologia na Integracao de Bases de Dados Documento
-
Ganhos Potenciais da Migração Dinâmica de Traces para Instruções do Tipo CISC em Microarquiteturas Pipelined Documento
-
Generalizações dos Algoritmos Afim escala Primal e Dual e um Algoritmo Proximal para Programação Quase - Convexa Documento
-
Geometria Dinâmica: um estudo Documento
-
Gerador de Compiladores de Micro Assembler Documento
-
Geradores de sequências baseados em SMER Documento
-
Geração Eficiente de Planos de Materialização para Documentos XML Ativos Documento
-
Geração das Bicliques de um Grafo Documento
-
Geração de Colunas em Problemas de Otimização Combinatória Documento
-
Geração de Colunas em Programação Inteira Aplicada à Síntese de Redes Documento
-
Geração de Malhas 3D para dados Sísmicos. Documento
-
Geração de Malhas Não-Estruturadas 3D Restritas para Aplicações Industriais Documento
-
Gerações de colunas para o problema de empacotamento de arvores de Steiner Documento
-
Gerenciador de Interfaces Gráficas para Sistemas de Tempo Real Documento
-
Gerenciamento de Projetos Baseado em Cenários: uma Abordagem de Modelagem Dinâmica e Simulação Documento
-
Gerência da execução de workflows científicos de bioinformática em ambientes distribuídos Documento
-
Gerência de Configuração no Desenvolvimento Baseado em Componentes Documento
-
Gerência de Mapeamento entre Esquemas de Representação de Dados Genéticos Documento
-
Gerência de Processos de Software para Equipes Geograficamente Dispersas Documento
-
Gerência de Proveniência em Workflows Científicos Paralelos e Distribuídos Documento
-
Gerência de Proveniência em Workflows Paralelos e Distribuídos Documento
-
Gerência de Recursos Científicos: Apoiando a Realização de Experimentos In Silico Documento
-
Gestao tecnologica Documento
-
Gestão Autonômica de Processos de Negócios Documento
-
Gestão de conhecimento na indústria brasileira: efeitos das práticas intensivas em conhecimento na produtividade e na capacidade de inovação Documento
-
Graceful labeling of graphs Documento
-
Grafos Clique de Arestas Documento
-
Grafos Equiestáveis e de Partição Geral Documento
-
Grafos ORTH[h, s, t] / Documento
-
Grafos Periplanares Maximais: Reconhecimento e Extensões Documento
-
Grafos Split e Grafos Split Generalizados Documento
-
Grafos de Intersecao em arestas de caminhos em arvores Documento
-
Grafos de Interseção em Arestas de Caminhos em uma Árvore Documento
-
Grafos de Intervalo: Caracterizações, Problemas e Algoritmos Documento
-
Gramáticas e Linguagens Indicias Probabilísticas Documento
-
Gramáticas e Linguagens R*S(k) Documento
-
Grand: Um Modelo de Gerenciamento Hierárquico de Aplicações em Ambiente de Computação em Grade Documento
-
Graphene: Um Protótipo de Sistema de Gerência de Bancos de Dados Distribuídos Orientados a Grafos Documento
-
GridRT: Uma Arquitetura Paralela para Ray Tracing usando Volumes Uniformes Documento
-
GridRT: Uma Arquitetura Paralela para Ray Tracing utilizando Volumes Uniformes Documento
-
Guidelines for Experimentation with Dynamic Simulation Models in the Context of Software Engineering Documento
-
HIMPAR, uma Arquitetura para Interoperabilidade de Objetos Distribuídos Documento
-
HIPER AUTOR: um método para a especificação de aplicações do tipo Hipermídia Documento
-
HIPERMIDIA NA EDUCACAO: PARADIGMAS E AVALIACAO DA QUALIDADE Documento
-
HOOT: Integrando Hipermídia e Banco de Dados Orientados a Objetos Documento
-
HTILDE-RT: Um algoritmo de aprendizado de árvores de regressão de lógica de primeira ordem para fluxos de dados relacionais Documento
-
HTILDE: Tornando árvores de decisão relacionais escaláveis para grandes bases de dados Documento
-
Heuristicas lagrangeanas para o problema da arvore geradora com restrição de grau nos vértices Documento
-
Heuristicas para o Problema do Caixeiro Viajante com Grupamentos Documento
-
Heurística para o Problema de Steiner Euclidiano em Rn Documento
-
Heurísticas e Metaheuristicas para o Problema do Caixeiro Viajante com Grupamentos Documento
-
Heurísticas para o Problema de Steiner Euclidiano em R(n) Documento
-
High-Performance Simulation of Interacting Multiparticle Quantum Walks with Apache Spark Documento
-
HiperClinica: Sistema Cooperativo Hipermídia de Apoio a Sessao Clinica em Cardiologia Documento
-
Hipergrafos Direcionados Documento
-
Hydra: componentes para o paralelismo de dados em experimentos científicos Documento
-
IDENTIFICAÇÃO DE FALHAS EM BOMBEIO MECÂNICO A PARTIR DE CARTAS DINAMOMÉTRICAS DE FUNDO Documento
-
IDENTIFICAÇÃO DE VIOLAÇÕES DE ARQUITETURA NUM CENÁRIO DE DESENVOLVIMENTO ORIENTADO A MODELO Documento
-
IMPLEMENTACAO DE UM METODO DE ACESSO BASEADO EM ESTRUTURAS DE ARVORES MULTIDIMENSIONAIS. Documento
-
INDO CASES: Um Modelo Integrado de Requisitos com Casos de Uso Documento
-
INFORMAÇÃO DE PROJETOS EM TI PARA A ALTA ADMINISTRAÇÃO Documento
-
INFORMÁTICA E EDUCAÇÃO ESPECIAL: USO DE PROCESSAMENTO DE VOZ PARA DEFICIENTES AUDITIVOS Documento
-
INOVAÇÃO E RECURSOS HUMANOS: UM ESTUDO DE CASOS EM EMPRESAS DE INFORMÁTICA DO RIO DE JANEIRO Documento
-
INTEGRAÇÃO DAS REDES BIOMOLECULARES NA HOMEOSTASIA DA CÉLULA E NA MORFOGÊNESE DO ORGANISMO Documento
-
INTEGRAÇÃO DE BANCO DE DADOS EM AMBIENTES DE GRID Documento
-
INTRODUÇÃO AOS ESPAÇOS QUASE-MÉTRICOS E APLICAÇÃO ÀS FUNÇÕES UTILIDADE EM TEORIA DA DECISÃO Documento
-
Idealizacao de Parametros e um Algoritmo Parametrizado de Barreira Logaritmica Documento
-
Identificando plágio externo com Locality-sensitive hashing - UFRJ Documento
-
Identificação de Características de Qualidade em Aplicações Móveis Documento
-
Identificação de Contextos Lingüísticos em Linguagens Desconhecidas Geradas por Cifras de Blocos Documento
-
Identificação de Reuso em Documentos Digitais Documento
-
Impacto da Regulação na Gestão de Fundos de Pensão: Retorno, Risco e Otimização Documento
-
Implantacão de um Sistema de Tempo Compartilhado em um Minicomputador Documento
-
Implantação de condutas clínicas padronizadas através da utilização de prontuário eletrônico em cardiologia Documento
-
Implementando uma máquina diferenciável mínima em redes neurais recorrentes Documento
-
Implementação Robusta e Eficiente em Uso de Memória do Algoritmo de Raycast Documento
-
Implementação de Basic para os microcomputadores Cobra/300 Documento
-
Implementação de Compiladores Prolog. Documento
-
Implementação de Melhorias Inovadoras em Processos de Software Documento
-
Implementação de um Programa de Fluxo de Potência Ótimo Utilizando Programação Quadrática Sequencial Documento
-
Implementação de uma Solução Integrada para Transmissão de Fluxos em Sistemas de Vídeo sob Demanda. Documento
-
Implementação do Método CRISS-CROSS para Problemas de Programação Linear de Grande Porte Documento
-
Implementação e Avaliação de um Modelo para Troca de Mensagens em DTNs Utilizando Tráfego Aéreo Documento
-
Implementação e Avaliação de um Sistema de Vídeo Sob Demanda Baseado em Cache Cooperativa Colapsada de Vídeo. Documento
-
Implementação e Avaliação de um Sistema de Vídeo Sob Demanda Baseado em Cache de Vídeo Cooperativa Colapsada Documento
-
Implementação e Avaliação de um Sistema de Vídeo sob Demanda Baseado em Cache de Vídeo Cooperativa Documento
-
Imputação Multivariada: Uma Abordagem em Cascata Documento
-
Inbetweening para Animações 2D Usando Linhas-Guias Documento
-
Inclusões Digitais e Desenvolvimento Social: Uma Narrativa Sociotécnica Sobre Telecentros, Lan Houses e Políticas Públicas Documento
-
Incorporação de restrições de confiabilidade ao problema de planejamento ótimo da expansão de sistemas elétricos Documento
-
Inferindo a qualidade de serviço em redes via aprendizado por reforço Documento
-
Influência de Parâmetros Arquiteturais em Sistemas Paralelos de Programação Lógica Documento
-
Info Cases: Um Modelo Integrado de Requisitos com Casos de Uso Documento
-
Informação Pendente Documento
-
Informações Trade-off em Problemas de Otimização Multiobjetivo Documento
-
Informática Aplicada na Educação Documento
-
Informática Educativa: Características e Padrões para Projetos Documento
-
Informática Educativa: Uma Possibilidade Educacional para as Meninas e os Meninos de Rua Documento
-
Informática ao encontro das crianças de rua: uma proposta Documento
-
Infra-Estrutura Computacional de Apoio ao Processo de Inspeção de Software Documento
-
Infraestrutura computacional para observação de evolução de software Documento
-
Insights on Transferring Software Engineering Scientific Knowledge to Practice Documento
-
Instalação de Postos de Atendimento e Venda de Insumos para uma Cooperativa Agrícola: Uma Aplicação do Problema da Mochila 01 Documento
-
Integraçao de Bases de Dados Geográficos Heterogeneas e Distribuidas Documento
-
Integração de Conhecimento em Ambientes de Desenvolvimento de Software Documento
-
Integração de informação e sincronização em um neocórtex artificial Documento
-
Inteligência Artificial no Brasil - utopia ou realidade Documento
-
Inteligência Competitiva para, Digo em Instituições de Ensino e Pesquisa Documento
-
Interactive Cutaway Rendering of Corner-Point Models Documento
-
Interface natural em 3D para animações interativas Documento
-
Interface para Usuário Casual - IUC Documento
-
Interfaces Homem-Máquina:A Personalização do Atendimento ao Usuário Documento
-
Interseção de Caminhos Mais Longos em Grafos Documento
-
Jogos Combinatórios em Grafos: Jogo Timber e Jogo de Coloração Documento
-
Jogos Ocultos de Markov Documento
-
Jogos de Apostas em Problemas de Otimização Documento
-
Jogos de Simulação no Treinamento de Gerentes de Projetos de Software Documento
-
Junções de Polilinhas e Polígonos com o uso de Filtros Raster Documento
-
KCE: Um Editor Ponto-a-ponto para Apoio ao Compartilhamento de Cadeias de Conhecimento Documento
-
L(2,1)-colorações: algoritmos e limites superiores em classes de grafos Documento
-
LADAM (Laboratório Digital para Aprendizagem Musical): uma estação de trabalho informatizada para ensino de música Documento
-
Learning Network Node Representations from Structural Identity Documento
-
Lighthouse: Um Mecanismo de Percepção de Grupo Baseado no Design Emergente Documento
-
Limites para distância e diâmetro em rearranjo de genomas por transposições Documento
-
Linguagem Gráfica Automatizada para Projeto de Arquitetura de Sistemas de Tempo Real Documento
-
Linguagem de Descrição de Rotinas - Parte de controle Documento
-
Linha de Produtos para Visualização de Software: Uma infraestrutura para apoiar atividades de compreensão por meio da construção de mecanismos de visualização Documento
-
Listas de Prioridade Cinéticas Documento
-
Localização Contínua de Hubs com Atribuição Múltipla via Suavização Hiperbólica Documento
-
Locação Ótima de Torres de Transmissão Utilizando Teoria de Grafos Documento
-
LoopSnakes: snakes com enfoque no controle da topologia Documento
-
Lógica Modal da Bifurcação Documento
-
Lógica de Conhecimento e Eventos em Sistemas Assíncronos Documento
-
Lógicas Não-Monotônicas na Formalização do Senso-Comum Documento
-
M-Assiste: Um Meta Assistente Adaptativo para Navegação em Documentos Hipermídia Documento
-
MAGDOC: UM SISTEMA DE CLASSIFICAÇÃO DE DOCUMENTOS DE HIPERTEXTO BASEADO EM ANÁLISE DE CONTEÚDO Documento
-
MANGABA ? UM SISTEMA DE GEOMETRIA DINÂMICA ESPACIAL Documento
-
MANO - Linguagem de Manipulação de Objetos do ProtoGEO e seu Processador Documento
-
MAPAS AUTO-ORGANIZATIVOS E SUAS APLICAÇÕES Documento
-
MAPEAMENTO DE EXTENSÕES DO PADRÃO OPENMP PARA CONSTRUÇÕES SINTÁTICAS DE UM SISTEMA MULTITHREADED EFICIENTE Documento
-
MAPEAMENTO DE INSTRU ¸COES DATAFLOW Documento
-
MAQUINAS, AUTOMATOS E LINGUAGENS DE MEMORIA FINITA Documento
-
MATROÍDES E ALGORITIMOS GREEDY Documento
-
MAXIMIZAÇÃO DE FLUXOS EM GRAFOS COM LIMITES INFERIORES POSITIVOS Documento
-
MEMÓRIA GLOBAL PARA CLUSTERS DE COMPUTADORES ATRAVÉS DE MECANISMO DE KERNEL Documento
-
METHEXIS: UMA ABORDAGEM DE APOIO À GESTÃO DO CONHECIMENTO PARA AMBIENTES DE "ESCIENCE" Documento
-
MIMIX: Sistema de Apoio à Modelagem Cooperativa de Software Utilizando Ferramentas CASE Heterogêneas Documento
-
MINERAÇÃO DE DADOS VIA MÁQUINA DE VETORES SUPORTE COM SUAVIZAÇÃO HIPERBÓLICA Documento
-
MODEL CHECKING DOLEV-YAO MULTI-AGENT EPISTEMIC LOGIC Documento
-
MODELAGEM E ANÁLISE DE UM SISTEMA DE RESERVA COM PRIORIDADES PARA REDES SEM FIO UTILIZANDO MÚLTIPLOS CANAIS Documento
-
MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES Documento
-
MODELO 3M: UM MODELO DE UNIVERSIDADE CORPORATIVA PARA INTEGRAR O ENSINO E A PESQUISA NA CRIAÇÃO DO CONHECIMENTO Documento
-
MODELO DE OTIMIZAÇÃO PARA DIMENSIONAMENTO DE FUNCIONALIDADES DE ANÉIS TOLERANTES À FALHA EM UMA REDE DE TELECOMUNICAÇÕES DE LONGA DISTÂNCIA Documento
-
MODELO MATEMÁTICO-COMPUTACIONAL DA GÊNESE DA REDE IDIOTÍPICA DO SISTEMA IMUNOLÓGICO Documento
-
MODELO PARA DEFINIÇÃO DE PROCESSOS DE SOFTWARE NA ESTAÇÃO TABA Documento
-
MODELOS ANALÍTICOS EM TEMPO DISCRETO PARA A ANÁLISE DE SISTEMAS COM DIFERENCIAÇÃO DE SERVIÇO Documento
-
MODELOS COMPUTACIONAIS PARA IDENTIFICAÇÃO DE INFORMAÇÃO GENÔMICA ASSOCIADA À RESISTÊNCIA AO CARRAPATO BOVINO Documento
-
MODELOS PARA PLANEJAMENTO DE LONGO PRAZO DE MANUTENÇÕES PREVENTIVAS EM USINAS HIDRELÉTRICAS COM GRANDE NÚMERO DE UNIDADES GERADORAS E REGIME HIDROLÓGICO BEM DEFINIDO Documento
-
MPVM: Uma implementação de PVM com uso de threads para ambientes com memória compartilhada Documento
-
MULEC - Multi Editor Cooperativo para Educação Documento
-
Majority vote community detection with dynamic threshold and bootstrapped rounds Documento
-
Malhas Numericas a Partir de Imagens Sismicas Documento
-
Mana: Identificação, Mineração, Análise e Reengenharia de Processos de Negócio Documento
-
Managing and Monitoring Software Ecosystem to Support Demand and Solution Analysis Documento
-
Mapas Auto-Organizáveis e Aplicações Documento
-
Mapeamento de Extensões OpenMP para Construções Sintáticas de um Sistema Multithreaded Eficiente Documento
-
Mapeamento e Combinação de Problemas NP-Difíceis Através de Restrições Pseudo-Booleanas para Redes Neuronais Artificiais Documento
-
Mapeando e Combinando Problemas Combinatoriais em Funções de Energia Através de Restrições Pseudo-Booleanas Documento
-
Marcação de Tráfego para Justiça em Fluxos Agregados no Serviço Assegurado Documento
-
Markat - Um Framework Lógico para Planejamento Multi-Agente Documento
-
Matemática Elementar e Saber Pedagógico de Conteúdo - Estabelecendo Relações em um Estudo Colaborativo Documento
-
Maximalidade em Grafos de Fluxo Redutíveis Documento
-
Mecanismos de Compartilhamento de Recursos para Aplicações de Mídia Contínua na Internet Documento
-
Mecanismos de Transmissão de Mensagens em Sistemas Distribuídos Documento
-
Mecanismos para Garantir Qualidade de Serviço de Aplicações de Vídeo sob Demanda Documento
-
Medidas de entropia alternativas para caracterização da existência de clãs em famílias de domínios de proteínas Documento
-
Medindo eficientemente a vazão em redes de banda larga: Uma abordagem baseada em aprendizado de máquina Documento
-
Medições ativas na internet: algoritmos baseados em retardo fim-a-fim e experimentos Documento
-
Melhoria Contínua em Processo de Software Utilizando a Teoria das Restrições Documento
-
Melhoria de Processo de Software Multi-Modelo baseado no MR-MPS e no CMMI-DEV Documento
-
Memoria cooperativa distribuida para sistemas de VoD Documento
-
Memorização Dinâmica de Traces com Reuso de Valores de Instruções de Acesso à Memória Documento
-
Memorização e Reuso Dinâmico de Traços em uma Arquitetura de Processador Java Documento
-
Mestre em Engenharia de Sistemas e Computação Documento
-
Meta-heuristicas para o Problema de Programação de Tripulações Documento
-
Metodologia Baseada em Mineração de Dados Aplicada na Análise da Distribuição Espacial de Agrupamentos de Espécies Vegetais Documento
-
Metodologias Simbólicas para a Resolu ção Eficiente de Sistemas Lineares Esparsos com Estrutura Est ática Documento
-
Migração de Máquinas Virtuais em Ambientes de Grades Computacionais Documento
-
Migração de um Sistema de Grande Porte Baseado em Memória- Compartilhada para um Ambiente de Memória-Compartilhada Distribuída Documento
-
Mimix: Sistema de Apoio à Modelagem Cooperativa de Software Utilizando Ferramentas Case Heterogêneas Documento
-
Mineração de Dados Endógenos Documento
-
Minimizacao de Modelos de Grafos 2-Dir Puros Documento
-
MiningFlow: Adicionando Semântica a Workflows de Mineração de Texto Documento
-
Modelagem Analítica e Avaliação do Retardo das Mensagens no Protocolo de Acesso ao Meio do Padrão IEEE 802.16 Documento
-
Modelagem Fuzzy como ferramenta pra identificação de heurística e vieses Cognitivos no Processo de Tomada de Decisão do Empreendedor Social Documento
-
Modelagem Matemática e Proposta de Resolução do Problema da Dieta Alimentar para Gado Bovino de Corte Documento
-
Modelagem Multi-Agentes do Aparelho Psíquico Documento
-
Modelagem Neurocomputacional do Foco de Atenção em Doença de Parkinson e Transtorno de Déficit de Atenção e Hiperatividade Documento
-
Modelagem da Mobilidade e Proposta para Predição de Mobilidade em Ambientes Fechados Documento
-
Modelagem de Proteínas com a Técnica dos Modelos Hidden Markov Documento
-
Modelagem do Processo de Software Documento
-
Modelagem e Análise do Comportamento do Servidor RIO em Ambientes Reais e Heterogêneos Documento
-
Modelagem e Análise do Protocolo IEEE 802.11 Documento
-
Modelagem e Análise do Retardo das Mensagens no Padrão IEEE 802.16 em Modo Mesh com Escalonamento Distribuído e Coordenado Documento
-
Modelagem e Aprimoramento de Processos de Negócio: Análise de Caso Real Aplicado na Logística Militar Documento
-
Modelagem e Otimização de um Sistema de Telecomuniação sem fio e de uma Carteira de Investimentos Documento
-
Modelagem e Otimização de um Sistema de Telecomunicação sem Fio e de uma Carteira de Investimentos Documento
-
Modelagem e Visualização de Distribuições Litofaciológicas Tridimensionais. Documento
-
Modelagem e Visualização de Objetos à Mão Livre Usando Superfícies Implícitas Variacionais Documento
-
Modelagem e análise de mecanismos para acesso de banda larga à internet Documento
-
Modelagem e deformação de superfícies através de traços Documento
-
Modelagem e deformação de superfícies baseadas em traços Documento
-
Modelagem e visualização a mão livre usando superficies implicitas variacionais Documento
-
Modelling Batch Processing Machines Problems with Symmetry Breaking and Arc Flow Formulation Documento
-
Modelo 3M: Um Modelo de Universidade Corporativa para integrar o ensino e a pesquisa na criação do conhecimento organizacional Documento
-
Modelo Híbrido de Frames e Hipertexto Documento
-
Modelo Neurocomputacional de Elementos Centralizadores com Interações Laterais Aplicado ao Reconhecimento de Padrões Temporais Documento
-
Modelo da Expansão da Geração a Longo Prazo Considerando Incertezas e Garantia de Suprimento Documento
-
Modelo de Avaliação do Nível de Qualidade das Transações B2C - Business to Consumer Documento
-
Modelo de Data Warehousing Estendido para Tipos Abstratos de Dados Documento
-
Modelo de Otimização para Dimensionamento de uma Rede de Telecomunicações Documento
-
Modelo de Risco de Crédito Utilizado Máquina de Vetor Suporte Documento
-
Modelo de Sinais para Busca e Recuperação de Informação Textual Documento
-
Modelo de Verificação do Nível de Aderencia de um Ambiente a Norma Nacional de Segurança da Informação - NBR ISO/IEC 17799 Documento
-
Modelo de análise de risco de crédito utilizando máquina de vetor suporte Documento
-
Modelo de otimização para o planejamento do sistema elétrico incluindo fontes alternativas Documento
-
Modelo para Construção de Ambientes de Desenvolvimento de Software Orientados a Domínio Documento
-
Modelos Digitais de Terreno em Sistemas de Informacao Geografica Documento
-
Modelos Matemáticos para a Transmissão e Controle da Esquistossomose Documento
-
Modelos de Fluido para Trafego Multimidia e Aplicacoes Documento
-
Modelos de Otimização para Sistemas de Manufatura Flexivel Documento
-
Modelos de Substituição Tecnológica e suas Aplicações ao Setor de Fibras Têxteis no Brasil Documento
-
Modelos e Algoritmos de Programaçao Inteira no Projeto de Redes de Telecomunicações Documento
-
Modelos não-lineares contínuos para a logística de petróleo em portos e refinarias Documento
-
Modem FSK controlado a microprocessador Documento
-
Modos de Apredizagem Não-Supervisionado para o Modelo Neural Sem-Pesos Wisard Documento
-
Modularidade e Relação de Conseqüência Documento
-
Monitoramento de ambiente através de uma rede oportunística centrada em interesses Documento
-
Monitoramento em Tempo Real de Workflows Científicos Executados em Paralelo em Ambientes Distribuídos Documento
-
Morphing empregando Modelos de Difusão de Fumaça Documento
-
Morte das Pretinhas: uma abordagem sociotécnica da informatização do jornal O Globo Documento
-
Multitarget Tracking System with Connectivity Constraints Documento
-
MylynSDP: Aiding Software Process Execution with Artifact Filtering, Degree of Interest Function and Task Context Documento
-
MÉTODO DE PONTO PROXIMAL PARA O PROBLEMA DE OTIMIZAÇÃO QUASE-CONVEXA E DESIGUALDADE VARIACIONAL COM RESTRIÇÕES LINEARES Documento
-
MÉTODO DO PONTO PROXIMAL COM DISTÂNCIA DE BREGMAN PARA PROBLEMAS DE MINIMIZAÇÃO QUASE CONVEXOS Documento
-
MÉTODO ÓTIMO E ÉPSILON-ÓTIMO PARA RESOLUÇÃO DO PROBLEMA DE LOCALIZAÇÃO CAPACITADO Documento
-
MÉTODOS PARA COMPUTAÇÃO DE DADOS DE VISIBILIDADE CONSERVADORES EM MODELO DE CÉLULAS E PORTAIS Documento
-
MÉTODOS PARA OTIMIZAÇÃO EM VARIEDADES RIEMANNIANAS: GRADIENTE PARA FUNÇÕES VETORIAIS E PROXIMAL LOCAL PARA FUNÇÕES REAIS Documento
-
Método Geométrico para Análise e Visualização de uma Sequência de DNA Documento
-
Método Iterativo para Análise de Competências Requeridas para o Egresso de Ciência da Computação Documento
-
Método Semi-Rotulado para Apontar Identificações COnfiáveis em Experimentos de Proteômica Shotgun Documento
-
Método computacional para identificação de peptideos por espectrometria de massa Documento
-
Método de Enumeração Implícita Empregado na Resolução de Problemas de Decomposição Documento
-
Método de Enumeração Implícita Empregado na Resolução de Problemas de Decomposição Documento
-
Método de Ponto Proximal para Minimização Multiobjetivo Quase-convexa Documento
-
Método de Tablaaux para Lógica Model Epistêmica com Operador de Conhecimento Comum Documento
-
Método de escalarização proximal e Método proximal de valor vetorial em Programação Multiobjetivo Documento
-
Método de minimização alternado no contexto das variedades Riemannianas e Método do ponto proximal no cenário das variedades Finslerianas Documento
-
Método de ponto proximal para otimização vetorial e método de região de confiança para otimização multiobjetivo Documento
-
Método iterativo para análise de competências requeridas para o egresso de Ciência da Computação: estudo de caso no Rio de Janeiro Documento
-
Métodos Computacionais para Modelos Markovianos com Recompensa Documento
-
Métodos Geodésicos Em Programação Matemática Documento
-
Métodos de Aproximação Exterior para o Problema da Desigualdade Variacional Documento
-
Métodos de Aproximação Exterior para o Problema da Desiguladade Variacional Documento
-
Métodos de Branch-and-Bound e Penalidades em Programação Linear em Dois Níveis Documento
-
Métodos de Controle Ótimo dos Processos Dinâmicos do Enovelamento de Proteínas Documento
-
Métodos de Feixes Inexatos Aplicados à Programação Estocástica Documento
-
Métodos de Otimização para o Cálculo do Núcleo de Jogos Cooperativos Aplicados à Alocação de Energia Firme entre usinas hidroelétricas Documento
-
Métodos de Planos Cortantes Usando Pontos Interiores.Aplicações. Documento
-
Métodos de Pontos Interiores para Programação Geométrica Documento
-
Métodos de Programação Max-Linear em Otimização Documento
-
Métodos de Projeção para o Problema de Desigualdades Variacionais Gerais Documento
-
Métodos de Raciocínio Impreciso para Sistemas Especialistas baseados em Regras Documento
-
Métodos de Regularização para o Problema de equilíbrio em Espaços de Hilbert Documento
-
Métodos de Resolução Para o Problema de Otimização de Percursos de Distribuição Documento
-
Métodos de Solucão para Modelos Markovianos com Recompensa Documento
-
Métodos para computação de dados de visibilidade conservadores em modelos de células e portais Documento
-
Métoto de Minimização Alternado no Contexto das Variedades Riemannianas e Método do Ponto Proximal no Cenário das Variedades Finslerianas Documento
-
NC-WiSARD: Uma Interpretação Sem Pesos do Modelo Neural Neocognitron Documento
-
NEGOCIAÇÃO DE SIGNIFICADO PARA VIABILIZAR INTEROPERABILIDADE SEMÂNTICA Documento
-
NEGOSYS: Um Ambiente para Gestão do Conhecimento na Negociação Documento
-
NERMAP: Apoiando o Processo de Roadmapping Tecnológico a partir da Técnica de Reconhecimento de Entidades Nomeadas Documento
-
NETUNO: UM AMBIENTE DE DESENVOLVIMENTO DE SOFTWARE ORIENTADOS AO DOMÍNIO DE ACÚSTICA SUBMARINA Documento
-
NOVAS ABORDAGENS DE SOLUÇÃO PARA PROGRAMAÇÃO NÃO LINEAR INTEIRA MISTA BINÁRIA E PROGRAMAÇÃO QUADRÁTICA NÃO CONVEXA Documento
-
NOVAS PROPOSTAS, COM AVALIAÇÕES, DE TÉCNICAS PREVENTIVAS E REATIVAS CONTRA ATAQUES NA INTERNET E REDES DE PRÓXIMA GERAÇÃO Documento
-
NOVAS TECNOLOGIAS COMO FATOR DE MUDANÇAS NO PROCESSO DE MODERNIZAÇÃO DO COMÉRCIO VAREJISTA: ESTUDOS DE CASO NO SETOR DA GRANDE DISTRIBUIÇÃO Documento
-
NUMERUSCLOUD: Um Sistema para Automação de Implantação de Rotinas Numéricas Usando Computação em Nuvem Documento
-
NUm Algoritmo para o Problema de Localização não Capacitado Baseado em Testes de Redução e Heurísticas ADD/DROP Documento
-
Negociação em Projetos de Desenvolvimento de Software Documento
-
Netuno: Um Ambiente de Desenvolvimento de Software Orientado ao Domínio de Acústica Submarina Documento
-
Novas Heurísticas para a Operação de Redes Complexas Documento
-
Novas Propostas para o Problema de Recobrimento de Rotas Documento
-
Novas Relaxações Lineares para o Problema de Scheduling de Processos em Multiprocessadores com Restrições de Atraso Documento
-
Novas Técnicas para o problema de estimação da matriz de tráfego Documento
-
Não tem Documento
-
O Ambiente 10+C para Definição e Execução de Workflows in Silico Através de Serviços Web Documento
-
O CIDADÃO CODIFICADO: A DIGITALIZAÇÃO DA CIDADANIA EM BANCOS DE DADOS DE INTERESSE PÚBLICO Documento
-
O CIDADÃO ILUMINADO: CONTROVÉRSIAS SOBRE INTELIGÊNCIAS E TRANSFORMAÇÕES DIGITAIS NAS REDES DE ENERGIA ELÉTRICA DO RIO DE JANEIRO Documento
-
O Consórcio Brasil - Estados Unidos da América para Ensino em Informática Médica: Fundamentos e Expectativas Documento
-
O Desenvolvimento dos Polos de Comércio de Algodão na Paraíba Documento
-
O Equilíbrio de Stackelberg em Sistemas de Potência AC - Um Algoritmo de Pontos Não-Interiores - Documento
-
O IMPACTO DO REUSO DE TRAÇOS INTERNOS A LAÇOS Documento
-
O MODELO DE INTEGRACAO DE FERRAMENTAS DA ESTACAO TABA Documento
-
O Modelo da Componentes Principais Documento
-
O Método do Problema Auxiliar com Regularização de Bregman para Inequações Variacionais Documento
-
O Método do Resfriamento Simulado no Planejamento de Rotas Aéreas Documento
-
O Módulo de Simulação da Ferramenta TANGRAM-II: Suporte para Medidas com Recompensas, Recursos de Eventos Raros e Aplicações a Mo
delos de Redes Multimídia Documento
-
O Número de Helly na Convexidade Geodética de Grafos Documento
-
O PROBLEMA DE PLANEJAMENTO E PERCURSO DE VEICULOS NA COLETA DE LIXO URBANO DOMICILIAR Documento
-
O PROCESSO DE AQUISICAO DO CONHECIMENTO NA CONSTRUCAO DE SISTEMAS ESPECIALISTAS Documento
-
O Perfil dos Trabalhadores da Área de Processamento de Dados do Rio de Janeiro Documento
-
O Poliedro das Orientações Acíclicas de um Grafo sob Restrições e suas Aplicações Documento
-
O Posto de uma convexidade de grafos Documento
-
O Potencial de Reuso de Traços em GPUs Documento
-
O Problema da Incoerência e a Regularização Semântica para Inferência Textual Documento
-
O Problema de Acoplamento Ativo-Reativo no Despacho Ótimo de Potência Reativa: Uma Solução Via Condições de Otimalidade de Karush-Kuhn-Tucker Documento
-
O Problema de Programação Matemática com Restrições Generalizadas de Equilíbrio Documento
-
O Problema de Recobrimento de Sólidos por Esferas de Diferentes Raios Documento
-
O Problema de Recobrimento: Estudo e Aplicação ao Problema de Configuração de Explotação de Petróleo Documento
-
O Problema de Steiner e a Estrutura das Biomacromoléculas Documento
-
O Problema de programação Matemáticva de Dois Níveis: Condições de Otimidade e Proposta Numérica Documento
-
O Problema do Horário na Escola de Segundo Grau Documento
-
O Problema dos Casamentos Estáveis com Restrições de Pares Documento
-
O Problema-Sanduíche para Conjuntos Homogêneos em Grafos Documento
-
O Resfriamento Simulado no Projeto Ótimo de Autômatos Celulares para a Geração de Chaves em Criptografia de Fluxo Documento
-
O Uso da Virtualização na Construção de Serviços de Streaming Escaláveis Documento
-
O Uso de Colaboração Social na Busca para Crianças Documento
-
O algoritmo do volume: convergência e resolução do problema de Steiner em grafos Documento
-
O discurso do global nas comunidades de software livre: estudo de caso do WordPress Documento
-
O estudo sociotécnico da interface "ser humano-máquina" envolvendo computadores: o caso de um acidente aéreo Documento
-
O problema da mochila compartimentada aplicado no corte de bobinas de aço Documento
-
O problema de Clusterização Automática Documento
-
O problema de quase-equilíbrio : uma abordagem do tipo-Newton regularizado Documento
-
O problema de recobrimento mínimo de um corpo em 3 dimensões por esferas de diferentes raios Documento
-
O problema do servomecanismo e o método do espaço de estado no domínio da freqüência Documento
-
OBTENÇÃO DE SUPERFÍCIES MÍNIMAS DISCRETAS Documento
-
ODARA: Metodologia para Projeto de Fragmentação de Bases de Dados Documento
-
ODYSSEY- MEC: Uma Abordagem para o Controle de Evolução de Modelos Computacionais no Contexto do Desenvolvimento Dirigido por Modelos Documento
-
ODYSSEY-PROCESSCASE: UMA ABORDAGEM DE LINHA DE PROCESSOS DE SOFTWARE BASEADA EM CASOS Documento
-
ODYSSEYPROCESSREUSE: Uma Metodologia para Engenharia de Linha de Processos de Software Baseada em Componentes Documento
-
ON OPTIMIZATION OF HARDWARE ASSISTED SECURITY Documento
-
OPERADORES VISANDO À OTIMIZAÇÃO DE PRECISÃO NO CÁLCULO DE SÉRIES TEMPORAIS Documento
-
ORION: Uma Abordagem para Seleção de Políticas de Controle de Concorrência Documento
-
OTIMIZANDO LAÇOS EM COMPUTAÇÃO POR FLUXO DE DADOS Documento
-
OTIMIZAÇÃO APLICADA AO PROBLEMA DE CIRCUITO VIRTUAL PRIVADO EM REDES Documento
-
OTIMIZAÇÃO COMBINATÓRIA:PROBLEMAS DE ´ ARVORES EM GRAFOS Documento
-
OTIMIZAÇÃO DE SISTEMAS DINÂMICOS NÃO-LINEARES COM APLICAÇÃO À POLÍTICA DE PESCA Documento
-
OTIMIZAÇÃO DO CONJUNTO DE PEÇAS PARA AUTO-MONTAGEM Documento
-
OTIMIZAÇÃO DO DESPACHO MÚLTIPLAS INSTRUÇÕES EM ARQUITETURA SUPER ESCALARES Documento
-
OTIMIZAÇÃO PARA REDUZIR O TAMANHO DE CÓDIGO-FONTE JAVASCRIPT Documento
-
Odyssey-CCS: Uma Abordagem para o Controle de Modificações no Contexto do Desenvolvimento Baseado em Componentes Documento
-
Odyssey-MDA: Uma Abordagem para a Transformação de Modelos Documento
-
OdysseyProcess-FEX: Uma Abordagem para Modelagem de Variabilidades de Linha de Processos de Software Documento
-
Olimpo - Recomendação de Conhecimento Pessoal Através de Ontologias Documento
-
Olimpo: Recomendação de Conhecimento Pessoal Através de Agentes, Ontologias e Web Mining Documento
-
On Context-Aware Software Systems and Interoperability - A discussion grounded in data Documento
-
On The Use of Visualization for Supporting Software Reuse Documento
-
On the Effective Revision of (Bayesian) Logic Programs from Examples Documento
-
Organização de um Data WAREMOUSE Clinico Documento
-
Organização de um Data Warehouse Clínico Documento
-
Orientações em Grafos Circulares e suas Aplicações Documento
-
Otimização a Distância: Um Sistema de Estudo Integrado e Distribuído. Documento
-
Otimização aplicada ao problema de circuito virtual privado em redes de telecomunicações Documento
-
Otimização da Eficiência de Turbinas Hidráulicas Documento
-
Otimização de Processamento de Expressões de Caminho Documento
-
Otimização de Restauração de Imagens Empregando o Funcional de Tikhonov Paralelizado com Cuda Aplicado à Microscopia de Força Atômica Documento
-
Otimização de um Entroncamento Interurbano Documento
-
Otimização de um caso real de alocação de equipes da Petrobras Documento
-
Otimização do Despacho de Múltiplas Instruções em Arquiteturas Super Escalares Documento
-
Otimização do algoritmo de backpropagation pelo uso da função de ativação bi-hiperbólica Documento
-
PAGINACAO DE MEMORIA PARA FILTRAGEM DE GRANDES DADOS SíISMICOS TRI-DIMENSIONAIS EM PLACAS GRAFICAS UTILIZANDO CUDA Documento
-
PARALELISMO DE DADOS CIENTÍFICOS UTILIZANDO TÉCNICAS P2P Documento
-
PARTIÇÕES COMVEXAS E CONTORNOS EM GRAFOS Documento
-
PARTIÇÕES EM GRAFOS COM POUCOS P4S Documento
-
PDGovTI - Modelo de Plano Diretor de Tecnologia da Informação: Baseado em Arquitetura Corporativa e Governança de TI em Governo Documento
-
PFORTE: Revisão de Teorias Probabilísticas de Primeira-ordem através de Exemplos Documento
-
PLANEJAMENTO A MEDIO PRAZO DA OPERAÇÃO ENERGÉTICA DE SISTEMAS HIDROTÉRMICOS INTERCONECTADOS USANDO TÉCNICAS DE PONTOS INTERIORES Documento
-
PLANEJAMENTO COORDENADO DOS SETORES DE ENERGIA ELÉTRICA E GÁS NATURAL Documento
-
PLMIX - Uma linguagem de médio nível e seu compilador Documento
-
PMCE: Um Editor Ponto a Ponto para Gerência de Projetos, Colaboração e Compartilhamento de Conhecimento Documento
-
PRECEDENCE THINNESS OF GRAPHS AND RESTRICTED HAMMING-HUFFMAN TREES Documento
-
PRESERVANDO A SEMANTICA DE ATUALIZACOES NA INTEGRACAO DE VISOES Documento
-
PREVIA: Uma Abordagem para a Visualização da Evolução de Modelos de Software Documento
-
PREVISÃO DE TRÁFEGO EM ENLACES DE REDES UTILIZANDO SÉRIES TEMPORAIS Documento
-
PREViA: Uma Abordagem para a Visualização da Evolução de Modelos de Software Excluir Documento
-
PROCESSAMENTO DE ALTO DESEMPENHO EM CONSULTAS ANALÍTICAS SOBRE BASE DE DADOS GEOESTATÍSTICOS Documento
-
PROCESSAMENTO PARALELO DE CONSULTAS DE APOIO À DECISÃO EM GRIDS Documento
-
PROCESSOS DE AQUISIÇÃO MAIS INTELIGENTES PELA ANÁLISE E AVALIAÇÃO DOS PADRÕES DE CONSUMO Documento
-
PROCESSOS DE SÍNTESE DE CIRCUITOS LÓGICOS ASSÍNCRONOS Documento
-
PROFUSE: UMA ABORDAGEM DE GARANTIA DE QUALIDADE DE SERVIÇO PARA SISTEMAS HOSPEDADOS EM NUVENS IAAS Documento
-
PROGRAMAC¸AO MATEMATICA APLICADA AO PROBLEMA DE CLUSTERIZACÃO COM APLICACÃO EM ENGENHARIA DE SOFTWARE Documento
-
PROGRAMAÇÃO LINEAR EM DOIS NÍVEIS: UMA ABORDAGEM TEÓRICA E COMPUTACIONAL Documento
-
PROJETO DE UM SUPORTE PARA CONSTRUCAO DE SISTEMAS OPERACIONAIS DISTRIBUIDOS COM RECONFIGURACAO DINAMICA DE PROCESSOS Documento
-
PROJEÇÃO DE UM PONTO SOBRE UM HIPERPLANO DO Rnf: COMPLEXIDADE NUMÉRICA E IMPLEMENTAÇÃO Documento
-
PROPOSTA DE ARQUITETURA PARA UM SISTEMA DE DETECÇÃO DE PLÁGIO MULTI-ALGORITMO Documento
-
PROSPECÇÃO TECNOLÓGICA E IDENTIFICAÇÃO DE ESPECIALISTAS ATRAVÉS DA MINERAÇÃO DE DADOS DA PRODUÇÃO CIENTÍFICA Documento
-
PROSPECÇÃO TECNOLÓGICA EM MODEL-DRIVEN ARCHITECTURE (MDA) ATRAVÉS DE CLASSIFICAÇÃO E ANÁLISE DA ESPECIFICAÇÃO OMG Documento
-
PROVMANAGER: UMA ABORDAGEM PARA GERENCIAMENTO DE PROVENIÊNCIA DE EXPERIMENTOS CIENTÍFICOS Documento
-
Paralelismo Intra-Consulta em Clusters de Bancos de Dados Documento
-
Paralelismo em SGBDOO com memória Distribuída: Uma implementação no ParGOA Documento
-
Paralelizando a Fase de Roteamento de Circuitos Baseados em FPGAS Documento
-
Paralelização da Reconstrução de Geometrias Moleculares Documento
-
Paralelização de Algoritmos de Consistência de Arcos em um Cluster de PC´s Documento
-
Particionamento automático de restrições Documento
-
Particionamento de Grafos Cordais em Conjuntos Independentes e Cliques Documento
-
Particoes em Grafos: Caracterizacoes, Algoritmos e Complexidade Documento
-
Partix: Projeto de Fragmentação de Dados XML Documento
-
Partições convexas geodésicas e contornos em grafos. Documento
-
Partições em grafos com poucos P4's Documento
-
Patching Interativo Eficiente: Implementação e Análise de Desempenho Documento
-
Patching Interativo: Um Novo Método de Compartilhamento de Recursos para Transmissão de Vídeo com Alta Interatividade Documento
-
Pegasus : uma ferramenta de simulação para apoio ao design de jogos de progressão Documento
-
Penalidades Generalizadas e Metodos de Lagrangeanos Aumentados para Programacao Nao-Linear Documento
-
Penalização Hiperbólica Documento
-
Penalização Hiperbólica: um Novo Método para Resolução de Problemas de Otimização Documento
-
Pequenas histórias em busca de traduções/traições do Programa Nacional do Álcool Documento
-
Per Vertex BRDF Acquisition Documento
-
Percepção do Esforço no Processo de Teste de Software Documento
-
Physically Based Animation on GPUs Documento
-
Pintura Multirresolução de Modelos 3D Documento
-
Pintura Multirresolução de Objetos 3D Documento
-
Planejamento Hierárquico da produção: algoritmo de Bitran-Hax versus relaxação lagrangeana Documento
-
Planejamento Otimizado de Rede de Transmissao Digital Documento
-
Planejamento de Riscos em Ambientes de Desenvolvimento de Software Orientados a Organização Documento
-
Planejamento de Rotas Aéreas Utilizando Algoritmos Genéticos Documento
-
Planejamento de Sistemas de informacao Documento
-
Planejamento de Trajetórias com Desvio de Obstáculos, Baseado em Visão Documento
-
Planejamento de linhas aéreas: escala de tripulantes utilizando métodos heurísticos Documento
-
Planejamento de rotas aéreas utilizando Algoritmo genético Documento
-
Planejamento do Start-Up de Plantas Químicas Através de Redes de Petri e Algoritmos Genéticos Documento
-
Planning Algorithms - Arbitrary Dimension Documento
-
Plataforma Modular Amigável para Uso em Simulação de Protocolos da Subcamada de Acesso ao Meio Documento
-
Platix - Uma Ferramenta para Apoiar a Elaboração e Gestão do PDTI Documento
-
Poligonizacao Adaptativa da Fronteira de Solidos CSG Documento
-
Populational Announcement Logic (PPAL) Documento
-
Pos-Otimizacao Multiparametrica em Programação Linear Documento
-
Precondicionar Multiescala Aplicado à Geomecânica Documento
-
Predição de crises epilépticas utilizando rede neural sem peso WiSARD Documento
-
Predição do Desempenho Acadêmico de Graduandos Utilizando Mineração de Dados Educacionais Documento
-
Previsão de Umidade no Solo Utilizando Redes Neurais Sem Peso Documento
-
Previsão de estatísticas de perdas de pacotes usando modelos de Markov ocultos Documento
-
Priorização de Processos de Negócio para Automação Autonômica Documento
-
ProCalculus - Programação em Lógica e Álgebra de Processos Documento
-
Problema Euclidiano de Steiner em Espaços de Dimensão Maior ou Igual a Três: Modelos Exatos e Heurísticas. Documento
-
Problema de Alocação de Petróleos na Petrobrás: Modelagem Matemática e um Algoritmo de Solução Documento
-
Problema de Dois Níveis Linear-Quadrático: Propriedades Geométricas Documento
-
Problema de Programação em Dois Níveis: um Estudo dos casos Linear, Linear-Quadrático e Quadrático Documento
-
Problema de coloração em grafos Documento
-
Problema do Torneio com Viagens Documento
-
Problemas Sanduíche em Grafos: Classes Hereditárias e Partições Documento
-
Problemas Separadores para Grafos de Caminho Documento
-
Problemas de Cortes de Arestas Máximos e Mínimos em Grafos Documento
-
Problemas de Equilíbrio e Quase-Equilíbrio: Uma abordagem teórica e numérica Documento
-
Problemas de Sequenciamento em Maquinas Paralelas Documento
-
Problemas de coloração em grafos Documento
-
Problemas de árvores geradoras em grafos com ênfase no número de folhas Documento
-
Problemas sanduíche para grafos (2,1) com condições de contorno Documento
-
Procedimento para Introdução de agilidade em Testes de Software Documento
-
Procedimento para Seleção de Critérios de Parada para Testes de Software Documento
-
Processamento Aproximado de Consultas em Bancos de Dados Espaciais Usando Assinaturas Raster Documento
-
Processamento Digital de Imagens Aplicado à Modelagem dos Processos Cognitivo-Emocionais da Cooperação Humana Documento
-
Processamento Distribuído de Consultas Espaciais Documento
-
Processamento Embarcado de Imagens com Baixos Níveis de Contraste e Iluminação para Realce de Objetos Ocultos Documento
-
Processamento de Consultas sobre Bases XML Distribuídas Documento
-
Processamento de Consultas sobre Bases XML Distribuídas em um Ambiente Peer-to-Peer Documento
-
Processamento de consultas em Bancos de Dados Geográficos ambíguos Documento
-
Processamento paralelo de consultas sobre fragmentos virtuais de documentos XML Documento
-
Processo de Avaliação MPS.BR: Definição e Ambiente de Apoio Documento
-
Processo de Avaliação do MPS.Br Documento
-
Processo de Síntese de Circuitos Lógicos Assíncronos Documento
-
Processos k-reversíveis em grafos Documento
-
Processos para Sistemas de Software de Segurança Crítica Documento
-
Programa de Ordenação para Micrcomputador Documento
-
Programação Contínua - Propriedades das Soluções Documento
-
Programação Matemática em Variedades Riemannianas: Algoritmos Subgradiente e Ponto Proximal Documento
-
Programação de horários em escolas: uma aproximação por metaheurísticas Documento
-
Programação em Lógica Indutiva Através de Algoritmo Estimador de Distribuição e Cláusula Mais Específica Documento
-
Programação em Lógica em Jogos Extensivos Documento
-
Programação genética para colorir os vértices de um grafo Documento
-
Programação hiperbólica em variáveis 0-1: uma contribuição ao estudo de algoritmos Documento
-
Projeto Automático de Redes de TV a cabo Documento
-
Projeto Números - Um Sistema para Construção de Consultas Enriquecidas Semanticamente Documento
-
Projeto de Serviço de Transporte Aéreo na Nova Economia: Um Estudo de Caso Documento
-
Projeto de Uma Estação de Trabalho para Análise Estruturada de Sistemas Documento
-
Projeto de estruturas de armazenamento em circuito integrado Documento
-
Projeto de redes hierárquicas via suavização hiperbólica Documento
-
Projeto de um Sistema de E/S para uma UCP de Porte Médio Documento
-
Projeto de uma Unidade de Controle Microprogramada para uma UCP de Médio Porte Documento
-
Projeto e Implementação de um Processador Virtual de Comunicação Documento
-
Projeto e Implementação de uma linguagem intermediária do Compilador ACTUS II para Transputer Documento
-
Projeto e Implementação do Compilador YAPc: Um Compilador Otimizador para Linguagens de Programação em Lógica Documento
-
Projeção de Células Baseada em GPU para Visualização Interativa Documento
-
Projeção de Células baseada em GPU para Visualização Interativa de Volumes Documento
-
Proposta de Especificação do Servidor de Comunicação para uma Rede em Barra Documento
-
Proposta de um Mecanismo de Segurança Baseado em Troca de Chaves Assimétricas para Redes Tolerantes a Atrasos e Desconexões Documento
-
Proposta de um Modelo para o Gerenciamento Integrado de Segurança em Redes sem Fio com Aplicação ao Padrão 802.11 Documento
-
Proposta de um Processo de Avaliação da Qualidade do Conhecimento Documento
-
Proposta de uma Arquitetura para um Sistema Operacional de Tempo Real Documento
-
Proposta e Avaliação de Estratégias de Previsão de Acesso a Dados em Sistemas Software DSM Documento
-
Proposta e Avaliação de Mecanismos de Software de Memória Compartilhada Distribuída para E/S Paralela Documento
-
Proposta e Desempenho Comparativo de Protocolos de Acesso para Redes Multimídia em Ambientes sem Fio Documento
-
Proposta e Implementação de um Modelo de Gerência de Segurança de Redes Empregando Corba Documento
-
Proposta e Implementação de um Modo Seguro para HTTP, com Nível Seletivo de Segurança, sem Alterações em Servidores e Navegadores Documento
-
Proposta e Implementação de uma Ferramenta para Gerência de Segurança em Redes Baseada numa nova Metodologia Usando Análise de Tráfego em Bakbones IP Documento
-
Proposta e avaliação de uma arquitetura a multiprocessador Documento
-
Propostas e Avaliações de Protocolos de Acesso Alternativos ao Padrão IEEE 802.11E Documento
-
Propriedades da Lógica de Defaults e suas Aplicações à Especificação Formal de Programas Documento
-
Propriedades e Algoritmos para Especializações de Hipergrafos Orientados Documento
-
Propriedades e Algoritmos para Extensões e Especializações de Grafos de Fluxo Redutíveis Documento
-
Protocolos Multibanda para Descoberta de Vizinhança em Redes Ad Hoc de Ondas Milimétricas Documento
-
Protocolos de comunicação endereçada por interesses para redes Ad hoc Documento
-
Protocolos para Redes de Comunicação Ad hoc Endereçadas por Interesses Documento
-
ProvDeploy: apoio à coleta de dados de proveniência em scripts de execução de códigos científicos. Documento
-
ProvDoop: Captura, armazenamento e disponibilização de dados de proveniência em tempo de execução de sistemas sobre Hadoop Documento
-
ProvManager: Uma abordagem para gerenciamento de proveniência e monitoramento de workflows científicos Documento
-
Prova de Teoremas Utilizando Simplificacao por Eliminacao de Literais Documento
-
Pré-Processamento em Mineração de Dados: Um Estudo Comparativo em Complementação Documento
-
Publicação de Dados Ambientais Documento
-
QUORUM-Um SSDG para o Desenvolvimento de Software Documento
-
Qualidade de Informações na Web: Um Prognóstico Fuzzy Baseado em Metadados Documento
-
Qualidade de Sistemas de Informação Hospitalar Documento
-
Qualidade no Setor de Software Brasileiro: Uma Avaliação das Práticas ds Organizações Documento
-
Quandoop: Um Simulador para Caminhadas Quânticas com Apoio de Computação Paralela e Distribuída Documento
-
RAF: Roteador Assíncrono Flexível para Redes Intra-Chip Documento
-
RAS++: representing hybrid reuse assets for MDE as a service Documento
-
RECONHECIMENTO DE PADRÕES E REDES NEURAIS ARTIFICIAIS EM PREDIÇÃO DE ESTRUTUTAS SECUNDÁRIAS DE PROTEÍNAS Documento
-
RECONSTRUCTION OF NON-SMOOTH SOLUTIONS OF ILL-POSED GEOPHYSICAL INVERSE PROBLEMS Documento
-
RECONSTRUÇÃO DE IMAGENS TOMOGRÁFICAS BASEADAS EM ARQUITETURAS RECONFIGURÁVEIS Documento
-
RECUPERAÇÃO DO CENTRO ANALÍTICO DE UMA REGIÃO QUADRÁTICA CONVEXA, AO ACRESCENTAR UM CORTE. APLICAÇÃO AO PROBLEMA DE VIABILIDADE QUADRÁTICA Documento
-
REDES DE INOVAÇÃO PARA DIFUSÃO TECNOLÓGICA Documento
-
REDES NEURAIS APLICADAS AO COMPORTAMENTO DOS MERCADOS FINANCEIROS Documento
-
REDES NEURAIS SEM-PESO APLICADAS NA CATEGORIZAÇÃO DE SUBTIPOS DO HIV-1. Documento
-
REENGENHARIA DE SOFTWARE PARA REUTILIZACAO DE SOFTWARE: UMA ABORDAGEM PARA RECUPERACAO DE PROJETOS ORIENTADOS A OBJETOS. Documento
-
REESTRUTURAÇÃO PRODUTIVA E TECNOLOGIA DE INFORMAÇÃO:UMA ANÁLISE DOS IMPACTOS SOBRE O TRABALHO NO SETOR BANCÁRIO Documento
-
REGRAS DISTRIBUÍDAS PARA SIMULAÇÃO DO VÔO EM FORMAÇÃO DE PÁSSAROS ARTIFICIAIS Documento
-
REJECTION-ORIENTED LEARNING WITHOUT COMPLETE CLASS INFORMATION Documento
-
RELP SURFING: UM FRAMEWORK PARA RELACIONAMENTO DE PÁGINAS DA WEB Documento
-
RENDERIZAÇÃO EFICIENTE DE NUVENS DE PONTOS BASEADA NO OPERADOR HPR Documento
-
REPOSITÓRIO DE CONHECIMENTO DE UM AMBIENTE DE APOIO A EXPERIMENTAÇÃO EM ENGENHARIA DE SOFTWARE Documento
-
REPRESENTAÇÃO DE NÃO-CONVEXIDADES NO PLANEJAMENTO DA OPERAÇÃO HIDROTÉRMICA UTILIZANDO PDDE Documento
-
REPRODUÇÃO DE EXPERIMENTOS COMPUTACIONAIS NA INFRAESTRUTURA DE COMPUTAÇÃO EM NUVEM Documento
-
RESATYRUS: GERAÇÃO AUTOMATIZADA DE GRAFOS DE COMPARTILHAMENTO Documento
-
RESOLUÇÃO DE ENTIDADES UTILIZANDO MULTIDÕES Documento
-
RESOLUÇÃO DO PROBLEMA DE AGRUPAMENTO SEGUNDO O CRITÉRIO DE MINIMIZAÇÃO DA SOMA DE DISTÂNCIAS Documento
-
ROOSC: Uma abordagem de Reengenharia de Sistemas Orientados a Objetos para Componentes baseada em Métricas Documento
-
RT-MLR: Um framework para desenvolvimento de sistemas sensíveis ao contexto e de tempo real Documento
-
RWISARD: Um Modelo de Rede Neural Sem Peso para Reconhecimento e Classificação de Imagens em Escala de Cinza Documento
-
Real time color projection for 3d models Documento
-
Realizacao Eficiente de Juncoes Espaciais Documento
-
Realização Eficiente de Consultas em Bancos de Dados Espacotemporais Documento
-
Rearranjo de genomas : algoritmos e complexidade Documento
-
Rearranjos de genomas: teoria e aplicações Documento
-
Recobrimento Continuo Ótimo Documento
-
Recobrimento Elipsoidal com esferas de diferentes raios Documento
-
Recomendação de contexto de tarefa em desenvolvimento de software Documento
-
Reconhecimento Visual Atencional Documento
-
Reconhecimento da Fala Através de filtragem Wavelet e Redes Neurais Documento
-
Reconhecimento de Entidades Nomeadas em Notícias de Governo Documento
-
Reconhecimento de Objetos Utilizando Filtros Orientados Documento
-
Reconhecimento de Padrão em Pacientes com Esclerose Sistêmica por Sistemas Fuzzy Documento
-
Reconhecimento de Padrões e Redes Neurais Artificiais em Predição de Estruturas Secundárias de Proteínas Documento
-
Reconhecimento de Sentimento em Texto Abordado Através da Computação Afetiva Documento
-
Reconstrução de Modelos Tridimensionais de Crânio a Partir de Imagens de Ressonância Magnética Documento
-
Reconstrução de Superfícies baseada em conceitos de Multi-resolução e o modelo de T-Superfícies Documento
-
Reconstrução de formas a partir de imagens estéreo (INTERROMPIDO EM 1995 - DOUTORADO DIRETO) Documento
-
Recuperação Cooperativa do Projeto Arquitetônico de Sistemas Documento
-
Recuperação de Componentes em Bibliotecas de Software: Uma Abordagem Conexionista Documento
-
Recuperação de Informação para Microprocessadores Documento
-
Recuperação de Informações através de Listas Invertidas para Microprocessadores Documento
-
Recuperação de informação orientada ao domínio da matemática Documento
-
Rede Refricentro: Um Caso de Reversibilidade entre Códigos Abertos e Fechados Documento
-
Redes Ad hoc Centradas em Interesses para Ambientes Móveis Documento
-
Redes Bayesianas Dinâmicas para Previsãode Séries Temporais: Aplicação ao Setor Elétrico Documento
-
Redes Epistêmicas auto-organizáveis: um modelo conexionista para a aprendizagem em Redes Sociais Documento
-
Redes Neurais Artificiais em Sistemas Críticos Quanto à Segurança: Uma Abordagem para Certificação Documento
-
Redes Neurais Recorrentes para Predição de Carga Elétrica Documento
-
Redes Neurais aplicadas à previsão do comportamento de mercados financeiros Documento
-
Redes Neuronais na Análise do Comportamento de Cianobactérias em Grandes Reservatórios de Água Documento
-
Redes neurais sem-peso aplicadas a categorização de mutações de resistencia de HIV-1 Documento
-
Redes sem fio de longa distância: Novas contribuições para a justiça em nível de usuário e para a qualidade de serviço em fluxos de vídeo escalável Documento
-
Redução de Perfil e de Largura de Banda de Matrizes Esparsas Documento
-
Reestruturando Especificações de Restrições de Modelos Elaboradas em OCL Documento
-
Reestruturação Produtiva e Tecnologia da Informação: Uma Análise sobre o Trabalho no Setor Bancário Documento
-
Reestruturação de Especificações de Restrições de Modelos Elaboradas em OCL Documento
-
Refinamento Hierárquico de Superfícies B-Splines Documento
-
Refinamento de Teoria para Programas m Lógica Bayesiano Documento
-
Regularizações para problemas de minimização convexa Documento
-
Relationship between detected events in online media Documento
-
Relaxação Lagrangeana e o Problema de Multifluxo Documento
-
Relaxações Convexas e Desigualdades Válidas para o Problema da Michila Quadrático Binário Documento
-
Relaxações Tratáveis para Problemas de Otimização Cúbicos Restritos à Esfera Documento
-
Relaxações contínuas para o problema de Máxima Entropia Restrito e um Algoritmo de Trajetória Central para Programação Semidefinida Documento
-
Relógio Virtual Estritamente Crescente para o Computador Raspberry Pi Documento
-
Renderização de Modelos de Pontos usando Multiresolução Documento
-
Representação da Distribuição do Conhecimento, Habilidades e Experiências Através da Estrutura Organizacional Documento
-
Representação de Conhecimento em Sistemas Conexionistas: Tópicos em Análise Documento
-
Representação de Variedades Combinatórias de Dimensão n Documento
-
Representação de documentos através de nuvens de termos Documento
-
Representação de restrições de aversão a risco de CVaR em Programação Dinâmica Dual Estocástica com aplicação ao planejamento da operação de sistemas hidrotérmicos Documento
-
Representação do Conhecimento Geométrico através da Informática Documento
-
Representações para Pares Modulares de um Grafo Documento
-
Requalificação de Trabalhadores e Formação à Distância no Ensino Médio. SIVIRA - Sistema Virtual de Aprendizado Documento
-
Resiliência do Classificador de N-Upla Wisard Documento
-
Resolução de Agrupamento Utilizando Suavização Hiperbólica com Arquitetura OpenMP Documento
-
Resolução do Problema de Empacotamento de Circunferências na Superfície de uma Esfera Utilizando Suavização Hiperbólica Documento
-
Resolvendo Problemas de Empacotamento Utilizando Suavização Hiperbólica Documento
-
Resolvendo Problemas de Localização de Hubs com Alocação Múltipla de Modelagens Contínua e Discreta Tipo P-Medianas Através da Abordagem de Suavização Hiperbólica Documento
-
Resolvendo o Problema de Planejamento da Expansão de Geração de Energia com Enxames de Partículas Binários Documento
-
Resultados de complexidade relativos ao Teorema de Helly colorido e o número de Carathéodory Documento
-
Retropropagação Recorrente: Aplicação na Previsão de Séries Temporais e Identificação de Assinaturas Sonoras Documento
-
Reutilizaçao de Software No Desenvolvimento de Software Cientifico Documento
-
Revisão de Classificadores Bayesianos de Primeira Ordem Documento
-
Revisão de Teorias Relacionais Probabilísticas Através de Exemplos com Invenção de Predicados Documento
-
Roteamento Ecológico de Veículos Orientado a Ondas Verdes Documento
-
Roteiros de Colaboração para o Software Tabulae: Estratégias Didáticas Para um Modelo de Aprendizagem Colaborativa Apoada por Computador à Distância em Geometria Documento
-
S:DOC: Gerência de documentos e conteúdos científicos Documento
-
SATYRUS2: COMPILANDO ESPECIFICAÇÕES DE RACIOCÍNIO LÓGICO Documento
-
SATyrus2: Compilando Espeficicações de Raciocínio Lógico Documento
-
SCENARIOTCHECK: Uma Técnica de Leitura Baseada em Checklist para Verificação de Cenários IoT Documento
-
SCENARIoT - Support for Scenario Specification of Internet of Things-Based Software Systems Documento
-
SECO-AM: an approach for maintenance of IT architecture in software ecosystems Documento
-
SECOGov: Um Modelo de Governança de Ecossistemas de Software para Apoiar Atividades de Arquitetura de TI Documento
-
SEEKLEX - RECUPERAÇÃO DE INFORMAÇÃO EM SUBDOCUMENTOS HIERARQUIZADOS Documento
-
SEGMENTAÇÃO DE IMAGENS TOMOGRÁFICAS: UMA APLICAÇÃO AO CASO DE NÓDULOS PULMONARES SOLITÁRIOS Documento
-
SELEÇÃO DE ABORDAGENS DE TESTE PARA APLICAÇÕES WEB Documento
-
SELEÇÃO DE TÉCNICAS DE TESTE BASEADO EM MODELOS Documento
-
SENSIBILIDADE DO MECANISMO DE REUSO DE TRAÇOS AOS SUBCONJUNTOS DE INSTRUÇÕES Documento
-
SENSORIAMENTO ADAPTATIVO DE EVENTOS EM REDES DE AGENTES AUTÔNOMOS MÓVEIS Documento
-
SERVIÇOS DE APOIO AO PLANEJAMENTO, EXECUÇÃO E EMPACOTAMENTO DE REVISÕES SISTEMÁTICAS DA LITERATURA Documento
-
SGProv: Mecanismo de Sumarização para Múltiplos Grafos de Proveniência Documento
-
SIM: Um Sistema Semi-Automático de Documentos Documento
-
SIRIUS - Um Sistema de Recepção e Informação ao Usuário Documento
-
SISTEMA CONVERSACIONAL PARA EDICAO DE TEXTOS Documento
-
SISTEMA INTERATIVO PARA MAPEAMENTO Documento
-
SISTEMAS DIGITAIS: UM CONTROLADOR E FORMADOR DE DISCO FLEXIVEL Documento
-
SOBRE A DISPUTA POR RECURSOS DE REDE WLAN POR APLICAÇÕES VOIP: UMA PROPOSTA DE MODELAGEM USANDO TEORIA DOS JOGOS Documento
-
SOBRE GRAFOS DE CAYLEY, PERMUTAÇÕES E CIRCUITOS REVERSÍVEIS Documento
-
SOBRE GRAFOS UEH Documento
-
SOBRE ORDENS E GRAFOS DE INTERVALO Documento
-
SOLUÇÃO DE SISTEMAS LINEARES DE GRANDE PORTE COM MÚLTIPLOS LADOS DIRETOS Documento
-
SPeCS - A Spatial Decision Support System Documento
-
SPeCS - Sistema de Suporte à Decisão Espacial Colaborativa Documento
-
STDTOOL: PROPOSTA DE UM SISTEMA COMPUTACIONAL DE MODELAGEM SEMIQUANTITATIVA PARA A APRENDIZAGEM DO PENSAMENTO SISTÊMICO Documento
-
SUAVIZAÇÃO HIPEBÓLICA APLICADA À OTIMIZAÇÃO DE GEOMETRIA MOLECULAR Documento
-
SUBGRADIENTE DIFERENCIÁVEL VIA SUAVIZAÇÃO HIPERBÓLICA Documento
-
SUNRISE: Um Algoritmo Rápido de Aprendizado Multiestratégia Documento
-
SUPORTE DE COMUNICAÇÃO PARA SISTEMAS DE MEMÓRIA COMPARTILHADA DISTIBUIDA EM SOFTWARE Documento
-
Sala de aula Virtual Cooperativa Documento
-
Seleção Automática de Heurísticas para Alguns Problemas da Otimização Combinatória Documento
-
Seleção Genética e Agrupamento por Dissimilaridade de Atributos Binários Documento
-
Seleção de Características com Busca Ordenada e Classificadores de Larga Margem Documento
-
Seleção de Processos de Software para Controle Estatístico Documento
-
Seleção de Técnicas de Teste Baseadas em Modelos Documento
-
Semântica para Lógica Default e Programação em Lógica Baseada em Revisão de Crenças Documento
-
Sensibilidade às condições iniciais de geodésicas em superfícies de curvatura negativa: um teorema de Hadamard Documento
-
Senso de Direção Cordal em Sistemas Distribuídos Documento
-
Sensoriamento de Multidões de Pessoas e Coisas através de Evidências deixadas no meio sem fio Documento
-
Simbad Sistema de Agentes Baseados por Similaridade para o Design Documento
-
Simplificando o Controle Topológico de uma Loop-Snake Documento
-
Simplificando o Controle Topológico de uma T-Snakes Documento
-
Simulador/Montador MIX em Mini-Computador com Sistema de Tempo Compartilhado Documento
-
Simulação de Cenários Alternativos para a Evolução do Setor Energético Brasileiro Documento
-
Simulação distribuída de sistemas com evolução temporal híbrida Documento
-
Simulação escalável de epidemias em redes baseadas em passeios aleatórios com caracterização de transições de fases Documento
-
Sincronização de Tempo e Alocação de Recursos em Sistemas de Internet das Coisas Documento
-
Sisautor, Sistema de Autoria para Costrução de Tutores ipermídia em Cardiologia Documento
-
Sistema Automático de Marcação de Consultas Ambulatóriais Documento
-
Sistema Autonômico para detecção de mudanças em eventos a partir de notícias Documento
-
Sistema Eficiente de Medição de Consumo de Energia para Equipamentos de Comunicação sem Fio Documento
-
Sistema Integrado de Gerenciamento de Segurança de Redes Empregando CORBA Documento
-
Sistema Móvel de Apoio a Comunidades de Aprendizado Usando uma Rede Peer-To-Peer Documento
-
Sistema de Banco de Dados para usuário leigo Documento
-
Sistema de Informação como Instrumento de Programas de Qualidade Documento
-
Sistema de Medição Precisa do Consumo de Energia em Dispositivos Móveis de Comunicação sem Fio Documento
-
Sistema de Multiprocessamento Clepsidra Documento
-
Sistema de Realidade Virtual para Tratamento de Fobia Documento
-
Sistema de Recomendação de Músicas Baseado em LDA e Atributos de Áudio Documento
-
Sistema de Traca de Mensagens Documento
-
Sistema de nano caches residenciais para distribuição de vídeo Documento
-
Sistema de reconhecimento de voz orientada a palavras independente do usuário. Documento
-
Sistemas Especialistas Aplicados ao Processamento de Alarmes em Centros de COntrole Documento
-
Sistemas Especialistas: Um estudo de caso na agricultura Documento
-
Sistemas Gerenciadores de Bancos de Dados para Geoprocessamento Documento
-
Sistemas de Informação como Instrumento de Programa de Qualidade Documento
-
Sistemas de Automação de Bibliotecas Documento
-
Sistemas de Comunicação Móvel Digital: um Exemplo de Aplicação em Telemedicina Documento
-
Sistemas de Suporte à Decisão para Grandes Grupos Documento
-
Sistematization for the Development of Simulation Training Games Documento
-
Snakes Implícitas - Uma Aplicação a Imagens obtidas por Ultra-sonografia Documento
-
Sobre a Complexidade de Jogos Documento
-
Sobre Conjuntos independentes maximais de um grafo Documento
-
Sobre Códigos Corretores de Errros Documento
-
Sobre Esquemas de Indução Documento
-
Sobre L(2,1) - Colorações de Generalizações de Árvores Documento
-
Sobre a coloração total de grafos cúbicos Documento
-
Sobre a complexidade de jogos combinatórios Documento
-
Sobre a simulação paralela de alguns modelos complexos Documento
-
Sobre abertura e densidade de politopos não-degenerados e uma família de algoritmos primais de pontos interiores para programação convexa Documento
-
Sobre coloração total de grafos Kneser e de grafos produto direto de completos e de ciclos Documento
-
Sobre derivações simples e folheações holomorfas sem solução algébrica Documento
-
Sobre derivações simples e folheações holomorfas sem soluções algébricas Documento
-
Sobre dois fenômenos em redes P2P do tipo BitTorrent Documento
-
Sobre grafos clique-completos Documento
-
Sobre medidas de desempenho da Internet para o uso de aplicações em redes Documento
-
Sobre o Número de Overlap em Grafos Documento
-
Sobre o Problema Euclidiano de Steiner em RN Documento
-
Sobre o Problema de Corte a Duas Dimensões - Um Procedimento Alternativo de Corte Documento
-
Sobre o controle de saída de sistemas lineares multivariáveis Documento
-
Sobre o número de saltos em ordens parciais Documento
-
Software de Comunicação para Sistemas de Memória Compartilhada Distribuída Documento
-
Softwares livres, economia solidária e o fortalecimento de práticas democráticas: três casos brasileiros Documento
-
Solução de Sistemas Lineares de Grande Porte com Múltiplos Lados Direitos Documento
-
Soluções algébricas de campos de vetores planares: métodos algorítmicos Documento
-
Stratigraphic sedimentary inversion using paths in graphs Documento
-
Streaming de Imagens Médicas Documento
-
Suavização Hiperbólica Aplicada no Problema de Localização de Estações de Rádio Base Documento
-
Suavização Hiperbólica aplicada à determinação de geometria molecular Documento
-
Subsistema de Gerencia e Manipulação de E/S em veículos de Acesso Direto para Microcomputadores Documento
-
Sugestão de criticidade baseada em multicritério para arquiteturas estabelecidas orientadas a microsserviços Documento
-
Suporte ao Mapeamento Sistemático: um apoio à pesquisa bibliográfica Documento
-
Supporting Software Processes Analysis and Decision-making using Provenance Data Documento
-
Supporting User Steering in Large-scale Workflows with Provenance Data Documento
-
Síntese de circuitos para computação reversível usando portas Toffoli generalizadas Documento
-
Síntese de redes neuronais com aplicações à representação do conhecimento e à otimização Documento
-
T-Snakes Duais e a Inicialização de Modelos Deformáveis Documento
-
TAXONOMIA DE DOMINIOS DE APLICACAO Documento
-
TECNICAS PARA VISUALIZACAO DIRETA DE MODELOS CSG Documento
-
TH - PROPOSTA DE UMA FERRAMENTA AUTOMATICA PARA TRANSFORMACAO DE TEXTOS EM HIPERTEXTOS Documento
-
THOR: Um Sistema de Distribuição de Vídeo Par-a-Par Baseado na Técnica D1HT Documento
-
TICS E TACS: O REFAZIMENTO DE SOFTWARES E ENGENHEIROS NO LIMIAR ENTRE AS CIÊNCIAS E OS SEGREDOS. Documento
-
TICS, COMUNIDADES, ESTADO, ESFERA PÚBLICA E GOVERNANÇA: CASOS DE INCLUSÃO DIGITAL NO BRASIL Documento
-
TIMEFEX: UMA ABORDAGEM PARA A MODELAGEM DE COMPORTAMENTO EM LINHAS DE PRODUTOS DE SOFTWARE Documento
-
TRABALHO COOPERATIVO: ANÁLISE DE SUA UTILIZAÇÃO EM DESENVOLVIMENTO DE SOFTWARE BASEADA EM ESTUDOS DE CASOS Documento
-
TRANSACTIONAL WAVECACHE - EXECUÇÃO ESPECULATIVA FORA-DE-ORDEM DE OPERAÇÕES DE MEMÓRIA EM UMA MÁQUINA DATAFLOW Documento
-
TRICOORD+ : UMA EXTENSÃO DO MODELO TRICOORD PARA RESOLUÇÃO DE CONFLITOS EM SISTEMAS MULTIAGENTES Documento
-
Tabelas Hash Distribuídas com consultas de um salto com baixa carga de manutenção Documento
-
Tasker: Sistema de Coordenação de Equipes Documento
-
Technologies to support the technical debt management in software projects : a qualitative research / Documento
-
Tecnologia da Informação e Transformação Organizacional: Estudo de Casos dos Sistemas Especialistas Documento
-
Tecnologia faz Escola, Escola faz Tecnologia Documento
-
Tesselações em Grafos e Suas Aplicações em Computação Quântica Documento
-
Tessellation on Graphs: Theory, Algorithms, and Complexity Documento
-
Test and Evaluation of the Transputer in a Multi-Transputer System Configuration Documento
-
Teste de Aplicações Web pela Multidão Documento
-
Testes de Redução e Algoritmo Branch and Bound para o Problema de Localização Capacitado Documento
-
Testes de Redução e Heurísticas Add/Drop para o Problema de Localização Capacitado Documento
-
The hyperbolic augmented Lagrangian algorithm Documento
-
Theoretical Research on a Weightless Neural Classifier and Application to Computational Linguistics Documento
-
Time-Series Classification with KernelCanvas and WiSARD Documento
-
Topicos em sistemas nao-lineares Documento
-
Tornando a Programação em Lógica Indutiva (ILP) Escalável a Bases de Dados Arbitrariamente Grandes Documento
-
Trajetória Central em Programação Semidefinida, Método do Ponto Proximal Generalizado e Trajetória de Cauchy em Variedade Riemanniana Documento
-
Transfer learning by mapping and revising boosted relational dependency networks Documento
-
Transferência de Conhecimento entre Universidade e Governo em Projetos de TI: O Caso SICONV Documento
-
Transformando Campos de Direcoes Definidos Em Triangulacoes Para Transformar Poligonos Simples Documento
-
Transformando o Problema de Filtragem Colaborativa em Aprendizado de Máquina Supervisionado Documento
-
Transições de fase em alguns problemas da otimização combinatória Documento
-
Tratamento de Dados de Curvas de Carga Via Análise de Agrupamentos e Transformada Wavelets Documento
-
Triangulações Adaptativas em Multi-resolução para Objetos Heterogêneos Documento
-
Tricoord+: Um modelo de resolução de conflitos em Sistemas Multiagentes Documento
-
Trilhas, Otimização de Concorrência e Inicialização Probabilística em Sistemas sob Reversão de Arestas Documento
-
Two Problems on the Structure-Identity Relationship on Networks Documento
-
TÉCNICA DE INSPEÇÃO DE USABILIDADE BASEADA EM PERSPECTIVAS DE PROJETO WEB Documento
-
Técnica de Inspeção de Usabilidade para Aplicações Web Documento
-
Técnica para Inspeção de Diagramas de Atividades Documento
-
Técnicas Adaptativas para Software DSM Baseado em Residência Documento
-
Técnicas de Ordenção para Simulação Física Baseada em Partículas Documento
-
Técnicas de Simulação Para Apoio à Decisão em Planejamento Urbano Documento
-
Técnicas de Solução para Modelos Provenientes de Redes Multimídias Documento
-
Técnicas para Alocação de Fragmentos em Projeto de Bancos de Dados Distribuídos Documento
-
Técnicas para Detecção e Exploração de Padrões de Compartilhamento em Sistemas de Memória Compartilhada Distribuída Documento
-
Técnicas para Redução dos Custos de Compartilhamento de Memória em Máquinas Virtuais Distribuídas. Documento
-
Título: Trajetória Central em Programação Semidefinida, Método do Ponto Proximal Generalizado e Trajetória de Cauchy em Variedade Riemanniana Documento
-
Tópicos em b-Continuidade: operações em grafos e grafos distância-hereditários Documento
-
UM MODELO DE AUTOGERENCIAMENTO DE SISTEMAS DISTRIBUIDOS INSPERADO NO SISTEMAS CIRCULATÓRIO Documento
-
UM ALGORITMO DE PONTO PROXIMAL PARA OTIMIZAÇÃO NO ORTANTE POSITIVO Documento
-
UM ALGORÍTIMO COM PARÂMETROS ESTATÍSTICOS PARA O PQA Documento
-
UM AMBIENTE PARA A DEFINICAO E EXECUCAO DE PROCESSOS CUSTOMIZÁVEIS DE PUBLICAÇÃO CIENTÍFICA Documento
-
UM AMBIENTE PARA GERENCIAMENTO E EXECUÇÃO DE EXPERIMENTOS DE EXPRESSÃO GÊNICA COM MICROARRANJOS Documento
-
UM ANBIENTE COMPUTACIONAL PARA PROTEÔMICA Documento
-
UM CANAL ENCOBERTO PARA TRANSMISSÃO DE DADOS SOBRE O PROTOCOLO HTTP Documento
-
UM CLASSIFICADOR VISUAL AUTONOMO DE DENSIDADE DE TRÂFEGO URBANO Documento
-
UM ESTUDO DE PROBLEMAS COMBINATORIOS EM GRAFOS PERFEITOS Documento
-
UM ESTUDO DO POTENCIAL DE REDES INTRACHIP PARA O ESCALONAMENTO DE PROCESSOS EM ARQUITETURAS MULTICORE Documento
-
UM ESTUDO DO SERVIDOR RIO EM UMA REDE DE ALTA VELOCIDADE Documento
-
UM METODO PARA A SOLUCAO NUMERICA DE EQUACOES DIFERENCIAIS PARCIAIS ELIPTICAS Documento
-
UM MODELO DE APOIO À TOMADA DE DECISÃO PARA ANÁLISE DE SIMILARIDADE E UNIFICAÇÃO DE PROCESSOS DE NEGÓCIO Documento
-
UM MODELO MATEMÁTICO-COMPUTACIONAL DO ESTRESSE OXIDATIVO NA DOENÇA DE ALZHEIMER Documento
-
UM MODELO PARA OBSERVAÇÃO DE EVOLUÇÃO DE SOFTWARE Documento
-
UM NOVO ALGORITMO PARA SINCRONIZAÇÃO COM GRADIENTE DOS RELÓGIOS DE UMA REDE DE SENSORES Documento
-
UM OLHAR SOCIOTÉCNICO SOBRE A ENGENHARIA DE SOFTWARE: O CASO DO BNDES Documento
-
UM OTIMIZADOR DINÂMICO PARA A MATERIALIZAÇÃO DE DOCUMENTOS XML ATIVOS Documento
-
UM SISTEMA DE APOIO À DECISÃO MULTICRITÉRIO PARA O PLANEJAMENTO DA EXPANSÃO DA GERAÇÃO DE LONGO PRAZO CONSIDERANDO EMISSÕES DE GASES DE EFEITO ESTUFA Documento
-
UM SISTEMA DE INTERVENÇÃO COMPUTACIONAL PARA O RASTREIO DE MONITORAMENTO DE LEITURA EM UMA PROPOSTA DE RTI Documento
-
UM SISTEMA DE LOCALIZAÇÃO PARA REDES WI-FI BASEADO EM NÍVEIS DE SINAL E MODELO REFERENCIADO DE PROPAGAÇÃO Documento
-
UM SISTEMA DE RECOMENDAÇAO INTELIGENTE BASEADO EM VIDEO AULAS PARA EDUCAÇAO A DISTANCIA Documento
-
UM SISTEMA DE RECOMENDAÇÃO PARA COMPOSIÇÃO DE WORKFLOWS Documento
-
UM SISTEMA INTELIGENTE PARA O GERECIAMENTO DO TRAFEGO FERROVIARIO. Documento
-
UMA ABORDAGEM DE APOIO A EXECUÇÃO PARALELA DE WORKFLOWS CIENTÍFICOS EM NUVENS DE COMPUTADORES Documento
-
UMA ABORDAGEM DE COMPUTAÇÃO SOCIAL PARA A CONSTRUÇÃO DE HISTÓRIAS E TRAMAS NOTICIOSAS POR MEIO DA CURADORIA SOCIAL Documento
-
UMA ABORDAGEM DISTRIBUÍDA E ADAPTATIVA PARA A GERÊNCIA DOS DADOS DE PROVENIÊNCIA DE EXPERIMENTOS CIENTÍFICOS EXECUTADOS EM NUVENS COMPUTACIONAIS Documento
-
UMA ABORDAGEM EFICIENTE PARA MÉTODOS NÃO LINEARES DE REDUÇÃO DE DIMENSIONALIDADE E UMA NOVA METODOLOGIA SUPERVISIONADA PARA REDUÇÃO DE DIMENSIONALIDADE BASEADA EM PROTÓTIPOS Documento
-
UMA ABORDAGEM PARA A CRIAÇÃO DE ARQUITETURAS DE REFERÊNCIA DE DOMÍNIO A PARTIR DA COMPARAÇÃO DE MODELOS ARQUITETURAIS DE APLICAÇÕES Documento
-
UMA ABORDAGEM PARA APOIAR ESPECIFICAÇÃO DE REQUISITOS PARA PROJETOS DE SOFTWARE UBÍQUO Documento
-
UMA ABORDAGEM PARA BENCHMARKING EM INICIATIVAS DE IMPLEMENTAÇÃO DE MELHORIAS EM PROCESSOS DE SOFTWARE Documento
-
UMA ABORDAGEM PARA CONTROLE DE TOPOLOGIA DE REDES DE SENSORES SEM FIO PARA AMBIENTES COM OBSTÁCULOS Documento
-
UMA ABORDAGEM PARA ESPECIFICAÇÃO DE REQUISITOS DIRIGIDA POR MODELOS INTEGRADA AO CONTROLE DA QUALIDADE DE APLICAÇÕES WEB Documento
-
UMA ABORDAGEM PARA GERÊNCIA ESTRATÉGICA DE PORTFÓLIO: FOCO NA SELEÇÃO DE PROJETOS Documento
-
UMA ABORDAGEM PARA INSPEÇÃO DE DOCUMENTOS ARQUITETURAIS Documento
-
UMA ADAPTAÇÃO DO ESCALONADOR ESTÁTICO DA BIBLIOTECA DATAFLOW SUCURI PARA COMPUTAÇÃO IN-SITU. Documento
-
UMA CLASSE DE MÉTODOS INTERIOR-PROXIMAIS COM MÉTRICA VARIÁVEL PARA PROBLEMAS CONVEXOS E UM ALGORITMO INTERIOR-PROXIMAL COM DISTÂNCIA DE BREGMAN PARA OTIMIZAÇÃO QUASE-CONVEXA. Documento
-
UMA CONTRIBUIÇÃO NA DETERMINAÇÃO DE ROTAS PARA EMPRESAS DE ENTREGA EXPRESSA Documento
-
UMA ESTRATÉGIA COMPUTACIONAL NA DETECÇÃO DA DISLEXIA Documento
-
UMA ESTRATÉGIA DE APOIO À GERÊNCIA DE DADOS DE PROVENIÊNCIA EM EXPERIMENTOS CIENTÍFICOS Documento
-
UMA FERRAMENTA PARA PLANEJAMENTO E PRODUCAO DE DOCUMENTOS DE SOFTWARE Documento
-
UMA NOVA ESTRATÉGIA DA DEFINIÇÃO DOS ESTÁGIOS PARA A PROGRAMAÇÃO DINÂMICA DUAL DETERMINÍSTICA - APLICAÇÃO AO PROBLEMA DA PROGRAMAÇÃO DIÁRIA DA OPERAÇÃO Documento
-
UNSUPERVISED CONCEPT EXTRACTION IN AN INTRODUCTION TO PROGRAMMING COURSE Documento
-
USANDO A TRAJETORIA CENTRAL PARA CALCULAR O CENTRO ANALITICO DE UM POLITOPO APOS A ADICAO DE UM CORTE PROFUNDO Documento
-
USO DE JOGOS COMO ESTRATÉGIA PARA O ENSINO DE REUTILIZAÇÃO DE SOFTWARE Documento
-
USO DE TÉCNICAS INTELIGENTES PARA ANÁLISE DE AVALIAÇÕES DO TRANSTORNO DO DÉFICIT DE ATENÇÃO / HIPERATIVIDADE EM UM JOGO COMPUTACIONAL Documento
-
UTILIZAÇÃO DA TECNOLOGIA DE INFORMAÇÃO COMO SUPORTE NO SETOR DE ALIMENTAÇÃO E DESENVOLVIMENTO AUTO-SUSTENTÁVEL Documento
-
UTILIZAÇÃO DE JOGOS DE COMPUTADOR PARA APRIMORAMENTO DE HABILIDADES DE NEGOCIAÇÃO Documento
-
UbiFEX: Uma Abordagem para Modelagem de Características de Linha de Produtos de Software Sensíveis ao Contexto Documento
-
Um Algoritmo Híbrido para Solução de Problemas de Escala de Motoristas Documento
-
Um Algoritmo Polinomial Para Problemas Tri-Objetivo De Otimização De Caminhos Em Grafos Documento
-
Um Algoritmo Utilizando Programação Semidefinida para o Problema de Dois Níveis Linear Documento
-
Um Algoritmo de Busca por Vértices com Características Específicas em Redes Documento
-
Um Algoritmo de Decomposição Primal para o Problema Dinâmico de Localização de p-Medianas e sua Aplicação na Produção de Carvão Vegetal em Plantação de Eucaliptos Documento
-
Um Algoritmo de Direções Viáveis para Otimização Convexa Não Diferenciável Documento
-
Um Algoritmo de Minimização Usando um Método de Região de Confiança com Formato Elipsoidal para Problemas de Programação não Linear com Variáveis Canalizadas Documento
-
Um Algoritmo de Planos de Corte Baseado em Centros para um Problema de Estimativa de Máxima Verossimilhança Documento
-
Um Algoritmo de Ponto Proximal em Programação Semidefinida Documento
-
Um Ambiente de Apoio Automatizado para Desenvolvimento de Software Básico Documento
-
Um Ambiente de Apoio a Comunidades de Prática no Contexto da Estação Taba Documento
-
Um Ambiente de Recomendações e Filtragens Cooperativas para Apoio a Equipes de Trabalho Documento
-
Um Ambiente de Simulação de Fluido com Aplicações a Redes Multimídia Documento
-
Um Ambiente para Mineração de Utilização da Web Documento
-
Um Analisador Estatístico de Programas Escritos em C Documento
-
Um Compilador Basic Incremental para o Terminal Inteligente Documento
-
Um Compilador para a Linguagem PL/STI Documento
-
Um Editor de texto Dirigido pela Sintaxe Documento
-
Um Emulador Paramétrico de Conexões Fim-a-Fim em Redes IP Documento
-
Um Esquema de Votação Dinâmica Descentralizada e Tolerante a Falhas para Redes P2P Documento
-
Um Estudo Comparativo entre Algoritmos de Programação Linear em Dois Níveis. Documento
-
Um Estudo Sistêmico de um modelo do Sistema Imunitário com Evolução da Especificidade Documento
-
Um Estudo Sobre Adoção de Um Modelo que Visa Promover Melhorias no Processo de Desenvolvimento de Software: o Caso do CMM em uma Empresa do Setor Financeiro no Brasil Documento
-
Um Estudo Sobre a Implementacao de Indices Atraves de Arvores N-Arias. Documento
-
Um Estudo Sobre um Sistema Computacional de Grande Porte em Programação Linear Documento
-
Um Estudo de Redes de Sensores Anonimos - Area Redes Telecomunicação Documento
-
Um Estudo de um problema de programação em dois níveis: o Problema de Estratégia de Preço em Mercados de Energia Documento
-
Um Estudo do Conhecimento: Algumas Abordagens para sua Verificação Documento
-
Um Estudo do Impacto de Informação de Granulosidade em Estratégias de Escalonamento para Sistemas Prolog que Exploram Paralelismo-Ou Documento
-
Um Estudo do Processo de Difusão de Engenharia de Software: O Caso Petrobrás Documento
-
Um Estudo sobre a Introdução da Informática na Educação Documento
-
Um Framework para Desenvolvimento de Sistemas Sensíveis ao Contexto e de Tempo Real Documento
-
Um Gerador de Programas COBOL Documento
-
Um Infra-estrutura Computacional para Apoiar o Planejamento e Controle de Teste de Software Documento
-
Um Mecanismo de Extensão de Linguagens e a Linguagem Extensível LPSE Documento
-
Um Mecanismo de Suporte À Conectividade Durante Transições de Estações Móveis em Redes 802.11 Documento
-
Um Modelo Baseado em Grafos para a Evolução da Especificidade em Sistemas Imunológicos Documento
-
Um Modelo Deterministico-Estocastico Para Previsao de Series Hidrologicas Temporais Documento
-
Um Modelo Dinâmico de Otimização para Localização de Centrais Telefônicas Documento
-
Um Modelo Fuzzy Para Avaliação de Qualidade de Software Documento
-
Um Modelo Matemático dos Mecanismos Celulares da Tolerância e Dependência em Morfina Documento
-
Um Modelo Matemático-Computacional do Papel do Colesterol na Doença de Alzheimer Documento
-
Um Modelo Matemático-Computacional para o papel do Cálcio na Doença de Alzheimer Documento
-
Um Modelo Neurocomputacional Para Alguns Transtornos de Pensamento Presentes na Esquizofrenia Documento
-
Um Modelo Neurocomputacional para alguns Transtornos de Pensamento Presente na Esquizofrenia Documento
-
Um Modelo Neurocomputacional para o Transtorno do Pânico Documento
-
Um Modelo Semântico para o Domínio de Gerenciamento de Infra-estrutura e Serviços de Tecnologia da Informação Documento
-
Um Modelo Semântico para o Domínio de Gerenciamento de Infraestrutura e Serviços de Tecnologia da Informação Documento
-
Um Modelo de Cooperação para Aprendizagem Baseada em Projetos. Documento
-
Um Modelo de Custo para o Processamento de Consultas em Baes de Objetos Distribuídos Documento
-
Um Modelo de Custo para o Processamento de Consultas em Bases de Objetos Distribuídos Documento
-
Um Modelo de Equações Diferenciais para o Metabolismo da Glicose Documento
-
Um Modelo de Escola Aberta na Internet: O Projeto Kidlink no Brasil Documento
-
Um Modelo de Localização Industrial Documento
-
Um Modelo de Objetos para o Sistema de Objetos GEOTABA Documento
-
Um Modelo de Simulação de Intercâmbio de Energia entre Sistemas Hidrotérmicos Interligados Documento
-
Um Modelo de aprendizagem automática baseada na teoria sistemática do comportamento de Clark Hull Documento
-
Um Método Geral para Tornar Algoritmos Fuzzy de Aprendizado de Máquina Escaláveis para Bases de Dados Arbitrariamente Grandes Documento
-
Um Método Geral para Tornar Algoritmos Fuzzy de Aprendizado de Máquinas Escaláveis para Bases de Dados Arbitrariamente Grandes Documento
-
Um Método Multiplicador Proximal para Minimização Convexa Separável. Documento
-
Um Método Wavelet-Galerkin Aplicado a uma Equação Diferencial Parcial com Coeficiente Não-Constante Documento
-
Um Método de Aprendizado para Redes Neuronais Analógicas de Hopfield com aplicação à Compactação de Imagens Documento
-
Um Método de Dedução Não-Monotônico baseado em Eliminação de Modelos Documento
-
Um Novo Algorítmo de Penalização Hiperbólica para Resolução do Problema de Programação Não-Linear com Restrições de Igualdades Documento
-
Um Novo Modelo de Mobilidade para Redes sem Fio: Distribuições Exatas para Velocidade e Direção com Aplicações em Simulações Perfeitas Documento
-
Um Processador RISC Bipartido Documento
-
Um Processo de Apoio à Gerência de Aquisição de Produtos e Serviços de Software Documento
-
Um Rastreador Visual Baseado em Redes Neurais Sem Peso e Memórias de Prazo Documento
-
Um Serviço de Percepção para uma Infra-Estrutura de Desenvolvimento de Groupware Documento
-
Um Sistema Baseado em Conhecimento de Apoio a Métodos de Desenvolvimento de Software Documento
-
Um Sistema Especialista para Escolha dos Fatores de Escala do TNA Documento
-
Um Sistema Para A Transformacao de Contornos Documento
-
Um Sistema de Controle Robótico para Integração de Informação Sensorial Multimodo Documento
-
Um Sistema de Gerência Cooperativa de Configuração de Software Documento
-
Um Sistema de Recomendação de Métricas e Regras Documento
-
Um Sistema de Reconhecimento de Faces Humanas Usando Processamento de Imagens e Rede Bayesiana Documento
-
Um Sistema de Reutilização de Âmbito Global Documento
-
Um Sistema de Telemedicina para Cardiologia Documento
-
Um Sistema de programação e Depuração Conversacional para Linguagem Tipo Montador - Parte I - Analisador e Montador Documento
-
Um Tutor Inteligente para o Ensino de Xadrez Documento
-
Um algoritmo branch-and-price para instâncias de grande porte do modelo brasileiro de planejamento da expansão da geração de energia elétrica a longo prazo Documento
-
Um algoritmo com parâmetros estatísticos para o PQA Documento
-
Um algoritmo de ponto-interior-inviável com complexidade O(raiz(n)L) iterações para programação linear Documento
-
Um algoritmo de pontos interiores para problemas de programação não linear com variáveis canalizadas Documento
-
Um algoritmo distribuído para encontrar conjuntos k-dominantes em grafos Documento
-
Um algoritmo heuristico para resolucao de problemas de alocacao de canais de comunicacao Documento
-
Um ambiente computacional para a otimização de escalas de tripulantes em companhias aéreas Documento
-
Um ambiente computacional para proteômica Documento
-
Um ambiente educacional para discussão cooperativa de casos de cardiologia Documento
-
Um arcabouço para a implementação de data warehouses estendidos com tipos abstratos de dados Documento
-
Um crawler peer-to-peer baseado em agentes Documento
-
Um enfoque analógico para a solução do problema do caixeiro viajante através do método elástico Documento
-
Um enfoque para o problema de recobrimento de sólidos por esferas de diâmetros diferentes Documento
-
Um estudo Comparativo entre algoritmos de programação linear Documento
-
Um estudo da operação conjunta de cascatas de usinas hidrelétricas Documento
-
Um estudo das estruturas de grafos sem garras Documento
-
Um estudo de ambientes de programação distribuida: proposta de extensões para Modula2 Documento
-
Um estudo sobre técnicas de buscas em grafos e suas aplicações Documento
-
Um interpretador RPG para o terminal inteligente Documento
-
Um modelo HMM hierárquico para usuários interativos acessando um servidor multimídia Documento
-
Um modelo de otimização combinatória para o dimensionamento de uma rede urbana de telecomunicações Documento
-
Um modelo matemático para o problema de sequenciamento de trens Documento
-
Um modelo multi-escala para representação de objetos implícitos baseados em função de distância euclidiana. Documento
-
Um modelo neurocomputacional da dependência química em nicotina Documento
-
Um método proximal inexato com distâncias proximais para problemas de equilíbrio quase monótono Documento
-
Um novo modelo para o cálculo de penalidades na contratação de energia Documento
-
Um princípio do máximo discreto para modêlos econômicos de produção Documento
-
Um processador Edison Documento
-
Um simulador distribuído baseado no paradigma espaço-temporal Documento
-
Um sistema analisador conversacional para simulação Documento
-
Um sistema de medição remota de consumo de energia elétrica baseado no protocolo Zigbee Documento
-
Um sistema especialista de suporte à decisão para planejamento de ambientes de desenvolvimento de software Documento
-
Um sistema gerenciador de bases de conhecimentos voltado a diagnósticos Documento
-
Um sistema para animação física usando malhas tetraedrais Documento
-
Um testador de algoritmos distribuídos Documento
-
Uma Abordagem Algébrica para Workflows Científicos com Dados em Larga Escala Documento
-
Uma Abordagem Ao Problema de Mecanizacao de Especificacoes Axiomaticas Para Tipos Abstratos de Dados Documento
-
Uma Abordagem Baseada em Relações Léxicas para a Autoria de Hipertextos Documento
-
Uma Abordagem Determinística para a Minimização Global da Energia Potencial de Molécula Documento
-
Uma Abordagem Economica Baseada em Riscos para Avaliação de uma Carteira de Projetos de Software Documento
-
Uma Abordagem Para Definição De Processos Baseada Em Reutilização Visando À Alta Maturidade Em Processos Documento
-
Uma Abordagem Probabilística para Análise Causal de Defeitos de Software Documento
-
Uma Abordagem Sensível ao Contexto para Visualização de Informação: Um Exemplo em Cenários de Desenvolvimento de Software Documento
-
Uma Abordagem com Apoio Ferramental para Aplicação de Técnicas de Leitura Baseada em Perspectiva Documento
-
Uma Abordagem de Apoio à Criação de Arquiteturas de Referência de Domínio baseada na Análise de Sistemas Legados Documento
-
Uma Abordagem de Projeto Arquiteturial Baseado em Componentes no Contexto de Engenharia de Domínio Documento
-
Uma Abordagem de Teoria dos Jogos para Coloração de Grafos Documento
-
Uma Abordagem para Acompanhamento de Projetos de Software Documento
-
Uma Abordagem para Avaliação de Propostas de Melhoria em Processos de Software Documento
-
Uma Abordagem para Benchmarking em Iniciativas de Melhorias em Processos de Software Documento
-
Uma Abordagem para Controle de Topologia para Redes de Sensores para Ambientes com Obstáculos Documento
-
Uma Abordagem para Disseminação de Informação em Contextos Colaborativos Documento
-
Uma Abordagem para Gerência e Avaliação de Projetos de Melhoria de Processos de Software do Ponto de Vista da Instituição de Consultoria Documento
-
Uma Abordagem para Inspeção de Documentos Arquiteturais Baseada em Checklist Documento
-
Uma Abordagem para a Identificação de Causas de Problemas Utilizando Grounded Theory Documento
-
Uma Abordagem para a Mineração de Rastros de Modificação de Modelos em Repositórios Versionados Documento
-
Uma Análise da Iniciativa Brasileira de Exportação de Software Documento
-
Uma Análise da Utilização da Metodologia da Pesquisa-Ação em Engenharia de Software Documento
-
Uma Análise de Algoritmos para Determinação dos Menores Caminhos entre todos os Pares de Nós de um Grafo Orientado Documento
-
Uma Análise dos Operadores de Revisão de Teorias do Sistema de Revisão FORTE_MBC Documento
-
Uma Arquitetura Extensível para Integração e Publicação de Dados Georreferenciados Documento
-
Uma Arquitetura Multiagente do comportamento de Personagens Virtuais Documento
-
Uma Arquitetura Super Escalar com Múltiplos Fluxos de Controle Documento
-
Uma Arquitetura para Avaliação de Modelos de Projeto Orientados a Objetos Documento
-
Uma Biblioteca de Operações Vetoriais e Matriciais Paralelas para Multiprocessadores Hipercúbicos Baseados em Transputers Documento
-
Uma Comparação de Modelos de BRDFs para Photon Mapping Documento
-
Uma Derivação do Paradigma de Reescrita de Multiconjuntos Gamma para a Arquitetura GPU Documento
-
Uma Estratégia Para O Projeto de Distribuição de Bases de Dados Orientadas A Objetos Documento
-
Uma Estratégia de Decomposição por Relaxação Lagrangeana para a Otimização da Programação Diária da Operação de Sistemas Hidrotérmicos com Modelagem Detalhada da Rede Elétrica ? Aplicação ao Sistema Brasileiro Documento
-
Uma Estratégia de Execução Paralela Adaptável de Workflows Científicos Documento
-
Uma Estratégia para Balanceamento de Carga em Banco de Dados Replicados Documento
-
Uma Estratégia para Medição de Software e Avaliação de Bases de Medidas para Controle Estatístico de Processos de Software em Organizações de Alta Maturidade Documento
-
Uma Estrutura de Dados para Malhas Progressivas Documento
-
Uma Ferramenta de Apoio na Identificação de Novos Elementos Geográficos de Baixa Granularidade em Notícias para a Atualização de Dicionários Geográficos Documento
-
Uma Ferramenta de Auxílio ao Facilitador de uma Reunião Eletrônica Síncrona Documento
-
Uma Ferramenta para Aquisição de Conhecimento Documento
-
Uma Ferramenta para Detecção e Análise de Palíndromos Genéticos. Documento
-
Uma Ferramenta para Especificação e Geração de Modelos Markovianos Baseada numa Metodologia Orientada a Objetos Documento
-
Uma Ferramenta para Seleção de Módulos Reutilizáveis Documento
-
Uma Implementação Paralela e Distribuída de Gamma Estruturada Documento
-
Uma Infra-Estrutura Computacional para Apoiar o Planejamento e Controle de Testes de Software Documento
-
Uma Infra-Estrutura para Integração de Ferramentas Case Baseada em XML, Esquemas e Ontologias Documento
-
Uma Infra-estrutura para Planejamento, Execução e Empacotamento de Estudos Experimentais em Engenharia de Software Documento
-
Uma Investigação sobre os Fatores Criticos de Sucesso em Iniciativas de Melhoria de Processos de Software Documento
-
Uma Lógica Modal Bidimensional para Representação do Conhecimento em Sistemas Distribuídos Multiagentes Documento
-
Uma Metodologia Heurística para Avaliação da Percepção em Áreas de Trabalho Compartilhadas Documento
-
Uma Metodologia com Algoritmos para o Projeto de Distribuição de Bases de Dados Orientadas a Objetos Usando Revisão de Teorias Documento
-
Uma Metodologia de Feixes e Benders Aplicada a Solução de um Problema Linear Inteiro de Grande Porte Documento
-
Uma Metodologia e Algoritmos para o Projeto de Distribuição de Bases de Dados usando Revisão de Teorias Documento
-
Uma Metodologia para Caracterização de Tráfego e Medidas de Desempenho em Backbones IP Documento
-
Uma Metodologia para Extração de Informação Sobre o Sistema Imunológico Documento
-
Uma Modelagem da Mobilidade Individual para Redes Móveis Ad hoc Documento
-
Uma Máquina Básica de Redução Documento
-
Uma Métrica para Ranqueamento em Redes de Colaboração Baseada em Intensidade de Relacionamento Documento
-
Uma Métrica para Ranqueameto em Redes de Colaboração Baseada em Intensidade do Relacionamento Documento
-
Uma Nova Abordagem de Dois Níveis para Obtenção de Métricas de Confiança e Avaliação da Segurança na Comunicação entre Dispositivos da Internet das Coisas Documento
-
Uma Nova Classe de Algoritmos Proximais Para o Problema de Complementarieda Não-Linear Documento
-
Uma Nova Classe de Algoritmos Proximais para o Problema de Complementariedade Não-Linear Documento
-
Uma Nova Classe de Métodos de Ponto Proximal com Métrica Variável para Problemas em Otimização com Restrições de Positividade Documento
-
Uma Nova Classe de Métodos do Tipo Interior-Proximal com Métrica Variável para Problemas em Otimização com Restrições de Positividade Documento
-
Uma Nova Entropia de Entradas para a Classificação Automática de Autômatos Celulares Usando Simulação Paralela Documento
-
Uma Proposta Para o Entendimento do Comportamento do Consumidor e Gestão de Marketing de Serviços. Documento
-
Uma Proposta Pedagógica para o Uso do Computador em ambientes de Ensino Experimental de Física Documento
-
Uma Proposta de Arquitetura de E/ para o Multiprocessador Multiplus Documento
-
Uma Proposta de Estratégia para a Informatização das Empresas Documento
-
Uma Proposta de Extensão da Camada Segura de Transporte (TLS) para Uso Sobre Datagramas de Usuários (UDP) Documento
-
Uma Proposta para Melhoria da Previsibilidade de Custo de Projetos, Utilizando a Técnica de Gerenciamento de Valor Agregado e Dados Históricos de Custo e Qualidade Documento
-
Uma abordagem baseada em simulated annealing para a construção de modelos de velocidade inicial para a FWI Documento
-
Uma abordagem baseada en redes Bayesianas para a solução da ambigüidade léxica Documento
-
Uma abordagem de Projeto Arquitetural Baseada em Componentes no contexto de engenharia de domínio Documento
-
Uma abordagem heurística para a solução de problemas de recobrimento de conjuntos de grande porte, com aplicação à alocação de tripulações para companhias aéreas. Documento
-
Uma abordagem orientada a conhecimento para a Gestão de Modelos Científicos Documento
-
Uma abordagem para o Desenvolvimento de Apoio à Percepção em Ambientes Colaborativos de Desenvolvimento de Software Documento
-
Uma abordagem para o desenvolvimento de apoio à percepção em ambientes colaborativos de software Documento
-
Uma abordagem paralela do método branch-and-bound intervalar para otimização global Documento
-
Uma arquitetura reconfigurável para processamento in situ utilizando redes neurais sem pesos Documento
-
Uma avaliação experimental de uma versão paralela de `simulated annealing' Documento
-
Uma contribuição ao modelo de desenvolvimento de software Documento
-
Uma extensao do problema de roteamento de veículos: o problema de roteamento de auditores Documento
-
Uma ferramenta de apoio ao planejamento estrategico de informatica baseada no enfoque de hipertexto. Documento
-
Uma ferramenta para gerenciamento da configuração de software Documento
-
Uma ferramenta para gerenciamento de tarefas em um ambiente de grade Documento
-
Uma heurística lagrangeana para o problema da árvore geradora capacitada de custo mínimo Documento
-
Uma maquina virtual prolog Documento
-
Uma máquina básica Edison Documento
-
Uma nova abordagem evolucionária para o problema de conjunto independente máximo Documento
-
Uma nova abordagem para análise de agrupamentos baseada no Algoritmo Elástico Documento
-
Uma nova classe de funcoes de penalidade e sua aplicacao a problemas discretos Documento
-
Uma nova metodologia para melhoramento de classificadores baseados em ILP Documento
-
Uma proposta de modelo seguro para gestão de identidade em sistemas móveis de pagamentos eletrônicos Documento
-
Uma proposta para estender o sistema Pascal UCSD a processamento concorrente Documento
-
Uma proposta para participação cidadã na solução de problemas da sociedade Documento
-
Uma variante do metodo de decomposicao de Benders Documento
-
Understanding factors and practices of software security and performance verification Documento
-
Usando permutation based indexing na detecção de plágio Documento
-
Using Weighted Vertex Collection for Computing Map Overlay Operations Documento
-
Uso da Fatorização QR na Estimação de Multiplicadores de Lagrange em Programação Não Linear com Restrições Lineares Documento
-
Uso de Técnicas Inteligentes para Análises de Avaições do Transtorno do Déficit de Atenção/Hiperatividade em um Jogo Computacional Documento
-
Uso de um banco de dados OO para aplicações de automação de escritório Documento
-
Usuário Mais Representativo: uma estratégia de agregação de preferências para recomendação em grupo Documento
-
Utilizando a cláusula mais específica e declaração de modos na revisão de teorias de primeira-ordem a partir de exemplos Documento
-
Utilizando o Tabu search numa aplicação de hospital Documento
-
Utilização de Técnicas de Visualização para a Recomendação de Substitutos Documento
-
VDM-TXT: Um Tradutor de Especificação em VDM para Linguagem Natural Documento
-
VERIFICACAO DE PROJETOS DE CIRCUITOS INTEGRADOS. Documento
-
VESUP: Um Sistema Virtual para o Tratamento de fobias Urbanas Documento
-
VISAR3D - UMA ABORDAGEM BASEADA EM TECNOLOGIAS EMERGENTES 3D PARA O APOIO À COMPREENSÃO DE MODELOS UML Documento
-
VISUALIZAÇÃO INTERATIVA DE MODELOS BASEADOS EM PONTOS Documento
-
VM3D - ANIM - UMA FERRAMENTA PARA VISUALIZAÇÃO DE MODELOS 3D ANIMADOS Documento
-
VM3D-ANIM - Uma Ferramenta para Visualização de Moelos 3D Animador Documento
-
Validação de Bases de Conhecimento em Sistemas Especialistas Baseados em Regras Documento
-
Variações no Desenho de Workflows Científicos visando ao Aumento de Desempenho em Execuções em Larga Escala Documento
-
Verificação da Hipótese Auto-Imune da Esquizofrenia com Técnicas de Aportamento Molecular Documento
-
Verificação formal da especificação de workflows científicos Documento
-
VisAr3d-Dynamic: uma abordagem para apoiar a compreensão do comportamento dinâmico de software por meio de realidade virtual Documento
-
VisGL, Uma Ferramenta Online para Visualizaçnao de Dados Multivariados Georreferenciados Documento
-
Visualização Volumétrica de Campos Escalares definidos em Triangulações Retangulares Documento
-
Visualização de Terrenos baseado na construção de uma Bit-Interleaving QuadTree Documento
-
We4Fit: Promovendo Mudanças Comportamentais através de Gamificação e Persuasão Documento
-
WebTransact: Uma Infraestrutura para a Especificação e Coordenação de Composições de Serviços Web Robustas Documento
-
When Autoencoders Meet Recommender Systems: A COFILS Approach Documento
-
WhySearch: Um Mecanismo Temporal e Causal de Encadeamento de Notícias Documento
-
Workflow para Bioinformática Documento
-
XOR VIA SATYROS Documento
-
XVerter: Armazenamento e Consulta de Dados XML em SGBDs Documento
-
Xistos Oleígenos: uma fonte alternativa de energia Documento
-
detecção de Linhas de Pesquisa em Artigos Científicos Documento
-
imputação multivariada: uma abordagemem cascata Documento
-
indentificação de reuso em documentos digitais Documento
-
isTDM: An Evidence-Based Framework to Support the Management of Technical Debt in Software e ProjectsS Documento
-
não há Documento
-
obtidos todos os créditos mas não foi elaborada tese para obtenção do título Documento
-
{Hybridization of heuristics with integer programming and data mining, to solve two variants of the traveling salesman problem Documento
-
Árvore K-Dimensional - Novas Estratégias de Construção Documento
-
Árvores Pares: Um Esquema para Detecção de Erros em Árvores Tipo Huffman Documento
-
Árvores de Diâmetro Mínimo Sujeitas a Restrição de Orçamento Documento
-
Árvores ótimas em grafos: modelos, algoritmos e aplicações Documento
-
“Fast Science” - Uma Abordagem para a Concepção e Execução de Projetos Científicos com a Participação de Multidões Documento
Pesquisas
Contato
telefone
-
(21) 3938-8675 Ramal: 8675
endereço de email
Identidade