Transformers as Strong Lens Detectors- From Simulation to Surveys

With the upcoming large-scale surveys like LSST, we expect to find approximately $10^5$ strong gravitational lenses among data of many orders of magnitude larger. In this scenario, the usage of non-automated techniques is too time-consuming and hence impractical for science. For this reason, machine learning techniques started becoming an alternative to previous methods. We propose a new machine learning architecture, based on the principle of self-attention, trained to find strong gravitational lenses on simulated data from the Bologna Lens Challenge. Self-attention-based models have clear advantages compared to simpler CNNs and highly competing performance in comparison to the current state-of-art CNN models. We apply the proposed model to the Kilo Degree Survey, identifying some new strong lens candidates, however, these have been identified among a plethora of false positives which made the application of this model not so advantageous. Therefore, throughout this paper, we investigate the pitfalls of this approach, and possible solutions, such as transfer learning, are proposed.Comment: 8 pages, 7 figure

Análise dos índices de universalização de água e de esgoto nas áreas urbanas do Estado do Rio Grande do Sul

O saneamento básico é de fundamental importância para a qualidade de vida das pessoas e para a preservação do meio ambiente. Sabe-se que a universalização, em especial no que tange ao tratamento de água e ao esgotamento sanitário, é um desafio para o Brasil, tanto pela extensão territorial, quanto pela falta de políticas públicas eficazes. Neste cenário, a Lei 11.445/2007, conhecida como a Lei do Saneamento, prevê a implantação do PLANSAB, o qual estabelece diretrizes, metas e ações de saneamento básico para o País para o vintênio 2014-2033 e, para o acompanhamento e a verificação do atendimento às metas do Plano, o SNIS é o sistema no qual os dados são informados pelas prestadoras de serviços de saneamento, de forma voluntária. A importância do estudo dá-se pelo conhecimento da situação do saneamento básico nas áreas urbanas do estado, auxiliando no dimensionamento do desafio da universalização, em especial, do esgotamento sanitário. Objetivou-se analisar a situação da universalização de água e esgoto no Estado do Rio Grande do Sul em relação às metas dos indicadores do Índice de Atendimento Urbano de Esgoto referido aos municípios atendidos com água e do Índice de Atendimento Urbano de Água. Os dados foram coletados no SNIS e no PLANSAB, tendo sido analisados os índices de cobertura de água e de esgoto, de forma global, por mesorregião, pela existência de PMSB e pelo tipo de prestador de serviço. A avaliação dos índices indicou boas perspectivas de atendimento da meta para a universalização de água nas áreas urbanos do estado do Rio Grande do Sul, mas foi preocupante nos índices de esgotamento sanitário.Basic sanitation is of fundamental importance for the quality of life of the people and for the preservation of the environment. It is known that universalization, especially in relation to water treatment and sanitary sewage, is a challenge for Brazil, both for territorial extension and for the lack of effective public policies. In this scenario, Law No. 11,445 / 2007, known as the Sanitation Law, provides for the implementation of PLANSAB, which establishes guidelines, goals and actions for basic sanitation for the country for the 2014-2033 and, for monitoring and verification of the plan's goals, the SNIS is the system in which the data are informed by the sanitation service providers, on a voluntary basis. The importance of the study is due to the knowledge of the situation of basic sanitation in the urban areas of the state, helping in the dimensioning of the challenge of universalization, especially of sanitary sewage. The objective of this study was to analyze the situation of water and sewage universalization in the State of Rio Grande do Sul in relation to the targets of the Indicators of the Urban Sewer Service Index referring to the municipalities served with water and the Urban Water Service Index. The data were collected in the SNIS and PLANSAB, and the water and sewage coverage indexes were analyzed globally, by mesoregion, by the existence of SMP and by the type of service provider. The evaluation of the indexes indicated good prospects of meeting the goal for the universalization of water in the urban areas of the state of Rio Grande do Sul, but it was worrisome in the indexes of sanitary sewage

Caio Prado Jr.'s theory of history: dialetics and meaning

This article analyzes the works in which Caio Prado Jr. deals with methodological and philosophical issues, trying to understand in first place how he formulated the main concepts of dialectics and how he linked them to philosophical tradition, specially that of Hegel and of Marx. Secondly, in this context the concept of meaning is analyzed in its full dialectical complexity, and only then its non-reductionist understanding in the historians work could be achieved.Este artigo analisa as obras em que Caio Prado Jr. trata de temas de metodologia e filosofia, buscando entender, em primeiro lugar, como ele formulava os principais conceitos da dialética e como os vinculava à tradição filosófica, especialmente a de Hegel e de Marx. Em segundo lugar, a partir deste contexto é analisado o conceito de sentido em sua riqueza dialética, para daí entender sem reducionismos como ele aparece na obra do historiador

Astronomaly at Scale: Searching for Anomalies Amongst 4 Million Galaxies

Modern astronomical surveys are producing datasets of unprecedented size and richness, increasing the potential for high-impact scientific discovery. This possibility, coupled with the challenge of exploring a large number of sources, has led to the development of novel machine-learning-based anomaly detection approaches, such as Astronomaly. For the first time, we test the scalability of Astronomaly by applying it to almost 4 million images of galaxies from the Dark Energy Camera Legacy Survey. We use a trained deep learning algorithm to learn useful representations of the images and pass these to the anomaly detection algorithm isolation forest, coupled with Astronomaly's active learning method, to discover interesting sources. We find that data selection criteria have a significant impact on the trade-off between finding rare sources such as strong lenses and introducing artefacts into the dataset. We demonstrate that active learning is required to identify the most interesting sources and reduce artefacts, while anomaly detection methods alone are insufficient. Using Astronomaly, we find 1635 anomalies among the top 2000 sources in the dataset after applying active learning, including 8 strong gravitational lens candidates, 1609 galaxy merger candidates, and 18 previously unidentified sources exhibiting highly unusual morphology. Our results show that by leveraging the human-machine interface, Astronomaly is able to rapidly identify sources of scientific interest even in large datasets.Comment: 15 pages, 9 figures. Comments welcome, especially suggestions about the anomalous source

Produção de leite a base de pastagem de sorgo : um estudo de caso do município de Tapejara/RS

Este estudo buscou analisar as principais vantagens e desvantagens da utilização do sorgo como pastagem na atividade leiteira em uma propriedade familiar do município de Tapejara/RS. A pesquisa foi balizada com elementos sobre a importância da administração e da gestão rural para propriedades familiares. Foi desenvolvida com o auxílio de uma planilha eletrônica, que pode ser observada no anexo A. Esta planilha ofereceu ferramentas para geração e cálculo de indicadores agroeconômicos com objetivo de verificar o desempenho da propriedade em sua atividade leiteira. Os resultados apontam que a UPA em estudo, utilizando o sorgo como alimento principal de seu rebanho, foi capaz de atingir resultado econômico positivo. O conhecimento desse resultado foi possível graças à utilização da ferramenta proposta (planilha de cálculo), como auxiliar na gestão da UPA.This study sought to analyze the main advantages and disadvantages of the use of sorghum as pasture in dairy activity in a family property in the municipality of Tapejara / RS. The research was based on the importance of rural management and management for family farms. It was developed with the help of a spreadsheet, which can be observed in Annex A. This spreadsheet offered tools for the generation and calculation of agroeconomic indicators to verify the performance of the property in its milk activity. The results indicate that the UPA under study, using sorghum as the main food of its herd, was able to reach a positive economic result. The knowledge of this result was possible thanks to the use of the proposed tool (spreadsheet), as an aid in the management of UPA

A desmedida do capital

Resultado de comunicação no debate “Marxismo e Crise” promovido pelos Cadernos, o presente texto procura um eixo articulador para os vários conceitos de crise apresentados em O Capital e desenvolvidos pela tradição marxista subseqüente. Para tanto, discute as categorias de “medida” e de “desmedida”, centrais na dialética da Doutrina do Ser hegeliana e que Marx reencontra no movimento enlouquecido das formas do mundo capitalista, base das crises

Linac4 DTL Prototype: Theoretical Model, Simulation and Low Energy Measurements

A one meter long hot prototype of the LINAC4 DTL, built in a collaboration with INFN Legnaro, was delivered to CERN in 2008. It was then copper plated at CERN is and is presently prepared for high-power testing at the CERN test stand in SM18. In this paper we present 2D/3D simulations and the first RF low-power measurements to verify the electromagnetic properties of the cavity and to tune it before the high-power RF tests. In particular, the influence of the post couplers was studied in order to guarantee stabilization of the accelerating field during operation. We present an equivalent circuit model of the DTL, together with a comparison of 3D simulations and measurement results for the hot model

O lugar da história em tempos de crise

After the crisis of the historiographic models of the 70's and 80's, characterized by a mutual fragmentation of objects and the subject, a new interest for this last one was created and accomplished through the hermeneutics of Gadamer and Ricoeur. My article intends to examine this alternative, taking into consideration the permanence of modern social processes of autonomization, through which a kind of "automatic subject" dominates and involves individual agents. A free and conscious subject is only possible under the circumstance of a crisis like the present one, making of it the decisive opportunity for a critical reorganization of the entire system composed by identities and differences that constitute social existence and historical conscience.A crise dos modelos historiográficos das décadas de 70 e 80, em que a fragmentação dos objetos correspondia à do sujeito, levou a um recente retorno a este último, pela via da hermenêutica de Gadamer e Ricoeur. O presente texto procura discutir também esta alternativa, considerando que os processos sociais da modernidade se autonomizam dos seus agentes e constituem como que um "sujeito automático" a subjugar os sujeitos conscientes e envolvê-los em suas estruturas. O sujeito relativamente consciente e livre só pontua através da crise em que entram aqueles processos sociais, como verificamos na atualidade. A crise representa, assim, o ressurgimento da história enquanto oportunidade decisiva para reordenar, mediante a crítica, a trama da identidade e da diferença, constitutiva tanto da existência social quanto da consciência historiadora

História e Historiografia das crises

Taking as its starting-point the contemporary experience of economic and political crisis determined by elements seen as uncontrollable, this article resumes some of the main historiographical perspectives from the XIX to the XXI century on the phenomenon. Theories of collapse and cyclical time are examined from a point of view that aims to grasp not only the content of concepts but also their logical modality, i.e. how each theory explains the occurrence of the alternative stages of a cycle or of the debacle of a social system – as the result of casual or necessary conditions.Desde el punto de vista de la experiencia contemporanea de las crisis económicas y políticas determinadas por factores percibidos como incontrolables, este artículo vuelve a algunas de las más importantes perspectivas historiográficas del siglo XIX hasta el XXI sobre el fenómeno. Se examinan concepciones de colapso y tiempo cíclico desde un punto de vista que, más allá de su contenido específico, busca estabelecer como cada concepción aprehende la modalidad de su ocurrir, eso és, si las fases de un ciclo o el derrumbe de un sistema social resultam de condiciones casuales o necessarias.Partindo da experiência contemporânea das crises econômicas e políticas determinadas por fatores percebidos como incontroláveis, este artigo retoma algumas das mais importantes perspectivas historiográficas do século XIX ao XXI sobre o fenômeno. São examinadas concepções de colapso e tempo cíclico, mas de um ponto de vista que, além do seu conteúdo específico, busca estabelecer como cada concepção apreende a modalidade de sua ocorrência, ou seja, se as fases de um ciclo ou a derrocada de um sistema social resultam de condições casuais ou necessárias