Buscas alternativas:
algorithmic computational » algorithm computational (Expandir a busca), algoritmo computacional (Expandir a busca), algorithms computation (Expandir a busca)
computational program » educational program (Expandir a busca)
algorithmic computational » algorithm computational (Expandir a busca), algoritmo computacional (Expandir a busca), algorithms computation (Expandir a busca)
computational program » educational program (Expandir a busca)
1
“... da Escola Estadual Professora Carolina Augusta Seraphim, pertencente ao Programa de Ensino Integral, durante...”
Pensamento computacional e a formação de conceitos matemáticos nos anos finais do Ensino Fundamental: uma possibilidade com kits de robótica
Dissertação
2
“... nos resultados. Para esta finalidade, é elaborado um programa computacional como uma implementação algorítmica...”
Simulação numérica de escoamentos: uma implementação com o método Petrov-Galerkin.
Dissertação
3
“... advindos da Inteligência Artificial. A partir dai apresenta-se um conjunto de programas desenvolvidos...”
Sistema para bom aproveitamento volumétrico de contêineres: um estudo de caso em soluções AD HOC para problemas complexos e mal-estruturados usando raciocínio dedutivo.
Dissertação
4
5
“...Uma metodologia para desenvolvimento de programas paralelos eficientes deve especificar mecanismos...”
Uma metodologia para desenvolvimento de programas paralelos eficientes em ambientes homogêneos e heterogêneos.
Tese
6
“... essa tarefa foi desenvolvido um programa em Fortran, chamado de Polygen, que permite modelar geometrias...”
Simulação e modelagem computacional de dados de espalhamento à baixos ângulos - enfoque em estruturas de alta simetria
Tese
7
8
“... de software é utilizado para a aplicação de redução do domínio de variáveis no pré-processamento de programas...”
Técnicas de contração de domínio de variáveis em verificação formal e detecção de vulnerabilidades de software usando programação por restrições e aritmética intervala...
Dissertação
9
10
“... sciences automated theorem proving, approximate reasoning, multi-agent systems, program verication...”
Verificação automática de lógicas finitas multivalentes
Tese
11
“... an algorithmic study through the implementation, computational experiments and analysis of metaheuristics based...”
Uma nova abordagem para o problema da patrulha escolar: formulação matemática e metaheurísticas
Dissertação
12
13
“... estão relacionadas à produção e à circulação de conteúdos falsos. Os resultados ressaltam as intervenções do Programa...”
As fake news e a produção jornalística de referências
Tese