A Formalization of the Theorem of Existence of First-Order Most General Unifiers

This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the textbook proofs that are based on proving the correctness of the well-known Robinson's first-order unification algorithm. The formalization was applied inside a PVS development for term rewriting systems that provides a complete formalization of the Knuth-Bendix Critical Pair theorem, among other relevant theorems of the theory of rewriting. In addition, the formalization methodology has been proved of practical use in order to verify the correctness of unification algorithms in the style of the original Robinson's unification algorithm.Comment: In Proceedings LSFA 2011, arXiv:1203.542

Mudanças no regime hidrológico da bacia hidrográfica do Rio Taquari-Pantanal.

A inundação de 11.000 km2 no Pantanal, iniciada na década de 70, vem causando prejuízos à pecuária bovina e alterações na flora nativa. Esta inundação atribuída ao assoreamento do rio Taquari pode também estar associada a mudança no regime hidrológico, passando de um período seco para um período de chuvas e cheias maiores. As cheias maiores podem estar relacionadas ao aumento do desmatamento na bacia do alto Taquari (BAT). Foram analisadas vazões no rio Taquari, contribuições do nível do rio Paraguai e da precipitação na inundação. Também foi avaliado efeito da expansão da agropecuária na BAT sobre o aumento da vazão do rio Taquari, em Coxim. Contatou-se mudança significativa no regime hidrológico da planície do baixo curso do Taquari. A partir de 1973-74 inicio-se um período mais chuvoso e com cheias maiores. A defasagem de 3 a 4 meses entre a cheia do rio Paraguai com as chuvas na planície e a cheia do Taquari, possivelmente contribuem para manutenção da inundação na região por muitos meses. O aumento do aporte d'água da BAT para o Pantanal, observado a partir de meados da década de 70, foi influenciado, pelo aumento das chuvas e também pelo incremento do desmatamento na BAT.bitstream/item/37426/1/BP26.pd

Comportamento de cultivares de café com resistência à ferrugem-do-cafeeiro no Sul do Estado de Minas Gerais.

Nos últimos anos foram liberadas para plantio comercial diversas cultivares de café arábica resistentes à ferrugem, porém muitas dessas cultivares ainda não foram testadas em várias regiões cafeeiras do Brasil, incluindo o sul de Minas Gerais. A região sul do estado de Minas Gerais possui um parque cafeeiro de cerca de 500.000 ha, abrangendo uma área com grande variação edafoclimática e diversidade de sistemas de cultivo. Essas características influenciam sobremaneira no comportamento agronômico das cultivares de café plantadas na região, haja vishttp://ainfo.cnptia.embrapa.br/ainfo/pages/ainfo/save/documentoSave.facesta que a produtividade do cafeeiro está diretamente relacionada com a interação genótipo ambiente. Em janeiro de 2006 foi instalado um ensaio com 30 cultivares resistentes à ferrugem, no Município de Varginha, MG, a 1000 m de altitude, onde foram avaliadas as três primeiras produções (2008 a 2010), a resistência à ferrugem e a qualidade dos grãos. As cultivares Sabiá Tardio, IPR 100, Palma II, Acauã, IPR 99, IPR 103, Catuaí amarelo IAC 62, Catucaí Amarelo 20/15 cv 479 e Catucaí amarelo 24/137 produziram significativamente mais que as demais. Foram encontradas lesões de ferrugem em todas as plantas das cultivares do grupo Catucaí e nas cultivares IPR 100 e IPR 103. Observaram-se também plantas suscetíveis nas cultivares Oeiras (70%) e Sabiá Tardio (12,5%) e nas progênies Paraíso 419-3-3-7-16-4-1 (12,5%) e Paraíso 419-10-6-2-12-1 (28,6%). Por outro lado, nas progênies Paraíso 419-10-6-2-10-1 e Paraíso 419-10-6-2-5-1 todas as plantas foram classificadas como altamente resistentes. Catuaí Vermelho IAC 144, Catuaí Amarelo IAC 62 e Bourbon Amarelo, incluídas como referência de suscetibilidade, 100% das plantas apresentaram pústulas de ferrugem. A classificação dos grãos mediante peneira revelou que, em média, as cultivares apresentaram 49,3% dos grãos retidos na peneira 17 ou acima. Araponga MG1 e IPR99 destacaram-se das demais com, respectivamente, 73,5% e 76,0% de grãos nas peneiras 17 e acima

Ações para solucionar os problemas da bacia do Rio Taquari - Pantanal.

bitstream/CPAP/56311/1/ADM102.pdfFormato eletrônico

Vegetative Propagation of \u3cem\u3eStylosanthes scabra\u3c/em\u3e

One way to multiply genetically desirable plants in a more uniform manner is to use vegetative propagation, such as using plant cuttings. This technique multiplies a single plant into several, in an easy low-cost system (Fachinello et al. 2005), so it is useful in plant breeding. This technique may be enhanced through the use of hormonal regulators, with indolebutyric acid (IBA) being most frequently used, because of its stability in hydroalcoholic solution, low sensitivity to biological degradation and good establishment of adventitious roots (Fachinello et al. 1995). In spite of its large-scale use for fruit production, the technique is not commonly used for forage species, such as Stylosanthes. We evaluated different concentrations of IBA for root establishment and initial development of Stylosanthes scabra cuttings

Os circuitos curtos de comercialização dos produtos agroecológicos das mulheres da vila rural Santa Clara.

O presente trabalho tem como objetivo, descrever os circuitos curtos de comercialização oriundos da produção dos quintais agroecológicos das agricultoras da Vila Rural de Santa Clara

Perdas de solo na Bacia do Alto Taquari.

A bacia do alto Taquari - BAT, com 28.452 km2, apresenta sérios problemas de erosão hídrica de solos. A avaliação dos processos erosivos na BAT possibilitara orientar futuras intervenções visando minimizar a erosão nessa região e consequentemente os seus graves reflexos sobre o Pantanal. A perda de solo na BAT em 1994 foi avaliada utilizando-se a Universal Soil Loss Equation - USLE. A erosividade anual das chuvas média foi de 7.914,3 Mj mm ha-1 ano-1. A erodibilidade média dos solos foi de 0,0356 t h Mj-1 mm-1. O fator topográfico (LS) foi o que apresentou maiores variações. O potencial de perda de solo médio foi de 555,6 t ha-1 ano-1. Em 1994, 41,97% da BAT estava recoberta por vegetação nativa, as pastagens cobriam 51,85% e a soja era cultivada em 5,89% da superfície da bacia. A perda média de solo, em 1994, foi estimada em 70,39 t ha-1 ano-1, que corresponde a um grau de erosão alto. Grau de erosão ligeiro ocorreu em 41,62% da BAT. Em 28,84% da bacia o grau de erosão foi moderado, em 21,75% foi alto e em 7,79% foi muito alto.bitstream/item/37406/1/BP44.pd