Buscar
Mostrando ítems 1-10 de 70
Curriculum-based Course Timetabling with SAT and MaxSAT
(PATAT Conferences, 2015)
Curriculum-based Course Timetabling with SAT and MaxSAT
(PATAT Conferences, 2015)
MULTIPLEX: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado
(Universidade Federal do Espírito SantoBRCiência da ComputaçãoPrograma de Pós-Graduação em InformáticaUFES, 2006-06-01)
Computar a solução ótima para uma unidade de problema MAX-SAT Ponderado (weighted maximum satisfiability) é difícil mesmo se cada cláusula contiver apenas dois literais. Neste trabalho, será descrita a implementação de uma ...
Identificação e validação de marcadores microssatélites ligados ao gene Rpp5 de resistência à ferrugem-asiática-da-soja
(Empresa Brasileira de Pesquisa Agropecuária (EMBRAPA), 2008-11-01)
O objetivo deste trabalho foi identificar novos marcadores microssatélites, ligados ao gene Rpp5 de resistência à ferrugem-da-soja, e validar os marcadores previamente mapeados, para que possam ser utilizados em programas ...
Identificação e validação de marcadores microssatélites ligados ao gene Rpp5 de resistência à ferrugem-asiática-da-soja
(Empresa Brasileira de Pesquisa Agropecuária (EMBRAPA), 2008-11-01)
O objetivo deste trabalho foi identificar novos marcadores microssatélites, ligados ao gene Rpp5 de resistência à ferrugem-da-soja, e validar os marcadores previamente mapeados, para que possam ser utilizados em programas ...
Sistema antioxidante, actividad física y consumo máximo de oxígeno en adultos jóvenes
(Universidad de Sonora, 2019)
Aproximación de soluciones del problema MAX-SAT usando cómputo cuántico adiabático
(Universidad Autónoma del Estado de México, 2019)
Identificação molecular de cultivares de soja (Glycine max L. Merrill) utilizando um sistema semi-automatizado de genotipagemMolecular identification of soybean cultivars (Glycine max L. Merrill) with semi-automated system of genotyping by use SSR markers
(Universidade Estadual de MaringáBrasilUEMMaringá, PRPrograma de Pós-Graduação em Genética e Melhoramento, 2018)
Robust Artificial Immune System in the Hopfield network for Maximum k-Satisfiability
Artificial Immune System (AIS) algorithm is a novel and vibrant computational paradigm, enthused by the biological immune system. Over the last few years, the artificial immune system has been sprouting to solve numerous ...
Validation of microsatellite markers for assisted selection of soybean genotypes resistant to powdery mildew
(Brazilian Soc Plant Breeding, 2009-03-01)
Powdery mildew is one of the most serious diseases of soybean and is found in all producing countries. The purpose of this study was to validate microsatellite markers previously identified as associated with resistance ...