Statistical interaction modeling of bovine herd behaviors

While there has been interest in modeling the group behavior of herds or flocks, much of this work has focused on simulating their collective spatial motion patterns which have not accounted for individuality in the herd and instead assume a homogenized role for all members or sub-groups of the herd. Animal behavior experts have noted that domestic animals exhibit behaviors that are indicative of social hierarchy: leader/follower type behaviors are present as well as dominance and subordination, aggression and rank order, and specific social affiliations may also exist. Both wild and domestic cattle are social species, and group behaviors are likely to be influenced by the expression of specific social interactions. In this paper, Global Positioning System coordinate fixes gathered from a herd of beef cows tracked in open fields over several days at a time are utilized to learn a model that focuses on the interactions within the herd as well as its overall movement. Using these data in this way explores the validity of existing group behavior models against actual herding behaviors. Domain knowledge, location geography and human observations, are utilized to explain the causes of these deviations from this idealized behavior

Exploring the Trade-offs of Aggregated versus Disaggregated Architectures for Environmental Monitoring in Low-Earth Orbit

Traditionally, government space agencies have developed aggregated systems that co-host multiple capabilities on shared spacecraft buses. However, in response to cost growth and schedule delays on past programs, leaders in the government space community have expressed an interest in disaggregation, or distributing their capabilities across multiple spacecraft. Since their aggregated National Polar-orbiting Operational Satellite System (NPOESS) program was cancelled in 2010, both the National Oceanic and Atmospheric Administration (NOAA) and the Department of Defense (DoD) have investigated opportunities to reduce program costs through disaggregation. This paper expands their initial investigation and explores the cost impacts of aggregation and disaggregation across a large trade space of candidate architectures for environmental monitoring in low-Earth orbit. We find that on average, aggregated architectures are less costly than fully disaggregated ones but also find opportunities for cost savings by developing semi-aggregated systems, or systems with one or two satellites per orbital plane. Finally, we investigate several trades that are currently under consideration by NOAA and the DoD and make recommendations for future environmental monitoring systems in low-Earth orbit.Massachusetts Institute of Technology (Sandia Corporation Excellence in Engineering Graduate Fellowship)Skolkovo Institute of Science and Technolog

Characterizing upward lightning with and without a terrestrial gamma-ray flash

We compare two observations of gamma-rays before, during, and after lightning flashes initiated by upward leaders from a tower during low-altitude winter thunderstorms on the western coast of Honshu, Japan. While the two leaders appear similar, one produced a terrestrial gamma-ray flash (TGF) so bright that it paralyzed the gamma-ray detectors while it was occurring, and could be observed only via the weaker flux of neutrons created in its wake, while the other produced no detectable TGF gamma-rays at all. The ratio between the indirectly derived gamma-ray fluence for the TGF and the 95% confidence gamma-ray upper limit for the gamma-ray quiet flash is a factor of $1\times10^7$. With the only two observations of this type providing such dramatically different results -- a TGF probably as bright as those seen from space and a powerful upper limit -- we recognize that weak, sub-luminous TGFs in this situation are probably not common, and we quantify this conclusion. While the gamma-ray quiet flash appeared to have a faster leader and more powerful initial continuous current pulse than the flash that produced a TGF, the TGF-producing flash occurred during a weak gamma-ray "glow", while the gamma-ray quiet flash did not, implying a higher electric field aloft when the TGF was produced. We suggest that the field in the high-field region approached by a leader may be more important for whether a TGF is produced than the characteristics of the leader itself.Comment: 21 pages, 6 figures, accepted for publication by the Journal of Geophysical Research - Atmosphere

Contestable adulthood: variability and disparity in markers for negotiating the transition to adulthood

Recent research has identified a discreet set of subjective markers that are seen as characterizing the transition to adulthood. The current study challenges this coherence by examining the disparity and variability in young people’s selection of such criteria. Four sentence-completion cues corresponding to four differentcontexts in which adult status might be contested were given to 156 British 16- to 17-year-olds. Their qualitative responses were analyzed to explore patterns whilst capturing some of their richness and diversity. An astonishing amount of variability emerged, both within and between cued contexts.The implications of this variability for how the transition to adulthood is experienced are explored. The argument is made that markers of the transition to adulthood are not merely reflective of the bio–psycho–social development of young people. Rather, adulthood here is seen as an essentially contested concept,located within the discursive interactional environment in which young people participate

The social security rights of older international migrants in the European Union

Europe is now home to a significant and diverse population of older international migrants. Social and demographic changes have forced the issue of social security in old age onto the European social policy agenda in the last decade. In spite of an increased interest in the financial well-being of older people, many retired international migrants who are legally resident in the European Union face structured disadvantages. Four linked factors are of particular importance in shaping the pension rights and levels of financial provision available to individual older migrants: migration history, socio-legal status, past relationship to the paid labour market, and location within a particular EU Member State. Building on a typology of older migrants, the paper outlines the ways in which policy at both the European Union and Member State levels serves to diminish rather than enhance the social security rights of certain older international migrants

The origins of individual differences in how learning is expressed in rats: a general-process perspective

Laboratory rats can exhibit marked, qualitative individual differences in the form of acquired behaviors. For example, when exposed to a signal-reinforcer relationship some rats show marked and consistent changes in sign-tracking (interacting with the signal; e.g., a lever) and others show marked and consistent changes in goal-tracking (interacting with the location of the predicted reinforcer; e.g., the food well). Here, stable individual differences in rats' sign-tracking and goal-tracking emerged over the course of training, but these differences did not generalize across different signal-reinforcer relationships (Experiment 1). This selectivity suggests that individual differences in sign- and goal-tracking reflect differences in the value placed on individual reinforcers. Two findings provide direct support for this interpretation: the palatability of a reinforcer (as measured by an analysis of lick-cluster size) was positively correlated with goal-tracking (and negatively correlated with sign-tracking); and sating rats with a reinforcer affected goal-tracking but not sign-tracking (Experiment 2). These results indicate that the observed individual differences in sign- and goal-tracking behavior arise from the interaction between the palatability or value of the reinforcer and processes of association as opposed to dispositional differences (e.g., in sensory processes, 'temperament,' or response repertoire)

LArPix: Demonstration of low-power 3D pixelated charge readout for liquid argon time projection chambers

We report the demonstration of a low-power pixelated readout system designed for three-dimensional ionization charge detection and digital readout of liquid argon time projection chambers (LArTPCs). Unambiguous 3D charge readout was achieved using a custom-designed system-on-a-chip ASIC (LArPix) to uniquely instrument each pad in a pixelated array of charge-collection pads. The LArPix ASIC, manufactured in 180 nm bulk CMOS, provides 32 channels of charge-sensitive amplification with self-triggered digitization and multiplexed readout at temperatures from 80 K to 300 K. Using an 832-channel LArPix-based readout system with 3 mm spacing between pads, we demonstrated low-noise ($<$500 e$^-$ RMS equivalent noise charge) and very low-power ($<$100 $\mu$W/channel) ionization signal detection and readout. The readout was used to successfully measure the three-dimensional ionization distributions of cosmic rays passing through a LArTPC, free from the ambiguities of existing projective techniques. The system design relies on standard printed circuit board manufacturing techniques, enabling scalable and low-cost production of large-area readout systems using common commercial facilities. This demonstration overcomes a critical technical obstacle for operation of LArTPCs in high-occupancy environments, such as the near detector site of the Deep Underground Neutrino Experiment (DUNE).Comment: 19 pages, 10 figures, 1 ancillary animation. V3 includes minor revisions based on referee comment

The homotopy theory of dg-categories and derived Morita theory

The main purpose of this work is the study of the homotopy theory of dg-categories up to quasi-equivalences. Our main result provides a natural description of the mapping spaces between two dg-categories $C$ and $D$ in terms of the nerve of a certain category of $(C,D)$-bimodules. We also prove that the homotopy category $Ho(dg-Cat)$ is cartesian closed (i.e. possesses internal Hom's relative to the tensor product). We use these two results in order to prove a derived version of Morita theory, describing the morphisms between dg-categories of modules over two dg-categories $C$ and $D$ as the dg-category of $(C,D)$-bi-modules. Finally, we give three applications of our results. The first one expresses Hochschild cohomology as endomorphisms of the identity functor, as well as higher homotopy groups of the \emph{classifying space of dg-categories} (i.e. the nerve of the category of dg-categories and quasi-equivalences between them). The second application is the existence of a good theory of localization for dg-categories, defined in terms of a natural universal property. Our last application states that the dg-category of (continuous) morphisms between the dg-categories of quasi-coherent (resp. perfect) complexes on two schemes (resp. smooth and proper schemes) is quasi-equivalent to the dg-category of quasi-coherent complexes (resp. perfect) on their product.Comment: 50 pages. Few mistakes corrected, and some references added. Thm. 8.15 is new. Minor corrections. Final version, to appear in Inventione

SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts

SVtL is the core of a slicing-based verification environment for UML statechart models. We present an overview of the SVtL software architecture. Special attention is paid to the slicing approach. Slicing reduces the complexity of the verification approach, based on removing pieces of the model that are not of interest during verification. In [18] a slicing algorithm has been proposed for statecharts, but it was not able to handle orthogonal regions efficiently. We optimize this algorithm by removing false dependencies, relying on the broadcasting mechanism between different parts of the statechart model

Peacock Bundles: Bundle Coloring for Graphs with Globality-Locality Trade-off

Bundling of graph edges (node-to-node connections) is a common technique to enhance visibility of overall trends in the edge structure of a large graph layout, and a large variety of bundling algorithms have been proposed. However, with strong bundling, it becomes hard to identify origins and destinations of individual edges. We propose a solution: we optimize edge coloring to differentiate bundled edges. We quantify strength of bundling in a flexible pairwise fashion between edges, and among bundled edges, we quantify how dissimilar their colors should be by dissimilarity of their origins and destinations. We solve the resulting nonlinear optimization, which is also interpretable as a novel dimensionality reduction task. In large graphs the necessary compromise is whether to differentiate colors sharply between locally occurring strongly bundled edges ("local bundles"), or also between the weakly bundled edges occurring globally over the graph ("global bundles"); we allow a user-set global-local tradeoff. We call the technique "peacock bundles". Experiments show the coloring clearly enhances comprehensibility of graph layouts with edge bundling.Comment: Appears in the Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016