Sem registros
|
Técnicas de Inteligância Artificial Aplicadas a Ambientes de Desenvolvimento de Software
|
Relatório Técnico |
Engenharia de Software |
5/1995 |
339 |
|
|
Teste de Programas OO
|
Relatório Técnico |
|
4/1995 |
338 |
|
|
A Trust Region Method for Zero-One Nonlinear Programming
|
Relatório Técnico |
|
4/1995 |
337 |
|
|
Plataforma de Software para Desenvolvimento de Algoritmos de Busca para ESTELLE
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
28/4/1995 |
|
|
|
O Processo de Automação de Projetos
|
Dissertação de Mestrado |
Informática e Sociedade |
28/4/1995 |
|
|
|
Exploração do Paralelismo de Baixo Nível em Máquinas do Tipo VLIW
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
27/4/1995 |
|
|
|
Representação de Variedades Combinatórias de Dimensão N
|
Dissertação de Mestrado |
Computação Gráfica |
27/4/1995 |
|
|
|
Uma Nova Decomposição Baseada em Otimização e Técnicas Heurísticas para o Problema de Planejamento a Longo Prazo de Sistemas de Transmissão
|
Dissertação de Mestrado |
Otimização |
27/4/1995 |
|
|
|
Cálculo das Sensibilidades dos Índices de Confiabilidade Multi-Area com Relação a Variações nas Taxas de Falha de Reparo dos Equipamentos
|
Dissertação de Mestrado |
Otimização |
27/4/1995 |
|
|
|
Aplicação de Método de Região de Confiança ao Algoritmo Backpropagation
|
Dissertação de Mestrado |
Otimização |
27/4/1995 |
|
|
|
Otimização de Código para Arquiteturas Superescalares
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
26/4/1995 |
|
|
|
Uma Ferramenta de Reuso por Interconexão de Linguagens
|
Dissertação de Mestrado |
Engenharia de Software |
26/4/1995 |
|
|
|
Formulação Variacional de Problemas de Fluxo em Rede: Análise Teórica e Numérica
|
Dissertação de Mestrado |
Informática e Sociedade |
25/4/1995 |
|
|
|
Um Algoritmo para um Problema não Linear Misto-Discreto e Análise Comparativa
|
Dissertação de Mestrado |
Otimização |
25/4/1995 |
|
|
|
Automação Industrial: O CIM como Estratégia de Vantagem Competitiva - Estudo de Caso numa Indústria Petroquímica Intermediária
|
Dissertação de Mestrado |
Informática e Sociedade |
24/4/1995 |
|
|
|
Aplicação do Algoritmo Simulated Annealing ao Problema de Localização Capacitado Usando Testes de Redução
|
Tese de Doutorado |
Otimização |
7/4/1995 |
|
|
|
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 |
|
|