Sem registros
|
On the Justification on Induction: A Logical Approach
|
Relatório Técnico |
|
12/2001 |
563 |
|
|
On Interpolation and Related Properties for Ultrafilter and Logics for "Generally"
|
Relatório Técnico |
|
12/2001 |
562 |
|
|
Towards a Logical Analysis of Hume's Argument on Induction
|
Relatório Técnico |
|
12/2001 |
561 |
|
|
A New Class of Proximal Algorithms for the Nonlinear Complementarity Problem
|
Relatório Técnico |
Otimização |
12/2001 |
560 |
|
|
Otimização de Processamento de Expressões de Caminho
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
21/12/2001 |
0 |
|
|
Gerenciamento de Projetos Baseado em Cenários: Uma Abordagem Baseada em Modelagem Dinâmica e Simulação
|
Tese de Doutorado |
Engenharia de Software |
21/12/2001 |
0 |
|
|
Uma Metodologia e Algoritmos para o Projeto de Distribuição de Bases de Dados Usando Revisão de Teorias
|
Tese de Doutorado |
Engenharia de Dados e Conhecimento |
20/12/2001 |
0 |
|
|
O Problema da Mochila Compartimentada Aplicado no Corte de Bobinas de Aço
|
Tese de Doutorado |
Otimização |
19/12/2001 |
0 |
|
|
Heurísticas e Metaheurísticas para o Problema do Caixeiro Viajante com Grupamentos
|
Dissertação de Mestrado |
Otimização |
18/12/2001 |
0 |
|
|
Otimização à Distância: Um Sistema de Estudo Integrado e Distribuído
|
Tese de Doutorado |
Otimização |
18/12/2001 |
0 |
|
|
Estratégias de Hardware e Software para Otimização de Sistemas de Memória Compartilhada Distribuída
|
Tese de Doutorado |
Arquitetura e Sistemas Operacionais |
14/12/2001 |
0 |
|
|
Sistemas de Informação como Instrumento de Programas de Qualidade
|
Tese de Doutorado |
Engenharia de Software |
14/12/2001 |
0 |
|
|
Modos de Aprendizado Não-Supervisionado para o Modelo Neural Sem-Pesos WISARD
|
Dissertação de Mestrado |
Inteligência Artificial |
28/11/2001 |
0 |
|
|
Um Modelo de Cooperação para Aprendizagem Baseada em Projetos
|
Tese de Doutorado |
Engenharia de Software |
18/11/2001 |
0 |
|
|
Arquitetura Corporativa de Tecnologia de Informação
|
Dissertação de Mestrado |
Otimização |
17/11/2001 |
0 |
|
|
Minimização de Modelos de Grafos 2-Dir Puros
|
Dissertação de Mestrado |
Algoritmos e Combinatória |
29/10/2001 |
0 |
|
|
Funções de Mérito para o Problema de Complementariedade Semidefinido
|
Tese de Doutorado |
Otimização |
19/10/2001 |
0 |
|
|
Proposta e Implementação de um Modo Seguro para HTTP, com Nível Seletivo de Segurança, sem Alterações em Servidores e Navegadores
|
Dissertação de Mestrado |
Redes de Computadores |
16/10/2001 |
0 |
|
|
Lógica de Conhecimento e Eventos em Sistemas Assíncronos
|
Dissertação de Mestrado |
Inteligência Artificial |
14/10/2001 |
0 |
|
|
Marcação de Tráfego para Justiça em Fluxos Agregados no Serviço Assegurado
|
Dissertação de Mestrado |
Redes de Computadores |
11/10/2001 |
0 |
|
|
On Generally and Rearely: Some Semantic Issues
|
Relatório Técnico |
|
9/2001 |
559 |
|
|
Towards Reasoning with Generally and Rarely
|
Relatório Técnico |
|
9/2001 |
558 |
|
|
Java for High-Performance Network-Based Computing: A Survey
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
9/2001 |
557 |
|
|
Software Review Guidelines
|
Relatório Técnico |
Engenharia de Software |
9/2001 |
556 |
|
|
Métodos de Solução para Modelos Markovianos com Recompensa
|
Dissertação de Mestrado |
Redes de Computadores |
30/9/2001 |
0 |
|
|
Um Estudo Comparativo entre Algoritmos de Programação Linear em Dois Níveis
|
Dissertação de Mestrado |
Otimização |
28/9/2001 |
0 |
|
|
Um Sistema de Gerência Cooperativa de Configuração de software
|
Dissertação de Mestrado |
Engenharia de Software |
25/9/2001 |
0 |
|
|
Um Método Wavelet-Galerkin Aplicado a uma Equação Diferencial Parcial com Coeficiente Não-Constante
|
Tese de Doutorado |
Otimização |
21/9/2001 |
0 |
|
|
O Método do Problema Auxiliar com Regularização de Bregman para Inequações Variacionais
|
Tese de Doutorado |
Otimização |
21/9/2001 |
0 |
|
|
Uma Abordagem Paralela do Método Branch-And-Bound Intervalar para Otimização Global
|
Dissertação de Mestrado |
Otimização |
18/9/2001 |
0 |
|
|
Geração de Colunas em Programação Inteira Aplicada à Síntese de Redes
|
Tese de Doutorado |
Otimização |
18/9/2001 |
0 |
|
|
Método de Enumeração Implícita Empregado na Resolução de Problemas de Decomposição
|
Dissertação de Mestrado |
Otimização |
17/9/2001 |
0 |
|
|
Heurísticas para o Problema Euclidiano de Steiner em Rn
|
Tese de Doutorado |
Otimização |
14/9/2001 |
0 |
|
|
Realização Eficiente de Consultas em Bancos de Dados Espaço Temporais
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
5/9/2001 |
0 |
|
|
Paralelização de Algoritmos de Consistência de Arcos em um Cluster de PCs
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
24/8/2001 |
0 |
|
|
Junções de Polilinhas e Polígonos com Uso de Filtros Raster
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
17/8/2001 |
0 |
|
|
Filtros Raster para Junção de Polilinhas
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
17/8/2001 |
0 |
|
|
Hipergrafos Direcionados
|
Tese de Doutorado |
Otimização |
16/8/2001 |
0 |
|
|
Aplicações de B-Wavelets, Semi-Ortogonais sobre Intervalos, em Modelagem Geométrica, Filtragem e Reconstrução de Imagens em Multiresolução
|
Tese de Doutorado |
Computação Gráfica |
14/8/2001 |
0 |
|
|
A Informatização do Ensino Agropecuário à Distância no Estado de Minas Gerais
|
Dissertação de Mestrado |
Informática e Sociedade |
3/8/2001 |
0 |
|
|
Avaliação de Processos de Software Baseada em Medições
|
Dissertação de Mestrado |
Engenharia de Software |
18/7/2001 |
0 |
|
|
Requisitos de Coordenação em um Ambiente Colaborativo de Decisão Espacial: Um Estudo de Caso em um Projeto de Preservação da Mata Atlântica
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
6/2001 |
555 |
|
|
Environmental Knowledge Management and Spatial Business Rules in the SPeCS Collaborative Framework
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
6/2001 |
554 |
|
|
Two Novel Evolutionary Formulations of the Graph Coloring Problem
|
Relatório Técnico |
Inteligência Artificial |
6/2001 |
553 |
|
|
A Distributed Algorithm to Find k-Dominating Sets
|
Relatório Técnico |
|
6/2001 |
552 |
|
|
Uma Metodologia para Caracterização de Tráfego e Medições de Desempenho em Backbones IP
|
Dissertação de Mestrado |
Redes de Computadores |
29/6/2001 |
0 |
|
|
Uma Abordagem Determinística para a Minimização Global da Energia Potencial de Moléculas
|
Tese de Doutorado |
Otimização |
28/6/2001 |
0 |
|
|
Implantação de Condutas Clínicas Padronizadas através da Utilização de Prontuário Eletrônico em Cardiologia
|
Dissertação de Mestrado |
Engenharia de Software |
5/6/2001 |
0 |
|
|
Projeto Automático de Redes de TV a Cabo
|
Dissertação de Mestrado |
Inteligência Artificial |
1/6/2001 |
0 |
|
|
Algoritmos e Novos Limites para Busca em Conjuntos Parcialmente Ordenados
|
Dissertação de Mestrado |
Algoritmos e Combinatória |
25/6/2001 |
|
|
|