Buscas alternativas:
algorithms of » algorithm of (Expandir a busca), algorithms on (Expandir a busca), algorithms _ (Expandir a busca)
of program » of programs (Expandir a busca), _ program (Expandir a busca)
algorithms of » algorithm of (Expandir a busca), algorithms on (Expandir a busca), algorithms _ (Expandir a busca)
of program » of programs (Expandir a busca), _ 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
“... 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
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
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
7
“...Teaching Introductory Programming and Data Structures and Algorithms is an important part...”
Willow : a tool for interactive data structures and algorithms visualization
Dissertação
8
“... 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
9
Assuntos:
“...Approximation algorithms...”
On rounding algorithms for the 2-edge-connected spanning subgraph problem
Dissertação
10
Assuntos:
“...MATLAB (Programa de computador)...”
Development and simulation of an autonomous parking system using a low-cost lidar sensor and ultrasonic sensors
Dissertação
11
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
12
Assuntos:
“...Python (Computer program language)...”
Soluções de equações diofantinas lineares padrões de ordem superior
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
“...-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
16
Assuntos:
“...Parallel algorithms...”
Analysis of synchronizations in greedy-scheduled executions and applications to efficient generation of pseudorandom numbers in parallel
Tese
17
Assuntos:
“...Genetic algorithms...”
Aplicação de algoritmo genético na calibração de redes de água.
Dissertação
18
Assuntos:
“...Teaching and learning of algorithms...”
Ensino de algoritmos : detecção do estado afetivo de frustração para apoio ao processo de aprendizagem
Tese
19
Assuntos:
“...Evolutionary algorithms...”
Optimizing propeller performance: a comprehensive constrained multi-objective design approach using blade element theory and evolutionary algorithms
Tese