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
“... 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
2
Assuntos:
“...Formalismo...”
Um Formalismo de Gramática de Grafos para Corretude de Memória Transacional de Software
Tese
3
4
“... 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
5
Assuntos:
“...Algoritmos...”
Um algoritmo algébrico para o Problema da Distância de Transposição em Rearranjo de Genomas
Dissertação
6
“... 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
7
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
8
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
9
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
10
11
Assuntos:
“...Algorítmos genéticos...”
Abordagens heurísticas aplicadas ao Thief Orienteering Problem
Dissertação
12
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
13
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
14
Assuntos:
“...Algorítmos genéticos...”
Programação imunológica gramatical para inferência automática de modelos e projeto ótimo de estruturas
Tese
15
Assuntos:
“...Algoritmos genéticos...”
Estratégia de controle adaptiva para estabilização de um quadricóptero na presença de variação de massa
Dissertação
16
Assuntos:
“...Algoritmos genéricos...”
Desenvolvimento de uma interface para a simulação com animação tridimensional de estruturas flexíveis do tipo Cabo
Dissertação
17
Assuntos:
“... DE ALGORITMOS E COMPLEXIDADE DE COMPUTACAO...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese
18
Assuntos:
“...Constraint programming...”
Automated verification of care pathways using constraint programming
Dissertação
19
Assuntos:
“...Sucessive quadratic programming...”
Modelagem e otimização de fermentadores para obtenção de etanol
Tese
20
Assuntos:
“...Automatic programming (Computer science)...”
Geração automática de backend de compiladores baseada em ADLs
Dissertação