Resultados da pesquisa - ((((decoding OR resulting) OR residentes) OR testing) OR becoming) (algorithms OR algorithm)

Pesquisas alternativas:
decoding » deciding (Expandir a Pesquisa)
algorithms » algoritmo (Expandir a Pesquisa)

3741

Portugal

Ferramenta para Geração Automática de Testes Unitários a patir de Especificações Algébricas usando Alloy e SMT

Por Tiago Faria Campos
Publicado em 2014
“...) of automatic generation of unit tests in JUnit from formal specifications of abstract data types, involving...”

Obter o texto integral

masterThesis
3742

Portugal

Regression-based norms for the Hopkins verbal learning test-revised and the Rey–Osterrieth complex figure in a portuguese adult population

Por Vicente, Selene G.
Publicado em 2021
“... native speakers from Portugal on 2 neuropsychological tests widely used to assess learning and memory...”

Obter o texto integral

article
3743

Brasil

Estimação e testes em modelos lineares generalizados com restrições nos parâmetros na forma de desigualdades lineares

Por Francisco José de Azevêdo Cysneiros
Publicado em 1997
“... bem como a equivalência assintótica de alguns testes estatísticos, tais como razão de verossimilhança...”

Obter o texto integral

masterThesis
3744

Portugal

Testes de ajuste a distribuições estatísticas e métodos para estimação dos parâmetros em análises de fiabilidade

Por Fernandes, Filipe de Salvador
Publicado em 2014
Assuntos: “...Teste de ajuste...”

Obter o texto integral

masterThesis
3745

Brasil

Desenvolvimento de um veículo aquático não tripulado empregado como plataforma de testes de sistemas de navegação.

Por Igor dos Santos Silva
Publicado em 2019
“... embarcado, são necessários diversos testes de validação que exigem árduas operações logísticas. Por isso...”

Obter o texto integral

masterThesis
3746

Brasil

"Testes de hipótese e critério bayesiano de seleção de modelos para séries temporais com raiz unitária"

Por Ricardo Gonçalves da Silva
Publicado em 2004
“...A literatura referente a testes de hipótese em modelos auto-regressivos que apresentam uma possível...”

Obter o texto integral

masterThesis
3747

Portugal

Measurement of the inclusive jet cross-section in proton--proton collisions at s√=7 TeV using 4.5 fb−1 of data with the ATLAS detector

Por Onofre, A.
Publicado em 2015
Assuntos: “...Experimental results...”

Obter o texto integral

article
3748

Portugal

Measurement of the production of neighbouring jets in lead-lead collisions at √sNN=2.76 TeV with the ATLAS detector

Por Onofre, A.
Publicado em 2015
Assuntos: “...Experimental results...”

Obter o texto integral

article
3749

Portugal

Measurements of the nuclear modification factor for jets in Pb+Pb collisions at sNN =2.76TeV with the ATLAS detector

Por Onofre, A.
Publicado em 2015
Assuntos: “...Experimental results...”

Obter o texto integral

article
3750

Brasil

O problema do caixeiro alugador com coleta de bonus: um estudo algoritmico

Por Menezes, Matheus da Silva
Publicado em 2015
Assuntos: “...The Prize Collecting Traveling Car Renter Problem. Metaheuristics. GRASP/VNS. Memetic Algorithm...”

Obter o texto integral

doctoralThesis
3751

Brasil

Solução de problemas inversos de transferência radiativa em meios heterogêneos unidimensionais e uma e duas camadas utilizando o algoritmo dos vagalumes

Por Cirino, Rubens Luiz
Publicado em 2021
Assuntos: “...Firefly algorithm...”

Obter o texto integral

doctoralThesis
3752

Brasil

Estudo da viabilidade do desenvolvimento de sistemas integrados baseados em redes em chip sem processadores: sistema IPNoSys

Por Araújo, Sílvio Roberto Fernandes de
Publicado em 2014
Assuntos: “...Spiral complement algorithm...”

Obter o texto integral

masterThesis
3753

Brasil

Metodologia para subamostragem em grandes bancos de dados amostrais complexos para realização de testes de hipóteses

Por Almeida Junior, Gilberto Rezende de
Publicado em 2018

Obter o texto integral

masterThesis
3754

Brasil

Seleção e alocação de dispositivos limitadores de corrente de curto-circuito utilizando o algoritmo evolucionário multiobjetivo NSGA-II

Por Brito, Felix Estevam de Jesus
Publicado em 2017
Assuntos: “...Multiobjective genetic algorithm...”

Obter o texto integral

masterThesis
3755

Brasil

Heurísticas e algoritmos evolutivos para formulações mono e multiobjetivo do problema do roteamento multicast

Por Bueno, Marcos Luiz de Paula
Publicado em 2016
Assuntos: “...Genetic algorithm...”

Obter o texto integral

masterThesis
3756

Brasil

Geração de objetivos de teste de sistemas reativos baseada na Técnica de Verificação de Modelos CTL.

Por SILVA, Daniel Aguiar da.
Publicado em 2006
Assuntos: “...Teste de software...”

Obter o texto integral

masterThesis
3757

Brasil

Estratégia de modelagem por algoritmo genético adaptativo para programação reativa da produção de produtos com uso simultâneo de máquinas e sistemas de transporte em sistemas de ma...

Por Sanches, Danilo Sipoli
Publicado em 2016
Assuntos: “...Adaptive genetic algorithm...”

Obter o texto integral

masterThesis
3758

Brasil

Reconfiguração e alocação de medidores em redes de distribuição

Por RAPOSO, Antonio Adolpho Martins
Publicado em 2021
Assuntos: “...Biased Random-Key Genetic Algorithm...”

Obter o texto integral

doctoralThesis
3759

Portugal

Planeamento de estratégias de salvaguarda e reposição de dados/informação baseado em algoritmo de optimização de requisitos multidimensionais

Por Fernandes, Luís Miguel Ferreira
Publicado em 2014
Assuntos: “...Algorithm...”

Obter o texto integral

masterThesis
3760

Brasil

Projeto de Sistemas Integrados de Propósito Geral Baseados em Redes em Chip Expandindo as Funcionalidades dos Roteadores para Execução de Operações: A plataforma IPNoSys

Por Araújo, Sílvio Roberto Fernandes de
Publicado em 2014
Assuntos: “...Spiral complement algorithm...”

Obter o texto integral

doctoralThesis