6,261 research outputs found
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
Mononychellus tanajoa (Bondar, 1938) (Acari, Tetranychidae) no banco de germoplasma de mandioca da Embrapa Amazônia Oriental.
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
- …