1,646 research outputs found
High-energy Astrophysics and the Virtual Observatory
The Virtual Observatory (VO) will revolutionise the way we do Astronomy by
allowing easy access to all astronomical data and by making the handling and
analysis of datasets at various locations across the globe much simpler and
faster. I report here on the need for the VO and its status in Europe,
concentrating on the recently started EURO-VO project, and then give two
specific applications of VO tools to high-energy astrophysics.Comment: 12 pages, 3 figures, invited talk at the Workshop ``Multifrequency
Behaviour of High Energy Cosmic Sources'', Vulcano, Italy, May 2005, F.
Giovannelli et al., in pres
Proof Systems for Retracts in Simply Typed Lambda Calculus
Abstract. This paper concerns retracts in simply typed lambda calculus assuming βη-equality. We provide a simple tableau proof system which characterises when a type is a retract of another type and which leads to an exponential decision procedure.
Mosaico de imagens de satélite do Pantanal no ano 2000.
O Pantanal devido a sua extensão e dificuldade de acesso representa um desafio para o desenvolvimento de atividades de produção e conservação da natureza. Nesse sentido as tecnologias de Sensoriamento Remoto podem contribuir muito para o conhecimento e manejo desse ecossistema. O presente trabalho apresenta o mosaico de imagens Landsat 7 ETM do ano 2000 do Pantanal, onde ao contrário dos demais produtos dessa natureza, apresenta uma maior precisão de posicionamento em função de um extenso trabalho de campo realizado para o georreferenciamento das imagens. Esse trabalho é o resultado da parceria entre a Embrapa Pantanal e a WWF Brasil e está disponível também na homepage da Embrapa Pantanal. Esperamos com essa iniciativa estar cumprindo com nosso objetivo de levar à comunidade informações sobre o Pantanal.bitstream/item/81191/1/DOC43.pd
Disponibilização de mapas de precipitação da bacia do Alto do Paraguai-Pantanal na rede social Facebook.
Utilizacão de pesticidas na agropecuária dos municípios da Bacia do Alto Taquari de 1988 a 1996 e risco de contaminação do Pantanal, MS, Brasil.
A partir da década de 1970, a remoção da vegetação nativa, principalmente dos cerrados, da Bacia do Alto Taquari (BAT), localizada em Mato Grosso do Sul e parte de Mato Grosso, se intensificou, para a implantação da agropecuária. Essa ocupação foi desordenada e não seguiu as técnicas mínimas de manejo e conservação de solo. As terras mais fracas foram transformadas em pastagens cultivadas. Os latossolos, localizados nos Chapadões e com topografia apropriada a mecanização agrícola, foram ocupados, principalmente, pelas culturas de soja, milho, arroz, trigo e feijão. A utilização de pesticidas passou a preocupar a sociedade pelo risco de afetar diretamente a saúde do homem pelo consumo de alimentos contaminados e, indiretamente, pelas cadeias alimentares. A contaminação pode também afetar a biodiversidade do Pantanal, sem que sintomas sejam percebidos. Este estudo teve o objetivo de avaliar a evolução da área cultivada nos municípios de BAT, estimar a carga de pesticidas utilizada por classe e grupo químico, discriminados por ano (1988 a 1996), por cultura e município. A área anualmente cultivada pelas principais culturas foi obtida da base de dados do IBGE. Também uma base informatizada foi gerada pela Embrapa Pantanal, referente a utilização de pesticidas nos municípios da BAT de Mato Grosso do Sul, extraídos do Receituário Agronômico do CREA-MS. Os dados revelaram que o município de São Gabriel do Oeste foi o que apresentou a maior área cultivada e a soja foi a cultura de maior expressão na utilização de pesticidas. Do total de pesticidas (herbicidas + inseticidas + fungicidas), calculado em 1.369.957 litros e 157.120 quilos, nos municípios da BAT/MS, de 1998 a 1996, São Gabriel do Oeste foi o que contribuiu com a maior proporção, estimada em 506.159 litros (36,95%) e 27.684 quilos, (17,62%), e com a maior carga de herbicidas, estimada em 400.555 litros (37,20%). Os herbicidas foram os mais utilizados na BAT no período avaliado, seguido a distancia pelos inseticidas e fungicidas. A cultura de soja foi a que mais empregou herbicidas. Destacam-se as dinitroanilinas, base da trifuralina, do grupo químico dos herbicidas, seguido por difenileteres, imidazolinonas, imidazolinas, benzotiazinas, bipiridilios, derivados de glicina, fenoxiaceticos, aceanilidas, ariloxi fenopis propionatos, triazinas e sulfonilureias. Dos inseticidas, os grupos mais utilizados foram os organofosforados, esteres do ácido sulfuroso de um diol ciclico (organoclorados), carbamatos, triazina + triazina, pirotroides sintéticos, organoclorofosforados, atrizina + metolachlor, organoclorados e dinitroanilinas, em ordem decrescente. Dos fungicidas, em ordem decrescente, encontram-se os ditiocarbamatos, ftalimidas, benzimidazois, triazois, ftaminas, cupricos e anilidas. E também apresentada uma analise do município de São Gabriel do Oeste, porque foi o apresentou a maior utilização de pesticidas na serie de anos avaliada e por apresentar quase toda sua área na BAT. Foram feitas algumas recomendações de ordem geral que podem contribuir para a redução do uso de pesticidas e melhorar a precisão das futuras avaliações em outras bacias hidrográficas do Pantanal.bitstream/item/37570/1/CT27.pd
VLA Observations of a New Population of Blazars
We present the first deep VLA radio images of flat-spectrum radio quasars
(FSRQ) with multiwavelength emission properties similar to those of BL Lacs
with synchrotron X-rays. Our observations of twenty-five of these sources show
that their radio morphologies are similar to those of other radio quasars.
However, their range of extended powers is more similar to that of BL Lacertae
objects (BL Lacs) and extends down to the low values typical of FR I radio
galaxies. Five out of our nine lobe-dominated sources have extended radio
powers in the range typical of both FR I and FR II radio galaxies, but their
extended radio structure is clearly FR II-like. Therefore, we have not yet
found a large population of radio quasars hosted by FR Is. Two thirds of our
sources have a core-dominated radio morpholgy and thus X-rays likely dominated
by the jet. We find that their ratios of radio core to total X-ray luminosity
are low and in the regime indicative of synchrotron X-rays. This result shows
that also blazars with strong emission lines can produce jets of high-energy
synchrotron emission and undermines at least in part the ``blazar sequence''
scenario which advocates that particle Compton cooling by an external radiation
field governs the frequency of the synchrotron emission peak.Comment: 26 pages, 33 figures. Accepted for publication in Ap
Potencial de contaminacao do Pantanal por pesticidas utilizados na Bacia do Alto Taquari, MS.
Os pesticidas compreendem um largo espectro de produtos quimicos usados na agropecuaria para controlar pragas, doencas de plantas e animais e combater ervas invasoras de culturas e pastagens. A eficacia comprovada desses produtos, aliada a crescente demanda setorial, viabilizou rapidamente a producao industrial, com o objetivo de incrementar a produtividade dos sistemas agropecuarios direcionados para a producao de alimentos. Os efeitos imediatos de toxicidade humana e ambiental foram durante muitos anos negligenciados ou considerados de menor relevancia. A expansao da agropecuaria na Bacia do Alto Paraguai (BAT), cuja superficie e de aproximadamente 29 mil km2, intensificada a partir da decada de 1970, passou a constituir uma serie ameaca para os ecossistemas do Pantanal, devido a elevada carga de pesticidas utilizados, colocando em risco as cadeias alimentares. Dos organismos que podem ser contaminados, os peixes, alem de constituirem fonte de proteina, representam um recurso natural de elevada importancia ambiental e economico-social para a Bacia do Rio Taquari. Os recursos pesqueiros desta bacia podem estar sendo diretamente contaminados por residuos de pesticidas ou atraves das cadeias alimentares.bitstream/item/41119/1/PA16.pd
Conversão da vegetação natural do Pantanal para uso antrópico de 1976 até 2017 e projeção para 2050.
O objetivo dessa publicação foi avaliar a evolução da conversão de vegetação nativa para uso antrópico até o presente e projetar a tendência futura até o ano de 2050, discutindo os fatores que influenciam positivamente e negativamente nesse processo. O foco das análises é o bioma Pantanal.bitstream/item/173028/1/COTCarlos-PAdovani-Final-09fev2018.pd
- …