publicações selecionadas Formal Correctness of an Interpreter for a Conversational Language Gramáticas Transformacionais como Modelo de Linguagens Naturais
theses/dissertations advising Uma Ferramenta para Especificação e Geração de Modelos Markovianos Baseada numa Metodologia Orientada a Objetos Um Ambiente de Recomendação e Filtragem Cooperativas para Apoio a Equipes de Trabalho PORTOS-TF: Sistema Operacional Portátil de Tempo-Real com Primitivas de Tolerância a Falhas Um Sistema de Compreensão de um Subconjunto da Língua Portuguesa Representação de Conhecimento em Sistemas Conexionistas: Tópicos em Análise VDM-TXT: Um Tradutor de Especificação em VDM para Linguagem Natural Analisador Gramatical do Português:Uma Implementação Análise Sintática Baseada em Regras Usando um Modelo Conexionista: Uma Visão Crítica Um Sistema da Tradução Automático do Português para Cálculo de 1a. Ordem Estudo da Disponibilidade de um Centro de Supervisão baseado em uma Arquitetura Distribuída Sistema de Adaptação do Mitra-15 para Funcionar como uma Estação de RJE do B-6700 Uma Proposta de Processamento Paralelo Através de uma Arquitetura e Microprocessadores VDM-TXT: Um Tradutor de Especificações em VDM para Linguagem Natural Um Modelo para um Sistema de Ensino com Auxílio do Computador Sobre o Problema de Modelagem, Usando: Grafos de Tipo de Predicados de Controle de Fluxo em Redes de Computadores Modelo Neurocomputacional de Elementos Centralizadores com Interações Laterais Aplicado ao Reconhecimento de Padrões Temporais Uma Versão da Linguagem Basic em Português Prova de Teoremas Utilizando Simplificacao por Eliminacao de Literais Modelo de um Analisador Conceitual para Ensinar a Linguagem de Programação P-Básico Núcleo de um Sistema Operacional Multiprogramado (CARCARÁ) Eletrical: Uma linguagem para Programação Concorrente C-Pascal, Suporte para Desenvolvimento de Projetos em Microcomputadores Uma proposta para estender o sistema Pascal UCSD a processamento concorrente Modelo Híbrido de Frames e Hipertexto Uso de Linguagem Natural para Programação de Controladores Lógico-Programáveis Subsistema de Gerência e Manipulação de : Entrada e Saída em Veículos de Acesso Direto para um Microcomputador Aprendizado não Supervisionado em Redes Neuronais Prova de Correção Formal de um Compilador Metodologia de Desenvolvimento de um Configurador de Testes Automáticos com Técnicas de Inteligência Artificial Um Modelo Híbrido de Frames e Hipertexto Desenvolvimento de um Protocolo deComunicação entre Dois Sistemas Distribuídos Cognição e Indução: Uma AbordagemFormal e Contextualizada Método Prático de Geração de Avaliadores de Atributos em um Passo O Método Conexionista Evolutivo Núcleo de Sistema Operacional Multiprogramável para Controle de Processos e Aplicações de Tempo Real Desenvolvimento de Suporte Básicopara Sistemas Operacionais Distribuídos Síntese de Redes Neuronais com Aplicação à Representação do Conhecimento Especificação de um Núcleo de Sistema Operacional para Suporte dos Atributos de Concorrência da Linguagem Chill em Sistemas Distribuídos: Uma Aplicação em Telefonia Mecanismos deTtransmissão de Mensagens em Sistemas Distribuídos: um Modelo Semântico Simulação de um Sistema de Ensino de Vocábulos em Português no Computador Simulação Paralela e Distribuída de Redes Neuronais para Percepção Visual de Imagens Naturais Prova de Teoremas utilizando Simplificação por Elimincação de Literais Interface para Usuário Casual - IUC - Linguagem de Comunicação para Usuário Casual de Banco de Dados Baseado em Linguagem Natural Uma Proposta para Estender o Sistema Pascal USCD a Processamento Concorrente Modelos Paralelos de AlgoritmosGenéticos de Redes Neuronais Artificiais Simulação de um Sistema de Perguntas e Respostas Sistema de Instrução Programada Utilizando um Minicomputador Orientado à Operação com Terminais Vídeo/Teclado Sistema deVerificação Gramatical para Língua Portuguesa Projeto de um Suporte para Sistema Operacional Distribuído com Reconfiguração Dinâmica de Processos Arquitetura de Agentes Autônomos e Distribuídos Uma Ferramenta de Desenvolvimento de Sistemas Especialistas para Área de Física Experimental CIRIUS - Um Sistema de Recepção e Informação ao Usuário Estratégias Aplicadas em um Sistema de Prova Automática de Teoremas Baseado na Teoria de Resolução Proposta de uma Arquitetura para um Sistema Operacional de Tempo Real CUT- Um chatterbot para o ensino de língua inglesa: Um estudo sobre PLN e IAE
