Gerado automaticamente pelo URLibService


Produção intelectual da Divisão de Informática (DIN)

Series

Instituto Nacional de Pesquisas Espaciais

1980-1986

URL do documento original:
<http://urlib.net/ibi/8JMKD3MGPCW/46JG8PH>


 
 

Sumário

1. Artigos em revista científica

2. Artigos, resumos e pôsteres em evento

3. Notas técnicas

4. Publicações didáticas

5. Relatórios
 
 

1. Artigos em revista científica (3)

The algorithm RMS-DIIS and an algol program for the B-6800 computer to diagonalize large matrices
Fabbri, M.
1986 - Como citar? - Acesso restrito 		 
  

On Karush-Kuhn-Tucker conditions and penalty in mathematical programming
Lorena, L. A. N.
1986 - Como citar? - Acesso restrito 		 
  

Temperature calculation in an incompressible permanent laminar fluid flow through a circular pipe with axial conduction and viscosity
Travelho, J. S.; Dias, L. A. V.
1983 - Como citar? - Acesso restrito 		 
  


2. Artigos, resumos e pôsteres em evento (40)

Simulacao da migracao intra-urbana
Barros, M. S. S.
1986 - Como citar? 		 
  

Um sistema de manutenção com duas taxas de reparo e um número finito de máquinas de reserva
Carvalho, S. V.; Morais, P. R.
1986 - Como citar? 		 
  

Sobre as condições de Karush-Kuhn-Tucker em programação matemática
Lorena, L. A. N.
1986 - Como citar? 		 
  

Uso de uma função penalidade exata para eliminação do "gap" de dualidade em problemas de programação linear inteira zero-um
Lorena, L. A. N.; Olivo, A. A.
1986 - Como citar? 		 
  

Linguagem natural: um sistema de relações
Oliveira, C. A.
1986 - Como citar? 		 
  

Sistema ALISP
Senne, E. L. F.; Bittencourt, G.
1986 - Como citar? 		 
  

Emprego de um modelo de rede associativa na análise de cenas
Simoni, P. O.; Souza, C. R.
1986 - Como citar? 		 
  

Some aspects to be considered in the attempt to find more efficient methods for solving optimization problem by enumeration
Soma, N. Y.; Yanasse, H. H.
1986 - Como citar? 		 
  

Um modelo de transporte utilizando abordagem hierárquica
Barbosa, J. I. M.; Yanasse, H. H.
1985 - Como citar? 		 
  

Stability of an oceanic front
Camerlengo, A. L.
1985 - Como citar? 		 
  

Metodologias para o projeto de banco de dados: aspectos psicológicos da determinação de requisitos
Costa, P. O.
1985 - Como citar? 		 
  

Um manipulador algébrico para microcomputadores
Duarte, V. H. Á.
1985 - Como citar? 		 
  

Transformada de Laplace no reduce 2
Freitas, F. L. G.; Bittencourt, G.
1985 - Como citar? 		 
  

Planejamento agregado com modelos matemáticos: uma experiência prática
Lima, G.; Yanasse, H. H.
1985 - Como citar? 		 
  

Uma abordagem geométrica de dualidade/penalidade em programação matemática
Lorena, L. A. N.
1985 - Como citar? 		 
  

Uma abordagem geral de dualidade/penalidade em programação matemática
Lorena, L. A. N.; Oliveira, P. R.
1985 - Como citar? 		 
  

Controle do estoque de um recurso natural não-renovável: solução aproximada e uma aplicação
Milioni, A. Z.; Morais, P. R.
1985 - Como citar? 		 
  

Utilização de heurísticas de roteamento de veículos com um único depósito para o caso de múltiplos depósitos
Motta, I. V. M.; Yanasse, H. H.
1985 - Como citar? 		 
  

Suporte de execução para a linguagem LANAC-II utilizando as facilidades do DOS-8000 do SISCO MB-8000
Oleinki, V. A. D.; Coelho, O. B.
1985 - Como citar? 		 
  

Uma proposta de classificação verbal como unidade geradora de texto
Oliveira, C. A.
1985 - Como citar? 		 
  

Uma proposta de (re)classificação dos verbos como unidades geradoras de texto
Oliveira, C. A.
1985 - Como citar? 		 
  

Análise automáticade campos escalares
Pellegrino, S. R. M.; Pereira, J. A. G.
1985 - Como citar? 		 
  

Um modelo para a análise de cartas sinóticas por computador
Pellegrino, S. R. M.; Pereira, J. A. G.
1985 - Como citar? 		 
  

Recuperação digital de imagens fotográficas antigas degradadas
Pereira, J. A. G.; Dias, L. A. V.
1985 - Como citar? 		 
  

Banco de dados: um enfoque relacional
Pereira Júnior, J.
1985 - Como citar? 		 
  

Uma ferramenta para a construção de sistemas especialistas
Sandri, S. A.; Senne, E. L. F.
1985 - Como citar? 		 
  

Um sistema para a compilação de funções LISP
Senne, E. L. F.; Bittencourt, G.
1985 - Como citar? 		 
  

The use of image registration techniques in Brasilia's urban growth monitoring
Foresti, C.; Oliveira, M. L. N.; Lima, U. M. B.; Parreira, E. M. M. F.
1984 - Como citar? 		 
  

Utilização de interpolação e transformação para compressão de imagens digitais
Lima, U. M. B.
1984 - Como citar? 		 
  

Sistema gráfico para o traçado de cartas sinóticas por computador
Pellegrino, S. R. M.; Pereira, J. A. G.
1984 - Como citar? 		 
  

Controle ótimo do tempo de espera numa fila M/G/1
Costa, A. F. B.; Morais, P. R.
1983 - Como citar? 		 
  

O desenvolvimento da linguagem LANAC/II para programação concorrente
Fischer, S. D.; Oleinki, V. A. D.; Souza, C. R.
1983 - Como citar? 		 
  

Uso de uma função penalidade exata para otimização em problemas discretos
Lorena, L. A. N.
1983 - Como citar? 		 
  

Um modelo estocástico para otimização do consumo e exploração de um recurso natural não-renovável
Milioni, A. Z.; Morais, P. R.
1983 - Como citar? 		 
  

Forth: uma linguagem de programação não-convencional
Senne, E. L. F.; Rios, M. T. B.
1983 - Como citar? 		 
  

Uma forma para o cálculo de coeficiente de Lagrange
Silva, O. O.; Dias, H. M. S.
1983 - Como citar? 		 
  

A linguagem LANAC/II para programação concorrente e seu suporte operacional
Silva, L. J. N.; Fischer, S. D.; Oleinki, V. A. D.; Souza, C. R.
1983 - Como citar? 		 
  

Desenvolvimento de um sistema de consulta usando regras de decisão
Senne, E. L. F.; Simoni, P. O.
1982 - Como citar? 		 
  

Solução e análise de equações do tipo e outros termos = 0 onde os outros termos contêm derivadas em x e y
Pereira, A. E. C.
1981 - Como citar? 		 
  

Changing the fuzzy rule of detachment
Silva, O. O.; Sousa, C. R.
1981 - Como citar? 		 
  


3. Notas técnicas (5)

Operações em ponto flutuante para microcomputadores MC6800 e IT8086
Bittencourt, G.; Vijaykumar, N. L.; Tavares, S. A.
1986 - Como citar? 		 
  

Manual de uso do sistema de controle acadêmico - BDCAD
Borges, H. G. V. S.
1986 - Como citar? - Acesso restrito 		 
  

Sistema SITIM - utilizacao do supervisorio
Lima, U. M. B.
1984 - Como citar? - Acesso restrito 		 
  

Sistema Sitim - Modulo gerenciador
Velasco, F. R. D.; Lima, U. M. B.
1984 - Como citar? - Acesso restrito 		 
  

Alocação de recursos: manual de utilização do sistema COPLAN/RAM
Borges, H. G. V. S.
1982 - Como citar? - Acesso restrito 		 
  


4. Publicações didáticas (1)

Manual de referência da linguagem LANAC/II
Oleinki, V. A. D.; Saad, M. W.; Fischer, S. D.
1986 - Como citar? - Acesso restrito 		 
  


5. Relatórios (10)

Projeto básico de um gerador de código para um compilador C, tendo como máquina alvo o microprocessador 8086 da Intel corporation
Oleinki, V. A. D.; Pellegrino, S. R. M.
1986 - Como citar? 		 
  

Uma revisão e observações sobre os trabalhos de Kao (1978) e Karp (1977) sobre o problema do caixeiro viajante
Yanasse, H. H.
1985 - Como citar? 		 
  

Levantamento da frequencia de cobertura de nuvens em dados do Landsat no periodo de 1973 a 1981
Mendonca, F. J.; Camara Neto, G.
1983 - Como citar? 		 
  

O BD-AL: uma contribuição ao estudo de sistemas de informações urbanas
Borges, H. G. V. S.; Oliveira, J. L.; Manso, A. P.
1981 - Como citar? - Acesso restrito 		 
  

Um tradutor para a linguagem de consulta Sequel 2/query statement
Oliveira, O. M.; Guerra, P. C. P.; Alexandre, J. O. M.; Furtado, A. L.; Velasco, F. R. D.
1981 - Como citar? - Acesso restrito 		 
  

Uma aplicação do procedimento alfa-beta a jogos diferenciais
Oliveira, J. L.; Simoni, P. O.; Souza, C. R.
1981 - Como citar? - Acesso restrito 		 
  

Um algorítmo para agregação hierárquica espacial
Velasco, F. R. D.
1981 - Como citar? - Acesso restrito 		 
  

LANAC: uma linguagem de alto nível para aquisição de dados e controle de processos
Viola, F. E. C.; Fischer, S. D.; Souza, C. R.
1981 - Como citar? - Acesso restrito 		 
  

Uma linguagem para simulação de sistemas dinâmicos hierarquizados
Borges, H. G. V. S.
1980 - Como citar? - Acesso restrito 		 
  

Consistência, redundância e extensões nebulosas de sistemas de regras de decisão
Simoni, P. O.
1980 - Como citar? - Acesso restrito 		 
  

 
 
 
     

- recarregamento concluido -