Sem registros
|
Elementos de Geometria Diferencial
|
Relatório Técnico |
|
8/1994 |
313 |
|
|
Avaliação de Qualidade de Sistemas Especialistas
|
Relatório Técnico |
Engenharia de Software |
8/1994 |
312 |
|
|
Processo de Desenvolvimento de Sistemas Especialistas em Cardiologia
|
Relatório Técnico |
Engenharia de Software |
8/1994 |
311 |
|
|
Hipermídia na Educação: Paradigmas e Avaliação da Qualidade
|
Dissertação de Mestrado |
Engenharia de Software |
23/8/1994 |
|
|
|
Quorum - Um Sistema de Suporte à Decisão em Grupo para o Desenvolvimento de Software
|
Dissertação de Mestrado |
Engenharia de Software |
23/8/1994 |
|
|
|
Métodos de Resolução para a Classe de Problemas da Programação não Linear Inteira
|
Tese de Doutorado |
Otimização |
22/8/1994 |
|
|
|
Reutilização de Software: Tópicos para Pesquisa e Perspectivas Futuras
|
Relatório Técnico |
|
7/1994 |
310 |
|
|
Uma Análise da Atualização da Informática na Educação do Brasil: O Caso do Município do Rio de Janeiro
|
Relatório Técnico |
Engenharia de Software |
7/1994 |
309 |
|
|
Definindo Conservativamente um novo Símbolo de Função em uma Teoria Default
|
Relatório Técnico |
|
7/1994 |
308 |
|
|
Sobre o Teorema da Construbilidade e a Implementação de Tipos Abstratos de Dados
|
Relatório Técnico |
|
7/1994 |
307 |
|
|
Distributed Breakpoint Detection in Message-Passing Programs
|
Relatório Técnico |
|
7/1994 |
306 |
|
|
Integração de Ferramentas na Estação Taba
|
Relatório Técnico |
Engenharia de Software |
6/1994 |
305 |
|
|
Sobre o Teorema da Modularização e a Composição de Passos Canônicos Subsequentes no Contexto da Lógica Default
|
Relatório Técnico |
|
6/1994 |
304 |
|
|
O Projeto Keypal e os Recursos Internet: Apoio ao Trabalho Cooperativo entre Crianças de Diferentes Países
|
Relatório Técnico |
Engenharia de Software |
6/1994 |
303 |
|
|
Uma Experiência na Definição do Processo de Desenvolvimento e Avaliação de Software Segundo as Normas ISO
|
Relatório Técnico |
Engenharia de Software |
6/1994 |
302 |
|
|
O Uso das Tecnologias da Informática para o Desenvolvimento da Educação
|
Relatório Técnico |
Engenharia de Software |
6/1994 |
301 |
|
|
Preservando a Semântica de Atualizações na Integração de Visões
|
Tese de Doutorado |
Engenharia de Dados e Conhecimento |
18/5/1994 |
|
|
|
Triangulação Adaptativa de Sólidos CSG para Geração de Malhas de Elementos Finitos
|
Dissertação de Mestrado |
Computação Gráfica |
2/5/1994 |
|
|
|
Retropropagação Recorrente: Aplicação na Previsão de Séries Temporais e Identificação de Assinaturas Sonoras
|
Dissertação de Mestrado |
Inteligência Artificial |
2/5/1994 |
|
|
|
Automação dos Postos de Benefícios Informatizados da Previdência Social
|
Dissertação de Mestrado |
Informática e Sociedade |
2/5/1994 |
|
|
|
Sobre Esquemas de Indução
|
Dissertação de Mestrado |
Inteligência Artificial |
2/5/1994 |
|
|
|
AGRON: Uma Interface Baseada em Linguagem Natural para Consulta a Bancos de Dados da Produção Agrícola
|
Dissertação de Mestrado |
Inteligência Artificial |
28/4/1994 |
0 |
|
|
Propriedades e Algoritmos para Especializações de Hipergrafos Orientados
|
Dissertação de Mestrado |
Inteligência Artificial |
29/4/1994 |
|
|
|
Informática na Administração do Estado do Rio de Janeiro - Estudo de Caso: O PRODERJ
|
Dissertação de Mestrado |
Informática e Sociedade |
29/4/1994 |
|
|
|
Redes Neurais Aplicadas a Aquisição do Conhecimento de Especialistas em Sistemas Elétricos de Potência
|
Dissertação de Mestrado |
Inteligência Artificial |
28/4/1994 |
|
|
|
Um Modelo de Programação Matemática para a Otimização dos Horários de Trens do Metrô do Rio de Janeiro
|
Dissertação de Mestrado |
Otimização |
28/4/1994 |
|
|
|
Sistemas Gerenciadores de Bancos de Dados para Geoprocessamento
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
27/4/1994 |
|
|
|
Uma Ferramenta para Seleção de Módulos Reutilizáveis
|
Dissertação de Mestrado |
Engenharia de Software |
26/4/1994 |
|
|
|
Metodologias Simbólicas para a Resolução Eficiente de Sistemas Lineares Esparsos com Estrutura Estática
|
Dissertação de Mestrado |
Otimização |
24/4/1994 |
|
|
|
Diagnose em Sistemas de Potência Utilizando Lógica Não-Monotônica e Redes Neurais
|
Dissertação de Mestrado |
Inteligência Artificial |
20/4/1994 |
|
|
|
Sobre a Simulação Paralela de Alguns Modelos Complexos
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
15/4/1994 |
|
|
|
Algoritmos de Região de Confiança para Otimização com Restriçães de Igualdade
|
Dissertação de Mestrado |
Otimização |
14/4/1994 |
|
|
|
Um Modelo Computacional dos Substratos Neurobiológicos da Atenção Visual
|
Dissertação de Mestrado |
Inteligência Artificial |
6/4/1994 |
|
|
|
Uma Proposta para Ambiente de Desenvolvimento de Sistemas Baseados em Conhecimento
|
Relatório Técnico |
|
3/1994 |
300 |
|
|
Processo de Desenvolvimento para Sistemas Baseados em Conhecimento
|
Relatório Técnico |
|
3/1994 |
299 |
|
|
A Questão da Integração de Ferramentas em Ambientes de Desenvolvimento de Software
|
Relatório Técnico |
Engenharia de Software |
3/1994 |
298 |
|
|
Ambientes de Desenvolvimento de Software e suas Propostas de Integração de Ferramentas
|
Relatório Técnico |
Engenharia de Software |
3/1994 |
297 |
|
|
CooMan - A Global Collaborative Project Management System
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
3/1994 |
296 |
|
|
An Algorithm for FIFO Message Delivery Among Migrating Tasks
|
Relatório Técnico |
|
3/1994 |
295 |
|
|
Métodos de Feixe Proximais para Programação Convexa
|
Relatório Técnico |
|
3/1994 |
294 |
|
|
Banco de Dados Estatísticos Orientado a Objetos
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
30/3/1994 |
|
|
|
O Modelo de Integração de Ferramentas da Estação Taba
|
Tese de Doutorado |
Engenharia de Software |
25/3/1994 |
|
|
|
Um Sistema de Reutilização de Âmbito Global
|
Tese de Doutorado |
Engenharia de Dados e Conhecimento |
24/3/1994 |
|
|
|
Relaxação Lagrangeana e Subgradientes com Dilatação de Espaço Aplicados a um Problema de Grande Porte
|
Dissertação de Mestrado |
Otimização |
17/3/1994 |
|
|
|
Siamplex (Sistema Interativo para Aprendizagem do Método Simplex)
|
Dissertação de Mestrado |
Otimização |
24/2/1994 |
|
|
|
Um Simulador Distribuído Baseado no Paradigma Espaço-Temporal
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
10/2/1994 |
|
|
|
LCG MORPH: Um Sistema para Morphing de Imagens
|
Relatório Técnico |
|
1/1994 |
293 |
|
|
Sobre a Coloração das Arestas de um Grafo
|
Tese de Doutorado |
Otimização |
28/1/1994 |
|
|
|
Um Novo Algoritmo Lagrangeano Hiperbólico
|
Relatório Técnico |
|
12/1993 |
292 |
|
|
CAOS - Sistemas de Composição de Aplicações Orientado a Objetos
|
Relatório Técnico |
|
12/1993 |
291 |
|
|