Sem registros
|
Subgradient Algorithm on Riemannian Manifolds
|
Relatório Técnico |
Otimização |
10/1995 |
354 |
|
|
Hyperbolic Lagrangean: A New Method of Multipliers
|
Relatório Técnico |
|
10/1995 |
353 |
|
|
Geodesic Methods in Riemannian Manifolds
|
Relatório Técnico |
|
10/1995 |
352 |
|
|
Uma Teoria Neurobiológica do Estresse Crônico: Definição, Modelagem Matemática e Simulação Computacional
|
Dissertação de Mestrado |
Inteligência Artificial |
11/10/1995 |
|
|
|
Recuperação de Componentes em Bibliotecas de Software: Uma Abordagem Conexionista
|
Dissertação de Mestrado |
Engenharia de Software |
26/9/1995 |
|
|
|
SISAUTOR: Um Sistema de Autoria para a Construção de Tutores Hipermídia em Cardiologia
|
Dissertação de Mestrado |
Engenharia de Software |
22/9/1995 |
|
|
|
Métodos Geodésicos na Programação Matemática
|
Tese de Doutorado |
Otimização |
15/9/1995 |
|
|
|
O Processo de Escolha de um Método de Análise de Domínio
|
Relatório Técnico |
|
8/1995 |
351 |
|
|
Uma Visão Sócio-técnica na Aquisição de Software
|
Relatório Técnico |
|
8/1995 |
350 |
|
|
Even Pairs and the Strong Perfect Graph Conjecture
|
Relatório Técnico |
Inteligência Artificial |
8/1995 |
349 |
|
|
Um Analisador Sintático para o Português
|
Dissertação de Mestrado |
Inteligência Artificial |
11/8/1995 |
0 |
|
|
LADAM (Laboratório Digital para Aprendizagem Musical): Uma Estação de Trabalho Informatizada para Ensino Musical
|
Dissertação de Mestrado |
Engenharia de Software |
18/8/1995 |
|
|
|
Escalonamento de Instruções para Arquiteturas Super Escalares
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
16/8/1995 |
|
|
|
KBRF: Um Sistema para Determinação da Aplicabilidade da Tecnologia Baseada no Conhecimento
|
Relatório Técnico |
Engenharia de Software |
7/1995 |
348 |
|
|
Informatização em Empresas sob um Enfoque de Modelagem Social da Tecnologia - Estudos de Caso
|
Relatório Técnico |
Informática e Sociedade |
7/1995 |
347 |
|
|
Using Fields of Directions Defined on a Triangulation to Obtain a Topology Preserving Continuous Transformation of a Polygon into Another
|
Relatório Técnico |
|
6/1995 |
346 |
|
|
Uma Estrutura de Dados para Representar Subdivisões Espaciais com Aplicação na Triangulação de Delaunay
|
Relatório Técnico |
|
6/1995 |
345 |
|
|
Um Modelo Fuzzy para Qualidade de Software
|
Relatório Técnico |
Engenharia de Software |
6/1995 |
344 |
|
|
Aspectos de Distribuição em Sistemas Gerenciadores de Bases de Dados Orientados a Objetos
|
Relatório Técnico |
|
6/1995 |
343 |
|
|
Duplas Pares em Grafos Perfeitos
|
Dissertação de Mestrado |
Inteligência Artificial |
23/6/1995 |
|
|
|
Métodos de Busca Local para o Problema de Clique Máxima
|
Dissertação de Mestrado |
Inteligência Artificial |
23/6/1995 |
|
|
|
Ambiente de Desenvolvimento de Sistemas Baseados em Conhecimento
|
Tese de Doutorado |
Engenharia de Software |
14/6/1995 |
|
|
|
Planejamento de Sistemas de Informação
|
Tese de Doutorado |
Engenharia de Software |
14/6/1995 |
|
|
|
Aspectos Gerenciais no Desenvolvimento de Software Orientado a Objetos
|
Relatório Técnico |
|
5/1995 |
342 |
|
|
Uma Metodologia para Implantação de Sistemas de Informações Geográficas
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
5/1995 |
341 |
|
|
HIPERTECNOLOGIAS: Recursos Educacionais
|
Relatório Técnico |
Engenharia de Software |
5/1995 |
340 |
|
|
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 |
|
|
|