1
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::COMPUTABILIDADE...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese
2
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Problema de Graetz no escoamento entre discos paralelos
Dissertação
3
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA...”
Utilizando algoritmo de cross-entropy para a modelagem de imagens de núcleos ativos de galáxias obtidas com o VLBA
Tese
4
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
A tableaux method for dolev-yao multi-agent epistemic logic
Dissertação
5
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Aplicação de técnicas de controle a sistemas de produção
Dissertação
6
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Uma aplicação de programação inteira: ocupação ótima de uma instalação
Dissertação
7
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Jogos combinatórios em grafos: jogo Timber e jogo de Coloração
Tese
8
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Comparação entre duas abordagens para solução de sistemas de equações resultantes da discretização pelo método implícito adaptativo
Dissertação
9
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Uso de metamodelos na evolução diferencial para problemas envolvendo simulações de alto custo computacional
Tese
10
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Análise de fluidos via técnicas de decomposição em modos dinâmicos e aprendizado profundo
Dissertação
11
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Multi-class discriminant analysis based on support vector machine ensembles
Tese
12
Assuntos:
“...Computação - Matemática...”
Um problema inverso na modelagem da difusão do calor
Dissertação
13
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Aspectos computacionais de um algoritmo primal de direções viáveis para sistemas decomponíveis
Dissertação
14
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Animação de fluidos via autômatos celulares e sistemas de partículas
Dissertação
15
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Generalized lambda distribution for uncertainty quantification of large-scale spatio-temporal models
Tese
16
Assuntos:
“...Programação evolutiva (Computação)...”
Solução de problemas inversos de transferência radiativa em meios heterogêneos unidimensionais e uma e duas camadas utilizando o algoritmo dos vagalumes
Tese
17
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Domínios de estabilidade assintótica: sua determinação utilizando o segundo Método de Liapunov
Dissertação
18
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Aplicação da técnica SIFT na identificação de olhos humanos
Dissertação
19
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Desenvolvimento de ferramenta computacional para o pré-diagnóstico de câncer de pele
Dissertação
20
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
Um metodo numerico com paralelismo no tempo para aproximar solucoes de EDPs
Dissertação