Invariant means on Boolean inverse monoids

The classical theory of invariant means, which plays an important role in the theory of paradoxical decompositions, is based upon what are usually termed `pseudogroups'. Such pseudogroups are in fact concrete examples of the Boolean inverse monoids which give rise to etale topological groupoids under non-commutative Stone duality. We accordingly initiate the theory of invariant means on arbitrary Boolean inverse monoids. Our main theorem is a characterization of when a Boolean inverse monoid admits an invariant mean. This generalizes the classical Tarski alternative proved, for example, by de la Harpe and Skandalis, but using different methods

Do comportamento de risco ao reconhecimento da discriminação dos seropositivos: reflexões sociológicas sobre o VIH/SIDA.

Do comportamento de risco ao reconhecimento da discriminação dos seropositivos: reflexões sociológicas sobre o VIH/SIDA

Mixed reality application to support infrastructure maintenance

This paper presents a mixed reality (MR) application developed for the head-mounted display Microsoft HoloLens that supports infrastructure maintenance works in buildings with complex infrastructure. The solution is intended to help maintenance workers when they need to track and fix part of the infrastructure by revealing hidden infrastructure, displaying additional information and guiding workers in complex tasks. The application has the potential to improve maintenance worker's tasks as it can help them perform faster and with more accuracy. The work explores the creation of the application and discusses the methodologies used to build an optimal and user-friendly tool. The methodology is based on design science research: an improvement need, and not necessarily a problem, was identified, and from there a solution was conceived. MR has proven to be a major tool for helping in several areas, and this paper can give insights for many future solutions with mixed reality or HoloLens and help them build new and better applications to improve tasks at a job or at home.info:eu-repo/semantics/acceptedVersio

Utilização do SPRING para avaliação do uso da terra em agroecossistemas cafeeiros da Região de Lavras - MG.

Este trabalho é resultado parcial dos projetos desenvolvidos pela equipe do Laboratório de Geoprocessamento da EPAMIG-CTSM/DCS-UFLA, financiados com recursos do CBPD/Café, que envolvem a caracterização da cafeicultura e do ambiente das principais regiões produtoras de café de Minas Gerais. O objetivo foi avaliar a utilização da metodologia de geoprocessamento (por meio do software SPRING) e sensoriamento remoto (usando-se imagens TM/Landsat 5), para determinar, estimar e monitorar lavouras cafeeiras de uma área piloto da região produtora do Sul de Minas (microbacia do Ribeirão Maranhão em Lavras). Os resultados obtidos mostraram-se satisfatórios para a microbacia em questão, evidenciando que 8,46% de área da microbacia está ocupada por café em diferentes fases vegetativas, sendo que seu cultivo se encontra principalmente instalado sobre Latossolo Vermelho e Latossolo Vermelho- Amarelo. Atividades de campo prévias e de checagem, para ajustes e correções nos mapas Gerados, foram indispensáveis. O sensoriamento remoto e o geoprocessamento mostraram que são técnicas que podem ser utilizadas na caracterização, estimativa e monitoramento do parque cafeeiro de uma determinada região, desde que as atividades sejam controladas por levantamentos de campo. As informações geradas podem subsidiar órgãos de governo e de pesquisa no gerenciamento racional da cafeicultura

Utilização do SPRING para avaliação do uso da terra em agroecossistemas cafeeiros da Região de São Sebastião do Paraíso - MG.

Este trabalho é resultado parcial dos projetos desenvolvidos pela equipe do Laboratório de Geoprocessamento da EPAMIG-CTSM/DCS-UFLA, financiados com recursos do CBPD/Café, que envolvem a caracterização da cafeicultura e do ambiente das principais regiões produtoras de café de Minas Gerais. O objetivo foi avaliar a utilização da metodologia de geoprocessamento (por meio do software SPRING) e sensoriamento remoto (usando-se imagens TM/Landsat 5), para determinar, estimar e monitorar lavouras cafeeiras de uma área piloto da região produtora do Sul de Minas (microbacia do Ribeirão Fundo em São Sebastião do Paraíso). Os resultados obtidos mostraram que 21,56% da área da microbacia está ocupada por café em diferentes fases vegetativas, sendo que seu cultivo se encontra principalmente instalado sobre Latossolo Vermelho, Latossolo Vermelho-Amarelo e Nitossolo Vermelho. O sensoriamento remoto e o geoprocessamento mostraram que são técnicas que podem ser utilizadas na caracterização, estimativa e monitoramento do parque cafeeiro de uma determinada região, desde que as atividades sejam controladas por levantamentos de campo. As informações geradas podem subsidiar órgãos de governo e de pesquisa no gerenciamento racional da cafeicultura

Selection via simulated individual BLUP based on family genotypic effects in sugarcane.

O objetivo deste trabalho foi propor uma nova estratégia de seleção nos estádios iniciais do desenvolvimento da cana-de-açúcar, utilizando-se a metodologia BLUP individual simulado (BLUPIS) que promove a distribuição dinâmica dos indivíduos selecionados em cada família de irmãos-completos, usando BLUP como base para os efeitos genotípicos da família e para os efeitos de parcela. O método proposto se aplica a famílias de irmãos-completos simples ou obtidas de cruzamentos dialélicos desbalanceados ou balanceados, famílias de meios-irmãos e famílias de autofecundação. Por meio do BLUPIS, indica-se o número de indivíduos a ser selecionado por família, o número total de clones a ser avançado e o número de famílias a contribuir com indivíduos selecionados. A validação do método propiciou uma correlação de 0,96 entre o BLUPIS e o BLUP verdadeiro. Além disso, o BLUPIS permite identificar em qual repetição encontram-se os melhores indivíduos de cada família

Produção de alho no Estado de Goiás.

Dentre as hortaliças cultivas em Goiás, ressalta-se a cultura do alho a qual apresenta grande importância econômica e social no Brasil e em diversos países do mundo, sendo muito utilizado como condimento e por suas propriedades medicinais.bitstream/item/104752/1/Artgo-Gerlado-Milanez.pd