Interstellar: Using Halide's Scheduling Language to Analyze DNN Accelerators

We show that DNN accelerator micro-architectures and their program mappings represent specific choices of loop order and hardware parallelism for computing the seven nested loops of DNNs, which enables us to create a formal taxonomy of all existing dense DNN accelerators. Surprisingly, the loop transformations needed to create these hardware variants can be precisely and concisely represented by Halide's scheduling language. By modifying the Halide compiler to generate hardware, we create a system that can fairly compare these prior accelerators. As long as proper loop blocking schemes are used, and the hardware can support mapping replicated loops, many different hardware dataflows yield similar energy efficiency with good performance. This is because the loop blocking can ensure that most data references stay on-chip with good locality and the processing units have high resource utilization. How resources are allocated, especially in the memory system, has a large impact on energy and performance. By optimizing hardware resource allocation while keeping throughput constant, we achieve up to 4.2X energy improvement for Convolutional Neural Networks (CNNs), 1.6X and 1.8X improvement for Long Short-Term Memories (LSTMs) and multi-layer perceptrons (MLPs), respectively.Comment: Published as a conference paper at ASPLOS 202

Generation of Entanglement Outside of the Light Cone

The Feynman propagator has nonzero values outside of the forward light cone. That does not allow messages to be transmitted faster than the speed of light, but it is shown here that it does allow entanglement and mutual information to be generated at space-like separated points. These effects can be interpreted as being due to the propagation of virtual photons outside of the light cone or as a transfer of pre-existing entanglement from the quantum vacuum. The differences between these two interpretations are discussed.Comment: 25 pages, 7 figures. Additional references and figur

Increased use of malaria rapid diagnostic tests improves targeting of anti-malarial treatment in rural Tanzania: implications for nationwide rollout of malaria rapid diagnostic tests.

ABSTRACT: BACKGROUND: The World Health Organization recommends parasitological confirmation of all malaria cases. Tanzania is implementing a phased rollout of malaria rapid diagnostic tests (RDTs) for routine use in all levels of care as one strategy to increase parasitological confirmation of malaria diagnosis. This study was carried out to evaluated artemisinin combination therapy (ACT) prescribing patterns in febrile patients with and without uncomplicated malaria in one pre-RDT implementation and one post-RDT implementation area. METHODS: A cross-sectional health facility surveys was conducted during high and low malaria transmission seasons in 2010 in both areas. Clinical information and a reference blood film on all patients presenting for an initial illness consultation were collected. Malaria was defined as a history of fever in the past 48 hours and microscopically confirmed parasitaemia. Routine diagnostic testing was defined as RDT or microscopy ordered by the health worker and performed at the health facility as part of the health worker-patient consultation. Correct diagnostic testing was defined as febrile patient tested with RDT or microscopy. Over-testing was defined as a febrile patient tested with RDT or microscopy. Correct treatment was defined as patient with malaria prescribed ACT. Over-treatment was defined as patient without malaria prescribed ACT. RESULTS: A total of 1,247 febrile patients (627 from pre-implementation area and 620 from post-implementation area) were included in the analysis. In the post-RDT implementation area, 80.9% (95% CI, 68.2-89.3) of patients with malaria received recommended treatment with ACT compared to 70.3% (95% CI, 54.7-82.2) of patients in the pre-RDT implementation area. Correct treatment was significantly higher in the post-implementation area during high transmission season (85.9% (95%CI, 72.0-93.6) compared to 58.3% (95%CI, 39.4-75.1) in pre-implementation area (p=0.01). Over-treatment with ACT of patients without malaria was less common in the post-RDT implementation area (20.9%; 95% CI, 14.7-28.8) compared to the pre-RDT implementation area (45.8%; 95% CI, 37.2-54.6) (p<0.01) in high transmission. The odds of overtreatment was significantly lower in post- RDT area (adjusted Odds Ratio (OR: 95%CI) 0.57(0.36-0.89); and much higher with clinical diagnosis adjusted OR (95%CI) 2.24(1.37-3.67) CONCLUSION: Implementation of RDTs increased use of RDTs for parasitological confirmation and reduced over-treatment with ACT during high malaria transmission season in one area in Tanzania. Continued monitoring of the national RDT rollout will be needed to assess whether these changes in case management practices will be replicated in other areas and sustained over time. Additional measures (such as refresher trainings, closer supervisions, etc) may be needed to improve ACT targeting during low transmission seasons

Common Representation of Information Flows for Dynamic Coalitions

We propose a formal foundation for reasoning about access control policies within a Dynamic Coalition, defining an abstraction over existing access control models and providing mechanisms for translation of those models into information-flow domain. The abstracted information-flow domain model, called a Common Representation, can then be used for defining a way to control the evolution of Dynamic Coalitions with respect to information flow

The effects of socioeconomic status and indices of physical environment on reduced birth weight and preterm births in Eastern Massachusetts

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.Background: Air pollution and social characteristics have been shown to affect indicators of health. While use of spatial methods to estimate exposure to air pollution has increased the power to detect effects, questions have been raised about potential for confounding by social factors.Methods: A study of singleton births in Eastern Massachusetts was conducted between 1996 and 2002 to examine the association between indicators of traffic, land use, individual and area-based socioeconomic measures (SEM), and birth outcomes ( birth weight, small for gestational age and preterm births), in a two-level hierarchical model.Results: We found effects of both individual ( education, race, prenatal care index) and area-based ( median household income) SEM with all birth outcomes. The associations for traffic and land use variables were mainly seen with birth weight, with an exception for an effect of cumulative traffic density on small for gestational age. Race/ethnicity of mother was an important predictor of birth outcomes and a strong confounder for both area-based SEM and indices of physical environment. The effects of traffic and land use differed by level of education and median household income.Conclusion: Overall, the findings of the study suggested greater likelihood of reduced birth weight and preterm births among the more socially disadvantaged, and a greater risk of reduced birth weight associated with traffic exposures. Results revealed the importance of controlling simultaneously for SEM and environmental exposures as the way to better understand determinants of health.This work is supported by the Harvard Environmental Protection Agency (EPA) Center, Grants R827353 and R-832416, and National Institute for Environmental Health Science (NIEHS) ES-0002

The 10th Biennial Hatter Cardiovascular Institute workshop: cellular protection—evaluating new directions in the setting of myocardial infarction, ischaemic stroke, and cardio-oncology

Due to its poor capacity for regeneration, the heart is particularly sensitive to the loss of contractile cardiomyocytes. The onslaught of damage caused by ischaemia and reperfusion, occurring during an acute myocardial infarction and the subsequent reperfusion therapy, can wipe out upwards of a billion cardiomyocytes. A similar program of cell death can cause the irreversible loss of neurons in ischaemic stroke. Similar pathways of lethal cell injury can contribute to other pathologies such as left ventricular dysfunction and heart failure caused by cancer therapy. Consequently, strategies designed to protect the heart from lethal cell injury have the potential to be applicable across all three pathologies. The investigators meeting at the 10th Hatter Cardiovascular Institute workshop examined the parallels between ST-segment elevation myocardial infarction (STEMI), ischaemic stroke, and other pathologies that cause the loss of cardiomyocytes including cancer therapeutic cardiotoxicity. They examined the prospects for protection by remote ischaemic conditioning (RIC) in each scenario, and evaluated impasses and novel opportunities for cellular protection, with the future landscape for RIC in the clinical setting to be determined by the outcome of the large ERIC-PPCI/CONDI2 study. It was agreed that the way forward must include measures to improve experimental methodologies, such that they better reflect the clinical scenario and to judiciously select combinations of therapies targeting specific pathways of cellular death and injury

Mapping Exoplanets

The varied surfaces and atmospheres of planets make them interesting places to live, explore, and study from afar. Unfortunately, the great distance to exoplanets makes it impossible to resolve their disk with current or near-term technology. It is still possible, however, to deduce spatial inhomogeneities in exoplanets provided that different regions are visible at different times---this can be due to rotation, orbital motion, and occultations by a star, planet, or moon. Astronomers have so far constructed maps of thermal emission and albedo for short period giant planets. These maps constrain atmospheric dynamics and cloud patterns in exotic atmospheres. In the future, exo-cartography could yield surface maps of terrestrial planets, hinting at the geophysical and geochemical processes that shape them.Comment: Updated chapter for Handbook of Exoplanets, eds. Deeg & Belmonte. 17 pages, including 6 figures and 4 pages of reference

Going to the exclusive show : exhibition strategies and moviegoing memories of Disneys animated feature films in Ghent (1937-1982)

This is a case study of the exploitation and experience of Disney's animated feature films from the 1930s to the 1980s in Ghent (Belgium). It is a historical study of programming practices and financial strategies which constructed childhood memories on watching Disney. The study is a contribution to a historical understanding of the implications of global distribution of film as cultural products and the counter pull of localism. Using a multi-method approach, the argument is made that the scarce screenings were strategically programmed to uplift the moviegoing experience into something out of the ordinary in everyday life. Programming and revenue data characterize the screenings as exclusive and generating high intakes. Consequently, the remembered screenings did not exhale an easy accessible social status nor an image of pervasiveness of popular childhood film, contradictory to conventional accounts of Disney's ubiquity in popular culture

How consistent are the transcriptome changes associated with cold acclimation in two species of the Drosophila virilis group?

This work was financially support by a Marie Curie Initial Training Network grant, “Understanding the evolutionary origin of biological diversity” (ITN-2008–213780 SPECIATION), grants from the Academy of Finland to A.H. (project 132619) and M.K. (projects 268214 and 272927), a grant from NERC, UK to M.G.R. (grant NE/J020818/1), and NERC, UK PhD studentship to D.J.P. (NE/I528634/1).For many organisms the ability to cold acclimate with the onset of seasonal cold has major implications for their fitness. In insects, where this ability is widespread, the physiological changes associated with increased cold tolerance have been well studied. Despite this, little work has been done to trace changes in gene expression during cold acclimation that lead to an increase in cold tolerance. We used an RNA-Seq approach to investigate this in two species of the Drosophila virilis group. We found that the majority of genes that are differentially expressed during cold acclimation differ between the two species. Despite this, the biological processes associated with the differentially expressed genes were broadly similar in the two species. These included: metabolism, cell membrane composition, and circadian rhythms, which are largely consistent with previous work on cold acclimation/cold tolerance. In addition, we also found evidence of the involvement of the rhodopsin pathway in cold acclimation, a pathway that has been recently linked to thermotaxis. Interestingly, we found no evidence of differential expression of stress genes implying that long-term cold acclimation and short-term stress response may have a different physiological basis.PostprintPeer reviewe

(Micro)evolutionary changes and the evolutionary potential of bird migration

Seasonal migration is the yearly long-distance movement of individuals between their breeding and wintering grounds. Individuals from nearly every animal group exhibit this behavior, but probably the most iconic migration is carried out by birds, from the classic V-shape formation of geese on migration to the amazing nonstop long-distance flights undertaken by Arctic Terns Sterna paradisaea. In this chapter, we discuss how seasonal migration has shaped the field of evolution. First, this behavior is known to turn on and off quite rapidly, but controversy remains concerning where this behavior first evolved geographically and whether the ancestral state was sedentary or migratory (Fig. 7.1d, e). We review recent work using new analytical techniques to provide insight into this topic. Second, it is widely accepted that there is a large genetic basis to this trait, especially in groups like songbirds that migrate alone and at night precluding any opportunity for learning. Key hypotheses on this topic include shared genetic variation used by different populations to migrate and only few genes being involved in its control. We summarize recent work using new techniques for both phenotype and genotype characterization to evaluate and challenge these hypotheses. Finally, one topic that has received less attention is the role these differences in migratory phenotype could play in the process of speciation. Specifically, many populations breed next to one another but take drastically different routes on migration (Fig. 7.2). This difference could play an important role in reducing gene flow between populations, but our inability to track most birds on migration has so far precluded evaluations of this hypothesis. The advent of new tracking techniques means we can track many more birds with increasing accuracy on migration, and this work has provided important insight into migration's role in speciation that we will review here