Sem registros
|
Modelagem da Confiabilidade de Software
|
Relatório Técnico |
|
3/1995 |
336 |
|
|
Elementos de Morfologia Matemática Euclideana
|
Relatório Técnico |
|
3/1995 |
335 |
|
|
Reengenharia ou Informatização e Racionalização do Trabalho?
|
Relatório Técnico |
Informática e Sociedade |
3/1995 |
334 |
|
|
Uma Experiência na Avaliação de Sistemas Gerenciadores de Bancos de Dados Orientados para Objetos com o Benchmark 007
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
3/1995 |
333 |
|
|
Avaliação da Qualidade de Sistemas Especialistas
|
Dissertação de Mestrado |
Engenharia de Software |
31/3/1995 |
0 |
|
|
Reconhecimento e Traçado de Grafos Planares
|
Dissertação de Mestrado |
Inteligência Artificial |
31/3/1995 |
|
|
|
MULEC - Multi-editor Cooperativo para Aprendizagem
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
30/3/1995 |
|
|
|
Um Tutor Inteligente para o Ensino de Xadrez
|
Dissertação de Mestrado |
Engenharia de Software |
30/3/1995 |
|
|
|
Aplicação de Método de Pontos Interiores Primal-Dual para a Resolução do Problema de Fluxo de Potência Ótimo
|
Dissertação de Mestrado |
Otimização |
24/3/1995 |
|
|
|
Modelagem de um Sistema de Pintura Digital
|
Dissertação de Mestrado |
Computação Gráfica |
21/3/1995 |
|
|
|
Poligonização Adaptativa da Fronteira de Sólidos CSG
|
Dissertação de Mestrado |
Computação Gráfica |
6/3/1995 |
|
|
|
O Problema de Programação Matemática de dois Níveis: Condições de Otimidade e Proposta Numérica
|
Tese de Doutorado |
Otimização |
2/2/1995 |
|
|
|
Planejamento Integrado de Sistemas Multiárea com Restrições de Energia e de Confiabilidade: Uma Abordagem via Programação Estocástica
|
Tese de Doutorado |
Otimização |
25/1/1995 |
|
|
|
Heurísticas para o Problema do Caixeiro-Viajante de Grande Porte
|
Dissertação de Mestrado |
Inteligência Artificial |
23/12/1994 |
|
|
|
Detecção de Predicados Globais em Programas Paralelos Distribuídos
|
Tese de Doutorado |
Arquitetura e Sistemas Operacionais |
19/12/1994 |
|
|
|
Efeito da Execução Condicional em Arquiteturas Paralelas
|
Tese de Doutorado |
Arquitetura e Sistemas Operacionais |
16/12/1994 |
|
|
|
Arquiteturas Super Escalares: Efeito de Alguns Parâmetros sobre o Desempenho
|
Tese de Doutorado |
Arquitetura e Sistemas Operacionais |
16/12/1994 |
|
|
|
Modelos Neurocomputacionais Aplicados ao Reconhecimento de Padrões Temporais
|
Relatório Técnico |
|
11/1994 |
332 |
|
|
Sistemas de Informações Geográficas Orientados a Objetos
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
11/1994 |
331 |
|
|
A Aplicação de Técnicas de Inteligência Artificial na Reutilização de Software
|
Relatório Técnico |
Engenharia de Software |
11/1994 |
330 |
|
|
Método de Desenvolvimento de Software Orientado a Objetos (M.D.O.O): Uma Abordagem Comparativa
|
Relatório Técnico |
Engenharia de Software |
11/1994 |
329 |
|
|
Avaliação da Qualidade de um Modelo Orientado a Objetos
|
Relatório Técnico |
Engenharia de Software |
11/1994 |
328 |
|
|
An Integration of Neural Networks and Nonmonotonic Reasoning for Power System Diagnosis
|
Relatório Técnico |
|
11/1994 |
327 |
|
|
Non-monotonic Reasoning for Power Systems Diagnosis
|
Relatório Técnico |
|
11/1994 |
326 |
|
|
Elementos de Geometria Riemanniana
|
Relatório Técnico |
|
11/1994 |
325 |
|
|
Proposta de Métodos de Construção do TABA-BC
|
Relatório Técnico |
|
11/1994 |
324 |
|
|
Evolution of Logical Object Specifications
|
Relatório Técnico |
|
11/1994 |
323 |
|
|
A Sphere World Semantics for Default Reasoning
|
Relatório Técnico |
|
11/1994 |
322 |
|
|
On Cumulative Default Logic with Filters
|
Relatório Técnico |
|
11/1994 |
321 |
|
|
Métodos de Nível-Feixe em Programação Matemática
|
Relatório Técnico |
|
11/1994 |
320 |
|
|
Resolvendo Problemas de Distribuição de Derivados de Petróleo com o SISGRAFO
|
Relatório Técnico |
Otimização |
11/1994 |
319 |
|
|
Problema de Agrupamento Capacitado - Refinamento para Heurística Primal
|
Relatório Técnico |
Otimização |
11/1994 |
318 |
|
|
Mínimos Quadrados Aplicados à Inversão Geofísica
|
Relatório Técnico |
Otimização |
11/1994 |
317 |
|
|
Sistemas de Suporte à Decisão em Grupo
|
Relatório Técnico |
Engenharia de Software |
11/1994 |
316 |
|
|
Interação Homem-Máquina: Conceitos, Características e Metodologia
|
Relatório Técnico |
|
10/1994 |
315 |
|
|
Algoritmos e Complexidade de Decomposição em Grafos
|
Tese de Doutorado |
Inteligência Artificial |
20/10/1994 |
|
|
|
Suporte a Ambientes Distribuídos para Aprendizagem Cooperativa
|
Tese de Doutorado |
Engenharia de Software |
6/10/1994 |
|
|
|
Uma Análise dos Novos Requisitos Profissionais Face a Introdução das Novas Tecnologias: Um Estudo do Caso no Setor Metalúrgico
|
Dissertação de Mestrado |
Informática e Sociedade |
5/10/1994 |
|
|
|
Recuperação Cooperativa do Projeto Arquitetônico de Sistemas
|
Dissertação de Mestrado |
Engenharia de Software |
4/10/1994 |
|
|
|
Trabalho Cooperativo Suportado por Computador
|
Relatório Técnico |
Engenharia de Software |
9/1994 |
314 |
|
|
Trabalho Cooperativo: Análise de sua Utilização em Desenvolvimento de Software Baseado em Estudo de Casos
|
Dissertação de Mestrado |
Informática e Sociedade |
16/9/1994 |
|
|
|
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 |
|
|