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

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

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

Compostos bioativos e atividade antioxidante de pitangas em função de diferentes estádios de maturação e espaçamentos de plantio.

bitstream/item/79715/1/Comunicado-268.pd

Cusp-scaling behavior in fractal dimension of chaotic scattering

A topological bifurcation in chaotic scattering is characterized by a sudden change in the topology of the infinite set of unstable periodic orbits embedded in the underlying chaotic invariant set. We uncover a scaling law for the fractal dimension of the chaotic set for such a bifurcation. Our analysis and numerical computations in both two- and three-degrees-of-freedom systems suggest a striking feature associated with these subtle bifurcations: the dimension typically exhibits a sharp, cusplike local minimum at the bifurcation.Comment: 4 pages, 4 figures, Revte

Least squares finite element method for 3D unsteady diffusion and reaction-diffusion problems

In this paper a study to application of Least Squares Finite Element Method (LSFEM) is made and with auxiliary equations (temperature derivatives) in the solution of Transient Three-dimensional Diffusion-Reaction. In order to do so, two applications are presented and discussed, one of them Pure Diffusion and another DiffusionReaction, both solved towards the constructive meshes with hexahedron of 8 and 27 nodes. This analysis uses the standard L∞ (maximum error in all meshes) and L2 (average error in all the meshes) to verify the numerical error committed in the solution9196209CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO - CNPQFUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULO - FAPESP500382/2011-52014/06679-