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

Laboratório de enologia.

A vitivinicultura no Submédio São Francisco.bitstream/item/132811/1/ID-42731.pd