Sem registros
|
Apoio à Construção de Bases de Dados de Pesquisa em Ambientes de Desenvolvimento de Software Orientados a Domínio
|
Dissertação de Mestrado |
Engenharia de Software |
22/3/2002 |
0 |
|
|
Controle de Qualidade em Bancos de Dados
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
18/3/2002 |
0 |
|
|
O Equilíbrio de Stackelberg em Sistemas de Potência AC - Um Algoritmo de Pontos Não-Interiores
|
Tese de Doutorado |
Otimização |
18/3/2002 |
0 |
|
|
Charon: Uma Máquina de Processos Extensível Baseada em Agentes Inteligentes
|
Dissertação de Mestrado |
Engenharia de Software |
15/3/2002 |
0 |
|
|
Planos-de-corte Geométricos Aplicados a Problemas de Programação Linear 0-1
|
Relatório Técnico |
Otimização |
2/2002 |
574 |
|
|
Resolução do Problema do Caixeiro Viajante Simétrico com o Emprego de Planos-de-corte Geométricos
|
Relatório Técnico |
Otimização |
2/2002 |
573 |
|
|
On Reducing the Complexity of Matrix Clocks
|
Relatório Técnico |
|
2/2002 |
572 |
|
|
Some Topological Properties for Polyhedra
|
Relatório Técnico |
Otimização |
2/2002 |
571 |
|
|
A New Class of Proximal Interior-point Methods for Optimization under Positivity Constraints
|
Relatório Técnico |
|
2/2002 |
570 |
|
|
A New Class of Merit Functions for the Semidefinite Complementarity Problem
|
Relatório Técnico |
Otimização |
2/2002 |
569 |
|
|
Inovação e Recursos Humanos: Um Estudo de Casos em Empresas de Informática do Rio de Janeiro
|
Dissertação de Mestrado |
Informática e Sociedade |
25/2/2002 |
0 |
|
|
Um Modelo Baseado em Grafos para a Evolução da Especificidade em Sistemas Imunológicos
|
Dissertação de Mestrado |
Inteligência Artificial |
4/2/2002 |
0 |
|
|
Aliviando a Carga de Servidores VoD através de Cache de Vídeo Cooperativa
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
1/2002 |
568 |
|
|
Stability and Convergence of a Wavelet-Galerkin Method Applied to a PDE
|
Relatório Técnico |
Otimização |
12/2001 |
567 |
|
|
Wavelets and Multiresolution Analysis
|
Relatório Técnico |
Otimização |
12/2001 |
566 |
|
|
A Methodology and Algorithms for the Design of Distributed Databases Using Theory Revision
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
12/2001 |
565 |
|
|
Hybridizing Square Arrow Logic
|
Relatório Técnico |
Inteligência Artificial |
12/2001 |
564 |
|
|
On the Justification on Induction: A Logical Approach
|
Relatório Técnico |
|
12/2001 |
563 |
|
|
On Interpolation and Related Properties for Ultrafilter and Logics for "Generally"
|
Relatório Técnico |
|
12/2001 |
562 |
|
|
Towards a Logical Analysis of Hume's Argument on Induction
|
Relatório Técnico |
|
12/2001 |
561 |
|
|
A New Class of Proximal Algorithms for the Nonlinear Complementarity Problem
|
Relatório Técnico |
Otimização |
12/2001 |
560 |
|
|
Otimização de Processamento de Expressões de Caminho
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
21/12/2001 |
0 |
|
|
Gerenciamento de Projetos Baseado em Cenários: Uma Abordagem Baseada em Modelagem Dinâmica e Simulação
|
Tese de Doutorado |
Engenharia de Software |
21/12/2001 |
0 |
|
|
Uma Metodologia e Algoritmos para o Projeto de Distribuição de Bases de Dados Usando Revisão de Teorias
|
Tese de Doutorado |
Engenharia de Dados e Conhecimento |
20/12/2001 |
0 |
|
|
O Problema da Mochila Compartimentada Aplicado no Corte de Bobinas de Aço
|
Tese de Doutorado |
Otimização |
19/12/2001 |
0 |
|
|
Heurísticas e Metaheurísticas para o Problema do Caixeiro Viajante com Grupamentos
|
Dissertação de Mestrado |
Otimização |
18/12/2001 |
0 |
|
|
Otimização à Distância: Um Sistema de Estudo Integrado e Distribuído
|
Tese de Doutorado |
Otimização |
18/12/2001 |
0 |
|
|
Estratégias de Hardware e Software para Otimização de Sistemas de Memória Compartilhada Distribuída
|
Tese de Doutorado |
Arquitetura e Sistemas Operacionais |
14/12/2001 |
0 |
|
|
Sistemas de Informação como Instrumento de Programas de Qualidade
|
Tese de Doutorado |
Engenharia de Software |
14/12/2001 |
0 |
|
|
Modos de Aprendizado Não-Supervisionado para o Modelo Neural Sem-Pesos WISARD
|
Dissertação de Mestrado |
Inteligência Artificial |
28/11/2001 |
0 |
|
|
Um Modelo de Cooperação para Aprendizagem Baseada em Projetos
|
Tese de Doutorado |
Engenharia de Software |
18/11/2001 |
0 |
|
|
Arquitetura Corporativa de Tecnologia de Informação
|
Dissertação de Mestrado |
Otimização |
17/11/2001 |
0 |
|
|
Minimização de Modelos de Grafos 2-Dir Puros
|
Dissertação de Mestrado |
Algoritmos e Combinatória |
29/10/2001 |
0 |
|
|
Funções de Mérito para o Problema de Complementariedade Semidefinido
|
Tese de Doutorado |
Otimização |
19/10/2001 |
0 |
|
|
Proposta e Implementação de um Modo Seguro para HTTP, com Nível Seletivo de Segurança, sem Alterações em Servidores e Navegadores
|
Dissertação de Mestrado |
Redes de Computadores |
16/10/2001 |
0 |
|
|
Lógica de Conhecimento e Eventos em Sistemas Assíncronos
|
Dissertação de Mestrado |
Inteligência Artificial |
14/10/2001 |
0 |
|
|
Marcação de Tráfego para Justiça em Fluxos Agregados no Serviço Assegurado
|
Dissertação de Mestrado |
Redes de Computadores |
11/10/2001 |
0 |
|
|
On Generally and Rearely: Some Semantic Issues
|
Relatório Técnico |
|
9/2001 |
559 |
|
|
Towards Reasoning with Generally and Rarely
|
Relatório Técnico |
|
9/2001 |
558 |
|
|
Java for High-Performance Network-Based Computing: A Survey
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
9/2001 |
557 |
|
|
Software Review Guidelines
|
Relatório Técnico |
Engenharia de Software |
9/2001 |
556 |
|
|
Métodos de Solução para Modelos Markovianos com Recompensa
|
Dissertação de Mestrado |
Redes de Computadores |
30/9/2001 |
0 |
|
|
Um Estudo Comparativo entre Algoritmos de Programação Linear em Dois Níveis
|
Dissertação de Mestrado |
Otimização |
28/9/2001 |
0 |
|
|
Um Sistema de Gerência Cooperativa de Configuração de software
|
Dissertação de Mestrado |
Engenharia de Software |
25/9/2001 |
0 |
|
|
Um Método Wavelet-Galerkin Aplicado a uma Equação Diferencial Parcial com Coeficiente Não-Constante
|
Tese de Doutorado |
Otimização |
21/9/2001 |
0 |
|
|
O Método do Problema Auxiliar com Regularização de Bregman para Inequações Variacionais
|
Tese de Doutorado |
Otimização |
21/9/2001 |
0 |
|
|
Uma Abordagem Paralela do Método Branch-And-Bound Intervalar para Otimização Global
|
Dissertação de Mestrado |
Otimização |
18/9/2001 |
0 |
|
|
Geração de Colunas em Programação Inteira Aplicada à Síntese de Redes
|
Tese de Doutorado |
Otimização |
18/9/2001 |
0 |
|
|
Método de Enumeração Implícita Empregado na Resolução de Problemas de Decomposição
|
Dissertação de Mestrado |
Otimização |
17/9/2001 |
0 |
|
|
Heurísticas para o Problema Euclidiano de Steiner em Rn
|
Tese de Doutorado |
Otimização |
14/9/2001 |
0 |
|
|