Sem registros
|
On the Expressive Power of Fork Arrow Logic
|
Relatório Técnico |
Inteligência Artificial |
6/2002 |
583 |
|
|
A Graph Model for the Evolution of Specificity in Immune Systems
|
Relatório Técnico |
|
6/2002 |
582 |
|
|
Agromet: Gestão do Conhecimento em Agrometeorologia
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
6/2002 |
581 |
|
|
Bill of Experiments: A Tool for Scientific Knowledge Management
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
6/2002 |
580 |
|
|
Partições em Grafos: Caracterizações, Algoritmos e Complexidade
|
Tese de Doutorado |
Algoritmos e Combinatória |
26/6/2002 |
0 |
|
|
Conhecimento de Tarefa em Ambientes de Desenvolvimento de Software Orientados a Domínio
|
Dissertação de Mestrado |
Engenharia de Software |
25/6/2002 |
0 |
|
|
SPeCS - Sistema de Suporte à Decisão Espacial Colaborativa
|
Tese de Doutorado |
Engenharia de Dados e Conhecimento |
21/6/2002 |
0 |
|
|
WebTransact: Uma Infraestrutura para Especificação e Coordenação de Composições de Serviços Web Robustas
|
Tese de Doutorado |
Engenharia de Dados e Conhecimento |
17/6/2002 |
0 |
|
|
Implementação de um Método de Pontos Interiores Usando Centros Analíticos para Resolver Problemas de Programação Linear de Grande Porte
|
Dissertação de Mestrado |
Otimização |
17/6/2002 |
0 |
|
|
Proposta e Avaliação de Estratégias de Previsão de Acesso a Dados em Sistemas Software DSM
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
7/6/2002 |
0 |
|
|
O Consórcio Brasil - Estados Unidos da América para Ensino em Informática Médica: Fundamentos e Expectativas
|
Dissertação de Mestrado |
Otimização |
7/6/2002 |
0 |
|
|
Métodos de Branch-And-Bound e Penalidades em Programação Linear em dois Níveis
|
Dissertação de Mestrado |
Otimização |
7/6/2002 |
0 |
|
|
On H-Partition Problems
|
Relatório Técnico |
Algoritmos e Combinatória |
5/2002 |
579 |
|
|
Reconstrução de Superfícies Baseada em Conceitos de Multi-Resolução e o Modelo de T-Superfícies
|
Dissertação de Mestrado |
Computação Gráfica |
10/5/2002 |
0 |
|
|
Especificação de Sistemas Multi-Agentes Baseados em Conhecimento
|
Dissertação de Mestrado |
Inteligência Artificial |
10/5/2002 |
0 |
|
|
Implementação e Avaliação de um Sistema de Vídeo sob Demanda Baseado em Cache de Vídeo Cooperativa
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
8/5/2002 |
0 |
|
|
Revisão de Classificadores Bayesianos de Primeira Ordem
|
Dissertação de Mestrado |
Inteligência Artificial |
6/5/2002 |
0 |
|
|
WebTransact: A Framework for Specifying and Coordinating Reliable Web Service Compositions
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
4/2002 |
578 |
|
|
Paralellisation of Arc-Consistency Algorithms
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
4/2002 |
577 |
|
|
A New Class of Potential Affine Algorithms for Convex Linear Programming
|
Relatório Técnico |
Otimização |
4/2002 |
576 |
|
|
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
|
Tese de Doutorado |
Informática e Sociedade |
25/4/2002 |
0 |
|
|
Análise da Adoção do Teletrabalho: Um Estudo de Caso na Administração de uma Instituição Federal de Ensino Superior
|
Tese de Doutorado |
Informática e Sociedade |
5/4/2002 |
0 |
|
|
Um Ambiente para Mineração de Utilização da Web
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
4/4/2002 |
0 |
|
|
Apoio à Integração de Processos de Negócios em Empresas Virtuais
|
Dissertação de Mestrado |
Engenharia de Software |
4/4/2002 |
0 |
|
|
Uma Nova Classe de Métodos de Ponto Proximal com Métrica Variável para Problemas em Otimização com Restrições de Positividade
|
Tese de Doutorado |
Otimização |
4/4/2002 |
0 |
|
|
Um Emulador Paramétrico de Conexões Fim-a-Fim em Redes IP
|
Dissertação de Mestrado |
Redes de Computadores |
3/4/2002 |
0 |
|
|
Reading Techniques for OO Design Inspections
|
Relatório Técnico |
Engenharia de Software |
3/2002 |
575 |
|
|
Memorização Dinâmica de Traces com Reuso de Valores de Instruções de Acesso à Memória
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
27/3/2002 |
0 |
|
|
Otimização dos Feixes de Condutores de Linhas de Transmissão em Corrente Alternada
|
Dissertação de Mestrado |
Otimização |
27/3/2002 |
0 |
|
|
Redes Neurais Artificiais em Sistemas Críticos Quanto à Segurança: Uma Abordagem para Certificação
|
Tese de Doutorado |
Inteligência Artificial |
26/3/2002 |
0 |
|
|
Mineração de Dados Endógenos
|
Tese de Doutorado |
Engenharia de Dados e Conhecimento |
25/3/2002 |
0 |
|
|
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 |
|
|