Chaff
Mostrando 1-12 de 15 artigos, teses e dissertações.
-
1. Análise da distribuição do número de operações de resolvedores SAT / Distribution\ s analysis of operations\ s number of SAT solvers
No estudo da complexidade de problemas computacionais destacam-se duas classes conhecidas como P e NP. A questao P=NP e um dos maiores problemas nao resolvidos em Ciencia da Compu- tacao teorica e Matematica contemporanea. O problema SAT foi o primeiro problema reconhecido como NP-completo e consiste em verificar se uma determinada formula da logica proposic
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2012
-
2. Crescimento vegetativo do abacaxizeiro vitÃria sob doses crescentes de micronutrientes e diferentes coberturas do solo.
A adubaÃÃo foliar nos Ãltimos anos vem se tornando bastante expressiva, devido ao suprimento de micronutrientes, principalmente, em culturas de alto valor econÃmico como o abacaxizeiro. Avaliou-se o desempenho vegetativo e a absorÃÃo de micronutrientes pelo abacaxizeiro VitÃria, sob doses crescentes de micronutrientes aplicados via solo e adubaÃÃo f
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/02/2010
-
3. Crescimento e extraÃÃo de nutrientes pelo abacaxizeiro cv. VitÃria sob doses crescentes de micronutrientes em dois tipos coberturas do solo.
A adubaÃÃo foliar nos Ãltimos anos vem se tornando bastante expressiva, devido ao suprimento de micronutrientes, principalmente, em culturas de alto valor econÃmico como o abacaxizeiro. Avaliou-se o desempenho vegetativo e a absorÃÃo de micronutrientes pelo abacaxizeiro VitÃria, sob doses crescentes de micronutrientes aplicados via solo e adubaÃÃo f
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/02/2010
-
4. Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais
Os resolvedores SAT atuais, como Chaff, zChaff, BerkMin, e Minisat geralmente compartilham das mesmas heurísticas principais, como por exemplo: aprendizado de cláusulas de conflito, backtracking não cronológico, e a estrutura dos dois literais vigiados. Por outro lado, eles se diferenciam na remoção de cláusulas de conflito, bem como na heurística de
Publicado em: 2010
-
5. Estudo da produção de enzimas amiloliticas pelo fungo Metarhizium. / Study of the amylolytic enzymes production by Metarhizium anisopilae using chaff and rice bran as substrates.
The fungus Metharhizium anisopliae has been used as biocontrol agent, actuating on insects in different areas of Brazil, with main application in sugarcane farmings. Such a biocontrol process involves the adhesion of the fungus spores to the surface of the insect, destruction of the same through the mechanical pressure of the hyphal, as well the processes of
Publicado em: 2007
-
6. GaseificaÃÃo de materiais lignocelulÃsicos para geraÃÃo de energia elÃtrica / Gasification of lignocellulosic materials for generation of electric energy
The gasification of solid fuel as biomass can be defined as the transformation of it into a combustible gas. This gas is made up of a mixture of carbon monoxide, hiydrogen, metane, small amounts of other light hydrocarbonetes, carbonm dioxide and water vapor, in addition to nitrogen, which is presetn in air. The objective of this work was to built a contercu
Publicado em: 2007
-
7. Uma heurística de decisão baseada na subtração de cubos para solucionadores DPLL do problema de satisfabilidade
Este trabalho propõe uma nova heurística de decisão para solucionadores do problema da satisfabilidade (SAT) baseados no algoritmo de Davis Putnam, Logemann e Loveland (DPLL). Essa heurística se baseia na subtração de cubos. Cada cláusula negada é visualizada como um cubo no espaço de procura booleano n-dimensional, denotando um subespaço onde nenh
Publicado em: 2007
-
8. Medidas de proteÃÃo eletrÃnica utilizando a transformada wavelet para a rejeiÃÃo do chaff e jamming em radar.
Neste trabalho faz-se a descriÃÃo de um Sistema de Radar com os seus sinais e processadores. Conceituam-se as Contramedidas EletrÃnicas (CME) e as Medidas de ProteÃÃo EletrÃnica (MPE). Nas CME enfatizam-se o jamming e o chaff. Descreve-se um modelo estatÃstico para os elementos que compÃem a nuvem de chaff e estima-se o espectro do seu sinal eco. Ava
Publicado em: 2005
-
9. The syndromes of low-renin hypertension: "separating the wheat from the chaff"
Hiperaldosteronismo primário (HAP) é caracterizado por hipertensão com renina baixa, com ou sem hipocalemia, compreendendo o adenoma produtor de aldosterona (APA) e a hiperplasia adrenal bilateral ou HA idiopático (HAI). Em séries recentes usando a relação aldosterona (aldo, ng/dL):renina (ng/mL·h) (RAR) para rastreamento, a prevalência de HAP ating
Arquivos Brasileiros de Endocrinologia & Metabologia. Publicado em: 2004-10
-
10. Separating Wheat from Chaff in Plant Genomes
Public Library of Science.
-
11. Archives and special collections on women in medicine at the Medical College of Pennsylvania.
-
12. Do patients with unexplained physical symptoms pressurise GPs for somatic treatment?: Sorting the wheat from the chaff
BMJ Publishing Group Ltd..