5,444 research outputs found
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
Avaliação de genótipos de mandioca em diferentes épocas de colheita no estado do Acre.
No Estado do Acre, a mandioca tem grande importância econômica e social, constituindo-se num dos principais produtos básicos da alimentação da população, principalmente na forma de farinha, mas com grande potencial também para o consumo in natura. O objetivo deste trabalho foi avaliar genótipos de mandioca em diferentes épocas de colheita no Estado do Acre. Foram avaliados dez genótipos de mandioca em quatro épocas de colheita utilizando o delineamento de blocos casualizados com quatro repetições, em esquema de parcelas subdivididas, sendo as épocas as parcelas e os genótipos as subparcelas, nas safras 1999/2000 e 2000/2001. Os genótipos MD-33 e Pão apresentaram alto rendimento de raízes e resistência à podridão radicular; o primeiro é indicado para a industrialização e o segundo para o consumo in natura. A colheita aos 14 meses após o plantio proporcionou o maior rendimento de raízes, mas apresentou maior incidência de podridão radicular. O teor de amido e a incidência de podridão radicular variaram em razão dos genótipos e épocas de colheita avaliados
What smells? Developing in-field methods to characterize the chemical composition of wild mammalian scent cues
Olfactory cues play an important role in mammalian biology, but have been challenging to assess in the field. Current methods pose problematic issues with sample storage and transportation, limiting our ability to connect chemical variation in scents with relevant ecological and behavioral contexts. Real-time, in-field analysis via portable gas chromatography–mass spectrometry (GC-MS) has the potential to overcome these issues, but with trade-offs of reduced sensitivity and compound mass range. We field-tested the ability of portable GC-MS to support two representative applications of chemical ecology research with a wild arboreal primate, common marmoset monkeys (Callithrix jacchus). We developed methods to (a) evaluate the chemical composition of marmoset scent marks deposited at feeding sites and (b) characterize the scent profiles of exudates eaten by marmosets. We successfully collected marmoset scent marks across several canopy heights, with the portable GC-MS detecting known components of marmoset glandular secretions and differentiating these from in-field controls. Likewise, variation in the chemical profile of scent marks demonstrated a significant correlation with marmoset feeding behavior, indicating these scents’ biological relevance. The portable GC-MS also delineated species-specific olfactory signatures of exudates fed on by marmosets. Despite the trade-offs, portable GC-MS represents a viable option for characterizing olfactory compounds used by wild mammals, yielding biologically relevant data. While the decision to adopt portable GC-MS will likely depend on site- and project-specific needs, our ability to conduct two example applications under relatively challenging field conditions bodes well for the versatility of in-field GC-MS
On multigraded generalizations of Kirillov-Reshetikhin modules
We study the category of Z^l-graded modules with finite-dimensional graded
pieces for certain Z+^l-graded Lie algebras. We also consider certain Serre
subcategories with finitely many isomorphism classes of simple objects. We
construct projective resolutions for the simple modules in these categories and
compute the Ext groups between simple modules. We show that the projective
covers of the simple modules in these Serre subcategories can be regarded as
multigraded generalizations of Kirillov-Reshetikhin modules and give a
recursive formula for computing their graded characters
- …