Sem registros
|
A Graph-Theoretic Characterization of AND-OR Deadlocks
|
Relatório Técnico |
|
7/1998 |
472 |
|
|
Sistemas de Consulta Visual: Uma Abordagem Visando a Descrição, Avaliação e Classificação de Sistemas Existentes
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
7/1998 |
471 |
|
|
Programas Normais e o Aprendizado de Múltiplos Predicados em Programação em Lógica Indutiva
|
Dissertação de Mestrado |
Inteligência Artificial |
20/7/1998 |
|
|
|
Automatização do Processo de Desenvolvimento de Software nos Ambientes Instanciados pela Estação TABA
|
Dissertação de Mestrado |
Engenharia de Software |
14/7/1998 |
|
|
|
COPSE - Um Ambiente de Suporte ao Projeto Cooperativo de Software
|
Dissertação de Mestrado |
Engenharia de Software |
13/7/1998 |
|
|
|
A Proximal Point Method for the Variational Inequality Problem in Banach Spaces
|
Relatório Técnico |
|
6/1998 |
470 |
|
|
Revisão de Crenças Aplicada a Programas em Lógica
|
Dissertação de Mestrado |
Inteligência Artificial |
5/6/1998 |
|
|
|
Representing Belief Revision Through Default Theories
|
Relatório Técnico |
|
5/1998 |
469 |
|
|
Ferramentas de Manipulação Nebulosa de Dados com Aplicação em Sistemas de Informação Geográfica
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
29/5/1998 |
0 |
|
|
Uma Contribuição na Determinação de Rotas para Empresas de Entrega Expressa
|
Dissertação de Mestrado |
Otimização |
27/5/1998 |
|
|
|
Abordagem para Apoio ao Teste Baseado no Comportamento de Sistemas Orientados a Objetos
|
Dissertação de Mestrado |
Engenharia de Software |
27/5/1998 |
|
|
|
Contribuições para a Solução do Problema do Caixeiro Viajante Assimétrico
|
Dissertação de Mestrado |
Otimização |
22/5/1998 |
|
|
|
Modal Logics for Finite Graphs
|
Relatório Técnico |
|
4/1998 |
468 |
|
|
A Note on a Penalty Function Approach for Solving Bi-Level Linear Programs
|
Relatório Técnico |
Otimização |
4/1998 |
467 |
|
|
On Eight Equational Axiomatisations for Fork Algebras: Equivalence and Independence
|
Relatório Técnico |
|
4/1998 |
466 |
|
|
Um Método de Perturbação para Desigualdades Variacionais com Operadores Ponto-Conjuntos
|
Relatório Técnico |
Otimização |
4/1998 |
465 |
|
|
Modularity in General P-Institutions
|
Relatório Técnico |
Inteligência Artificial |
4/1998 |
464 |
|
|
Um Novo Algoritmo de Penalização Hiperbólica para Resolução do Problema de Programação não-Linear com Restrições de Igualdades
|
Tese de Doutorado |
Otimização |
30/4/1998 |
0 |
|
|
Usando a Trajetória Central para Calcular o Centro Analítico de um Politopo Após a Adição de um Plano de Corte Profundo
|
Tese de Doutorado |
Otimização |
23/4/1998 |
0 |
|
|
Redes Neurais de Kohonen como Modelos da Topografia do Sistema Visual
|
Dissertação de Mestrado |
Inteligência Artificial |
2/4/1998 |
|
|
|
Data Prefetching for Software DSMS
|
Relatório Técnico |
|
3/1998 |
463 |
|
|
Uma Infra-estrutura de Reutilização Baseada em Modelos de Domínio
|
Relatório Técnico |
Engenharia de Software |
3/1998 |
462 |
|
|
Uma Ferramenta para Aquisição de Conhecimento
|
Dissertação de Mestrado |
Engenharia de Software |
31/3/1998 |
0 |
|
|
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
|
Tese de Doutorado |
Informática e Sociedade |
31/3/1998 |
0 |
|
|
Uma Metodologia de Feixes e Benders Aplicado a um Problema Linear Inteiro de Grande Porte
|
Tese de Doutorado |
Otimização |
17/3/1998 |
0 |
|
|
Um Sistema de Animação Baseado em Movimento Capturado
|
Dissertação de Mestrado |
Computação Gráfica |
3/3/1998 |
0 |
|
|
Penalidades Generalizadas e Métodos de Lagrangeano Aumentado para Programação Não-Linear
|
Tese de Doutorado |
Otimização |
2/3/1998 |
0 |
|
|
Números de Condicionamento e Propriedades Limites da Direção Afim-escala em Programação Linear
|
Tese de Doutorado |
Otimização |
2/3/1998 |
0 |
|
|
TASKER: Sistema de Coordenação de Equipes
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
31/3/1998 |
|
|
|
Os Programas de Qualidade Total e a Participação dos Trabalhadores: A Reestruturação de uma Empresa da Informática Pública
|
Dissertação de Mestrado |
Informática e Sociedade |
31/3/1998 |
|
|
|
Geometria Dinâmica: Um Estudo
|
Dissertação de Mestrado |
Otimização |
31/3/1998 |
|
|
|
Implementação de um Provador de Teoremas em Redes Neurais Simétricas
|
Dissertação de Mestrado |
Inteligência Artificial |
27/3/1998 |
|
|
|
Problemas de Programação de Dois Níveis: Um Estudo dos Casos Linear, Linear-Quadrático e Quadrático
|
Dissertação de Mestrado |
Otimização |
27/3/1998 |
|
|
|
Planejamento a Médio Prazo da Operação Energética de Sistemas Hidrotérmicos Interconectados Usando Técnicas de Pontos Interiores
|
Dissertação de Mestrado |
Otimização |
27/3/1998 |
|
|
|
Algoritmos Paralelos para Detecção de Palíndromos
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
26/3/1998 |
|
|
|
MPVM: Uma Implementação de PVM com Uso de Threads para Ambientes com Memória Compartilhada
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
26/3/1998 |
|
|
|
Reexecução Determinística de Programas Distribuídos em MPI
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
26/3/1998 |
|
|
|
Alternativas de Busca Linear no Contexto de Pontos Interiores para o Fluxo de Potência Ótimo
|
Dissertação de Mestrado |
Otimização |
13/3/1998 |
|
|
|
Documentação de Componentes Reutilizáveis: Uma Abordagem Baseada nas Tecnologias de Hipermídia e Padrões
|
Dissertação de Mestrado |
Engenharia de Software |
9/3/1998 |
|
|
|
Aplicações da Transformada Wavelet em Compressão de Imagens
|
Dissertação de Mestrado |
Computação Gráfica |
2/3/1998 |
|
|
|
Projeto Participativo de Software - Uma Visão sob a Perspectiva da Ecologia Cognitiva
|
Relatório Técnico |
Engenharia de Software |
2/1998 |
461 |
|
|
On Default Specifications for Modular Development
|
Relatório Técnico |
Inteligência Artificial |
2/1998 |
460 |
|
|
Uma Introdução aos Padrões de Software
|
Relatório Técnico |
|
2/1998 |
459 |
|
|
Algoritmos Dinâmicos para o Problema de Árvore Geradora Mínima
|
Dissertação de Mestrado |
Algoritmos e Combinatória |
18/2/1998 |
|
|
|
On Modular Development of Families: External and Internal Choices
|
Relatório Técnico |
|
12/1997 |
458 |
|
|
OPINET - A Cost-Effective Opitical Network for Multirpocessors
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
12/1997 |
457 |
|
|
O Problema de Programação Matemática com Restrições Generalizadas de Equilíbrio
|
Tese de Doutorado |
Otimização |
29/12/1997 |
0 |
|
|
A Tecnologia da Informação no Processo de Modernização das Indústrias do Setor Cervejeiro: Uma Análise Comparativa entre o Canadá e o Brasil
|
Tese de Doutorado |
Informática e Sociedade |
19/12/1997 |
0 |
|
|
Uma Ferramenta para Planejamento e Produção de Documentos de Software
|
Dissertação de Mestrado |
Engenharia de Software |
23/12/1997 |
|
|
|
Resolução de Problema Minimax via Suavizações
|
Dissertação de Mestrado |
Otimização |
23/12/1997 |
|
|
|