Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification program » certification program (Expandir a busca), eradication program (Expandir a busca), electrification program (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification program » certification program (Expandir a busca), eradication program (Expandir a busca), electrification program (Expandir a busca)
1
2
Assuntos:
“...Alternative Transients Program (ATP)...”
Sistema híbrido inteligente para o monitoramento e proteção de transformadores de potência
Tese
3
Assuntos:
“...Threads (Programa de computador)...”
Eficiência, qualidade e compressão do processamento digital em animações audiovisuais e modelagens médicas
Tese
4
Assuntos:
“...Algorithms...”
Metodologia 7Cs: uma proposta de ensino e aprendizagem para disciplinas introdutórias à programação
Dissertação
5
6
Assuntos:
“...Verificadores de programas...”
Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT
Dissertação
7
“... 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
8
9
“...Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa...”
Verificação de consistência e coerência de memória compartilhada para multiprocessamento em chip
Dissertação
10
“... possible to minimize the changes made in the structure of the program for implementing the Isogeometric...”
Análise e otimização de estruturas laminadas utilizando a formulação isogeométrica
Dissertação
11
12
“... by innovations on design methodologies, test and verification techniques in order to use technology effectively...”
ChipCflow: tool for convert C code in a static dataflow architecture in reconfigurable hardware
Tese
13
“... as those involving power systems. We described genetic algorithms and developed a genetic algorithm-based...”
Utilização de técnica de computação evolutiva para análise de desempenho de sistemas de aterramentos modelados em PI-RL
Tese
14
“...Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa...”
Aprendizagem estrutural de redes bayesianas pelo método de Monte Carlo e cadeias de Markov
Dissertação
15
“... a uma linha de pesquisa que vem sendo desenvolvida no Programa de Pós- Graduação em Engenharia Civil – PPGEC...”
Implementação de rotinas computacionais para o projeto automático de peças em concreto com protensão aderente e não aderente
Dissertação
16
17
“... estão relacionadas à produção e à circulação de conteúdos falsos. Os resultados ressaltam as intervenções do Programa...”
As fake news e a produção jornalística de referências
Tese