Sem registros
|
Implementação de Um Terminal X para Sistema Operacional Plurix
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
30/3/1990 |
0 |
|
|
O Processo de Aquisição do Conhecimento na Construção de Sistemas Especialistas
|
Dissertação de Mestrado |
Inteligência Artificial |
16/3/1990 |
0 |
|
|
Uma Extensão do Problema de Roteamento de Veículos: Problema de Roteamento de Auditores
|
Dissertação de Mestrado |
Otimização |
7/3/1990 |
0 |
|
|
A Bayesian-Netork Approach to Lexical Disambiguation
|
Relatório Técnico |
|
2/1990 |
219 |
|
|
Um Modelo de Localização Industrial: Estudo de Potencialidade de Agroindústrias no Estado do Mato Grosso do Sul
|
Dissertação de Mestrado |
Informática e Sociedade |
17/1/1990 |
0 |
|
|
FEGRES: Ferramentas Gráficas para Engenharia de Software
|
Dissertação de Mestrado |
Engenharia de Software |
5/1/1990 |
0 |
|
|
Proposta de Desenvolvimento de um Protótipo de Sistema de Gerência de Banco de Dados Orientado a Objetos
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
12/1989 |
218 |
|
|
Definição e Implementação de um Sistema Especialista em Modularização de Projeto Estruturado de Sistemas
|
Dissertação de Mestrado |
Engenharia de Software |
26/12/1989 |
0 |
|
|
Um Sistema de Apoio à Avaliação de Custos de Software
|
Dissertação de Mestrado |
|
15/12/1989 |
|
|
|
Algoritmos para Problemas de Equilíbrio em Redes
|
Tese de Doutorado |
Otimização |
6/11/1989 |
|
|
|
Manual para Controle de Qualdade de Especificações
|
Relatório Técnico |
Engenharia de Software |
10/1989 |
217 |
|
|
Ambientes de Desenvolvimento de Software: Um Estudo
|
Relatório Técnico |
|
10/1989 |
216 |
|
|
Programação Fracionária Linear em Variáveis Bivalentes: Uma Contribuição ao Estudo de Algoritmos
|
Dissertação de Mestrado |
Otimização |
2/10/1989 |
0 |
|
|
GRAPHICS, Uma Reescrita Sequencial de Figuras
|
Tese de Doutorado |
|
23/10/1989 |
|
|
|
Contribuições à Solução de Problemas de Percursos e Sequenciamento de Veículos
|
Tese de Doutorado |
Otimização |
5/10/1989 |
|
|
|
Validação de Bases de Conhecimento em Sistemas Especialistas Baseados em Regras
|
Dissertação de Mestrado |
Inteligência Artificial |
28/9/1989 |
0 |
|
|
Análise Sintática Baseada em Regras Usando um Modelo Conexionista: Uma Visão Crítica
|
Dissertação de Mestrado |
|
27/9/1989 |
|
|
|
O Tempo como Modelo: A Aplicação de Lógicas Temporais na Especificação Formal de Sistemas Distribuídos
|
Dissertação de Mestrado |
|
20/9/1989 |
|
|
|
CAD - Alguma Consideraçõe sobre sua História, Aplicações e Impactos Sociais
|
Relatório Técnico |
Engenharia de Software |
8/1989 |
215 |
|
|
Um Núcleo para Programação Concorrente em Pascal
|
Relatório Técnico |
|
8/1989 |
214 |
|
|
Linha de Pesquisa Banco de Dados - Programa de Engenharia de Sistemas e Computação
|
Relatório Técnico |
|
8/1989 |
212 |
|
|
Large-Steps Path-Following Methods for Linear Programming: Pothential Reduction Method
|
Relatório Técnico |
|
8/1989 |
211 |
|
|
Morfologia Matemática, Volume I - Capítulos 1-6, Volume II - Capítulos 7-15
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
8/1989 |
209 |
|
|
Análise de Alguns Métodos de Racionínio Impreciso para Sistemas Especialistas Baseados em Regras
|
Dissertação de Mestrado |
Inteligência Artificial |
9/8/1989 |
0 |
|
|
Uma Máquina Básica de Redução
|
Dissertação de Mestrado |
|
21/8/1989 |
|
|
|
Metodologia de Desenvolvimento de um Configurador de Testes AutomátiCos com Técnicas de Inteligência Artificial
|
Dissertação de Mestrado |
|
21/8/1989 |
|
|
|
Criptografia, Segurança dos Dados e Privacidade - Até que Ponto Pode-se Confiar na Discrição dos Computadores
|
Dissertação de Mestrado |
|
17/8/1989 |
|
|
|
Large-Steps Path-Following Methods for Linear Programming: Barrier Function Method
|
Relatório Técnico |
|
7/1989 |
210 |
|
|
Protótipo do Especificador de Ambientes da Estação TABA
|
Relatório Técnico |
|
7/1989 |
208 |
|
|
Representação de Estruturas do Tipo Schemeta em Modelos Conexionistas
|
Relatório Técnico |
|
7/1989 |
207 |
|
|
O Problema de Matching (Relatório Didático)
|
Relatório Técnico |
|
7/1989 |
206 |
|
|
Proposta de Modelo Interno para o SGO do Projeto TABA
|
Relatório Técnico |
|
7/1989 |
205 |
|
|
A Ergonomia e suas Relações com o Trabalho em Processamento de Dados
|
Relatório Técnico |
|
7/1989 |
204 |
|
|
Novas Tecnologias e a Divisão Sexual do Trabalho
|
Relatório Técnico |
Informática e Sociedade |
7/1989 |
203 |
|
|
Especificação de Ambientes da Estação TABA: Fase de Identificação
|
Relatório Técnico |
|
7/1989 |
202 |
|
|
Aquisição de Conhecimento para Sistemas Especialistas no Projeto TABA
|
Relatório Técnico |
Engenharia de Software |
7/1989 |
201 |
|
|
Ambientes de Desenvolvimento de Software
|
Relatório Técnico |
|
7/1989 |
200 |
|
|
ACOD: Um Analisador de Pseudocódigo (Especificação e Projeto da Ferramenta)
|
Relatório Técnico |
Engenharia de Software |
7/1989 |
199 |
|
|
Um Modelo Abstrato para Troca de Mensagens
|
Relatório Técnico |
|
7/1989 |
198 |
|
|
Hipertexto: Uma Visão Geral
|
Relatório Técnico |
|
7/1989 |
197 |
|
|
Núcleo de Tecnologia de Software
|
Relatório Técnico |
|
6/1989 |
213 |
|
|
Towards a Stochastc Neural Model for Combinatoral Optimization
|
Relatório Técnico |
|
6/1989 |
196 |
|
|
Redes Neuronais Artificiais: A Volta do Cérebro Eletrônico?
|
Relatório Técnico |
|
6/1989 |
194 |
|
|
Um Algoritmo Incremental para Remoção de Superfícies Ocultas
|
Dissertação de Mestrado |
|
19/6/1989 |
|
|
|
O Problema do Horário na Escola de Segundo Grau: Modelagem e Implementação
|
Dissertação de Mestrado |
|
15/6/1989 |
|
|
|
PORTOS-TF: Sistema Operacional Portátil de Tempo-Real com Primitivas de Tolerâncias a Falhas
|
Dissertação de Mestrado |
|
9/6/1989 |
|
|
|
A Lower for the Shortest Hamiltonean Path Proble in Drected Graphs
|
Relatório Técnico |
|
5/1989 |
195 |
|
|
Grafos Triangularizados: Caracterizações, Restrições e Extensões
|
Dissertação de Mestrado |
|
24/5/1989 |
|
|
|
Direito e Informática: Situação Atual e Potencialidades
|
Relatório Técnico |
|
4/1989 |
193 |
|
|
Pesquisas em Engenharia de Software
|
Relatório Técnico |
|
4/1989 |
192 |
|
|