Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification programing » application programing (Expandir a busca), certification program (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification programing » application programing (Expandir a busca), certification program (Expandir a busca)
1
Assuntos:
“...Constraint programming...”
Automated verification of care pathways using constraint programming
Dissertação
2
Assuntos:
“...Data verification...”
Serviços de validação de dados cadastrais e biométricos a partir do caso “Datavalid”
Dissertação
3
Assuntos:
“...Constraint programming...”
Planejamento integrado da cadeia de suprimentos da indústria do petróleo baseado em agentes holônicos.
Tese
4
Assuntos:
“...Algorithms...”
Metodologia 7Cs: uma proposta de ensino e aprendizagem para disciplinas introdutórias à programação
Dissertação
5
Assuntos:
“...Mathematical programming...”
Análises e métodos de otimização para eficiência energética de estações elevatórias em sistemas de abastecimento de água.
Tese
6
Assuntos:
“...Mathematical programming...”
Análises e métodos de otimização para eficiência energética de estações elevatórias em sistemas de abastecimento de água.
Tese
7
“... specify the semantics of algorithms. The AspectM language adds to it the modularized crosscutting concern...”
Uma linguagem de especificação formal orientada por aspectos
Dissertação
8
“... algorithms creation and transferring responsibility for writing code are some of the benefits propitiated...”
Program synthesis from denotational semantics
Dissertação
9
10
“... mathematical modeling of problems presented and using sequential algorithms and writings parallels in the...”
Modelos dinâmicos simplificados, para verificação do comportamento de rede de satélites amarrados por cabos flexíveis, usando-se o método explícito das diferenças finitas
Dissertação
11
12
“... Analysis, including in laminated structures problems. The verification of the implementation is carried out...”
Análise e otimização de estruturas laminadas utilizando a formulação isogeométrica
Dissertação