Showing 1–40 of 40 results for author: Sampson, A

FEWSim: A Visual Analytic Framework for Exploring the Nexus of Food-Energy-Water Simulations

Authors: Fan Lei, David A. Sampson, Jiayi Hong, Yuxin Ma, Giuseppe Mascaro, Dave White, Rimjhim Agarwal, Ross Maciejewski

Abstract: The interdependencies of food, energy, and water (FEW) systems create a nexus opportunity to explore the strengths and vulnerabilities of individual and cross-sector interactions within FEW systems. However, the variables quantifying nexus interactions are hard to observe, which hinders the cross-sector analysis. To overcome such challenges, we present FEWSim, a visual analytics framework designed… ▽ More The interdependencies of food, energy, and water (FEW) systems create a nexus opportunity to explore the strengths and vulnerabilities of individual and cross-sector interactions within FEW systems. However, the variables quantifying nexus interactions are hard to observe, which hinders the cross-sector analysis. To overcome such challenges, we present FEWSim, a visual analytics framework designed to support domain experts in exploring and interpreting simulation results from a coupled FEW model. FEWSim employs a three-layer asynchronous architecture: the model layer integrates food, energy, and water models to simulate the FEW nexus; the middleware layer manages scenario configuration and execution; and the visualization layer provides interactive visual exploration of simulated time-series results across FEW sectors. The visualization layer further facilitates the exploration across multiple scenarios and evaluates scenario differences in performance using sustainability indices of the FEW nexus. We demonstrate the utility of FEWSim through a case study for the Phoenix Active Management Area (AMA) in Arizona. △ Less

Submitted 16 June, 2025; originally announced June 2025.

Comments: Accepted by IEEE Computer Graphics and Applications (CG&A)

Correct and Compositional Hardware Generators

Authors: Rachit Nigam, Ethan Gabizon, Edmund Lam, Adrian Sampson

Abstract: Hardware generators help designers explore families of concrete designs and their efficiency trade-offs. Both parameterized hardware description languages (HDLs) and higher-level programming models, however, can obstruct composability. Different concrete designs in a family can have dramatically different timing behavior, and high-level hardware generators rarely expose a consistent HDL-level inte… ▽ More Hardware generators help designers explore families of concrete designs and their efficiency trade-offs. Both parameterized hardware description languages (HDLs) and higher-level programming models, however, can obstruct composability. Different concrete designs in a family can have dramatically different timing behavior, and high-level hardware generators rarely expose a consistent HDL-level interface. Composition, therefore, is typically only feasible at the level of individual instances: the user generates concrete designs and then composes them, sacrificing the ability to parameterize the combined design. We design Parafil, a system for correctly composing hardware generators. Parafil builds on Filament, an HDL with strong compile-time guarantees, and lifts those guarantees to generators to prove that all possible instantiations are free of timing bugs. Parafil can integrate with external hardware generators via a novel system of output parameters and a framework for invoking generator tools. We conduct experiments with two other generators, FloPoCo and Google's XLS, and we implement a parameterized FFT generator to show that Parafil ensures correct design space exploration. △ Less

Submitted 4 January, 2024; originally announced January 2024.

Comments: 13 pages

Unifying Static and Dynamic Intermediate Languages for Accelerator Generators

Authors: Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, Rachit Nigam

Abstract: Compilers for accelerator design languages (ADLs) translate high-level languages into application-specific hardware. ADL compilers rely on a hardware control interface to compose hardware units. There are two choices: static control, which relies on cycle-level timing; or dynamic control, which uses explicit signalling to avoid depending on timing details. Static control is efficient but brittle;… ▽ More Compilers for accelerator design languages (ADLs) translate high-level languages into application-specific hardware. ADL compilers rely on a hardware control interface to compose hardware units. There are two choices: static control, which relies on cycle-level timing; or dynamic control, which uses explicit signalling to avoid depending on timing details. Static control is efficient but brittle; dynamic control incurs hardware costs to support compositional reasoning. Piezo is an ADL compiler that unifies static and dynamic control in a single intermediate language (IL). Its key insight is that the IL's static fragment is a refinement of its dynamic fragment: static code admits a subset of the run-time behaviors of the dynamic equivalent. Piezo can optimize code by combining facts from static and dynamic submodules, and it opportunistically converts code from dynamic to static control styles. We implement Piezo as an extension to an existing dynamic ADL compiler, Calyx. We use Piezo to implement an MLIR frontend, a systolic array generator, and a packet-scheduling hardware generator to demonstrate its optimizations and the static-dynamic interactions it enables. △ Less

Submitted 26 December, 2023; originally announced December 2023.

Comments: 12 pages, 9 figures

Emergent (In)Security of Multi-Cloud Environments

Authors: Morgan Reece, Theodore Lander Jr., Sudip Mittal, Nidhi Rastogi, Josiah Dykstra, Andy Sampson

Abstract: As organizations increasingly use cloud services to host their IT infrastructure, there is a need to share data among these cloud hosted services and systems. A majority of IT organizations have workloads spread across different cloud service providers, growing their multi-cloud environments. When an organization grows their multi-cloud environment, the threat vectors and vulnerabilities for their… ▽ More As organizations increasingly use cloud services to host their IT infrastructure, there is a need to share data among these cloud hosted services and systems. A majority of IT organizations have workloads spread across different cloud service providers, growing their multi-cloud environments. When an organization grows their multi-cloud environment, the threat vectors and vulnerabilities for their cloud systems and services grow as well. The increase in the number of attack vectors creates a challenge of how to prioritize mitigations and countermeasures to best defend a multi-cloud environment against attacks. Utilizing multiple industry standard risk analysis tools, we conducted an analysis of multi-cloud threat vectors enabling calculation and prioritization for the identified mitigations and countermeasures. The prioritizations from the analysis showed that authentication and architecture are the highest risk areas of threat vectors. Armed with this data, IT managers are able to more appropriately budget cybersecurity expenditure to implement the most impactful mitigations and countermeasures. △ Less

Submitted 2 November, 2023; originally announced November 2023.

Journal ref: 39th ACM Annual Computer Security Applications Conference 2023 (ACM ACSAC 2023)

Modernising the Design and Analysis of Prevalence Surveys for Neglected Tropical Diseases

Authors: Peter J. Diggle, Claudio Fronterre, Katherine Gass, Lee Hundley, Reza Niles-Robin, Annastacia Sampson, Ana Morice, Ronaldo Carvalho Scholte

Abstract: Current WHO guidelines set prevalence thresholds below which a Neglected Tropical Disease can be considered to have been eliminated as a public health problem, and specify how surveys to assess whether elimination has been achieved should be designed and analysed, based on classical survey sampling methods. In this paper we describe an alternative approach based on geospatial statistical modelling… ▽ More Current WHO guidelines set prevalence thresholds below which a Neglected Tropical Disease can be considered to have been eliminated as a public health problem, and specify how surveys to assess whether elimination has been achieved should be designed and analysed, based on classical survey sampling methods. In this paper we describe an alternative approach based on geospatial statistical modelling. We first show the gains in efficiency that can be obtained by exploiting any spatial correlation in the underlying prevalence surface. We then suggest that the current guidelines implicit use of a significance testing argument is not appropriate; instead, we argue for a predictive inferential framework, leading to design criteria based on controlling the rates at which areas whose true prevalence lies above and below the elimination threshold are incorrectly classified. We describe how this approach naturally accommodates context-specific information in the form of georeferenced covariates that have been shown to be predictive of disease prevalence. Finally, we give a progress report of an ongoing collaboration with the Guyana Ministry of Health Neglected Tropical Disease program on the design of an IDA (Ivermectin, Diethylcarbamazine and Albendazole) Impact Survey (IIS) of lymphatic filariasis to be conducted in Guyana in early 2023 △ Less

Submitted 14 June, 2023; originally announced June 2023.

Comments: 11 pages, 3 figures

Fifty Years of ISCA: A data-driven retrospective on key trends

Authors: Gaurang Upasani, Matthew D. Sinclair, Adrian Sampson, Parthasarathy Ranganathan, David Patterson, Shaan Shah, Nidhi Parthasarathy, Rutwik Jain

Abstract: Computer Architecture, broadly, involves optimizing hardware and software for current and future processing systems. Although there are several other top venues to publish Computer Architecture research, including ASPLOS, HPCA, and MICRO, ISCA (the International Symposium on Computer Architecture) is one of the oldest, longest running, and most prestigious venues for publishing Computer Architectu… ▽ More Computer Architecture, broadly, involves optimizing hardware and software for current and future processing systems. Although there are several other top venues to publish Computer Architecture research, including ASPLOS, HPCA, and MICRO, ISCA (the International Symposium on Computer Architecture) is one of the oldest, longest running, and most prestigious venues for publishing Computer Architecture research. Since 1973, except for 1975, ISCA has been organized annually. Accordingly, this year will be the 50th year of ISCA. Thus, we set out to analyze the past 50 years of ISCA to understand who and what has been driving and innovating computing systems thus far. Our analysis identifies several interesting trends that reflect how ISCA, and Computer Architecture in general, has grown and evolved in the past 50 years, including minicomputers, general-purpose uniprocessor CPUs, multiprocessor and multi-core CPUs, general-purpose GPUs, and accelerators. △ Less

Submitted 18 November, 2023; v1 submitted 6 June, 2023; originally announced June 2023.

Comments: 34 pages, 16 figures

Systemic Risk and Vulnerability Analysis of Multi-cloud Environments

Authors: Morgan Reece, Theodore Edward Lander Jr., Matthew Stoffolano, Andy Sampson, Josiah Dykstra, Sudip Mittal, Nidhi Rastogi

Abstract: With the increasing use of multi-cloud environments, security professionals face challenges in configuration, management, and integration due to uneven security capabilities and features among providers. As a result, a fragmented approach toward security has been observed, leading to new attack vectors and potential vulnerabilities. Other research has focused on single-cloud platforms or specific… ▽ More With the increasing use of multi-cloud environments, security professionals face challenges in configuration, management, and integration due to uneven security capabilities and features among providers. As a result, a fragmented approach toward security has been observed, leading to new attack vectors and potential vulnerabilities. Other research has focused on single-cloud platforms or specific applications of multi-cloud environments. Therefore, there is a need for a holistic security and vulnerability assessment and defense strategy that applies to multi-cloud platforms. We perform a risk and vulnerability analysis to identify attack vectors from software, hardware, and the network, as well as interoperability security issues in multi-cloud environments. Applying the STRIDE and DREAD threat modeling methods, we present an analysis of the ecosystem across six attack vectors: cloud architecture, APIs, authentication, automation, management differences, and cybersecurity legislation. We quantitatively determine and rank the threats in multi-cloud environments and suggest mitigation strategies. △ Less

Submitted 7 July, 2023; v1 submitted 2 June, 2023; originally announced June 2023.

Comments: 27 pages, 9 figures

Modular Hardware Design with Timeline Types

Authors: Rachit Nigam, Pedro Henrique Azevedo De Amorim, Adrian Sampson

Abstract: Modular design is a key challenge for enabling large-scale reuse of hardware modules. Unlike software, however, hardware designs correspond to physical circuits and inherit constraints from them. Timing constraints -- which cycle a signal arrives, when an input is read -- and structural constraints -- how often a multiplier accepts new inputs -- are fundamental to hardware interfaces. Existing har… ▽ More Modular design is a key challenge for enabling large-scale reuse of hardware modules. Unlike software, however, hardware designs correspond to physical circuits and inherit constraints from them. Timing constraints -- which cycle a signal arrives, when an input is read -- and structural constraints -- how often a multiplier accepts new inputs -- are fundamental to hardware interfaces. Existing hardware design languages do not provide a way to encode these constraints; a user must read documentation, build scripts, or in the worst case, a module's implementation to understand how to use it. We present Filament, a language for modular hardware design that supports the specification and enforcement of timing and structural constraints for statically scheduled pipelines. Filament uses timeline types, which describe the intervals of clock-cycle time when a given signal is available or required. Filament enables safe composition of hardware modules, ensures that the resulting designs are correctly pipelined, and predictably lowers them to efficient hardware. △ Less

Submitted 20 April, 2023; originally announced April 2023.

Comments: Extended version of PLDI '23 paper

Dense Pruning of Pointwise Convolutions in the Frequency Domain

Authors: Mark Buckler, Neil Adit, Yuwei Hu, Zhiru Zhang, Adrian Sampson

Abstract: Depthwise separable convolutions and frequency-domain convolutions are two recent ideas for building efficient convolutional neural networks. They are seemingly incompatible: the vast majority of operations in depthwise separable CNNs are in pointwise convolutional layers, but pointwise layers use 1x1 kernels, which do not benefit from frequency transformation. This paper unifies these two ideas b… ▽ More Depthwise separable convolutions and frequency-domain convolutions are two recent ideas for building efficient convolutional neural networks. They are seemingly incompatible: the vast majority of operations in depthwise separable CNNs are in pointwise convolutional layers, but pointwise layers use 1x1 kernels, which do not benefit from frequency transformation. This paper unifies these two ideas by transforming the activations, not the kernels. Our key insights are that 1) pointwise convolutions commute with frequency transformation and thus can be computed in the frequency domain without modification, 2) each channel within a given layer has a different level of sensitivity to frequency domain pruning, and 3) each channel's sensitivity to frequency pruning is approximately monotonic with respect to frequency. We leverage this knowledge by proposing a new technique which wraps each pointwise layer in a discrete cosine transform (DCT) which is truncated to selectively prune coefficients above a given threshold as per the needs of each channel. To learn which frequencies should be pruned from which channels, we introduce a novel learned parameter which specifies each channel's pruning threshold. We add a new regularization term which incentivizes the model to decrease the number of retained frequencies while still maintaining task accuracy. Unlike weight pruning techniques which rely on sparse operators, our contiguous frequency band pruning results in fully dense computation. We apply our technique to MobileNetV2 and in the process reduce computation time by 22% and incur <1% accuracy degradation. △ Less

Submitted 16 September, 2021; originally announced September 2021.

A Compiler Infrastructure for Accelerator Generators

Authors: Rachit Nigam, Samuel Thomas, Zhijing Li, Adrian Sampson

Abstract: We present Calyx, a new intermediate language (IL) for compiling high-level programs into hardware designs. Calyx combines a hardware-like structural language with a software-like control flow representation with loops and conditionals. This split representation enables a new class of hardware-focused optimizations that require both structural and control flow information which are crucial for hig… ▽ More We present Calyx, a new intermediate language (IL) for compiling high-level programs into hardware designs. Calyx combines a hardware-like structural language with a software-like control flow representation with loops and conditionals. This split representation enables a new class of hardware-focused optimizations that require both structural and control flow information which are crucial for high-level programming models for hardware design. The Calyx compiler lowers control flow constructs using finite-state machines and generates synthesizable hardware descriptions. We have implemented Calyx in an optimizing compiler that translates high-level programs to hardware. We demonstrate Calyx using two DSL-to-RTL compilers, a systolic array generator and one for a recent imperative accelerator language, and compare them to equivalent designs generated using high-level synthesis (HLS). The systolic arrays are $4.6\times$ faster and $1.1\times$ larger on average than HLS implementations, and the HLS-like imperative language compiler is within a few factors of a highly optimized commercial HLS toolchain. We also describe three optimizations implemented in the Calyx compiler. △ Less

Submitted 18 February, 2021; originally announced February 2021.

Comments: To appear at ASPLOS 2021

Journal ref: ASPLOS 2021: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems

Uncertainty Estimation with Deep Learning for Rainfall-Runoff Modelling

Authors: Daniel Klotz, Frederik Kratzert, Martin Gauch, Alden Keefe Sampson, Günter Klambauer, Sepp Hochreiter, Grey Nearing

Abstract: Deep Learning is becoming an increasingly important way to produce accurate hydrological predictions across a wide range of spatial and temporal scales. Uncertainty estimations are critical for actionable hydrological forecasting, and while standardized community benchmarks are becoming an increasingly important part of hydrological model development and research, similar tools for benchmarking un… ▽ More Deep Learning is becoming an increasingly important way to produce accurate hydrological predictions across a wide range of spatial and temporal scales. Uncertainty estimations are critical for actionable hydrological forecasting, and while standardized community benchmarks are becoming an increasingly important part of hydrological model development and research, similar tools for benchmarking uncertainty estimation are lacking. We establish an uncertainty estimation benchmarking procedure and present four Deep Learning baselines, out of which three are based on Mixture Density Networks and one is based on Monte Carlo dropout. Additionally, we provide a post-hoc model analysis to put forward some qualitative understanding of the resulting models. Most importantly however, we show that accurate, precise, and reliable uncertainty estimation can be achieved with Deep Learning. △ Less

Submitted 15 December, 2020; originally announced December 2020.

Comments: 32 pages, 11 figures

MSC Class: 86A05 ACM Class: J.2.5

Predictable Accelerator Design with Time-Sensitive Affine Types

Authors: Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, Zhiru Zhang

Abstract: Field-programmable gate arrays (FPGAs) provide an opportunity to co-design applications with hardware accelerators, yet they remain difficult to program. High-level synthesis (HLS) tools promise to raise the level of abstraction by compiling C or C++ to accelerator designs. Repurposing legacy software languages, however, requires complex heuristics to map imperative code onto hardware structures.… ▽ More Field-programmable gate arrays (FPGAs) provide an opportunity to co-design applications with hardware accelerators, yet they remain difficult to program. High-level synthesis (HLS) tools promise to raise the level of abstraction by compiling C or C++ to accelerator designs. Repurposing legacy software languages, however, requires complex heuristics to map imperative code onto hardware structures. We find that the black-box heuristics in HLS can be unpredictable: changing parameters in the program that should improve performance can counterintuitively yield slower and larger designs. This paper proposes a type system that restricts HLS to programs that can predictably compile to hardware accelerators. The key idea is to model consumable hardware resources with a time-sensitive affine type system that prevents simultaneous uses of the same hardware structure. We implement the type system in Dahlia, a language that compiles to HLS C++, and show that it can reduce the size of HLS parameter spaces while accepting Pareto-optimal designs. △ Less

Submitted 30 April, 2020; v1 submitted 9 April, 2020; originally announced April 2020.

Comments: Full paper with soundness proof and MachSuite ports

Journal ref: PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Optimizing JPEG Quantization for Classification Networks

Authors: Zhijing Li, Christopher De Sa, Adrian Sampson

Abstract: Deep learning for computer vision depends on lossy image compression: it reduces the storage required for training and test data and lowers transfer costs in deployment. Mainstream datasets and imaging pipelines all rely on standard JPEG compression. In JPEG, the degree of quantization of frequency coefficients controls the lossiness: an 8 by 8 quantization table (Q-table) decides both the quality… ▽ More Deep learning for computer vision depends on lossy image compression: it reduces the storage required for training and test data and lowers transfer costs in deployment. Mainstream datasets and imaging pipelines all rely on standard JPEG compression. In JPEG, the degree of quantization of frequency coefficients controls the lossiness: an 8 by 8 quantization table (Q-table) decides both the quality of the encoded image and the compression ratio. While a long history of work has sought better Q-tables, existing work either seeks to minimize image distortion or to optimize for models of the human visual system. This work asks whether JPEG Q-tables exist that are "better" for specific vision networks and can offer better quality--size trade-offs than ones designed for human perception or minimal distortion. We reconstruct an ImageNet test set with higher resolution to explore the effect of JPEG compression under novel Q-tables. We attempt several approaches to tune a Q-table for a vision task. We find that a simple sorted random sampling method can exceed the performance of the standard JPEG Q-table. We also use hyper-parameter tuning techniques including bounded random search, Bayesian optimization, and composite heuristic optimization methods. The new Q-tables we obtained can improve the compression rate by 10% to 200% when the accuracy is fixed, or improve accuracy up to $2\%$ at the same compression rate. △ Less

Submitted 5 March, 2020; originally announced March 2020.

Comments: 6 pages, 13 figures, Resource-Constrained Machine Learning (ReCoML) Workshop of MLSys 2020 Conference, Austin, TX, USA, 2020

Electromagnetically and gravitationally stealth fields

Authors: Cristian Quinzacara, Paola Meza, Almeira Sampson, Mauricio Valenzuela

Abstract: We construct a generic class of models for complex scalar fields -- minimally coupled to gravity and electromagnetism -- with the property that their energy-momentum tensor and the electric current vanish for certain massive configurations. These are electromagnetically and gravitationally {\it stealth fields}. We shall see that the latter configurations can affect, in addition, the strength of th… ▽ More We construct a generic class of models for complex scalar fields -- minimally coupled to gravity and electromagnetism -- with the property that their energy-momentum tensor and the electric current vanish for certain massive configurations. These are electromagnetically and gravitationally {\it stealth fields}. We shall see that the latter configurations can affect, in addition, the strength of the gravity-matter and electromagnetic-matter couplings of other (non-stealth) modes present in the system, which turn out to be equivalent to the re-scaling the electric charge and the Newton constant (with a stealth-mass depending factor). △ Less

Submitted 6 February, 2023; v1 submitted 31 March, 2019; originally announced April 2019.

Comments: 13 pages. References and new comments have been added to this new version. The title has been changed

Journal ref: JCAP 03 (2023) 032

Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms

Authors: Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey

Abstract: When a computational task tolerates a relaxation of its specification or when an algorithm tolerates the effects of noise in its execution, hardware, programming languages, and system software can trade deviations from correct behavior for lower resource usage. We present, for the first time, a synthesis of research results on computing systems that only make as many errors as their users can tole… ▽ More When a computational task tolerates a relaxation of its specification or when an algorithm tolerates the effects of noise in its execution, hardware, programming languages, and system software can trade deviations from correct behavior for lower resource usage. We present, for the first time, a synthesis of research results on computing systems that only make as many errors as their users can tolerate, from across the disciplines of computer aided design of circuits, digital system design, computer architecture, programming languages, operating systems, and information theory. Rather than over-provisioning resources at each layer to avoid errors, it can be more efficient to exploit the masking of errors occurring at one layer which can prevent them from propagating to a higher layer. We survey tradeoffs for individual layers of computing systems from the circuit level to the operating system level and illustrate the potential benefits of end-to-end approaches using two illustrative examples. To tie together the survey, we present a consistent formalization of terminology, across the layers, which does not significantly deviate from the terminology traditionally used by research communities in their layer of focus. △ Less

Submitted 16 September, 2018; originally announced September 2018.

Comments: 35 pages

Massive stealth scalar fields from field redefinition method

Authors: Cristian C. Quinzacara, Paola Meza, Almeira Sampson, Mauricio Valenzuela

Abstract: We propose an uni-parametric deformation method of action principles of scalar fields coupled to gravity which generates new models with massive stealth field configurations, i.e. with vanishing energy-momentum tensor. The method applies to a wide class of models and we provide three examples. In particular we observe that in the case of the standard massive scalar action principle, the respective… ▽ More We propose an uni-parametric deformation method of action principles of scalar fields coupled to gravity which generates new models with massive stealth field configurations, i.e. with vanishing energy-momentum tensor. The method applies to a wide class of models and we provide three examples. In particular we observe that in the case of the standard massive scalar action principle, the respective deformed action contains the stealth configurations and it preserves the massive ones of the undeformed model. We also observe that, in this latter example, the effect of the energy-momentum tensor of the massive (non-stealth) field can be amplified or damped by the deformation parameter, alternatively the mass of the stealth field. △ Less

Submitted 29 June, 2018; v1 submitted 11 May, 2018; originally announced May 2018.

Comments: 12 pages

EVA$^2$: Exploiting Temporal Redundancy in Live Computer Vision

Authors: Mark Buckler, Philip Bedoukian, Suren Jayasuriya, Adrian Sampson

Abstract: Hardware support for deep convolutional neural networks (CNNs) is critical to advanced computer vision in mobile and embedded devices. Current designs, however, accelerate generic CNNs; they do not exploit the unique characteristics of real-time vision. We propose to use the temporal redundancy in natural video to avoid unnecessary computation on most frames. A new algorithm, activation motion com… ▽ More Hardware support for deep convolutional neural networks (CNNs) is critical to advanced computer vision in mobile and embedded devices. Current designs, however, accelerate generic CNNs; they do not exploit the unique characteristics of real-time vision. We propose to use the temporal redundancy in natural video to avoid unnecessary computation on most frames. A new algorithm, activation motion compensation, detects changes in the visual input and incrementally updates a previously-computed output. The technique takes inspiration from video compression and applies well-known motion estimation techniques to adapt to visual changes. We use an adaptive key frame rate to control the trade-off between efficiency and vision quality as the input changes. We implement the technique in hardware as an extension to existing state-of-the-art CNN accelerator designs. The new unit reduces the average energy per frame by 54.2%, 61.7%, and 87.6% for three CNNs with less than 1% loss in vision accuracy. △ Less

Submitted 16 April, 2018; v1 submitted 16 March, 2018; originally announced March 2018.

Comments: Appears in ISCA 2018

High Five: Improving Gesture Recognition by Embracing Uncertainty

Authors: Diman Zad Tootaghaj, Adrian Sampson, Todd Mytkowicz, Kathryn S McKinley

Abstract: Sensors on mobile devices---accelerometers, gyroscopes, pressure meters, and GPS---invite new applications in gesture recognition, gaming, and fitness tracking. However, programming them remains challenging because human gestures captured by sensors are noisy. This paper illustrates that noisy gestures degrade training and classification accuracy for gesture recognition in state-of-the-art determi… ▽ More Sensors on mobile devices---accelerometers, gyroscopes, pressure meters, and GPS---invite new applications in gesture recognition, gaming, and fitness tracking. However, programming them remains challenging because human gestures captured by sensors are noisy. This paper illustrates that noisy gestures degrade training and classification accuracy for gesture recognition in state-of-the-art deterministic Hidden Markov Models (HMM). We introduce a new statistical quantization approach that mitigates these problems by (1) during training, producing gesture-specific codebooks, HMMs, and error models for gesture sequences; and (2) during classification, exploiting the error model to explore multiple feasible HMM state sequences. We implement classification in Uncertain<t>, a probabilistic programming system that encapsulates HMMs and error models and then automates sampling and inference in the runtime. Uncertain<T> developers directly express a choice of application-specific trade-off between recall and precision at gesture recognition time, rather than at training time. We demonstrate benefits in configurability, precision, recall, and recognition on two data sets with 25 gestures from 28 people and 4200 total gestures. Incorporating gesture error more accurately in modeling improves the average recognition rate of 20 gestures from 34\% in prior work to 62\%. Incorporating the error model during classification further improves the average gesture recognition rate to 71\%. As far as we are aware, no prior work shows how to generate an HMM error model during training and use it to improve classification rates. △ Less

Submitted 25 October, 2017; originally announced October 2017.

Abstractions for AI-Based User Interfaces and Systems

Authors: Alex Renda, Harrison Goldstein, Sarah Bird, Chris Quirk, Adrian Sampson

Abstract: Novel user interfaces based on artificial intelligence, such as natural-language agents, present new categories of engineering challenges. These systems need to cope with uncertainty and ambiguity, interface with machine learning algorithms, and compose information from multiple users to make decisions. We propose to treat these challenges as language-design problems. We describe three programming… ▽ More Novel user interfaces based on artificial intelligence, such as natural-language agents, present new categories of engineering challenges. These systems need to cope with uncertainty and ambiguity, interface with machine learning algorithms, and compose information from multiple users to make decisions. We propose to treat these challenges as language-design problems. We describe three programming language abstractions for three core problems in intelligent system design. First, hypothetical worlds support nondeterministic search over spaces of alternative actions. Second, a feature type system abstracts the interaction between applications and learning algorithms. Finally, constructs for collaborative execution extend hypothetical worlds across multiple machines while controlling access to private data. We envision these features as first steps toward a complete language for implementing AI-based interfaces and applications. △ Less

Submitted 14 September, 2017; originally announced September 2017.

Reconfiguring the Imaging Pipeline for Computer Vision

Authors: Mark Buckler, Suren Jayasuriya, Adrian Sampson

Abstract: Advancements in deep learning have ignited an explosion of research on efficient hardware for embedded computer vision. Hardware vision acceleration, however, does not address the cost of capturing and processing the image data that feeds these algorithms. We examine the role of the image signal processing (ISP) pipeline in computer vision to identify opportunities to reduce computation and save e… ▽ More Advancements in deep learning have ignited an explosion of research on efficient hardware for embedded computer vision. Hardware vision acceleration, however, does not address the cost of capturing and processing the image data that feeds these algorithms. We examine the role of the image signal processing (ISP) pipeline in computer vision to identify opportunities to reduce computation and save energy. The key insight is that imaging pipelines should be designed to be configurable: to switch between a traditional photography mode and a low-power vision mode that produces lower-quality image data suitable only for computer vision. We use eight computer vision algorithms and a reversible pipeline simulation tool to study the imaging system's impact on vision performance. For both CNN-based and classical vision algorithms, we observe that only two ISP stages, demosaicing and gamma compression, are critical for task performance. We propose a new image sensor design that can compensate for skipping these stages. The sensor design features an adjustable resolution and tunable analog-to-digital converters (ADCs). Our proposed imaging system's vision mode disables the ISP entirely and configures the sensor to produce subsampled, lower-precision image data. This vision mode can save ~75% of the average energy of a baseline photography mode while having only a small impact on vision task accuracy. △ Less

Submitted 1 August, 2017; v1 submitted 11 May, 2017; originally announced May 2017.

First Upper Limits on the Radar Cross Section of Cosmic-Ray Induced Extensive Air Showers

Authors: R. U. Abbasi, M. Abe, M. Abou Bakr Othman, T. Abu-Zayyad, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, D. Besson, S. A. Blake, M. Byrne, R. Cady, M. J. Chae, B. G. Cheon, J. Chiba, M. Chikawa, W. R. Cho, B. Farhang-Boroujeny, T. Fujii, M. Fukushima, W. H. Gillman, T. Goto, W. Hanlon , et al. (114 additional authors not shown)

Abstract: TARA (Telescope Array Radar) is a cosmic ray radar detection experiment colocated with Telescope Array, the conventional surface scintillation detector (SD) and fluorescence telescope detector (FD) near Delta, Utah, U.S.A. The TARA detector combines a 40 kW, 54.1 MHz VHF transmitter and high-gain transmitting antenna which broadcasts the radar carrier over the SD array and within the FD field of v… ▽ More TARA (Telescope Array Radar) is a cosmic ray radar detection experiment colocated with Telescope Array, the conventional surface scintillation detector (SD) and fluorescence telescope detector (FD) near Delta, Utah, U.S.A. The TARA detector combines a 40 kW, 54.1 MHz VHF transmitter and high-gain transmitting antenna which broadcasts the radar carrier over the SD array and within the FD field of view, towards a 250 MS/s DAQ receiver. TARA has been collecting data since 2013 with the primary goal of observing the radar signatures of extensive air showers (EAS). Simulations indicate that echoes are expected to be short in duration (~10 microseconds) and exhibit rapidly changing frequency, with rates on the order of 1 MHz/microsecond. The EAS radar cross-section (RCS) is currently unknown although it is the subject of over 70 years of speculation. A novel signal search technique is described in which the expected radar echo of a particular air shower is used as a matched filter template and compared to waveforms obtained by triggering the radar DAQ using the Telescope Array fluorescence detector. No evidence for the scattering of radio frequency radiation by EAS is obtained to date. We report the first quantitative RCS upper limits using EAS that triggered the Telescope Array Fluorescence Detector. △ Less

Submitted 16 March, 2016; originally announced March 2016.

Comments: 21 pages, 30 figures

Measurement of the Proton-Air Cross Section with Telescope Array's Middle Drum Detector and Surface Array in Hybrid Mode

Authors: R. U. Abbasi, M. Abe, T. Abu-Zayyad, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, S. A. Blake, R. Cady, M. J. Chae, B. G. Cheon, J. Chiba, M. Chikawa, W. R. Cho, T. Fujii, M. Fukushima, T. Goto, W. Hanlon, Y. Hayashi, N. Hayashida, K. Hibino, K. Honda, D. Ikeda , et al. (101 additional authors not shown)

Abstract: In this work we are reporting on the measurement of the proton-air inelastic cross section $σ^{\rm inel}_{\rm p-air}$ using the Telescope Array (TA) detector. Based on the measurement of the $σ^{\rm inel}_{\rm p-air}$ the proton-proton cross section $σ_{\rm p-p}$ value is also determined at $\sqrt{s} = 95_{-8}^{+5}$ TeV. Detecting cosmic ray events at ultra high energies with Telescope Array enabl… ▽ More In this work we are reporting on the measurement of the proton-air inelastic cross section $σ^{\rm inel}_{\rm p-air}$ using the Telescope Array (TA) detector. Based on the measurement of the $σ^{\rm inel}_{\rm p-air}$ the proton-proton cross section $σ_{\rm p-p}$ value is also determined at $\sqrt{s} = 95_{-8}^{+5}$ TeV. Detecting cosmic ray events at ultra high energies with Telescope Array enables us to study this fundamental parameter that we are otherwise unable to access with particle accelerators. The data used in this report is the hybrid events observed by the Middle Drum fluorescence detector together with the surface array detector collected over five years. The value of the $σ^{\rm inel}_{\rm p-air}$ is found to be equal to $567.0 \pm 70.5 [{\rm Stat.}] ^{+29}_{-25} [{\rm Sys.}]$ mb. The total proton-proton cross section is subsequently inferred from Glauber Formalism and Block, Halzen and Stanev QCD inspired fit and is found to be equal to $170_{-44}^{+48} [{\rm Stat.}] _{-17}^{+19} [{\rm Sys.}] $mb. △ Less

Submitted 31 August, 2015; v1 submitted 7 May, 2015; originally announced May 2015.

Journal ref: Phys. Rev. D 92, 032007 (2015)

On the spacetime connecting two aeons in conformal cyclic cosmology

Authors: A. Araujo, H. Jennen, J. G. Pereira, A. C. Sampson, L. L. Savi

Abstract: As quotient spaces, Minkowski and de Sitter are fundamental, non-gravitational spacetimes for the construction of physical theories. When general relativity is constructed on a de Sitter spacetime, the usual Riemannian structure is replaced by a more general structure called de Sitter-Cartan geometry. In the contraction limit of an infinite cosmological term, the de Sitter-Cartan spacetime reduces… ▽ More As quotient spaces, Minkowski and de Sitter are fundamental, non-gravitational spacetimes for the construction of physical theories. When general relativity is constructed on a de Sitter spacetime, the usual Riemannian structure is replaced by a more general structure called de Sitter-Cartan geometry. In the contraction limit of an infinite cosmological term, the de Sitter-Cartan spacetime reduces to a singular, flat, conformal invariant four-dimensional cone spacetime, in which our ordinary notions of time interval and space distance are absent. It is shown that such spacetime satisfies all properties, including the Weyl curvature hypothesis, necessary to play the role of the bridging spacetime connecting two aeons in Penrose's conformal cyclic cosmology. △ Less

Submitted 17 November, 2015; v1 submitted 17 March, 2015; originally announced March 2015.

Comments: 15 pages. V2: presentation changes aiming at clarifying the text, matches published version

Journal ref: Gen. Relativ. Grav. 47 (2015) 151 (17 pages)

Searches for Large-Scale Anisotropy in the Arrival Directions of Cosmic Rays Detected above Energy of $10^{19}$ eV at the Pierre Auger Observatory and the Telescope Array

Authors: The Pierre Auger, Telescope Array Collaborations, :, A. Aab, P. Abreu, M. Aglietta, E. J. Ahn, I. Al Samarai, I. F. M. Albuquerque, I. Allekotte, J. Allen, P. Allison, A. Almela, J. Alvarez Castillo, J. Alvarez-Muñiz, R. Alves Batista, M. Ambrosio, A. Aminaei, L. Anchordoqui, S. Andringa, C. Aramo, F. Arqueros, H. Asorey, P. Assis, J. Aublin , et al. (584 additional authors not shown)

Abstract: Spherical harmonic moments are well-suited for capturing anisotropy at any scale in the flux of cosmic rays. An unambiguous measurement of the full set of spherical harmonic coefficients requires full-sky coverage. This can be achieved by combining data from observatories located in both the northern and southern hemispheres. To this end, a joint analysis using data recorded at the Telescope Array… ▽ More Spherical harmonic moments are well-suited for capturing anisotropy at any scale in the flux of cosmic rays. An unambiguous measurement of the full set of spherical harmonic coefficients requires full-sky coverage. This can be achieved by combining data from observatories located in both the northern and southern hemispheres. To this end, a joint analysis using data recorded at the Telescope Array and the Pierre Auger Observatory above $10^{19}$ eV is presented in this work. The resulting multipolar expansion of the flux of cosmic rays allows us to perform a series of anisotropy searches, and in particular to report on the angular power spectrum of cosmic rays above $10^{19}$ eV. No significant deviation from isotropic expectations is found throughout the analyses performed. Upper limits on the amplitudes of the dipole and quadrupole moments are derived as a function of the direction in the sky, varying between 7% and 13% for the dipole and between 7% and 10% for a symmetric quadrupole. △ Less

Submitted 10 September, 2014; originally announced September 2014.

Comments: 33 pages, 13 figures, to appear in The Astrophysical Journal

Journal ref: ApJ, 794, 172 (2014)

Study of Ultra-High Energy Cosmic Ray Composition Using Telescope Array's Middle Drum Detector and Surface Array in Hybrid Mode

Authors: R. U. Abbasi, M. Abe, T. Abu-Zayyad, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, S. A. Blake, R. Cady, M. J. Chae, B. G. Cheon, J. Chiba, M. Chikawa, W. R. Cho, T. Fujii, M. Fukushima, T. Goto, W. Hanlon, Y. Hayashi, N. Hayashida, K. Hibino, K. Honda, D. Ikeda , et al. (102 additional authors not shown)

Abstract: Previous measurements of the composition of Ultra-High Energy Cosmic Rays(UHECRs) made by the High Resolution Fly's Eye(HiRes) and Pierre Auger Observatory(PAO) are seemingly contradictory, but utilize different detection methods, as HiRes was a stereo detector and PAO is a hybrid detector. The five year Telescope Array(TA) Middle Drum hybrid composition measurement is similar in some, but not all… ▽ More Previous measurements of the composition of Ultra-High Energy Cosmic Rays(UHECRs) made by the High Resolution Fly's Eye(HiRes) and Pierre Auger Observatory(PAO) are seemingly contradictory, but utilize different detection methods, as HiRes was a stereo detector and PAO is a hybrid detector. The five year Telescope Array(TA) Middle Drum hybrid composition measurement is similar in some, but not all, respects in methodology to PAO, and good agreement is evident between data and a light, largely protonic, composition when comparing the measurements to predictions obtained with the QGSJetII-03 and QGSJet-01c models. These models are also in agreement with previous HiRes stereo measurements, confirming the equivalence of the stereo and hybrid methods. The data is incompatible with a pure iron composition, for all models examined, over the available range of energies. The elongation rate and mean values of Xmax are in good agreement with Pierre Auger Observatory data. This analysis is presented using two methods: data cuts using simple geometrical variables and a new pattern recognition technique. △ Less

Submitted 5 November, 2014; v1 submitted 7 August, 2014; originally announced August 2014.

Comments: 23 pages, 30 figures

A Northern Sky Survey for Point-Like Sources of EeV Neutral Particles with the Telescope Array Experiment

Authors: R. U. Abbasi, M. Abe, T. Abu-Zayyad, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, S. A. Blake, R. Cady, M. J. Chae, B. G. Cheon, J. Chiba, M. Chikawa, W. R. Cho, T. Fujii, M. Fukushima, T. Goto, W. Hanlon, Y. Hayashi, N. Hayashida, K. Hibino, K. Honda, D. Ikeda , et al. (101 additional authors not shown)

Abstract: We report on the search for steady point-like sources of neutral particles around 10$^{18}$ eV between 2008 May and 2013 May with the scintillator surface detector of the Telescope Array experiment. We found overall no significant point-like excess above 0.5 EeV in the northern sky. Subsequently, we also searched for coincidence with the Fermi bright Galactic sources. No significant coincidence wa… ▽ More We report on the search for steady point-like sources of neutral particles around 10$^{18}$ eV between 2008 May and 2013 May with the scintillator surface detector of the Telescope Array experiment. We found overall no significant point-like excess above 0.5 EeV in the northern sky. Subsequently, we also searched for coincidence with the Fermi bright Galactic sources. No significant coincidence was found within the statistical uncertainty. Hence, we set an upper limit on the neutron flux that corresponds to an averaged flux of 0.07 km$^{-2}$ yr$^{-1}$ for $E>1$ EeV in the northern sky at the 95% confidence level. This is the most stringent flux upper limit in a northern sky survey assuming point-like sources. The upper limit at the 95% confidence level on the neutron flux from Cygnus X-3 is also set to 0.2 km$^{-2}$ yr$^{-1}$ for $E>0.5$ EeV. This is an order of magnitude lower than previous flux measurements. △ Less

Submitted 3 March, 2015; v1 submitted 23 July, 2014; originally announced July 2014.

Comments: 27 pages, 10 figures, 3 tables, accepted for publication in the Astrophysical Journal

Journal ref: ApJ 804 133 (2015)

Indications of Intermediate-Scale Anisotropy of Cosmic Rays with Energy Greater Than 57 EeV in the Northern Sky Measured with the Surface Detector of the Telescope Array Experiment

Authors: The Telescope Array Collaboration, R. U. Abbasi, M. Abe, T. Abu-Zayyad, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, S. A. Blake, R. Cady, M. J. Chae, B. G. Cheon, J. Chiba, M. Chikawa, W. R. Cho, T. Fujii, M. Fukushima, T. Goto, W. Hanlon, Y. Hayashi, N. Hayashida, K. Hibino, K. Honda , et al. (102 additional authors not shown)

Abstract: We have searched for intermediate-scale anisotropy in the arrival directions of ultrahigh-energy cosmic rays with energies above 57~EeV in the northern sky using data collected over a 5 year period by the surface detector of the Telescope Array experiment. We report on a cluster of events that we call the hotspot, found by oversampling using 20$^\circ$-radius circles. The hotspot has a Li-Ma stati… ▽ More We have searched for intermediate-scale anisotropy in the arrival directions of ultrahigh-energy cosmic rays with energies above 57~EeV in the northern sky using data collected over a 5 year period by the surface detector of the Telescope Array experiment. We report on a cluster of events that we call the hotspot, found by oversampling using 20$^\circ$-radius circles. The hotspot has a Li-Ma statistical significance of 5.1$σ$, and is centered at R.A.=146.7$^{\circ}$, Dec.=43.2$^{\circ}$. The position of the hotspot is about 19$^{\circ}$ off of the supergalactic plane. The probability of a cluster of events of 5.1$σ$ significance, appearing by chance in an isotropic cosmic-ray sky, is estimated to be 3.7$\times$10$^{-4}$ (3.4$σ$). △ Less

Submitted 16 July, 2014; v1 submitted 23 April, 2014; originally announced April 2014.

Comments: 16 pages, 3 figures, accepted for publication in the ApJ Letters

Journal ref: ApJ 790 L21 (2014)

de Sitter transitivity, conformal transformations and conservation laws

Authors: J. G. Pereira, A. C. Sampson, L. L. Savi

Abstract: Minkowski spacetime is transitive under ordinary translations, a transformation that do not have matrix representations. The de Sitter spacetime, on the other hand, is transitive under a combination of translations and proper conformal transformations, which do have a matrix representation. Such matrix, however, is not by itself a de Sitter generator: it gives rise to a conformal re-scaling of the… ▽ More Minkowski spacetime is transitive under ordinary translations, a transformation that do not have matrix representations. The de Sitter spacetime, on the other hand, is transitive under a combination of translations and proper conformal transformations, which do have a matrix representation. Such matrix, however, is not by itself a de Sitter generator: it gives rise to a conformal re-scaling of the metric, a transformation not belonging to the de Sitter group, and in general not associated with diffeomorphisms in spacetime. When dealing with variational principles and Noether's theorem in de Sitter spacetime, therefore, it turns out necessary to regularise the transformations in order to eliminate the conformal re-scaling of the metric. △ Less

Submitted 11 December, 2013; originally announced December 2013.

Comments: 10 pages

Journal ref: Int. J. Mod. Phys. D 23 (2014) 1450035

Pierre Auger Observatory and Telescope Array: Joint Contributions to the 33rd International Cosmic Ray Conference (ICRC 2013)

Authors: The Telescope Array, Pierre Auger Collaborations, :, T. Abu-Zayyad, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W Belz, D. R. Bergman, S. A. Blake, R. Cady, M. J. Chae, B. G. Cheon, J. Chiba, M. Chikawa, W. R. Cho, T. Fujii, M. Fukushima, K. Goto, W. Hanlon, Y. Hayashi, N. Hayashida, K. Hibino, K. Honda , et al. (598 additional authors not shown)

Abstract: Joint contributions of the Pierre Auger and Telescope Array Collaborations to the 33rd International Cosmic Ray Conference, Rio de Janeiro, Brazil, July 2013: cross-calibration of the fluorescence telescopes, large scale anisotropies and mass composition. Joint contributions of the Pierre Auger and Telescope Array Collaborations to the 33rd International Cosmic Ray Conference, Rio de Janeiro, Brazil, July 2013: cross-calibration of the fluorescence telescopes, large scale anisotropies and mass composition. △ Less

Submitted 2 October, 2013; originally announced October 2013.

Comments: Joint contributions of the Pierre Auger and Telescope Array Collaborations to the 33rd International Cosmic Ray Conference, Rio de Janeiro, Brazil, July 2013

Search for correlations of the arrival directions of ultra-high energy cosmic ray with extragalactic objects as observed by the telescope array experiment

Authors: T. Abu-Zayyad, R. Aida, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, S. A. Blake, R. Cady, B. G. Cheon, J. Chiba, M. Chikawa, E. J. Cho, W. R. Cho, H. Fujii, T. Fujii, T. Fukuda, M. Fukushima, W. Hanlon, K. Hayashi, Y. Hayashi, N. Hayashida, K. Hibino, K. Hiyama , et al. (120 additional authors not shown)

Abstract: We search for correlations between positions of extragalactic objects and arrival directions of Ultra-High Energy Cosmic Rays (UHECRs) with primary energy $E \ge 40$ EeV as observed by the surface detector array of the Telescope Array (TA) experiment during the first 40 months of operation. We examined several public astronomical object catalogs, including the Veron-Cetty and Veron catalog of acti… ▽ More We search for correlations between positions of extragalactic objects and arrival directions of Ultra-High Energy Cosmic Rays (UHECRs) with primary energy $E \ge 40$ EeV as observed by the surface detector array of the Telescope Array (TA) experiment during the first 40 months of operation. We examined several public astronomical object catalogs, including the Veron-Cetty and Veron catalog of active galactic nuclei. We counted the number of TA events correlated with objects in each catalog as a function of three parameters: the maximum angular separation between a TA event and an object, the minimum energy of the events, and the maximum redshift of the objects. We determine combinations of these parameters which maximize the correlations, and calculate the chance probabilities of having the same levels of correlations from an isotropic distribution of UHECR arrival directions. No statistically significant correlations are found when penalties for scanning over the above parameters and for searching in several catalogs are taken into account. △ Less

Submitted 24 June, 2013; originally announced June 2013.

Energy Spectrum of Ultra-High Energy Cosmic Rays Observed with the Telescope Array Using a Hybrid Technique

Authors: T. Abu-Zayyad, R. Aida, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, S. A. Blake, R. Cady, B. G. Cheon, J. Chiba, M. Chikawa, E. J. Cho, W. R. Cho, H. Fujii, T. Fujii, T. Fukuda, M. Fukushima, W. Hanlon, K. Hayashi, Y. Hayashi, N. Hayashida, K. Hibino, K. Hiyama , et al. (120 additional authors not shown)

Abstract: We measure the spectrum of cosmic rays with energies greater than $10^{18.2}$ eV with the Fluorescence Detectors (FDs) and the Surface Detectors (SDs) of the Telescope Array Experiment using the data taken in our first 2.3-year observation from May 27 2008 to September 7 2010. A hybrid air shower reconstruction technique is employed to improve accuracies in determination of arrival directions and… ▽ More We measure the spectrum of cosmic rays with energies greater than $10^{18.2}$ eV with the Fluorescence Detectors (FDs) and the Surface Detectors (SDs) of the Telescope Array Experiment using the data taken in our first 2.3-year observation from May 27 2008 to September 7 2010. A hybrid air shower reconstruction technique is employed to improve accuracies in determination of arrival directions and primary energies of cosmic rays using both FD and SD data. The energy spectrum presented here is in agreement with our previously published spectra and the HiRes results. △ Less

Submitted 30 May, 2013; originally announced May 2013.

Comments: 28 pages, 12 figures, submitted to Astroparticle Physics

The Energy Spectrum of Ultra-High-Energy Cosmic Rays Measured by the Telescope Array FADC Fluorescence Detectors in Monocular Mode

Authors: The Telescope Array Collaboration, T. Abu-Zayyad, R. Aida, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, S. A. Blake, R. Cady, B. G. Cheon, J. Chiba, M. Chikawa, E. J. Cho, W. R. Cho, H. Fujii, T. Fujii, T. Fukuda, M. Fukushima, W. Hanlon, K. Hayashi, Y. Hayashi, N. Hayashida, K. Hibino , et al. (120 additional authors not shown)

Abstract: We present a measurement of the energy spectrum of ultra-high-energy cosmic rays performed by the Telescope Array experiment using monocular observations from its two new FADC-based fluorescence detectors. After a short description of the experiment, we describe the data analysis and event reconstruction procedures. Since the aperture of the experiment must be calculated by Monte Carlo simulation,… ▽ More We present a measurement of the energy spectrum of ultra-high-energy cosmic rays performed by the Telescope Array experiment using monocular observations from its two new FADC-based fluorescence detectors. After a short description of the experiment, we describe the data analysis and event reconstruction procedures. Since the aperture of the experiment must be calculated by Monte Carlo simulation, we describe this calculation and the comparisons of simulated and real data used to verify the validity of the aperture calculation. Finally, we present the energy spectrum calculated from the merged monocular data sets of the two FADC-based detectors, and also the combination of this merged spectrum with an independent, previously published monocular spectrum measurement performed by Telescope Array's third fluorescence detector (Abu-Zayyad {\it et al.}, {Astropart. Phys.} 39 (2012), 109). This combined spectrum corroborates the recently published Telescope Array surface detector spectrum (Abu-Zayyad {\it et al.}, {Astrophys. Journ.} 768 (2013), L1) with independent systematic uncertainties. △ Less

Submitted 26 May, 2013; originally announced May 2013.

Comments: 10 pages, 10 figures, submitted to Astroparticle Physics

Upper limit on the flux of photons with energies above 10^19 eV using the Telescope Array surface detector

Authors: T. Abu-Zayyad, R. Aida, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, S. A. Blake, R. Cady, B. G. Cheon, J. Chiba, M. Chikawa, E. J. Cho, W. R. Cho, H. Fujii, T. Fujii, T. Fukuda, M. Fukushima, D. Gorbunov, W. Hanlon, K. Hayashi, Y. Hayashi, N. Hayashida, K. Hibino , et al. (117 additional authors not shown)

Abstract: We search for ultra-high energy photons by analyzing geometrical properties of shower fronts of events registered by the Telescope Array surface detector. By making use of an event-by-event statistical method, we derive upper limits on the absolute flux of primary photons with energies above 10^19, 10^19.5 and 10^20 eV based on the first three years of data taken. We search for ultra-high energy photons by analyzing geometrical properties of shower fronts of events registered by the Telescope Array surface detector. By making use of an event-by-event statistical method, we derive upper limits on the absolute flux of primary photons with energies above 10^19, 10^19.5 and 10^20 eV based on the first three years of data taken. △ Less

Submitted 6 December, 2013; v1 submitted 20 April, 2013; originally announced April 2013.

Comments: 7 pages, 5 figures

Journal ref: Phys.Rev.D 88, 112005 (2013)

Search for Anisotropy of Ultra-High Energy Cosmic Rays with the Telescope Array Experiment

Authors: T. Abu-Zayyad, R. Aida, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, S. A. Blake, R. Cady, B. G. Cheon, J. Chiba, M. Chikawa, E. J. Cho, W. R. Cho, H. Fujii, T. Fujii, T. Fukuda, M. Fukushima, W. Hanlon, K. Hayashi, Y. Hayashi, N. Hayashida, K. Hibino, K. Hiyama , et al. (118 additional authors not shown)

Abstract: We study the anisotropy of Ultra-High Energy Cosmic Ray (UHECR) events collected by the Telescope Array (TA) detector in the first 40 months of operation. Following earlier studies, we examine event sets with energy thresholds of 10 EeV, 40 EeV, and 57 EeV. We find that the distributions of the events in right ascension and declination are compatible with an isotropic distribution in all three set… ▽ More We study the anisotropy of Ultra-High Energy Cosmic Ray (UHECR) events collected by the Telescope Array (TA) detector in the first 40 months of operation. Following earlier studies, we examine event sets with energy thresholds of 10 EeV, 40 EeV, and 57 EeV. We find that the distributions of the events in right ascension and declination are compatible with an isotropic distribution in all three sets. We then compare with previously reported clustering of the UHECR events at small angular scales. No significant clustering is found in the TA data. We then check the events with E>57 EeV for correlations with nearby active galactic nuclei. No significant correlation is found. Finally, we examine all three sets for correlations with the large-scale structure of the Universe. We find that the two higher-energy sets are compatible with both an isotropic distribution and the hypothesis that UHECR sources follow the matter distribution of the Universe (the LSS hypothesis), while the event set with E>10 EeV is compatible with isotropy and is not compatible with the LSS hypothesis at 95% CL unless large deflection angles are also assumed. We show that accounting for UHECR deflections in a realistic model of the Galactic magnetic field can make this set compatible with the LSS hypothesis. △ Less

Submitted 27 May, 2012; originally announced May 2012.

Comments: 10 pages, 9 figures

The Cosmic Ray Energy Spectrum Observed with the Surface Detector of the Telescope Array Experiment

Authors: T. Abu-Zayyad, R. Aida, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, S. A. Blake, R. Cady, B. G. Cheon, J. Chiba, M. Chikawa, E. J. Cho, W. R. Cho, H. Fujii, T. Fujii, T. Fukuda, M. Fukushima, W. Hanlon, K. Hayashi, Y. Hayashi, N. Hayashida, K. Hibino, K. Hiyama , et al. (116 additional authors not shown)

Abstract: The Telescope Array (TA) collaboration has measured the energy spectrum of ultra-high energy cosmic rays with primary energies above 1.6 x 10^(18) eV. This measurement is based upon four years of observation by the surface detector component of TA. The spectrum shows a dip at an energy of 4.6 x 10^(18) eV and a steepening at 5.4 x 10^(19) eV which is consistent with the expectation from the GZK cu… ▽ More The Telescope Array (TA) collaboration has measured the energy spectrum of ultra-high energy cosmic rays with primary energies above 1.6 x 10^(18) eV. This measurement is based upon four years of observation by the surface detector component of TA. The spectrum shows a dip at an energy of 4.6 x 10^(18) eV and a steepening at 5.4 x 10^(19) eV which is consistent with the expectation from the GZK cutoff. We present the results of a technique, new to the analysis of ultra-high energy cosmic ray surface detector data, that involves generating a complete simulation of ultra-high energy cosmic rays striking the TA surface detector. The procedure starts with shower simulations using the CORSIKA Monte Carlo program where we have solved the problems caused by use of the "thinning" approximation. This simulation method allows us to make an accurate calculation of the acceptance of the detector for the energies concerned. △ Less

Submitted 25 March, 2013; v1 submitted 22 May, 2012; originally announced May 2012.

Comments: Accepted for publication by Astrophysical Journal Letters

Journal ref: ApJ 768 L1 (2013)

The Energy Spectrum of Telescope Array's Middle Drum Detector and the Direct Comparison to the High Resolution Fly's Eye Experiment

Authors: T. Abu-Zayyad, R. Aida, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, S. A. Blake, R. Cady, B. G. Cheon, J. Chiba, M. Chikawa, E. J. Cho, W. R. Cho, H. Fujii, T. Fujii, T. Fukuda, M. Fukushima, D. Gorbunov, W. Hanlon, K. Hayashi, Y. Hayashi, N. Hayashida, K. Hibino , et al. (116 additional authors not shown)

Abstract: The Telescope Array's Middle Drum fluorescence detector was instrumented with telescopes refurbished from the High Resolution Fly's Eye's HiRes-1 site. The data observed by Middle Drum in monocular mode was analyzed via the HiRes-1 profile-constrained geometry reconstruction technique and utilized the same calibration techniques enabling a direct comparison of the energy spectra and energy scales… ▽ More The Telescope Array's Middle Drum fluorescence detector was instrumented with telescopes refurbished from the High Resolution Fly's Eye's HiRes-1 site. The data observed by Middle Drum in monocular mode was analyzed via the HiRes-1 profile-constrained geometry reconstruction technique and utilized the same calibration techniques enabling a direct comparison of the energy spectra and energy scales between the two experiments. The spectrum measured using the Middle Drum telescopes is based on a three-year exposure collected between December 16, 2007 and December 16, 2010. The calculated difference between the spectrum of the Middle Drum observations and the published spectrum obtained by the data collected by the HiRes-1 site allows the HiRes-1 energy scale to be transferred to Middle Drum. The HiRes energy scale is applied to the entire Telescope Array by making a comparison between Middle Drum monocular events and hybrid events that triggered both Middle Drum and the Telescope Array's scintillator Ground Array. △ Less

Submitted 23 February, 2012; originally announced February 2012.

Comments: 27 pages, 21 figures

The surface detector array of the Telescope Array experiment

Authors: T. Abu-Zayyad, R. Aida, M. Allen, R. Anderson, R. Azuma, E. Barcikowski, J. W. Belz, D. R. Bergman, S. A. Blake, R. Cady, B. G. Cheon, J. Chiba, M. Chikawa, E. J. Cho, W. R. Cho, H. Fujii, T. Fujii, T. Fukuda, M. Fukushima, D. Gorbunov, W. Hanlon, K. Hayashi, Y. Hayashi, N. Hayashida, K. Hibino , et al. (113 additional authors not shown)

Abstract: The Telescope Array (TA) experiment, located in the western desert of Utah,USA, is designed for observation of extensive air showers from extremely high energy cosmic rays. The experiment has a surface detector array surrounded by three fluorescence detectors to enable simultaneous detection of shower particles at ground level and fluorescence photons along the shower track. The TA surface detecto… ▽ More The Telescope Array (TA) experiment, located in the western desert of Utah,USA, is designed for observation of extensive air showers from extremely high energy cosmic rays. The experiment has a surface detector array surrounded by three fluorescence detectors to enable simultaneous detection of shower particles at ground level and fluorescence photons along the shower track. The TA surface detectors and fluorescence detectors started full hybrid observation in March, 2008. In this article we describe the design and technical features of the TA surface detector. △ Less

Submitted 25 May, 2012; v1 submitted 24 January, 2012; originally announced January 2012.

Comments: 32 pages, 17 figures

New air fluorescence detectors employed in the Telescope Array experiment

Authors: H. Tokuno, Y. Tameda, M. Takeda, K. Kadota, D. Ikeda, M. Chikawa, T. Fujii, M. Fukushima, K. Honda, N. Inoue, F. Kakimoto, S. Kawana, E. Kido, J. N. Matthews, T. Nonaka, S. Ogio, T. Okuda, S. Ozawa, H. Sagawa, N. Sakurai, T. Shibata, A. Taketa, S. B. Thomas, T. Tomida, Y. Tsunesada , et al. (113 additional authors not shown)

Abstract: Since 2007, the Telescope Array (TA) experiment, based in Utah, USA, has been observing ultra high energy cosmic rays to understand their origins. The experiment involves a surface detector (SD) array and three fluorescence detector (FD) stations. FD stations, installed surrounding the SD array, measure the air fluorescence light emitted from extensive air showers (EASs) for precise determination… ▽ More Since 2007, the Telescope Array (TA) experiment, based in Utah, USA, has been observing ultra high energy cosmic rays to understand their origins. The experiment involves a surface detector (SD) array and three fluorescence detector (FD) stations. FD stations, installed surrounding the SD array, measure the air fluorescence light emitted from extensive air showers (EASs) for precise determination of their energies and species. The detectors employed at one of the three FD stations were relocated from the High Resolution Fly's Eye experiment. At the other two stations, newly designed detectors were constructed for the TA experiment. An FD consists of a primary mirror and a camera equipped with photomultiplier tubes. To obtain the EAS parameters with high accuracies, understanding the FD optical characteristics is important. In this paper, we report the characteristics and installation of new FDs and the performances of the FD components. The results of the monitored mirror reflectance during the observation time are also described in this report. △ Less

Submitted 24 December, 2011; originally announced January 2012.

Comments: 44 pages, 23 figures, submitted to NIM-A

de Sitter geodesics: reappraising the notion of motion

Authors: J. G. Pereira, A. C. Sampson

Abstract: The de Sitter spacetime is transitive under a combination of translations and proper conformal transformations. Its usual family of geodesics, however, does not take into account this property. As a consequence, there are points in de Sitter spacetime which cannot be joined to each other by any one of these geodesics. By taking into account the appropriate transitivity properties in the variationa… ▽ More The de Sitter spacetime is transitive under a combination of translations and proper conformal transformations. Its usual family of geodesics, however, does not take into account this property. As a consequence, there are points in de Sitter spacetime which cannot be joined to each other by any one of these geodesics. By taking into account the appropriate transitivity properties in the variational principle, a new family of maximizing trajectories is obtained, whose members are able to connect any two points of the de Sitter spacetime. These geodesics introduce a new notion of motion, given by a combination of translations and proper conformal transformations, which may possibly become important at very-high energies, where conformal symmetry plays a significant role. △ Less

Submitted 1 March, 2012; v1 submitted 5 October, 2011; originally announced October 2011.

Comments: 9 pages. V2: Presentation changes aiming at clarifying the text; version accepted for publication in Gen. Rel. Grav

Journal ref: Gen. Rel. Grav. 44 (2012) 1299-1308

A Conversation with Ingram Olkin

Authors: Allan R. Sampson

Abstract: Ingram Olkin was born on July 23, 1924 in Waterbury, Connecticut. His family moved to New York in 1934 and he graduated from DeWitt Clinton High School in 1941. He served three years in the Air Force during World War II and obtained a B.S. in mathematics at the City College of New York in 1947. After receiving an M.A. in mathematical statistics from Columbia in 1949, he completed his graduate st… ▽ More Ingram Olkin was born on July 23, 1924 in Waterbury, Connecticut. His family moved to New York in 1934 and he graduated from DeWitt Clinton High School in 1941. He served three years in the Air Force during World War II and obtained a B.S. in mathematics at the City College of New York in 1947. After receiving an M.A. in mathematical statistics from Columbia in 1949, he completed his graduate studies in the Department of Statistics at the University of North Carolina in 1951. His dissertation was written under the direction of S. N. Roy and Harold Hotelling. He joined the Department of Mathematics at Michigan State University in 1951 as an Assistant Professor, subsequently being promoted to Professor. In 1960, he took a position as Chair of the Department of Statistics at the University of Minnesota. He moved to Stanford University in 1961 to take a joint position as Professor of Statistics and Professor of Education; he was also Chair of the Department of Statistics from 1973--1976. In 2007, Ingram became Professor Emeritus. Ingram was Editor of the Annals of Mathematical Statistics (1971--1972) and served as the first editor of the Annals of Statistics from 1972--1974. He was a primary force in the founding of the Journal of Educational Statistics, for which he was also Associate Editor during 1977--1985. In 1984, he was President of the Institute of Mathematical Statistics. Among his many professional activities, he has served as Chair of the Committee of Presidents of Statistical Societies (COPSS), Chair of the Committee on Applied and Theoretical Statistics of the National Research Council, Chair of the Management Board of the American Education Research Association, and as Trustee for the National Institute of Statistical Sciences. He has been honored by the American Statistical Association (ASA) with a Wilks Medal (1992) and a Founder's Award (1992). The American Psychological Association gave him a Lifetime Contribution Award (1997) and he was elected to the National Academy of Education in 2005. He received the COPSS Elizabeth L. Scott Award in 1998 and delivered the R. A. Fisher Lecture in 2000. In 2003, the City University of New York gave him a Townsend Harris Medal. An author of 5 books, an editor of 10 books, and an author of more than 200 publications, Ingram has made major contributions to statistics and education. His research has focused on multivariate analysis, majorization and inequalities, distribution theory, and meta-analysis. A volume in celebration of Ingram's 65th birthday contains a brief biography and an interview [Gleser, Perlman, Press and Sampson (1989)]. Ingram was chosen in 1997 to participate in the American Statistical Association Distinguished Statistician Video Series and a videotaped conversation and a lecture (Olkin, 1997) are available from the ASA (1997, DS041, DS042). △ Less

Submitted 5 February, 2008; originally announced February 2008.

Comments: Published in at http://dx.doi.org/10.1214/088342307000000122 the Statistical Science (http://www.imstat.org/sts/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-STS-STS231

Journal ref: Statistical Science 2007, Vol. 22, No. 3, 450-475