Buscas alternativas:
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
algoritmo formal » algoritmo coral (Expandir a busca), algoritmo forca (Expandir a busca), algoritmo geral (Expandir a busca)
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
algoritmo formal » algoritmo coral (Expandir a busca), algoritmo forca (Expandir a busca), algoritmo geral (Expandir a busca)
1
Assuntos:
“...Constraint programming...”
Automated verification of care pathways using constraint programming
Dissertação
2
“... capability. AspectM is an aspect oriented formal specification language that unifies the well known benefits...”
Uma linguagem de especificação formal orientada por aspectos
Dissertação
3
4
Assuntos:
“...Formalismo...”
Um Formalismo de Gramática de Grafos para Corretude de Memória Transacional de Software
Tese
5
6
Assuntos:
“...CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO: TEORIA DA COMPUTAÇÃO: ANÁLISE DE ALGORITMOS...”
Combinatorial Approaches for the Closest String Problem
Tese
7
“... of the nonlinear objective and constraint functions, and the sequential quadratic programming method...”
Aprendizagem e busca local em algoritmos meméticos para projetoassistido por computador
Tese
8
Assuntos:
“...Algoritmos...”
Um algoritmo algébrico para o Problema da Distância de Transposição em Rearranjo de Genomas
Dissertação
9
Assuntos:
“...programming logic...”
A aprendizagem em lógica de programação com auxílio da inteligência computacional
Dissertação
10
Assuntos:
“...Algoritmo genético...”
Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
Dissertação
11
“... do hardware gráfico. Esta tese formula um conjunto de algoritmos de VC sobre representações do conteúdo visual...”
[pt] ALGORITMOS PARA PROCESSAMENTO DE IMAGENS E VISÃO COMPUTACIONAL PARA ARQUITETURAS PARALELAS EM PLACAS GRÁFICAS
Tese
12
Assuntos:
“...Verificação Formal de Software...”
Técnicas de contração de domínio de variáveis em verificação formal e detecção de vulnerabilidades...
Dissertação
13
Assuntos:
“...Introduction to programming...”
Construção e uso de ambiente visual para o ensino de programação introdutória
Dissertação
14
Assuntos:
“...Mathematical programming...”
Uso do planejamento e programação da produção para maximização do resultado econômico em empresas de manufatura
Dissertação
15
Assuntos:
“...Algoritmos geométricos...”
Concepção arquitetônica de habitação de interesse social com uso de dados socioambientais: desenvolvimento de um framework baseado em processamento de imagens e modelagem algorítmica.
Dissertação
16
Assuntos:
“...Algoritmos para processos de decisão de Markov sensíveis a risco...”
Algoritmos para o problema de Caminho mais Curto Estocástico Sensível a Risco usando função de transformação linear por partes
Dissertação
17
Assuntos:
“...Sucessive quadratic programming...”
Modelagem e otimização de fermentadores para obtenção de etanol
Tese
18
Assuntos:
“...Automatic programming (Computer science)...”
Geração automática de backend de compiladores baseada em ADLs
Dissertação
19
Assuntos:
“...[en] MIXED INTEGER PROGRAMMING...”
[en] A NEW BRANCH-AND-CUT ALGORITHM FOR THE GENERALIZED LEAST COST INFLUENCE PROBLEM IN NETWORKS
Tese
20
Assuntos:
“...Integer linear programming...”
Aplicação do método Simulated Annealing em um problema de sequenciamento das atividades silviculturais
Dissertação