Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification processing » identification processing (Expandir a busca), solidification processing (Expandir a busca), purification processes (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification processing » identification processing (Expandir a busca), solidification processing (Expandir a busca), purification processes (Expandir a busca)
1
Assuntos:
“...[en] FORMAL VERIFICATION...”
[pt] ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM
Tese
3
Assuntos:
“...Embedded algorithms...”
Plataforma de estudo para determinação de conectividade cerebral embarcada e em tempo real.
Dissertação
4
Assuntos:
“...Signal processing - Digital technique...”
Desenvolvimento de metodologia para monitoramento remoto de rodovias: VANTRod
Dissertação
5
Assuntos:
“...Algorithms...”
Desenvolvimento de um sistema distribuído de identificação em tempo real de parâmetros de qualidade de energia elétrica
Dissertação
6
Assuntos:
“...Signal processing - Mathematical models...”
Avaliação de algoritimos para geração de imagens por ultrassom utilizando técnicas de beamformers adaptativos e sparse arrays
Dissertação
7
Assuntos:
“...Authenticity verification...”
MARDI: Marca d'água Digital Robusta via Decomposição de Imagens : uma proposta para aumentar a robustez de técnicas de marca d'água digital
Tese
8
Assuntos:
“...image processing...”
Desenvolvimento de um software de visão computacional para estudo do escoamento de cascalhos em peneira vibratória
Dissertação
9
Assuntos:
“...Image processing - Digital techniques...”
Eficiência, qualidade e compressão do processamento digital em animações audiovisuais e modelagens médicas
Tese
10
Assuntos:
“...Algorithms...”
z-NAF e clipping: two improvements for post-quantum hash-based digital signatures.
Dissertação
11
Assuntos:
“...Data verification...”
Serviços de validação de dados cadastrais e biométricos a partir do caso “Datavalid”
Dissertação
12
Assuntos:
“...Natural language processing (Computer science)...”
Processamento de linguagem natural de normas técnicas da construção civil : estudo da NBR 15.575
Tese
13
Assuntos:
“...Digital image processing...”
Uso de arvore de componentes para filtragem, segmentação e detecção de padrões em imagens digitais
Tese
14
Assuntos:
“...Natural language processing...”
Algoritmos para seleção de metodologias de avaliação de softwares educacionais
Dissertação
15
“... concurrent systems under properties described in temporal logics by employing verification algorithms that...”
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Dissertação