theses/dissertations advising Um Sistema de Gerenciamento do atendimento de Pedidos a um Banco de Imagens Um modelo para Dimensionamento de um Sistema de Manutenção Corretiva Simulador Radar de Baixo Custo para Treinamento de Controladores em Radar de Aproximação de Precisão Um Projeto de Linguagem LANAC II e sua Implementação para o SISCO MB-8000 Técnicas heurísticas aplicadas à resolução de problemas. Um Provador Automático de Teoremas paa a Lógica Modal S4 Boletim: Um Sistema Especialista Para A Previsao do Tempo DIANA - Um protóti[po de Sistema Especilaista para diagnóstico em Navegação Aérea Um sistema especialista para a gerência pró-ativa de redes de computadores. Métodos de solução para a montagem de grades escolares. Sistema DIAGNOSTICO: um sistema para a construção de sistemas especialistas SAMBA - Sistema de Apoio à Manutenção Baseado em conhecimento para diagnóstico de falhas em Aeronaves. Uma abordagem para Redes Associatibas com Aplicação em Análises de Cenas Um protótipo de sistema para planejamento automático de missões aéreas. Uma Simulação de Vôo Aplicada a Controle por Empuxo Sistema de Detecção e Predição de Conflitos em Tráfego Aéreo Compatibilidade de regras de produção usadas como representação de conhecimento em sistemas de consulta. Um Sistema para Implantação de Banco de Dados Relacionais em Computadores Burroughs da Série B 7000/B 6000 Um modelo hierárquico para sistemas especialistas. Implementação de um Interpretador PROLOG com otimização Theory of Imperfect Information Games MOTIM: Motor de Inferência para Sistemas Especialistas Esquema de Classificação para Modelos de Processo de Desenvolvimento de Software Reavaliações da GasNet e sua eficácia: além da proposição inicial. Uma Linguagem para Simullação de Sistemas Dinâmicos Hierarquizados Simulador de baixo custo para controle de aeródromo, apoiado por microcomputadores COPLAN Sistema Automático de Gerência de Projetos Técnicas de Parsing para uma Gramática Livre de Contexto Lexicalizada da Língua Portuguesa Planejamento de Redes Telefônicos Ubanas de Grande Porte Indução de Regras de Decisão Nebulosas Sistema diagnóstico: uma ferramenta para a construção de sistemas especialistas Um Sistema Computadorizado de Baixo Custo Para Treinar Controladores em Radar de Aproximação de Precisão - SIPAR Cerne (Kernell) de Sistema Operacional para Suporte de Programas em LANAC Um Modelo de Simulação da Migração Intra-Urbana Simulação da migração intra-urbana Metodologia para auditar a qualidade de software COPLAN - Sistema automático de gerência de projetos Um Sistema Especialista para Gerência Pró-ativa de Redes de Computadores Implementação no Computador FM 1660 de um Interpretdor BASIC. Uma estrutura para o apoio a detecção de conflitos de tráfego aéreo em rotas: DETECTAR. PATHO - SISTEMA ESPECIALISTA PARA APOIO AO DIAGNOSTICO EM SARCOMAS OSSEOS Um Sistema Especialista de Suporte à Opweração e Manutenção do Monitor de Lastro em Navios Petroleiros IDEAL, Umas Interface Dialógica em Linguagem Natural para Sistemas Especialistas Projeto de um Sistema a Bordo de Aeronjaves Reavaliação da GasNet e sua eficácia: Além da proposição inicial. LANAC Uma linguagem de Alto Nível para Aquisição de Dados e Controle de Processos por Microcomputador On the Distance Properties of Finite-State Languages with Application to Error Correction Computer algebra in modern functional languages. Uma simulação de vôo aplicada a controle por empuxo. Geração de Modelos de Regras: Uma abordagem Centrada na Aprendizagem Indutiva Gramáticas Generalizadas de Grafos em Reconhecimento de Padrões Simplex Coverability of Polytope-bounded Polytopes and the State Minimization of Stochastic Sequential Machines Representação do Conhecimento e Sistemas Especialistas Aplicados a Sistemas de Potência
