Buscas alternativas:
algorithms in » algorithms and (Expandir a busca), algorithms _ (Expandir a busca), algorithms to (Expandir a busca)
in program » aid program (Expandir a busca), _ program (Expandir a busca), 5s program (Expandir a busca)
algorithms in » algorithms and (Expandir a busca), algorithms _ (Expandir a busca), algorithms to (Expandir a busca)
in program » aid program (Expandir a busca), _ program (Expandir a busca), 5s program (Expandir a busca)
1
“...-se uma tarefa humanamente inviável. Um assistente de provas é um programa cuja finalidade é realizar...”
[en] FORMALIZATION OF CRYPTOGRAPHY ALGORITHMS IN AN INTERACTIVE THEOREM PROVER
Tese
2
Assuntos:
“...Integer Linear Program...”
The k-labeled spanning forest problem : complexity, approximability, formulations and algorithms
Dissertação
3
4
“...-motion algorithms using UAS-like rendered images, enabling inference-making about tested factors. This...”
High-throughput phenotyping via UAS: the optimization within a breeding program and a new validation method based on simulation
Tese
5
“... sintática do código. Para evoluir famílias de programas de forma segura, foram propostas duas estratégias...”
An approach to safely evolve preprocessor-based C program families.
Tese
6
“... sintática do código. Para evoluir famílias de programas de forma segura, foram propostas duas estratégias...”
An approach to safely evolve preprocessor-based C program families.
Tese
7
Assuntos:
“...Arredondamento de programa linear...”
Approximation algorithms for hub location problems : Algoritmos de aproximação para problemas de localização e alocação de terminais
Dissertação
8
“...Teaching Introductory Programming and Data Structures and Algorithms is an important part...”
Willow : a tool for interactive data structures and algorithms visualization
Dissertação
9
“... pela edificação. Propõe-se um modelo de algoritmos genéticos que, juntamente com um programa de simulação...”
[en] BUILDINGS ENERGY EFFICIENCY–BUILDING OPTIMIZATION USING GENETIC ALGORITHMS
Tese
10
Assuntos:
“...Approximation algorithms...”
On rounding algorithms for the 2-edge-connected spanning subgraph problem
Dissertação
11
Assuntos:
“...Python (Computer program language)...”
Soluções de equações diofantinas lineares padrões de ordem superior
Dissertação
12
Assuntos:
“...MATLAB (Programa de computador)...”
Algoritmos genéticos e de evolução diferencial aplicados à otimização de controladores utilizando a norma H2 como critério de desempenho
Dissertação
13
14
Assuntos:
“...Algorithms...”
Uma ferramenta para otimização em síntese de alto nível baseada em reconhecimento funcional e mapeamento de componentes.
Dissertação
15
Assuntos:
“...Plano de Dados Program?veis...”
Leveraging network-wide orchestration in programmable networks for enhanced NIDS performance
Dissertação
16
Assuntos:
“...Algorithms...”
Implementação de algoritmos de proteção no domínio do tempo via models-atp permitindo teste de software-in-the-loop
Dissertação
17
Assuntos:
“...Genetic program...”
Um algoritmo cultural para descoberta de conhecimento em banco de dados
Dissertação
18
Assuntos:
“...Parallel algorithms...”
Analysis of synchronizations in greedy-scheduled executions and applications to efficient generation of pseudorandom numbers in parallel
Tese
19
Assuntos:
“...Evolutionary algorithms...”
Optimizing propeller performance: a comprehensive constrained multi-objective design approach using blade element theory and evolutionary algorithms
Tese