|
Sem registros
|
|
Aquisição de Conhecimento para Análise de Domínio
|
Relatório Técnico |
Engenharia de Software |
11/1995 |
361 |
|
|
|
Dez Etapas para o Desenvolvimento de Software Educacional do Tipo Hipermídia
|
Relatório Técnico |
Engenharia de Software |
11/1995 |
360 |
|
|
|
Logical Specifications: Specifications as Presentations
|
Relatório Técnico |
|
11/1995 |
359 |
|
|
|
Logical Specifications: Introdutction and Overview
|
Relatório Técnico |
|
11/1995 |
358 |
|
|
|
Asyncronous Digital Circuits as Neighborhood-Constrained Systems
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
11/1995 |
357 |
|
|
|
Huding Communication Latency and Coherence Overhead in Software DSMs*
|
Relatório Técnico |
|
11/1995 |
356 |
|
|
|
Mach Bands: How many Models are Possible? Recent Experimental Findings and Modelling Attempts
|
Relatório Técnico |
|
11/1995 |
355 |
|
|
|
Modelagem e Implementação de Um Ambiente de Sistemas de Informação de Escritório Usando um Banco de Dados Orientados a Objetos
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
8/11/1995 |
|
|
|
|
COOMAN: Um Sistema Global Colaborativo de Gerenciamento de Projetos
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
6/11/1995 |
|
|
|
|
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 |
|
|
|
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 |
|
|
|
|
Um Analisador Sintático para o Português
|
Dissertação de Mestrado |
Inteligência Artificial |
11/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 |
|
|
|
