Sem registros
|
An Analysis of the Bilevel Linear Problem by a Penalty Approach
|
Relatório Técnico |
|
10/1998 |
479 |
|
|
Sala de Aula Virtual Cooperativa
|
Dissertação de Mestrado |
Informática e Sociedade |
26/10/1998 |
|
|
|
Performance Comparison between Conventional and Logic Programming Systems
|
Relatório Técnico |
|
9/1998 |
478 |
|
|
The Influence of Parallel Computer Architectural Parameters on Parallel Logic Programming Systems
|
Relatório Técnico |
|
9/1998 |
477 |
|
|
Welldefinedness and Limiting Behavior of the Central Path
|
Relatório Técnico |
|
9/1998 |
476 |
|
|
Prova de Teoremas Utilizando Simplificação por Eliminação de Literais
|
Tese de Doutorado |
Inteligência Artificial |
29/9/1998 |
0 |
|
|
Algoritmos de Centros para a Programação Convexa não Suave
|
Tese de Doutorado |
Otimização |
29/9/1998 |
0 |
|
|
A Técnica Lock Acquirer Prediction e sua Aplicação em Sistemas de Memória Compartilhada Distribuída
|
Tese de Doutorado |
Arquitetura e Sistemas Operacionais |
25/9/1998 |
0 |
|
|
Femina Computationalis ou A Construção do Gênero na Informática
|
Tese de Doutorado |
Informática e Sociedade |
25/9/1998 |
0 |
|
|
Relaxação Lagrangeana com Geração de Desigualdades Válidas Aplicada ao Problema de Roteamento de Veículos
|
Tese de Doutorado |
Otimização |
14/9/1998 |
0 |
|
|
Otimizando o Controle de Concorrência em Sistemas Orientados a Objetos
|
Relatório Técnico |
Engenharia de Software |
8/1998 |
475 |
|
|
Base and Program Revision
|
Relatório Técnico |
|
8/1998 |
474 |
|
|
On the Central Path for Semidefinite Programming
|
Relatório Técnico |
|
8/1998 |
473 |
|
|
Um Algoritmo de Ponto Interior-Inviável com Complexidade O[sqrt(n)L] Iterações para Programação Linear
|
Tese de Doutorado |
Otimização |
7/8/1998 |
0 |
|
|
Um Algoritmo de Planos de Corte Baseado em Centros para um Problema de Estimativa de Máxima Verossimilhança
|
Tese de Doutorado |
Otimização |
7/8/1998 |
0 |
|
|
Alguns Resultados em Invariantes de não Planaridade em Grafos: Uma Abordagem Estrutural e de Complexidade
|
Tese de Doutorado |
Algoritmos e Combinatória |
4/8/1998 |
0 |
|
|
Mineração de Dados: Uma Implementação Fortemente Acoplada a um Sistema Gerenciador de Banco de Dados Paralelos
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
12/8/1998 |
|
|
|
Aplicação Simultânea de Princípios, Diretrizes e Métricas para Redução da Complexidade de Projeto Orientado a Objetos
|
Dissertação de Mestrado |
Engenharia de Software |
10/8/1998 |
|
|
|
O Meta-Gerador de Ferramentas da Estação TABA
|
Dissertação de Mestrado |
Engenharia de Software |
7/8/1998 |
|
|
|
Detecção de Deadlock em Especificações Algébricas para Sistemas Concorrentes
|
Dissertação de Mestrado |
Inteligência Artificial |
3/8/1998 |
|
|
|
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 |
|
|
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 |
|
|
|