A Bayesian estimate of the CMB-large-scale structure cross-correlation

Evidences for late-time acceleration of the Universe are provided by multiple probes, such as Type Ia supernovae, the cosmic microwave background (CMB) and large-scale structure (LSS). In this work, we focus on the integrated Sachs--Wolfe (ISW) effect, i.e., secondary CMB fluctuations generated by evolving gravitational potentials due to the transition between, e.g., the matter and dark energy (DE) dominated phases. Therefore, assuming a flat universe, DE properties can be inferred from ISW detections. We present a Bayesian approach to compute the CMB--LSS cross-correlation signal. The method is based on the estimate of the likelihood for measuring a combined set consisting of a CMB temperature and a galaxy contrast maps, provided that we have some information on the statistical properties of the fluctuations affecting these maps. The likelihood is estimated by a sampling algorithm, therefore avoiding the computationally demanding techniques of direct evaluation in either pixel or harmonic space. As local tracers of the matter distribution at large scales, we used the Two Micron All Sky Survey (2MASS) galaxy catalog and, for the CMB temperature fluctuations, the ninth-year data release of the Wilkinson Microwave Anisotropy Probe (WMAP9). The results show a dominance of cosmic variance over the weak recovered signal, due mainly to the shallowness of the catalog used, with systematics associated with the sampling algorithm playing a secondary role as sources of uncertainty. When combined with other complementary probes, the method presented in this paper is expected to be a useful tool to late-time acceleration studies in cosmology.Comment: 21 pages, 15 figures, 4 tables. We extended the previous analyses including WMAP9 Q, V and W channels, besides the ILC map. Updated to match accepted ApJ versio

Acessos de mandioca açucarada coletados no Nordeste paraense possuem o mesmo genótipo detectado por marcadores microssatélites.

A mandioca é encontrada na região Norte do Brasil e é usada como fonte de subsistência para muitas famílias. A mandioca açucarada ou mandiocaba, é um tipo de mandioca que armazena em suas raízes, além do amido, açúcares livres como reservas. Atualmente, vêm recebendo destaque pelo seu potencial para uso na fabricação de álcool combustível, devido ao acúmulo de glicose que pode ser convertida em etanol diretamente. Foi realizado teste para avaliar a diversidade genética de acessos de mandiocas açucaradas coletadas em diferentes locais do estado do Pará mantidos no banco de germoplasma da Embrapa Amazônia Oriental. Foi realizada a genotipagem molecular de nove acessos de mandioca açucarada e um acesso de mandioca brava com marcadores microssatélites. Para isso, foram utilizados 13 primers microssatélites e a corrida dos produtos amplificados foi realizada em géis de poliacrilamida 6%. Após a análise dos géis, foi verificado que todas as nove amostras de mandioca açucarada possuíam o mesmo genótipo, sendo verificada baixa variabilidade genética para esse grupo de mandiocas

Re-Design de tecidos estreitos para aplicações inovadoras

O conceito de qualidade de vida surge pela primeira vez em 1920, através do economista inglês Arthur Cecil Pigou, que utiliza este termo para descrever o impacto governamental sobre a vida das pessoas mais desfavorecidas. Com a instalação de uma era industrializada e com o fim da 2º Guerra Mundial, a sociedade mudou de paradigma e iniciou uma procura incessante de formas para melhorar a sua qualidade de vida. Este conceito desenvolve-se juntamente com o desenvolvimento do conceito de educação, saúde, habitação, transporte, trabalho e lazer, bem como indicadores do aumento da esperança de vida, a diminuição da mortalidade infantil e dos níveis de poluição. O avanço da tecnologia teve um papel fundamental para a evolução desses conceitos, bem como o Design na procura de soluções para aplicação dessas mesmas tecnologias. No caso concreto da indústria tèxtil, a tendência é o desenvolvimento de têxteis inteligentes envolvendo a engenharia electrónica no seu processo de conceptualização e de fabrico. A chamada tecnologia wearable abre novos horizontes para a criação de soluções inovadoras, abrindo novos nichos de mercado com elevado valor acrescentado. Existem atualmente vários produtos no mercado cuja funcionalidade e utilidade lhes conferiu um estatuto imutável ao longo dos anos, onde a evolução não avançou na tendência atual. Esse é o caso dos tecidos estreitos, cuja funcionalidade poderá adquirir novas capacidades e ser utilizada em diferentes componentes têxteis nas mais variadas áreas. Essas capacidades poderão ser acrescentadas pela incorporação de materiais com luminosidade (Led’s e L-Wire) nas suas estruturas. Neste estudo realizado o design de produtos com novas funcionalidades, adaptando as tecnologias até agora desenvolvidas em novas soluções e/ou novas recriações de produto.The concept of quality of life appears in 1920, through the british economist Arthur Cecil Pigou, who uses this term to describe the government's impact on the lives of the most underprivileged. With the installation of the industrialized era and the end of the World War two, the society changed the paradigm and began a constant search for ways to improve their quality of life. This concept is developed along with the development of the concept of education, health, housing, transportation, work and leisure, as well as indicators of increased life expectancy and decreased infant mortality. The evolution of technology had played a key role in the evolution of these concepts as well as the Design in finding solutions for application of these technologies. In the case of the textile industry the trend is the development of smart textiles involving electronic engineering in the process of conceptualizing and manufacturing. The result is the wearable technology that open new horizons for creating new solutions, opening new market niches with high added value. Currently there are several products on the market whose functionality and utility gave them an immutable status over the years, and the product evolution has not advanced in the current trend. This is the case of ribbon, whose functionality can acquire new skills and be used in different textile components in various areas. These capabilities may be added by the incorporation and variation of color. As an example with the ability to become photochromatic materials (with a variation of light), thermochromic (with temperature variation), electrochromic (with electricity variance) mecanic-chromic (with voltage variation and / or strain) and also the possibility of incorporating luminescent coatings and the incorporation of luminescent materials in the structure. In this study will be developed an product design with new features and adapt the technologies so far developed in new solutions and / or new product recreationsEste trabalho foi desenvolvido no âmbito do projeto n.º 2014/37658 “NarrowTECH – Tecidos estreitos multifuncionais “, liderado pela empresa IDEPA e co-financiado pelo Fundo Europeu de Desenvolvimento Regional FEDER, através do COMPETE – Programa Operacional Fatores de Competitividad

Beyond Counting: New Perspectives on the Active IPv4 Address Space

In this study, we report on techniques and analyses that enable us to capture Internet-wide activity at individual IP address-level granularity by relying on server logs of a large commercial content delivery network (CDN) that serves close to 3 trillion HTTP requests on a daily basis. Across the whole of 2015, these logs recorded client activity involving 1.2 billion unique IPv4 addresses, the highest ever measured, in agreement with recent estimates. Monthly client IPv4 address counts showed constant growth for years prior, but since 2014, the IPv4 count has stagnated while IPv6 counts have grown. Thus, it seems we have entered an era marked by increased complexity, one in which the sole enumeration of active IPv4 addresses is of little use to characterize recent growth of the Internet as a whole. With this observation in mind, we consider new points of view in the study of global IPv4 address activity. Our analysis shows significant churn in active IPv4 addresses: the set of active IPv4 addresses varies by as much as 25% over the course of a year. Second, by looking across the active addresses in a prefix, we are able to identify and attribute activity patterns to network restructurings, user behaviors, and, in particular, various address assignment practices. Third, by combining spatio-temporal measures of address utilization with measures of traffic volume, and sampling-based estimates of relative host counts, we present novel perspectives on worldwide IPv4 address activity, including empirical observation of under-utilization in some areas, and complete utilization, or exhaustion, in others.Comment: in Proceedings of ACM IMC 201

Esgotamento sanitário nas áreas de maior concentração da agricultura familiar: situação da Região nordeste.

Este trabalho objetivou analisar as condições de esgotamento sanitário nas áreas de concentração da agricultura familiar na Região Nordeste do Brasil. A distribuição geográfica dos serviços de esgotamento sanitário não ocorre de forma homogênea. As áreas de maior concentração da agricultura familiar apresentam alta percentagem de domicílios rurais com esgotamento sanitário inadequado ou sem esgotamento, estando sujeitas a maiores riscos de incidência de doenças como cólera, diarréia, esquistossomose, dengue, filariose, amebíase, febre tifoide, etc., demandando a destinação de recursos e esforços para a melhoria das condições de esgotamento sanitário e das condições de vida da população rural.GEONORDESTE 2014. Trabalho publicado também no 7º Seminário de Iniciação Científica PIBIC/BIC Júnior, 2014, Sete Lagoas

The Vampire and the FOOL

This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arrays. In addition to having a first class boolean sort, FOOL also contains if-then-else and let-in expressions. We argue that presented extensions facilitate reasoning-based program analysis, both by increasing the expressivity of first-order reasoners and by gains in efficiency