Showing 1–50 of 88 results for author: Cook, S

Designing Pu Intermetallics with First Principle Calculations

Authors: Matthew S. Cook, David C. Arellano, Derek V. Prada, Sven P. Rudin, Eric D. Bauer, W. Adam Phelan

Abstract: We present the ab initio supported discovery of two new Pu based intermetallic compounds, PuNiSn and PuPtSn. Using density functional theory, the formation energies within the relevant ternary phase diagrams were calculated to predict the stability of both compounds. Simultaneously, Pu-Ni-Sn and Pu-Pt-Sn materials were arc-melted and subsequently characterized with magnetization, specific heat, an… ▽ More We present the ab initio supported discovery of two new Pu based intermetallic compounds, PuNiSn and PuPtSn. Using density functional theory, the formation energies within the relevant ternary phase diagrams were calculated to predict the stability of both compounds. Simultaneously, Pu-Ni-Sn and Pu-Pt-Sn materials were arc-melted and subsequently characterized with magnetization, specific heat, and resistivity measurements from 2-300 K. Magnetization measurements show that PuNiSn and PuPtSn order antiferromagnetically at TN = 11 K and TN = 15 K, respectively. Specific heat measurements show an enhanced residual electronic specific heat that is indicative of strong electron correlations. Resistivity measurements are indicative of Kondo behavior for PuNiSn while crystal field effects may play a role in the observed temperature dependence for PuPtSn. △ Less

Submitted 28 July, 2024; originally announced July 2024.

Addressing Duplicated Data in Point Process Models

Authors: Lingling Chen, Mikyoung Jun, Scott J. Cook

Abstract: Spatial point process models are widely applied to point pattern data from various fields in the social and environmental sciences. However, a serious hurdle in fitting point process models is the presence of duplicated points, wherein multiple observations share identical spatial coordinates. This often occurs because of decisions made in the geo-coding process, such as assigning representative l… ▽ More Spatial point process models are widely applied to point pattern data from various fields in the social and environmental sciences. However, a serious hurdle in fitting point process models is the presence of duplicated points, wherein multiple observations share identical spatial coordinates. This often occurs because of decisions made in the geo-coding process, such as assigning representative locations (e.g., aggregate-level centroids) to observations when data producers lack exact location information. Because spatial point process models like the Log-Gaussian Cox Process (LGCP) assume unique locations, researchers often employ {\it ad hoc} solutions (e.g., jittering) to address duplicated data before analysis. As an alternative, this study proposes a Modified Minimum Contrast (MMC) method that adapts the inference procedure to account for the effect of duplicates without needing to alter the data. The proposed MMC method is applied to LGCP models, with simulation results demonstrating the gains of our method relative to existing approaches in terms of parameter estimation. Interestingly, simulation results also show the effect of the geo-coding process on parameter estimates, which can be utilized in the implementation of the MMC method. The MMC approach is then used to infer the spatial clustering characteristics of conflict events in Afghanistan (2008-2009). △ Less

Submitted 29 August, 2024; v1 submitted 23 May, 2024; originally announced May 2024.

A noncollinear density functional theory ansatz for the phononic and thermodynamic properties of $α$-Pu

Authors: Alexander R. Muñoz, W. Adam Phelan, Matthew S. Cook, Greta L. Chappell, Paul H. Tobash, David C. Arellano, Derek V. Prada, Travis E. Jones, Sven P. Rudin

Abstract: Plutonium's phase diagram is host to complex structures and interactions that make the description of its ground state properties elusive. Using all-electron density functional theory, we study the thermodynamic properties of $α$-Pu. To do this, we build on recent work in the literature by introducing a novel noncollinear magnetic ansatz for $α$-Pu's ground state. The noncollinear ansatz accuratel… ▽ More Plutonium's phase diagram is host to complex structures and interactions that make the description of its ground state properties elusive. Using all-electron density functional theory, we study the thermodynamic properties of $α$-Pu. To do this, we build on recent work in the literature by introducing a novel noncollinear magnetic ansatz for $α$-Pu's ground state. The noncollinear ansatz accurately recovers the experimental phonon density of states, heat capacity, and thermal expansion. These new results on $α$-Pu along with recent results on $δ$-Pu demonstrate the efficacy of noncollinear ansatzes for the description of plutonium. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Navigating Market Turbulence: Insights from Causal Network Contagion Value at Risk

Authors: Katerina Rigana, Ernst C. Wit, Samantha Cook

Abstract: Accurately defining, measuring and mitigating risk is a cornerstone of financial risk management, especially in the presence of financial contagion. Traditional correlation-based risk assessment methods often struggle under volatile market conditions, particularly in the face of external shocks, highlighting the need for a more robust and invariant predictive approach. This paper introduces the… ▽ More Accurately defining, measuring and mitigating risk is a cornerstone of financial risk management, especially in the presence of financial contagion. Traditional correlation-based risk assessment methods often struggle under volatile market conditions, particularly in the face of external shocks, highlighting the need for a more robust and invariant predictive approach. This paper introduces the Causal Network Contagion Value at Risk (Causal-NECO VaR), a novel methodology that significantly advances causal inference in financial risk analysis. Embracing a causal network framework, this method adeptly captures and analyses volatility and spillover effects, effectively setting it apart from conventional contagion-based VaR models. Causal-NECO VaR's key innovation lies in its ability to derive directional influences among assets from observational data, thereby offering robust risk predictions that remain invariant to market shocks and systemic changes. A comprehensive simulation study and the application to the Forex market show the robustness of the method. Causal-NECO VaR not only demonstrates predictive accuracy, but also maintains its reliability in unstable financial environments, offering clearer risk assessments even amidst unforeseen market disturbances. This research makes a significant contribution to the field of risk management and financial stability, presenting a causal approach to the computation of VaR. It emphasises the model's superior resilience and invariant predictive power, essential for navigating the complexities of today's ever-evolving financial markets. △ Less

Submitted 8 February, 2024; originally announced February 2024.

The Importance of Collective Privacy in Digital Sexual and Reproductive Health

Authors: Teresa Almeida, Maryam Mehrnezhad, Stephen Cook

Abstract: There is an abundance of digital sexual and reproductive health technologies that presents a concern regarding their potential sensitive data breaches. We analyzed 15 Internet of Things (IoT) devices with sexual and reproductive tracking services and found this ever-extending collection of data implicates many beyond the individual including partner, child, and family. Results suggest that digital… ▽ More There is an abundance of digital sexual and reproductive health technologies that presents a concern regarding their potential sensitive data breaches. We analyzed 15 Internet of Things (IoT) devices with sexual and reproductive tracking services and found this ever-extending collection of data implicates many beyond the individual including partner, child, and family. Results suggest that digital sexual and reproductive health data privacy is both an individual and collective endeavor. △ Less

Submitted 26 November, 2023; originally announced November 2023.

RAISE -- Radiology AI Safety, an End-to-end lifecycle approach

Authors: M. Jorge Cardoso, Julia Moosbauer, Tessa S. Cook, B. Selnur Erdal, Brad Genereaux, Vikash Gupta, Bennett A. Landman, Tiarna Lee, Parashkev Nachev, Elanchezhian Somasundaram, Ronald M. Summers, Khaled Younis, Sebastien Ourselin, Franz MJ Pfister

Abstract: The integration of AI into radiology introduces opportunities for improved clinical care provision and efficiency but it demands a meticulous approach to mitigate potential risks as with any other new technology. Beginning with rigorous pre-deployment evaluation and validation, the focus should be on ensuring models meet the highest standards of safety, effectiveness and efficacy for their intende… ▽ More The integration of AI into radiology introduces opportunities for improved clinical care provision and efficiency but it demands a meticulous approach to mitigate potential risks as with any other new technology. Beginning with rigorous pre-deployment evaluation and validation, the focus should be on ensuring models meet the highest standards of safety, effectiveness and efficacy for their intended applications. Input and output guardrails implemented during production usage act as an additional layer of protection, identifying and addressing individual failures as they occur. Continuous post-deployment monitoring allows for tracking population-level performance (data drift), fairness, and value delivery over time. Scheduling reviews of post-deployment model performance and educating radiologists about new algorithmic-driven findings is critical for AI to be effective in clinical practice. Recognizing that no single AI solution can provide absolute assurance even when limited to its intended use, the synergistic application of quality assurance at multiple levels - regulatory, clinical, technical, and ethical - is emphasized. Collaborative efforts between stakeholders spanning healthcare systems, industry, academia, and government are imperative to address the multifaceted challenges involved. Trust in AI is an earned privilege, contingent on a broad set of goals, among them transparently demonstrating that the AI adheres to the same rigorous safety, effectiveness and efficacy standards as other established medical technologies. By doing so, developers can instil confidence among providers and patients alike, enabling the responsible scaling of AI and the realization of its potential benefits. The roadmap presented herein aims to expedite the achievement of deployable, reliable, and safe AI in radiology. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: 14 pages, 3 figures

Spatial Joint Species N-Mixture Models for Multi-Source Observational Data with Application to Wild Deer Population Abundance

Authors: Aoife K. Hurley, Ruth F. Carden, Sally Cook, Irish Deer Commission, Ferdia Marnell, Pieter A. J. Brama, Daniel J. Buckley, James Sweeney

Abstract: Accurate predictions of the populations and spatial distributions of wild animal species is critical from a species management and conservation perspective. Culling is a measure taken for various reasons, including when overpopulation of a species is observed or suspected. Thus accurate estimates of population numbers are essential for specifying, monitoring, and evaluating the impact of such prog… ▽ More Accurate predictions of the populations and spatial distributions of wild animal species is critical from a species management and conservation perspective. Culling is a measure taken for various reasons, including when overpopulation of a species is observed or suspected. Thus accurate estimates of population numbers are essential for specifying, monitoring, and evaluating the impact of such programmes. Population data for wild animals is generally collated from various sources and at differing spatial resolutions. Citizen science projects typically provide point referenced data, whereas site surveys, hunter reports, and official government data may be aggregated and released at a small area or regional level. Jointly modelling these data resources involves overcoming challenges of spatial misalignment. In this article, we develop an N mixture modelling methodology for joint modelling of species populations in the presence of spatially misaligned data, motivated by the three main species of wild deer in the Republic of Ireland; fallow, red and sika. Previous studies of deer populations investigated the distribution and abundance on a species by species basis, failing to account for possible correlation between individual species and the impact of ecological covariates on their distributions. △ Less

Submitted 2 May, 2024; v1 submitted 30 October, 2023; originally announced October 2023.

Spectral determination of the colour and vertical structure of dark spots in Neptune's atmosphere

Authors: Patrick G. J. Irwin, Jack Dobinson, Arjuna James. Michael H. Wong, Leigh N. Fletcher, Michael T. Roman, Nicholas A. Teanby, Daniel Toledo, Glenn S. Orton, Santiago Perez-Hoyos, Agustin Sanchez-Lavega, Lawrence Sromovsky, Amy A. Simon, Raul Morales-Juberias, Imke de Pater, Statia L. Cook

Abstract: Previous observations of dark vortices in Neptune's atmosphere, such as Voyager-2's Great Dark Spot, have been made in only a few, broad-wavelength channels, which has hampered efforts to pinpoint their pressure level and what makes them dark. Here, we present Very Large Telescope (Chile) MUSE spectrometer observations of Hubble Space Telescope's NDS-2018 dark spot, made in 2019. These medium-reso… ▽ More Previous observations of dark vortices in Neptune's atmosphere, such as Voyager-2's Great Dark Spot, have been made in only a few, broad-wavelength channels, which has hampered efforts to pinpoint their pressure level and what makes them dark. Here, we present Very Large Telescope (Chile) MUSE spectrometer observations of Hubble Space Telescope's NDS-2018 dark spot, made in 2019. These medium-resolution 475 - 933 nm reflection spectra allow us to show that dark spots are caused by a darkening at short wavelengths (< 700 nm) of a deep ~5-bar aerosol layer, which we suggest is the H$_2$S condensation layer. A deep bright spot, named DBS-2019, is also visible on the edge of NDS-2018, whose spectral signature is consistent with a brightening of the same 5-bar layer at longer wavelengths (> 700 nm). This bright feature is much deeper than previously studied dark spot companion clouds and may be connected with the circulation that generates and sustains such spots. △ Less

Submitted 24 August, 2023; originally announced August 2023.

Comments: 1 table. 3 figures. Nature Astronomy (2023)

Seismic signals generated at a water-ice interface from smoothed particle hydrodynamic simulations

Authors: Ross J. Turner, Jared C. Magyar, Sue Cook, Anya M. Reading

Abstract: The field of ice sheet, ice shelf and glacier-related seismology, cryoseismology, has seen rapid development in recent years. As concern grows for the implications of change in the great ice sheets of Greenland and Antarctica, so instrument advances and international field programs have expanded the availability of passive seismic datasets that contain records of glacier processes. Many glacier-re… ▽ More The field of ice sheet, ice shelf and glacier-related seismology, cryoseismology, has seen rapid development in recent years. As concern grows for the implications of change in the great ice sheets of Greenland and Antarctica, so instrument advances and international field programs have expanded the availability of passive seismic datasets that contain records of glacier processes. Many glacier-related seismic signals are generated by melt water, so a need exists to better understand the seismic response of moving water on glaciers. We present an analytic framework to model seismic signals at the interface between moving water and ice based on either new or existing smoothed particle hydrodynamic (SPH) simulations. The framework is tailored to understanding the seismic body wave response of transient moving water events and produces a simulated dataset of water-ice collisions to predict the motion due to body waves at any location on the glacier. The synthetic acceleration time series generated are invariant to the simulation resolution, and consider frequency-dependent weak dispersion and attenuation due to the propagating medium. We illustrate the capability of our framework using end-member cases of water flow: the breaking of a supraglacial melt water lake dam with the subsequent flow of water through glacier channels with differing geometries. Our focus is on the waveform attributes rather than exact waveform matching in view of the dynamic nature of the glacier environment. The flexibility inherent in the computational framework will allow for the simulation of seismic signals generated by high-energy collisions in a variety of different water flow geometries. We make the code publicly available for the polar geophysics community with the aim of adding to the toolbox of available approaches to inform the future monitoring of melt water movement and related glacier processes. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Comments: 21 pages, 9 figures, 0 tables; submitted to GJI

Magnetic and electronic properties of Eu$_5$In$_2$Sb$_6$

Authors: M. Victoria Ale Crivillero, Sahana Rößler, S. Granovsky, M. Doerr, M. S. Cook, Priscila F. S. Rosa, J. Müller, S. Wirth

Abstract: The intermetallic compound Eu$_5$In$_2$Sb$_6$, an antiferromagnetic material with nonsymmorphic crystalline structure, is investigated by magnetic, electronic transport and specific heat measurements. Being a Zintl phase, insulating behavior is expected. Our thermodynamic and magnetotransport measurements along different crystallographic directions strongly indicate polaron formation well above th… ▽ More The intermetallic compound Eu$_5$In$_2$Sb$_6$, an antiferromagnetic material with nonsymmorphic crystalline structure, is investigated by magnetic, electronic transport and specific heat measurements. Being a Zintl phase, insulating behavior is expected. Our thermodynamic and magnetotransport measurements along different crystallographic directions strongly indicate polaron formation well above the magnetic ordering temperatures. Pronounced anisotropies of the magnetic and transport properties even above the magnetic ordering temperature are observed despite the Eu$^{2+}$ configuration which testify to complex and competing magnetic interactions between these ions and give rise to intricate phase diagrams discussed in detail. Our results provide a comprehensive framework for further detailed study of this multifaceted compound with possible nontrivial topology. △ Less

Submitted 13 February, 2023; originally announced February 2023.

Comments: 9 pages, 6 figures

Journal ref: Sci. Rep. 13, 1597 (2023)

Dynamics of the no-slip Galton board

Authors: Jan Ahmed, Timothy Chumley, Scott Cook, Christopher Cox, Hakiem Grant, Nicholas Petela, Bethany Rothrock, Ridnald Xhafaj

Abstract: The ideal Galton board and Lorentz gas billiard models have been studied numerically and analytically primarily in settings where friction and rotational velocity are neglected. We eliminate these simplifying assumptions and study the resulting dynamics of a more general model using no-slip collisions, in which particles rotate and may exchange linear and angular momentum at collisions while adher… ▽ More The ideal Galton board and Lorentz gas billiard models have been studied numerically and analytically primarily in settings where friction and rotational velocity are neglected. We eliminate these simplifying assumptions and study the resulting dynamics of a more general model using no-slip collisions, in which particles rotate and may exchange linear and angular momentum at collisions while adhering to certain conservation laws. Using numerical experiments and phase portrait analysis we show that (in contrast to specular dispersing billiards) regularity persists when a small force is introduced while (consistent with specular billiards) under a stronger force new structure including invariant regions may arise. We also show analytically that with the introduction of an external force periodicity proliferates, with new types of periodic orbits not present in the no-force case. △ Less

Submitted 16 August, 2022; originally announced August 2022.

Comments: 20 pages, 16 figures

MSC Class: 37C83

On minimum contrast method for multivariate spatial point processes

Authors: Lin Zhu, Junho Yang, Mikyoung Jun, Scott Cook

Abstract: Compared to widely used likelihood-based approaches, the minimum contrast (MC) method offers a computationally efficient method for estimation and inference of spatial point processes. These relative gains in computing time become more pronounced when analyzing complicated multivariate point process models. Despite this, there has been little exploration of the MC method for multivariate spatial p… ▽ More Compared to widely used likelihood-based approaches, the minimum contrast (MC) method offers a computationally efficient method for estimation and inference of spatial point processes. These relative gains in computing time become more pronounced when analyzing complicated multivariate point process models. Despite this, there has been little exploration of the MC method for multivariate spatial point processes. Therefore, this article introduces a new MC method for parametric multivariate spatial point processes. A contrast function is computed based on the trace of the power of the difference between the conjectured $K$-function matrix and its nonparametric unbiased edge-corrected estimator. Under standard assumptions, we derive the asymptotic normality of our MC estimator. The performance of the proposed method is demonstrated through simulation studies of bivariate log-Gaussian Cox processes and five-variate product-shot-noise Cox processes. △ Less

Submitted 2 July, 2024; v1 submitted 15 August, 2022; originally announced August 2022.

Flexible multivariate spatio-temporal Hawkes process models of terrorism

Authors: Mikyoung Jun, Scott Cook

Abstract: We develop flexible multivariate spatio-temporal Hawkes process models to analyze patterns of terrorism. Previous applications of point process methods to political violence data mainly utilize temporal Hawkes process models, neglecting spatial variation in these attack patterns. This limits what can be learned from these models as any effective counter-terrorism strategy requires knowledge on bot… ▽ More We develop flexible multivariate spatio-temporal Hawkes process models to analyze patterns of terrorism. Previous applications of point process methods to political violence data mainly utilize temporal Hawkes process models, neglecting spatial variation in these attack patterns. This limits what can be learned from these models as any effective counter-terrorism strategy requires knowledge on both when and where attacks are likely to occur. Even the existing work on spatio-temporal Hawkes processes imposes restrictions on the triggering function that are not well-suited for terrorism data. Therefore, we generalize the structure of the spatio-temporal triggering function considerably, allowing for nonseprability, nonstatitionarity, and cross-triggering (i.e., across the groups). To demonstrate the utility of our models, we analyze two samples of real-world terrorism data: Afghanistan (2002-2013) for univariate analysis and Nigeria (2009-2017) for bivariate analysis. Jointly, these two studies demonstrate that our models outperform standard Hawkes process models, besting widely-used alternatives in overall model fit and revealing spatio-temporal patterns that are, by construction, masked in these models (e.g., increasing dispersion in cross-triggering over time). △ Less

Submitted 10 August, 2023; v1 submitted 24 February, 2022; originally announced February 2022.

Using Network-based Causal Inference to Detect the Sources of Contagion in the Currency Market

Authors: Katerina Rigana, Ernst-Jan Camiel Wit, Samantha Cook

Abstract: Contagion is an extremely important topic in finance. Contagion is at the core of most major financial crises, in particular the 2008 financial crisis. Although various approaches to quantifying contagion have been proposed, many of them lack a causal interpretation. We will present a new measure for contagion among individual currencies within the Foreign exchange market and show how the paths of… ▽ More Contagion is an extremely important topic in finance. Contagion is at the core of most major financial crises, in particular the 2008 financial crisis. Although various approaches to quantifying contagion have been proposed, many of them lack a causal interpretation. We will present a new measure for contagion among individual currencies within the Foreign exchange market and show how the paths of contagion work within the Forex using causal inference. This approach will allow us to pinpoint sources of contagion and to find which currencies offer good options for diversification and which are more susceptible to systemic risk, ultimately resulting in feedback on the level of global systemic risk. △ Less

Submitted 24 December, 2021; originally announced December 2021.

The drainage of glacier and ice sheet surface lakes

Authors: Christian Schoof, Sue Cook, Bernd Kulessa, Sarah Thompson

Abstract: Supraglacial lakes play a central role in storing melt water, enhancing surface melt, and ultimately in driving ice flow and ice shelf melt through injecting water into the subglacial environment and facilitating fracturing. Here, we develop a model for the drainage of supraglacial lakes through the dissipation-driven incision of a surface channel. The model consists of the St Venant equations for… ▽ More Supraglacial lakes play a central role in storing melt water, enhancing surface melt, and ultimately in driving ice flow and ice shelf melt through injecting water into the subglacial environment and facilitating fracturing. Here, we develop a model for the drainage of supraglacial lakes through the dissipation-driven incision of a surface channel. The model consists of the St Venant equations for flow in the channel, fed by an upstream lake reservoir, coupled with an equation for the evolution of channel elevation due to advection, uplift, and downward melting. After reduction to a `stream power'-type hyperbolic model, we show that lake drainage occurs above a critical rate of water supply to the lake due to the backward migration of a shock that incises the lake seal. The critical water supply rate depends on advection velocity and uplift (or more precisely, drawdown downstream of the lake) as well as model parameters such as channel wall roughness and the parameters defining the relationship between channel cross-section and wetted perimeter. Once lake drainage does occur, it can either continue until the lake is empty, or terminate early, leading to oscillatory cycles of lake filling and draining, with the latter favoured by large lake volumes and relatively small water supply rates. △ Less

Submitted 28 October, 2021; originally announced October 2021.

The promise and perils of point process models of political events

Authors: Lin Zhu, Scott J. Cook, Mikyoung Jun

Abstract: Event data are increasingly common in applied political science research. While these data are inherently locational, political scientists predominately analyze aggregate summaries of these events as areal data. In so doing, they lose much of the information inherent to these point pattern data, and much of the flexibility that comes analyzing events using point process models. Recognizing these a… ▽ More Event data are increasingly common in applied political science research. While these data are inherently locational, political scientists predominately analyze aggregate summaries of these events as areal data. In so doing, they lose much of the information inherent to these point pattern data, and much of the flexibility that comes analyzing events using point process models. Recognizing these advantages, applied statisticians have increasingly utilized point process models in the analysis of political events. Yet, this work often neglects inherent limitations of political event data (e.g, geolocation accuracy), which can complicate the direct application of point process models. In this paper, we attempt to bridge this divide: introducing the benefits of point process modeling for political science research, and highlighting the unique challenges political science data pose for these approaches. To ground our discussion, we focus the Global Terrorism Database, using a univariate and bivariate log-Gaussian Cox process model (LGCP) to analyze terror attacks in Nigeria during 2014. △ Less

Submitted 10 November, 2021; v1 submitted 28 August, 2021; originally announced August 2021.

Joint Semi-supervised 3D Super-Resolution and Segmentation with Mixed Adversarial Gaussian Domain Adaptation

Authors: Nicolo Savioli, Antonio de Marvao, Wenjia Bai, Shuo Wang, Stuart A. Cook, Calvin W. L. Chin, Daniel Rueckert, Declan P. O'Regan

Abstract: Optimising the analysis of cardiac structure and function requires accurate 3D representations of shape and motion. However, techniques such as cardiac magnetic resonance imaging are conventionally limited to acquiring contiguous cross-sectional slices with low through-plane resolution and potential inter-slice spatial misalignment. Super-resolution in medical imaging aims to increase the resoluti… ▽ More Optimising the analysis of cardiac structure and function requires accurate 3D representations of shape and motion. However, techniques such as cardiac magnetic resonance imaging are conventionally limited to acquiring contiguous cross-sectional slices with low through-plane resolution and potential inter-slice spatial misalignment. Super-resolution in medical imaging aims to increase the resolution of images but is conventionally trained on features from low resolution datasets and does not super-resolve corresponding segmentations. Here we propose a semi-supervised multi-task generative adversarial network (Gemini-GAN) that performs joint super-resolution of the images and their labels using a ground truth of high resolution 3D cines and segmentations, while an unsupervised variational adversarial mixture autoencoder (V-AMA) is used for continuous domain adaptation. Our proposed approach is extensively evaluated on two transnational multi-ethnic populations of 1,331 and 205 adults respectively, delivering an improvement on state of the art methods in terms of Dice index, peak signal to noise ratio, and structural similarity index measure. This framework also exceeds the performance of state of the art generative domain adaptation models on external validation (Dice index 0.81 vs 0.74 for the left ventricle). This demonstrates how joint super-resolution and segmentation, trained on 3D ground-truth data with cross-domain generalization, enables robust precision phenotyping in diverse populations. △ Less

Submitted 16 July, 2021; originally announced July 2021.

The EXO-200 detector, part II: Auxiliary Systems

Authors: N. Ackerman, J. Albert, M. Auger, D. J. Auty, I. Badhrees, P. S. Barbeau, L. Bartoszek, E. Baussan, V. Belov, C. Benitez-Medina, T. Bhatta, M. Breidenbach, T. Brunner, G. F. Cao, W. R. Cen, C. Chambers, B. Cleveland, R. Conley, S. Cook, M. Coon, W. Craddock, A. Craycraft, W. Cree, T. Daniels, L. Darroch , et al. (135 additional authors not shown)

Abstract: The EXO-200 experiment searched for neutrinoless double-beta decay of $^{136}$Xe with a single-phase liquid xenon detector. It used an active mass of 110 kg of 80.6%-enriched liquid xenon in an ultra-low background time projection chamber with ionization and scintillation detection and readout. This paper describes the design and performance of the various support systems necessary for detector op… ▽ More The EXO-200 experiment searched for neutrinoless double-beta decay of $^{136}$Xe with a single-phase liquid xenon detector. It used an active mass of 110 kg of 80.6%-enriched liquid xenon in an ultra-low background time projection chamber with ionization and scintillation detection and readout. This paper describes the design and performance of the various support systems necessary for detector operation, including cryogenics, xenon handling, and controls. Novel features of the system were driven by the need to protect the thin-walled detector chamber containing the liquid xenon, to achieve high chemical purity of the Xe, and to maintain thermal uniformity across the detector. △ Less

Submitted 22 October, 2021; v1 submitted 13 July, 2021; originally announced July 2021.

Comments: Manuscript updated in response to JINST reviewer comments

Joint Motion Correction and Super Resolution for Cardiac Segmentation via Latent Optimisation

Authors: Shuo Wang, Chen Qin, Nicolo Savioli, Chen Chen, Declan O'Regan, Stuart Cook, Yike Guo, Daniel Rueckert, Wenjia Bai

Abstract: In cardiac magnetic resonance (CMR) imaging, a 3D high-resolution segmentation of the heart is essential for detailed description of its anatomical structures. However, due to the limit of acquisition duration and respiratory/cardiac motion, stacks of multi-slice 2D images are acquired in clinical routine. The segmentation of these images provides a low-resolution representation of cardiac anatomy… ▽ More In cardiac magnetic resonance (CMR) imaging, a 3D high-resolution segmentation of the heart is essential for detailed description of its anatomical structures. However, due to the limit of acquisition duration and respiratory/cardiac motion, stacks of multi-slice 2D images are acquired in clinical routine. The segmentation of these images provides a low-resolution representation of cardiac anatomy, which may contain artefacts caused by motion. Here we propose a novel latent optimisation framework that jointly performs motion correction and super resolution for cardiac image segmentations. Given a low-resolution segmentation as input, the framework accounts for inter-slice motion in cardiac MR imaging and super-resolves the input into a high-resolution segmentation consistent with input. A multi-view loss is incorporated to leverage information from both short-axis view and long-axis view of cardiac imaging. To solve the inverse problem, iterative optimisation is performed in a latent space, which ensures the anatomical plausibility. This alleviates the need of paired low-resolution and high-resolution images for supervised learning. Experiments on two cardiac MR datasets show that the proposed framework achieves high performance, comparable to state-of-the-art super-resolution approaches and with better cross-domain generalisability and anatomical plausibility. △ Less

Submitted 8 July, 2021; originally announced July 2021.

Comments: The paper is early accepted to MICCAI 2021. The codes are available at https://github.com/shuowang26/SRHeart

New Test of the Gravitational $1/r^2$ Law at Separations down to 52 $μ$m

Authors: J. G. Lee, E. G. Adelberger, T. S. Cook, S. M. Fleischer, B. R. Heckel

Abstract: We tested the gravitational $1/r^2$ law using a stationary torsion-balance detector and a rotating attractor containing test bodies with both 18-fold and 120-fold azimuthal symmetries that simultaneously tests the $1/r^2$ law at two different length scales. We took data at detector-attractor separations between $52~μ$m and 3.0 mm. Newtonian gravity gave an excellent fit to our data, limiting with… ▽ More We tested the gravitational $1/r^2$ law using a stationary torsion-balance detector and a rotating attractor containing test bodies with both 18-fold and 120-fold azimuthal symmetries that simultaneously tests the $1/r^2$ law at two different length scales. We took data at detector-attractor separations between $52~μ$m and 3.0 mm. Newtonian gravity gave an excellent fit to our data, limiting with 95\% confidence any gravitational-strength Yukawa interactions to ranges $< 38.6~μ$m. △ Less

Submitted 26 February, 2020; originally announced February 2020.

Comments: 5 pages, 5 figures

A Method and Analysis to Elicit User-reported Problems in Intelligent Everyday Applications

Authors: Malin Eiband, Sarah Theres Völkel, Daniel Buschek, Sophia Cook, Heinrich Hussmann

Abstract: The complex nature of intelligent systems motivates work on supporting users during interaction, for example through explanations. However, as of yet, there is little empirical evidence in regard to specific problems users face when applying such systems in everyday situations. This paper contributes a novel method and analysis to investigate such problems as reported by users: We analysed 45,448… ▽ More The complex nature of intelligent systems motivates work on supporting users during interaction, for example through explanations. However, as of yet, there is little empirical evidence in regard to specific problems users face when applying such systems in everyday situations. This paper contributes a novel method and analysis to investigate such problems as reported by users: We analysed 45,448 reviews of four apps on the Google Play Store (Facebook, Netflix, Google Maps and Google Assistant) with sentiment analysis and topic modelling to reveal problems during interaction that can be attributed to the apps' algorithmic decision-making. We enriched this data with users' coping and support strategies through a follow-up online survey (N=286). In particular, we found problems and strategies related to content, algorithm, user choice, and feedback. We discuss corresponding implications for designing user support, highlighting the importance of user control and explanations of output, rather than processes. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Comments: 28 pages, 2 figures, 7 tables

ACM Class: H.m

In Search of Lost Edges: A Case Study on Reconstructing Financial Networks

Authors: Michael Lebacher, Samantha Cook, Nadja Klein, Göran Kauermann

Abstract: To capture the systemic complexity of international financial systems, network data is an important prerequisite. However, dyadic data is often not available, raising the need for methods that allow for reconstructing networks based on limited information. In this paper, we are reviewing different methods that are designed for the estimation of matrices from their marginals and potentially exogeno… ▽ More To capture the systemic complexity of international financial systems, network data is an important prerequisite. However, dyadic data is often not available, raising the need for methods that allow for reconstructing networks based on limited information. In this paper, we are reviewing different methods that are designed for the estimation of matrices from their marginals and potentially exogenous information. This includes a general discussion of the available methodology that provides edge probabilities as well as models that are focussed on the reconstruction of edge values. Besides summarizing the advantages, shortfalls and computational issues of the approaches, we put them into a competitive comparison using the SWIFT (Society for Worldwide Interbank Financial Telecommunication) MT 103 payment messages network (MT 103: Single Customer Credit Transfer). This network is not only economically meaningful but also fully observed which allows for an extensive competitive horse race of methods. The comparison concerning the binary reconstruction is divided into an evaluation of the edge probabilities and the quality of the reconstructed degree structures. Furthermore, the accuracy of the predicted edge values is investigated. To test the methods on different topologies, the application is split into two parts. The first part considers the full MT 103 network, being an illustration for the reconstruction of large, sparse financial networks. The second part is concerned with reconstructing a subset of the full network, representing a dense medium-sized network. Regarding substantial outcomes, it can be found that no method is superior in every respect and that the preferred model choice highly depends on the goal of the analysis, the presumed network structure and the availability of exogenous information. △ Less

Submitted 4 September, 2019; v1 submitted 3 September, 2019; originally announced September 2019.

Enabling Simulation of High-Dimensional Micro-Macro Biophysical Models through Hybrid CPU and Multi-GPU Parallelism

Authors: Steven Cook, Tamar Shinar

Abstract: Micro-macro models provide a powerful tool to study the relationship between microscale mechanisms and emergent macroscopic behavior. However, the detailed microscopic modeling may require tracking and evolving a high-dimensional configuration space at high computational cost. In this work, we present a parallel algorithm for simulation a high-dimensional micro-macro model of a gliding motility as… ▽ More Micro-macro models provide a powerful tool to study the relationship between microscale mechanisms and emergent macroscopic behavior. However, the detailed microscopic modeling may require tracking and evolving a high-dimensional configuration space at high computational cost. In this work, we present a parallel algorithm for simulation a high-dimensional micro-macro model of a gliding motility assay. We utilize a holistic approach aligning the data residency and simulation scales with the hybrid CPU and multi-GPU hardware. With a combination of algorithmic modifications, GPU optimizations, and scaling to multiple GPUs, we achieve speedup factors of up to 27 over our previous hybrid CPU-GPU implementation and up to 540 over our single-threaded implementation. This approach enables micro-macro simulations of higher complexity and resolution than would otherwise be feasible. △ Less

Submitted 12 August, 2019; originally announced August 2019.

Explainable Anatomical Shape Analysis through Deep Hierarchical Generative Models

Authors: Carlo Biffi, Juan J. Cerrolaza, Giacomo Tarroni, Wenjia Bai, Antonio de Marvao, Ozan Oktay, Christian Ledig, Loic Le Folgoc, Konstantinos Kamnitsas, Georgia Doumou, Jinming Duan, Sanjay K. Prasad, Stuart A. Cook, Declan P. O'Regan, Daniel Rueckert

Abstract: Quantification of anatomical shape changes currently relies on scalar global indexes which are largely insensitive to regional or asymmetric modifications. Accurate assessment of pathology-driven anatomical remodeling is a crucial step for the diagnosis and treatment of many conditions. Deep learning approaches have recently achieved wide success in the analysis of medical images, but they lack in… ▽ More Quantification of anatomical shape changes currently relies on scalar global indexes which are largely insensitive to regional or asymmetric modifications. Accurate assessment of pathology-driven anatomical remodeling is a crucial step for the diagnosis and treatment of many conditions. Deep learning approaches have recently achieved wide success in the analysis of medical images, but they lack interpretability in the feature extraction and decision processes. In this work, we propose a new interpretable deep learning model for shape analysis. In particular, we exploit deep generative networks to model a population of anatomical segmentations through a hierarchy of conditional latent variables. At the highest level of this hierarchy, a two-dimensional latent space is simultaneously optimised to discriminate distinct clinical conditions, enabling the direct visualisation of the classification space. Moreover, the anatomical variability encoded by this discriminative latent space can be visualised in the segmentation space thanks to the generative properties of the model, making the classification task transparent. This approach yielded high accuracy in the categorisation of healthy and remodelled left ventricles when tested on unseen segmentations from our own multi-centre dataset as well as in an external validation set, and on hippocampi from healthy controls and patients with Alzheimer's disease when tested on ADNI data. More importantly, it enabled the visualisation in three-dimensions of both global and regional anatomical features which better discriminate between the conditions under exam. The proposed approach scales effectively to large populations, facilitating high-throughput analysis of normal anatomy and pathology in large-scale studies of volumetric imaging. △ Less

Submitted 4 January, 2020; v1 submitted 28 June, 2019; originally announced July 2019.

Comments: Accepted for publication in IEEE Transactions on Medical Imaging (TMI)

3D High-Resolution Cardiac Segmentation Reconstruction from 2D Views using Conditional Variational Autoencoders

Authors: Carlo Biffi, Juan J. Cerrolaza, Giacomo Tarroni, Antonio de Marvao, Stuart A. Cook, Declan P. O'Regan, Daniel Rueckert

Abstract: Accurate segmentation of heart structures imaged by cardiac MR is key for the quantitative analysis of pathology. High-resolution 3D MR sequences enable whole-heart structural imaging but are time-consuming, expensive to acquire and they often require long breath holds that are not suitable for patients. Consequently, multiplanar breath-hold 2D cine sequences are standard practice but are disadvan… ▽ More Accurate segmentation of heart structures imaged by cardiac MR is key for the quantitative analysis of pathology. High-resolution 3D MR sequences enable whole-heart structural imaging but are time-consuming, expensive to acquire and they often require long breath holds that are not suitable for patients. Consequently, multiplanar breath-hold 2D cine sequences are standard practice but are disadvantaged by lack of whole-heart coverage and low through-plane resolution. To address this, we propose a conditional variational autoencoder architecture able to learn a generative model of 3D high-resolution left ventricular (LV) segmentations which is conditioned on three 2D LV segmentations of one short-axis and two long-axis images. By only employing these three 2D segmentations, our model can efficiently reconstruct the 3D high-resolution LV segmentation of a subject. When evaluated on 400 unseen healthy volunteers, our model yielded an average Dice score of $87.92 \pm 0.15$ and outperformed competing architectures. △ Less

Submitted 28 February, 2019; originally announced February 2019.

Comments: Accepted in IEEE International Symposium on Biomedical Imaging (ISBI 2019)

Race, Ethnicity and National Origin-based Discrimination in Social Media and Hate Crimes Across 100 U.S. Cities

Authors: Kunal Relia, Zhengyi Li, Stephanie H. Cook, Rumi Chunara

Abstract: We study malicious online content via a specific type of hate speech: race, ethnicity and national-origin based discrimination in social media, alongside hate crimes motivated by those characteristics, in 100 cities across the United States. We develop a spatially-diverse training dataset and classification pipeline to delineate targeted and self-narration of discrimination on social media, accoun… ▽ More We study malicious online content via a specific type of hate speech: race, ethnicity and national-origin based discrimination in social media, alongside hate crimes motivated by those characteristics, in 100 cities across the United States. We develop a spatially-diverse training dataset and classification pipeline to delineate targeted and self-narration of discrimination on social media, accounting for language across geographies. Controlling for census parameters, we find that the proportion of discrimination that is targeted is associated with the number of hate crimes. Finally, we explore the linguistic features of discrimination Tweets in relation to hate crimes by city, features used by users who Tweet different amounts of discrimination, and features of discrimination compared to non-discrimination Tweets. Findings from this spatial study can inform future studies of how discrimination in physical and virtual worlds vary by place, or how physical and virtual world discrimination may synergize. △ Less

Submitted 31 January, 2019; originally announced February 2019.

Uniform, Integral and Feasible Proofs for the Determinant Identities

Authors: Iddo Tzameret, Stephen A. Cook

Abstract: Aiming to provide weak as possible axiomatic assumptions in which one can develop basic linear algebra, we give a uniform and integral version of the short propositional proofs for the determinant identities demonstrated over $GF(2)$ in Hrubes-Tzameret [SICOMP'15]. Specifically, we show that the multiplicativity of the determinant function and the Cayley-Hamilton theorem over the integers are prov… ▽ More Aiming to provide weak as possible axiomatic assumptions in which one can develop basic linear algebra, we give a uniform and integral version of the short propositional proofs for the determinant identities demonstrated over $GF(2)$ in Hrubes-Tzameret [SICOMP'15]. Specifically, we show that the multiplicativity of the determinant function and the Cayley-Hamilton theorem over the integers are provable in the bounded arithmetic theory $\mathbf{VNC}^2$; the latter is a first-order theory corresponding to the complexity class $\mathbf{NC}^2$ consisting of problems solvable by uniform families of polynomial-size circuits and $O(\log ^2 n)$-depth. This also establishes the existence of uniform polynomial-size $\mathbf{NC}^2$-Frege proofs of the basic determinant identities over the integers (previous propositional proofs hold only over the two element field). △ Less

Submitted 10 November, 2018; originally announced November 2018.

Comments: 76 pages

MSC Class: 03F20; 68Q17; 68Q15; 03F30 ACM Class: F.2.2; F.4.1

Deep learning cardiac motion analysis for human survival prediction

Authors: Ghalib A. Bello, Timothy J. W. Dawes, Jinming Duan, Carlo Biffi, Antonio de Marvao, Luke S. G. E. Howard, J. Simon R. Gibbs, Martin R. Wilkins, Stuart A. Cook, Daniel Rueckert, Declan P. O'Regan

Abstract: Motion analysis is used in computer vision to understand the behaviour of moving objects in sequences of images. Optimising the interpretation of dynamic biological systems requires accurate and precise motion tracking as well as efficient representations of high-dimensional motion trajectories so that these can be used for prediction tasks. Here we use image sequences of the heart, acquired using… ▽ More Motion analysis is used in computer vision to understand the behaviour of moving objects in sequences of images. Optimising the interpretation of dynamic biological systems requires accurate and precise motion tracking as well as efficient representations of high-dimensional motion trajectories so that these can be used for prediction tasks. Here we use image sequences of the heart, acquired using cardiac magnetic resonance imaging, to create time-resolved three-dimensional segmentations using a fully convolutional network trained on anatomical shape priors. This dense motion model formed the input to a supervised denoising autoencoder (4Dsurvival), which is a hybrid network consisting of an autoencoder that learns a task-specific latent code representation trained on observed outcome data, yielding a latent representation optimised for survival prediction. To handle right-censored survival outcomes, our network used a Cox partial likelihood loss function. In a study of 302 patients the predictive accuracy (quantified by Harrell's C-index) was significantly higher (p < .0001) for our model C=0.73 (95$\%$ CI: 0.68 - 0.78) than the human benchmark of C=0.59 (95$\%$ CI: 0.53 - 0.65). This work demonstrates how a complex computer vision task using high-dimensional medical image data can efficiently predict human survival. △ Less

Submitted 8 October, 2018; originally announced October 2018.

Journal ref: Nature Machine Intelligence, 1, 95-104 (2019)

A Comprehensive Approach for Learning-based Fully-Automated Inter-slice Motion Correction for Short-Axis Cine Cardiac MR Image Stacks

Authors: Giacomo Tarroni, Ozan Oktay, Matthew Sinclair, Wenjia Bai, Andreas Schuh, Hideaki Suzuki, Antonio de Marvao, Declan O'Regan, Stuart Cook, Daniel Rueckert

Abstract: In the clinical routine, short axis (SA) cine cardiac MR (CMR) image stacks are acquired during multiple subsequent breath-holds. If the patient cannot consistently hold the breath at the same position, the acquired image stack will be affected by inter-slice respiratory motion and will not correctly represent the cardiac volume, introducing potential errors in the following analyses and visualisa… ▽ More In the clinical routine, short axis (SA) cine cardiac MR (CMR) image stacks are acquired during multiple subsequent breath-holds. If the patient cannot consistently hold the breath at the same position, the acquired image stack will be affected by inter-slice respiratory motion and will not correctly represent the cardiac volume, introducing potential errors in the following analyses and visualisations. We propose an approach to automatically correct inter-slice respiratory motion in SA CMR image stacks. Our approach makes use of probabilistic segmentation maps (PSMs) of the left ventricular (LV) cavity generated with decision forests. PSMs are generated for each slice of the SA stack and rigidly registered in-plane to a target PSM. If long axis (LA) images are available, PSMs are generated for them and combined to create the target PSM; if not, the target PSM is produced from the same stack using a 3D model trained from motion-free stacks. The proposed approach was tested on a dataset of SA stacks acquired from 24 healthy subjects (for which anatomical 3D cardiac images were also available as reference) and compared to two techniques which use LA intensity images and LA segmentations as targets, respectively. The results show the accuracy and robustness of the proposed approach in motion compensation. △ Less

Submitted 3 October, 2018; originally announced October 2018.

Comments: Accepted for publication at MICCAI 2018. arXiv admin note: text overlap with arXiv:1803.09354

Rolling and no-slip bouncing in cylinders

Authors: Timothy Chumley, Scott Cook, Christopher Cox, Renato Feres

Abstract: The purpose of this paper is to compare a classical non-holonomic system---a sphere rolling against the inner surface of a vertical cylinder under gravity---and a class of discrete dynamical systems known as no-slip billiards in similar configurations. A well-known notable feature of the non-holonomic system is that the rolling sphere does not fall; its height function is bounded and oscillates ha… ▽ More The purpose of this paper is to compare a classical non-holonomic system---a sphere rolling against the inner surface of a vertical cylinder under gravity---and a class of discrete dynamical systems known as no-slip billiards in similar configurations. A well-known notable feature of the non-holonomic system is that the rolling sphere does not fall; its height function is bounded and oscillates harmonically up and down. The central issue of the present work is whether similar bounded behavior can be observed in the no-slip billiard counterpart. Our main results are as follows: for circular cylinders in dimension $3$, the no-slip billiard has the bounded orbits property, and very closely approximates rolling motion, for a class of initial conditions which we call transversal rolling impact. When this condition does not hold, trajectories undergo vertical oscillations superimposed to an overall downward acceleration. Considering cylinders with different cross-section shapes, we show that no-slip billiards between two parallel hyperplanes in Euclidean space of arbitrary dimension are always bounded even under a constant force parallel to the plates; for general cylinders, when the orbit of the transverse system (a concept that depends on a factorization of the motion into transversal and longitudinal components) has period two---a very common occurrence in planar no-slip billiards---the motion in the longitudinal direction, under no forces, is generically not bounded. This is shown using a formula for a longitudinal linear drift that we prove in arbitrary dimensions. While the systems for which we can prove the existence of bounded orbits have relatively simple transverse dynamics, we also briefly explore numerically a no-slip billiard system, namely the stadium cylinder billiard, that can exhibit chaotic transversal dynamics. △ Less

Submitted 25 August, 2018; originally announced August 2018.

Comments: 34 pages, 13 figures

Journal ref: J. Geom. Mech., 12(1):53-84, 2020

Learning Interpretable Anatomical Features Through Deep Generative Models: Application to Cardiac Remodeling

Authors: Carlo Biffi, Ozan Oktay, Giacomo Tarroni, Wenjia Bai, Antonio De Marvao, Georgia Doumou, Martin Rajchl, Reem Bedair, Sanjay Prasad, Stuart Cook, Declan O'Regan, Daniel Rueckert

Abstract: Alterations in the geometry and function of the heart define well-established causes of cardiovascular disease. However, current approaches to the diagnosis of cardiovascular diseases often rely on subjective human assessment as well as manual analysis of medical images. Both factors limit the sensitivity in quantifying complex structural and functional phenotypes. Deep learning approaches have re… ▽ More Alterations in the geometry and function of the heart define well-established causes of cardiovascular disease. However, current approaches to the diagnosis of cardiovascular diseases often rely on subjective human assessment as well as manual analysis of medical images. Both factors limit the sensitivity in quantifying complex structural and functional phenotypes. Deep learning approaches have recently achieved success for tasks such as classification or segmentation of medical images, but lack interpretability in the feature extraction and decision processes, limiting their value in clinical diagnosis. In this work, we propose a 3D convolutional generative model for automatic classification of images from patients with cardiac diseases associated with structural remodeling. The model leverages interpretable task-specific anatomic patterns learned from 3D segmentations. It further allows to visualise and quantify the learned pathology-specific remodeling patterns in the original input space of the images. This approach yields high accuracy in the categorization of healthy and hypertrophic cardiomyopathy subjects when tested on unseen MR images from our own multi-centre dataset (100%) as well on the ACDC MICCAI 2017 dataset (90%). We believe that the proposed deep learning approach is a promising step towards the development of interpretable classifiers for the medical imaging domain, which may help clinicians to improve diagnostic accuracy and enhance patient risk-stratification. △ Less

Submitted 18 July, 2018; originally announced July 2018.

Comments: Accepted at MICCAI 2018

Learning-Based Quality Control for Cardiac MR Images

Authors: Giacomo Tarroni, Ozan Oktay, Wenjia Bai, Andreas Schuh, Hideaki Suzuki, Jonathan Passerat-Palmbach, Antonio de Marvao, Declan P. O'Regan, Stuart Cook, Ben Glocker, Paul M. Matthews, Daniel Rueckert

Abstract: The effectiveness of a cardiovascular magnetic resonance (CMR) scan depends on the ability of the operator to correctly tune the acquisition parameters to the subject being scanned and on the potential occurrence of imaging artefacts such as cardiac and respiratory motion. In the clinical practice, a quality control step is performed by visual assessment of the acquired images: however, this proce… ▽ More The effectiveness of a cardiovascular magnetic resonance (CMR) scan depends on the ability of the operator to correctly tune the acquisition parameters to the subject being scanned and on the potential occurrence of imaging artefacts such as cardiac and respiratory motion. In the clinical practice, a quality control step is performed by visual assessment of the acquired images: however, this procedure is strongly operator-dependent, cumbersome and sometimes incompatible with the time constraints in clinical settings and large-scale studies. We propose a fast, fully-automated, learning-based quality control pipeline for CMR images, specifically for short-axis image stacks. Our pipeline performs three important quality checks: 1) heart coverage estimation, 2) inter-slice motion detection, 3) image contrast estimation in the cardiac region. The pipeline uses a hybrid decision forest method - integrating both regression and structured classification models - to extract landmarks as well as probabilistic segmentation maps from both long- and short-axis images as a basis to perform the quality checks. The technique was tested on up to 3000 cases from the UK Biobank as well as on 100 cases from the UK Digital Heart Project, and validated against manual annotations and visual inspections performed by expert interpreters. The results show the capability of the proposed pipeline to correctly detect incomplete or corrupted scans (e.g. on UK Biobank, sensitivity and specificity respectively 88% and 99% for heart coverage estimation, 85% and 95% for motion detection), allowing their exclusion from the analysed dataset or the triggering of a new acquisition. △ Less

Submitted 15 September, 2018; v1 submitted 25 March, 2018; originally announced March 2018.

Journal ref: IEEE Transactions on Medical Imaging Nov 2018

Major Merging History in CANDELS. I. Evolution of the Incidence of Massive Galaxy-Galaxy Pairs from z=3 to z~0

Authors: Kameswara Bharadwaj Mantha, Daniel H. McIntosh, Ryan Brennan, Henry C. Ferguson, Dritan Kodra, Jeffrey A. Newman, Marc Rafelski, Rachel S. Somerville, Christopher J. Conselice, Joshua S. Cook, Nimish P. Hathi, David C. Koo, Jennifer M. Lotz, Brooke D. Simmons, Amber N. Straughn, Gregory F. Synder, Stijn Wuyts, Eric F. Bell, Avishai Dekel, Jeyhan Kartaltepe, Dale D. Kocevski, Anton M. Koekemoer, Seong-Kook Lee, Ray A. Lucas, Camilla Pacifici , et al. (15 additional authors not shown)

Abstract: The rate of major galaxy-galaxy merging is theoretically predicted to steadily increase with redshift during the peak epoch of massive galaxy development ($1{\leq}z{\leq}3$). We use close-pair statistics to objectively study the incidence of massive galaxies (stellar $M_{1}{\geq}2{\times}10^{10}M_{\odot}$) hosting major companions ($1{\leq}M_{1}/M_{2}{\leq}4$; i.e., $<$4:1) at six epochs spanning… ▽ More The rate of major galaxy-galaxy merging is theoretically predicted to steadily increase with redshift during the peak epoch of massive galaxy development ($1{\leq}z{\leq}3$). We use close-pair statistics to objectively study the incidence of massive galaxies (stellar $M_{1}{\geq}2{\times}10^{10}M_{\odot}$) hosting major companions ($1{\leq}M_{1}/M_{2}{\leq}4$; i.e., $<$4:1) at six epochs spanning $0{<}z{<}3$. We select companions from a nearly complete, mass-limited ($\geq5{\times}10^{9}M_{\odot}$) sample of 23,696 galaxies in the five CANDELS fields and the SDSS. Using $5-50$ kpc projected separation and close redshift proximity criteria, we find that the major companion fraction $f_{\mathrm{mc}}(z)$ based on stellar mass-ratio (MR) selection increases from 6% ($z{\sim}0$) to 16% ($z{\sim}0.8$), then turns over at $z{\sim}1$ and decreases to 7% ($z{\sim}3$). Instead, if we use a major F160W flux ratio (FR) selection, we find that $f_{\mathrm{mc}}(z)$ increases steadily until $z=3$ owing to increasing contamination from minor (MR$>$4:1) companions at $z>1$. We show that these evolutionary trends are statistically robust to changes in companion proximity. We find disagreements between published results are resolved when selection criteria are closely matched. If we compute merger rates using constant fraction-to-rate conversion factors ($C_{\mathrm{merg,pair}}{=}0.6$ and $T_{\mathrm{obs,pair}}{=}0.65\mathrm{Gyr}$), we find that MR rates disagree with theoretical predictions at $z{>}1.5$. Instead, if we use an evolving $T_{\mathrm{obs,pair}}(z){\propto}(1+z)^{-2}$ from Snyder et al., our MR-based rates agree with theory at $0{<}z{<}3$. Our analysis underscores the need for detailed calibration of $C_{\mathrm{merg,pair}}$ and $T_{\mathrm{obs,pair}}$ as a function of redshift, mass and companion selection criteria to better constrain the empirical major merger history. △ Less

Submitted 18 December, 2017; originally announced December 2017.

Comments: 27 pages, 15 figures, 5 tables. Accepted for publication in Monthly Notices of the Royal Astronomical Society Main Journal

Introduction to the Theory of $\mathcal{A}$-ODEs

Authors: Nathan BeDell, James S. Cook

Abstract: We study the theory of ordinary differential equations over a commutative finite dimensional real associative unital algebra $\mathcal{A}$. We call such problems $\mathcal{A}$-ODEs. If a function is real differentiable and its differential is in the regular representation of $\mathcal{A}$ then we say the function is $\mathcal{A}$-differentiable. In this paper, we prove an existence and uniqueness… ▽ More We study the theory of ordinary differential equations over a commutative finite dimensional real associative unital algebra $\mathcal{A}$. We call such problems $\mathcal{A}$-ODEs. If a function is real differentiable and its differential is in the regular representation of $\mathcal{A}$ then we say the function is $\mathcal{A}$-differentiable. In this paper, we prove an existence and uniqueness theorem, derive Abel's formula for the Wronskian and establish the existence of a fundamental solution set for many $\mathcal{A}$-ODEs. We show the Wronskian of a fundamental solution set cannot be a divisor of zero. Three methods to solve nondegenerate constant coefficient $\mathcal{A}$-ODE are given. First, we show how zero-divisors complicate solution by factorization of operators. Second, isomorphisms to direct product are shown to produce interesting solutions. Third, our extension technique is shown to solve any nondegenerate $\mathcal{A}$-ODE; we find a fundamental solution set by selecting the component functions of the exponential on the characteristic extension algebra. The extension technique produces all of the elementary functions seen in the usual analysis by a bit of abstract algebra applied to the appropriate exponential function. On the other hand, we show how zero-divisors destroy both existence and uniqueness in degenerate $\mathcal{A}$-ODEs. We also study the Cauchy Euler problem for $\mathcal{A}$-Calculus and indicate how we may solve first order $\mathcal{A}$-ODEs. △ Less

Submitted 4 August, 2017; originally announced August 2017.

Comments: 33 pages

MSC Class: 30G35 (Primary); 35G05 (Secondary)

Theory of Series in the $\mathcal{A}$-calculus and the $N$-Pythagorean Theorem

Authors: James S. Cook, Daniel Freese

Abstract: In this paper we study sequences, series, power series and uniform convergence in the $\mathcal{A}$-Calculus. Here $\mathcal{A}$ denotes an associative unital real algebra. We say a function is $\mathcal{A}$-differentiable if it is real differentiable and its differential is in the regular representation of the algebra. We show the theory of sequences and numerical series resembles the usual theor… ▽ More In this paper we study sequences, series, power series and uniform convergence in the $\mathcal{A}$-Calculus. Here $\mathcal{A}$ denotes an associative unital real algebra. We say a function is $\mathcal{A}$-differentiable if it is real differentiable and its differential is in the regular representation of the algebra. We show the theory of sequences and numerical series resembles the usual theory, but, the proof to establish this claim requires modification of the standard arguments due to the submultiplicativity of the norm on $\mathcal{A}$. In contrast, the theorems concerning divergence of power series over $\mathcal{A}$ are modified notably from the standard theory. We study how the ratio, root and geometric series results are modified due to both the submultiplicativity of the norm and the calculational novelty of zero-divisors. Despite these difficulties, we find natural generalizations of the usual theorems of real analysis for uniformly convergent series of functions. We prove the usual calculations with power series transfer nicely to the $\mathcal{A}$-calculus. Then power series are used to define sine, cosine, hyperbolic sine, hyperbolic cosine and the exponential. Many standard identities are derived for entire functions on an arbitrary commutative $\mathcal{A}$. Finally, special functions are introduced and we derive the $N$-Pythagorean Theorem which produces $\cos^2 θ+ \sin^2 θ=1$ and $\cosh^2 θ- \sinh^2 θ= 1$ as well as a host of other less known identities. △ Less

Submitted 13 August, 2018; v1 submitted 4 August, 2017; originally announced August 2017.

Comments: 41 pages

MSC Class: 30G35

Introduction to $\mathcal{A}$-Calculus

Authors: James S. Cook

Abstract: Let $\mathcal{A}$ denote a real, $n$-dimensional, unital, associative algebra.This paper provides an introductory exposition of calculus over $\mathcal{A}$. An $\mathcal{A}$-differentiable function is one for which the differential is right-$\mathcal{A}$-linear. We discuss the basis-dependent correspondence between right-$\mathcal{A}$-linear maps and the regular representation of real matrices in… ▽ More Let $\mathcal{A}$ denote a real, $n$-dimensional, unital, associative algebra.This paper provides an introductory exposition of calculus over $\mathcal{A}$. An $\mathcal{A}$-differentiable function is one for which the differential is right-$\mathcal{A}$-linear. We discuss the basis-dependent correspondence between right-$\mathcal{A}$-linear maps and the regular representation of real matrices in detail. The requirement that the Jacobian matrix of a function fall in the regular representation of $\mathcal{A}$ gives $n^2-n$ generalized $\mathcal{A}$-CR equations. In contrast, some authors use a deleted-difference quotient to describe differentiability over an algebra. We compare these concepts of differentiability over an algebra and prove they are equivalent in the semisimple commutative case. We also show how difference quotients are ill-equipt to study calculus over a nilpotent algebra. The Wirtinger calculus is shown to generalize. We find the $\mathcal{A}$-CReqns are equivalent to the condition that the partial derivatives in all $n-1$ conjugate variables vanish. Our construction modifies that given by Alvarez-Parrilla, Frías-Armenta, López-González and Yee-Romero in a 2012 paper. We also discuss how this conjugate technology gives us a method to convert real PDEs into differential equations over $\mathcal{A}$. Following Wagner, we show how Generalized Laplace equations are naturally seen from the multiplication table of an algebra. Taylor's Theorem and a Tableau for $\mathcal{A}$-differentiable function are derived. We prove many of the usual theorems of integral calculus including Cauchy's Integral Theorem for $\mathcal{A}$ and the Fundamental Theorems of Calculus part I and II. Certainly we do not claim originality in some of what we present, however, we hope this paper adds something useful to the existing literature. △ Less

Submitted 4 August, 2017; originally announced August 2017.

Comments: 55 pages

MSC Class: 30G35

Three-dimensional Cardiovascular Imaging-Genetics: A Mass Univariate Framework

Authors: Carlo Biffi, Antonio de Marvao, Mark I. Attard, Timothy J. W. Dawes, Nicola Whiffin, Wenjia Bai, Wenzhe Shi, Catherine Francis, Hannah Meyer, Rachel Buchan, Stuart A. Cook, Daniel Rueckert, Declan P. O'Regan

Abstract: MOTIVATION: Left ventricular (LV) hypertrophy is a strong predictor of cardiovascular outcomes, but its genetic regulation remains largely unexplained. Conventional phenotyping relies on manual calculation of LV mass and wall thickness, but advanced cardiac image analysis presents an opportunity for high-throughput mapping of genotype-phenotype associations in three dimensions (3D). RESULTS: High-… ▽ More MOTIVATION: Left ventricular (LV) hypertrophy is a strong predictor of cardiovascular outcomes, but its genetic regulation remains largely unexplained. Conventional phenotyping relies on manual calculation of LV mass and wall thickness, but advanced cardiac image analysis presents an opportunity for high-throughput mapping of genotype-phenotype associations in three dimensions (3D). RESULTS: High-resolution cardiac magnetic resonance images were automatically segmented in 1,124 healthy volunteers to create a 3D shape model of the heart. Mass univariate regression was used to plot a 3D effect-size map for the association between wall thickness and a set of predictors at each vertex in the mesh. The vertices where a significant effect exists were determined by applying threshold-free cluster enhancement to boost areas of signal with spatial contiguity. Experiments on simulated phenotypic signals and SNP replication show that this approach offers a substantial gain in statistical power for cardiac genotype-phenotype associations while providing good control of the false discovery rate. This framework models the effects of genetic variation throughout the heart and can be automatically applied to large population cohorts. AVAILABILITY: The proposed approach has been coded in an R package freely available at https://doi.org/10.5281/zenodo.834610 together with the clinical data used in this work. △ Less

Submitted 13 September, 2017; v1 submitted 22 June, 2017; originally announced June 2017.

Comments: 14 pages, 11 figures. Version accepted by Bioinformatics (Sept 2017). Includes Supplementary Materials

Anatomically Constrained Neural Networks (ACNN): Application to Cardiac Image Enhancement and Segmentation

Authors: Ozan Oktay, Enzo Ferrante, Konstantinos Kamnitsas, Mattias Heinrich, Wenjia Bai, Jose Caballero, Stuart Cook, Antonio de Marvao, Timothy Dawes, Declan O'Regan, Bernhard Kainz, Ben Glocker, Daniel Rueckert

Abstract: Incorporation of prior knowledge about organ shape and location is key to improve performance of image analysis approaches. In particular, priors can be useful in cases where images are corrupted and contain artefacts due to limitations in image acquisition. The highly constrained nature of anatomical objects can be well captured with learning based techniques. However, in most recent and promisin… ▽ More Incorporation of prior knowledge about organ shape and location is key to improve performance of image analysis approaches. In particular, priors can be useful in cases where images are corrupted and contain artefacts due to limitations in image acquisition. The highly constrained nature of anatomical objects can be well captured with learning based techniques. However, in most recent and promising techniques such as CNN based segmentation it is not obvious how to incorporate such prior knowledge. State-of-the-art methods operate as pixel-wise classifiers where the training objectives do not incorporate the structure and inter-dependencies of the output. To overcome this limitation, we propose a generic training strategy that incorporates anatomical prior knowledge into CNNs through a new regularisation model, which is trained end-to-end. The new framework encourages models to follow the global anatomical properties of the underlying anatomy (e.g. shape, label structure) via learned non-linear representations of the shape. We show that the proposed approach can be easily adapted to different analysis tasks (e.g. image enhancement, segmentation) and improve the prediction accuracy of the state-of-the-art models. The applicability of our approach is shown on multi-modal cardiac datasets and public benchmarks. Additionally, we demonstrate how the learned deep models of 3D shapes can be interpreted and used as biomarkers for classification of cardiac pathologies. △ Less

Submitted 5 December, 2017; v1 submitted 22 May, 2017; originally announced May 2017.

Comments: Published in IEEE Transactions on Medical Imaging (Aug 2017)

Creating an Isotopically Similar Earth-Moon System with Correct Angular Momentum from a Giant Impact

Authors: Bryant M. Wyatt, Jonathan M. Petz, William J. Sumpter, Ty R. Turner, Edward L. Smith, Baylor G. Fain, Taylor J. Hutyra, Scott A. Cook, Michael F. Hibbs, Shaukat N. Goderya

Abstract: The giant impact hypothesis is the dominant theory explaining the formation of our Moon. However, its inability to produce an isotopically similar Earth-Moon system with correct angular momentum has cast a shadow on its validity. Computer-generated impacts have been successful in producing virtual systems that possess many of the physical properties we observe. Yet, addressing the isotopic similar… ▽ More The giant impact hypothesis is the dominant theory explaining the formation of our Moon. However, its inability to produce an isotopically similar Earth-Moon system with correct angular momentum has cast a shadow on its validity. Computer-generated impacts have been successful in producing virtual systems that possess many of the physical properties we observe. Yet, addressing the isotopic similarities between the Earth and Moon coupled with correct angular momentum has proven to be challenging. Equilibration and evection resonance have been put forth as a means of reconciling the models. However, both were rejected in a meeting at The Royal Society in London. The main concern was that models were multi-staged and too complex. Here, we present initial impact conditions that produce an Earth-Moon system whose angular momentum and isotopic properties are correct. The model is straightforward and the results are a natural consequence of the impact. △ Less

Submitted 8 November, 2016; originally announced November 2016.

Comments: 7 pages, 2 figures, 2 tables

MSC Class: 85-04 ACM Class: J.2

MuSIC: delivering the world's most intense muon beam

Authors: S. Cook, R. D'Arcy, A. Edmonds, M. Fukuda, K. Hatanaka, Y. Hino, Y. Kuno, M. Lancaster, Y. Mori, T. Ogitsu, H. Sakamoto, A. Sato, N. H. Tran, N. M. Truong, M. Wing, A. Yamamoto, M. Yoshida

Abstract: A new muon beamline, muon science innovative channel (MuSIC), was set up at the Research Centre for Nuclear Physics (RCNP), Osaka University, in Osaka, Japan, using the 392 MeV proton beam impinging on a target. The production of an intense muon beam relies on the efficient capture of pions, which subsequently decay to muons, using a novel superconducting solenoid magnet system. After the pion-cap… ▽ More A new muon beamline, muon science innovative channel (MuSIC), was set up at the Research Centre for Nuclear Physics (RCNP), Osaka University, in Osaka, Japan, using the 392 MeV proton beam impinging on a target. The production of an intense muon beam relies on the efficient capture of pions, which subsequently decay to muons, using a novel superconducting solenoid magnet system. After the pion-capture solenoid the first $36^\circ$ of the curved muon transport line was commissioned and the muon flux was measured. In order to detect muons, a target of either copper or magnesium was placed to stop muons at the end of the muon beamline. Two stations of plastic scintillators located upstream and downstream from the muon target were used to reconstruct the decay spectrum of muons. In a complementary method to detect negatively-charged muons, the X-ray spectrum yielded by muonic atoms in the target were measured in a germanium detector. Measurements, at a proton beam current of 6 pA, yielded $(10.4 \pm 2.7) \times 10^5$ muons per Watt of proton beam power ($μ^+$ and $μ^-$), far in excess of other facilities. At full beam power (400 W), this implies a rate of muons of $(4.2 \pm 1.1) \times 10^8$ muons s$^{-1}$, amongst the highest in the world. The number of $μ^-$ measured was about a factor of 10 lower, again by far the most efficient muon beam produced. The set up is a prototype for future experiments requiring a high-intensity muon beam, such as a muon collider or neutrino factory, or the search for rare muon decays which would be a signature for phenomena beyond the Standard Model of particle physics. Such a muon beam can also be used in other branches of physics, nuclear and condensed matter, as well as other areas of scientific research. △ Less

Submitted 25 October, 2016; originally announced October 2016.

Comments: 15 pages, 5 figures, submitted to Phys. Rev. ST-Acc. Beams

Stimulated emission of fast Alfvén waves within magnetically confined fusion plasmas

Authors: J W S Cook, R O Dendy, S C Chapman

Abstract: A fast Alfvén wave with finite amplitude is shown to grow by a stimulated emission process that we propose for exploitation in toroidal magnetically confined fusion plasmas. Stimulated emission occurs while the wave propagates inward through the outer mid-plane plasma, where a population inversion of the energy distribution of fusion-born ions is observed to arise naturally. Fully nonlinear first… ▽ More A fast Alfvén wave with finite amplitude is shown to grow by a stimulated emission process that we propose for exploitation in toroidal magnetically confined fusion plasmas. Stimulated emission occurs while the wave propagates inward through the outer mid-plane plasma, where a population inversion of the energy distribution of fusion-born ions is observed to arise naturally. Fully nonlinear first principles simulations, which self-consistently evolve particles and fields under the Maxwell-Lorentz system, demonstrate this novel "alpha-particle channelling" scenario for the first time. △ Less

Submitted 1 June, 2016; originally announced June 2016.

Comments: 5 pages, 4 figures

Journal ref: Phys. Rev. Lett. 118, 185001 (2017)

Quantifying fusion born ion populations in magnetically confined plasmas using ion cyclotron emission

Authors: L. Carbajal, R. O. Dendy, S. C. Chapman, J. W. S. Cook

Abstract: Ion cyclotron emission (ICE) offers unique promise as a diagnostic of the fusion born alpha-particle population in magnetically confined plasmas. Pioneering observations from JET and TFTR found that ICE intensity $P_{ICE}$ scales approximately linearly with the measured neutron flux from fusion reactions, and with the inferred concentration, $n_α/n_i$, of fusion-born alpha-particles confined withi… ▽ More Ion cyclotron emission (ICE) offers unique promise as a diagnostic of the fusion born alpha-particle population in magnetically confined plasmas. Pioneering observations from JET and TFTR found that ICE intensity $P_{ICE}$ scales approximately linearly with the measured neutron flux from fusion reactions, and with the inferred concentration, $n_α/n_i$, of fusion-born alpha-particles confined within the plasma. We present fully nonlinear self-consistent kinetic simulations that reproduce this scaling for the first time. This resolves a longstanding question in the physics of fusion alpha-particle confinement and stability in MCF plasmas. It confirms the magnetoacoustic cyclotron instability (MCI) as the likely emission mechanism and greatly strengthens the basis for diagnostic exploitation of ICE in future burning plasmas. △ Less

Submitted 1 June, 2016; originally announced June 2016.

Journal ref: Phys. Rev. Lett. 118, 105001 (2017)

A New Resource for College Distance Education Astronomy Laboratory Exercises

Authors: Nicole P. Vogt, Stephen P. Cook, Amy Smith Muise

Abstract: This article introduces a set of distance education astronomy laboratory exercises for use by college students and instructors and discuss first usage results. This General Astronomy Education Source (GEAS) exercise set contains eight two-week projects designed to guide students through both core content and mathematical applications of general astronomy material. Projects are divided between hand… ▽ More This article introduces a set of distance education astronomy laboratory exercises for use by college students and instructors and discuss first usage results. This General Astronomy Education Source (GEAS) exercise set contains eight two-week projects designed to guide students through both core content and mathematical applications of general astronomy material. Projects are divided between hands-on activities and computer-aided analyses of modern astronomical data. The suite of online resources includes student and instructor guides, laboratory report templates, learning objectives, video tutorials, plotting tools, and web-based applications that allow students to analyze both images and spectra of astronomical objects. A pilot usage study indicates that distance learners using these materials perform as well or better than a comparison cohort of on-campus students. We are actively seeking collaborators to use these resources in astronomy courses and other educational venues. △ Less

Submitted 30 April, 2015; originally announced May 2015.

Comments: 7 pages, 4 figures

Journal ref: American Journal of Distance Education, 27(3), 189-200

Laser frequency stabilization based on steady-state spectral-hole burning in Eu$^{3+}$:Y$_2$SiO$_5$

Authors: Shon Cook, Till Rosenband, David R. Leibrandt

Abstract: We present and analyze a method of laser frequency stabilization via steady-state patterns of spectral holes in Eu$^{3+}$:Y$_2$SiO$_5$. Three regions of spectral holes are created, spaced in frequency by the ground state hyperfine splittings of $~^{151}$Eu$^{3+}$. The absorption pattern is shown not to degrade after days of laser frequency stabilization. An optical frequency comparison of a laser… ▽ More We present and analyze a method of laser frequency stabilization via steady-state patterns of spectral holes in Eu$^{3+}$:Y$_2$SiO$_5$. Three regions of spectral holes are created, spaced in frequency by the ground state hyperfine splittings of $~^{151}$Eu$^{3+}$. The absorption pattern is shown not to degrade after days of laser frequency stabilization. An optical frequency comparison of a laser locked to such a steady-state spectral-hole pattern with an independent cavity-stabilized laser and a Yb optical lattice clock demonstrates a spectral-hole fractional frequency instability of $1.0\times10^{-15}~ τ^{-\frac{1}{2}}$ that averages to $8.5^{+4.8}_{-1.8}\times10^{-17}$ at $τ= 73$ s. Residual amplitude modulation at the frequency of the RF drive applied to the fiber-coupled electro-optic modulator is reduced to less than $1\times10^{-6}$ fractional amplitude modulation at $τ>$ 1 s by an active servo. The contribution of residual amplitude modulation to the laser frequency instability is further reduced by digital division of the transmission and incident photodetector signals to less than $1\times10^{-16}$ at $τ>$ 1 s. △ Less

Submitted 9 April, 2015; originally announced April 2015.

Comments: 5 pages, 8 figures

Journal ref: Phys. Rev. Lett. 114, 253902 (2015)

Direct Spectrum of the Benchmark T dwarf HD 19467 B

Authors: Justin R. Crepp, Emily L. Rice, AAron Veicht, Laurent Pueyo, Jonathan Aguilar, Paige Giorla, Ricky Nilsson, Statia H. Cook, Rebecca Oppenheimer, Sasha Hinkley, Douglas Brenner, Gautam Vasisht, Eric Cady, Charles A. Beichman, Lynne A. Hillenbrand, Thomas Lockhart, Christopher T. Matthews, Lewis C. Roberts, Jr., Anand Sivaramakrishnan, Remi Soummer, Chengxing Zhai

Abstract: HD 19467 B is presently the only directly imaged T dwarf companion known to induce a measurable Doppler acceleration around a solar type star. We present spectroscopy measurements of this important benchmark object taken with the Project 1640 integral field unit at Palomar Observatory. Our high-contrast R~30 observations obtained simultaneously across the $JH$ bands confirm the cold nature of the… ▽ More HD 19467 B is presently the only directly imaged T dwarf companion known to induce a measurable Doppler acceleration around a solar type star. We present spectroscopy measurements of this important benchmark object taken with the Project 1640 integral field unit at Palomar Observatory. Our high-contrast R~30 observations obtained simultaneously across the $JH$ bands confirm the cold nature of the companion as reported from the discovery article and determine its spectral type for the first time. Fitting the measured spectral energy distribution to SpeX/IRTF T dwarf standards and synthetic spectra from BT-Settl atmospheric models, we find that HD 19467 B is a T5.5+/-1 dwarf with effective temperature Teff=$978^{+20}_{-43}$ K. Our observations reveal significant methane absorption affirming its substellar nature. HD 19467 B shows promise to become the first T dwarf that simultaneously reveals its mass, age, and metallicity independent from the spectrum of light that it emits. △ Less

Submitted 18 December, 2014; originally announced December 2014.

Comments: Accepted to ApJ Letters

Fast particle-driven ion cyclotron emission (ICE) in tokamak plasmas and the case for an ICE diagnostic in ITER

Authors: K. G. McClements, R. D'Inca, R. O. Dendy, L. Carbajal, S. C. Chapman, J. W. S. Cook, R. W. Harvey, W. W. Heidbrink, S. D. Pinches

Abstract: Fast particle-driven waves in the ion cyclotron frequency range (ion cyclotron emission or ICE) have provided a valuable diagnostic of confined and escaping fast ions in many tokamaks. This is a passive, non-invasive diagnostic that would be compatible with the high radiation environment of deuterium-tritium plasmas in ITER, and could provide important information on fusion α-particles and beam io… ▽ More Fast particle-driven waves in the ion cyclotron frequency range (ion cyclotron emission or ICE) have provided a valuable diagnostic of confined and escaping fast ions in many tokamaks. This is a passive, non-invasive diagnostic that would be compatible with the high radiation environment of deuterium-tritium plasmas in ITER, and could provide important information on fusion α-particles and beam ions in that device. In JET, ICE from confined fusion products scaled linearly with fusion reaction rate over six orders of magnitude and provided evidence that α-particle confinement was close to classical. In TFTR, ICE was observed from super-Alfvénic α-particles in the plasma edge. The intensity of beam-driven ICE in DIII-D is more strongly correlated with drops in neutron rate during fishbone excitation than signals from more direct beam ion loss diagnostics. In ASDEX Upgrade ICE is produced by both super-Alfvénic DD fusion products and sub-Alfvénic deuterium beam ions. △ Less

Submitted 12 December, 2014; originally announced December 2014.

Comments: 9 pages, 6 figures. This is an author-created, un-copyedited version of an article submitted for publication in Nuclear Fusion. IoP Publishing Ltd is not responsible for any errors or omissions in this version of the manuscript or any version derived from it

Journal ref: Nuclear Fusion, Vol.55, Issue 4, April 2015, pp.043013

Spectroscopy of Ba and Ba$^+$ deposits in solid xenon for barium tagging in nEXO

Authors: B. Mong, S. Cook, T. Walton, C. Chambers, A. Craycraft, C. Benitez-Medina, K. Hall, W. Fairbank Jr., J. B. Albert, D. J. Auty, P. S. Barbeau, V. Basque, D. Beck, M. Breidenbach, T. Brunner, G. F. Cao, B. Cleveland, M. Coon, T. Daniels, S. J. Daugherty, R. DeVoe, T. Didberidze, J. Dilling, M. J. Dolinski, M. Dunford , et al. (51 additional authors not shown)

Abstract: Progress on a method of barium tagging for the nEXO double beta decay experiment is reported. Absorption and emission spectra for deposits of barium atoms and ions in solid xenon matrices are presented. Excitation spectra for prominent emission lines, temperature dependence and bleaching of the fluorescence reveal the existence of different matrix sites. A regular series of sharp lines observed in… ▽ More Progress on a method of barium tagging for the nEXO double beta decay experiment is reported. Absorption and emission spectra for deposits of barium atoms and ions in solid xenon matrices are presented. Excitation spectra for prominent emission lines, temperature dependence and bleaching of the fluorescence reveal the existence of different matrix sites. A regular series of sharp lines observed in Ba$^+$ deposits is identified with some type of barium hydride molecule. Lower limits for the fluorescence quantum efficiency of the principal Ba emission transition are reported. Under current conditions, an image of $\le10^4$ Ba atoms can be obtained. Prospects for imaging single Ba atoms in solid xenon are discussed. △ Less

Submitted 9 October, 2014; originally announced October 2014.

Defining UML Family Members Using Prefaces

Authors: Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills

Abstract: The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the particular UML family member used for the model. The definition should cover syntactic and semantic issues. This paper proposes a mechanism for associating models with such definitions. Any particular definitio… ▽ More The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the particular UML family member used for the model. The definition should cover syntactic and semantic issues. This paper proposes a mechanism for associating models with such definitions. Any particular definition would form what we call a preface. The name is intended to suggest that the definition of a particular UML family member must conceptually come before any model built using that family member. A preface would be large, and should be organised using packages. This would allow large amounts of sharing between different prefaces. The paper proposes that prefaces should have an axiomatic style of semantics, through not necessarily fully formal, and it offers a general approach to semantics that would reduce problems of inconsistency within a large preface, based on the idea of general cases and special cases △ Less

Submitted 24 September, 2014; originally announced September 2014.

Comments: 13 pages, 5 figures

Journal ref: Technology of Object-Oriented Languages and Systems, TOOLS'99 Pacific. IEEE Computer Society, 1999

The Amsterdam Manifesto on OCL

Authors: Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills

Abstract: In November 1998 the authors participated in a two-day workshop on the Object Constraint Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the use of OCL, and to discuss useful and necessary extensions of OCL. Various topics have been raised and clarified. This manifesto contains the results of that workshop and the following work on these topics. Overview of OCL… ▽ More In November 1998 the authors participated in a two-day workshop on the Object Constraint Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the use of OCL, and to discuss useful and necessary extensions of OCL. Various topics have been raised and clarified. This manifesto contains the results of that workshop and the following work on these topics. Overview of OCL. △ Less

Submitted 22 September, 2014; originally announced September 2014.

Comments: 35 pages, 4 figures

Journal ref: Object Modeling with the OCL, pp. 115-149 LNCS 2263, Springer Verlag, 2002

An improved measurement of the 2νββ half-life of Xe-136 with EXO-200

Authors: J. B. Albert, M. Auger, D. J. Auty, P. S. Barbeau, E. Beauchamp, D. Beck, V. Belov, C. Benitez-Medina, J. Bonatt, M. Breidenbach, T. Brunner, A. Burenkov, G. F. Cao, C. Chambers, J. Chaves, B. Cleveland, S. Cook, T. Daniels, M. Danilov, S. J. Daugherty, C. G. Davis, J. Davis, S. Delaquis, R. DeVoe, A. Dobi , et al. (72 additional authors not shown)

Abstract: We report on an improved measurement of the 2νββ half-life of Xe-136 performed by EXO-200. The use of a large and homogeneous time projection chamber allows for the precise estimate of the fiducial mass used for the measurement, resulting in a small systematic uncertainty. We also discuss in detail the data analysis methods used for double-beta decay searches with EXO-200, while emphasizing those… ▽ More We report on an improved measurement of the 2νββ half-life of Xe-136 performed by EXO-200. The use of a large and homogeneous time projection chamber allows for the precise estimate of the fiducial mass used for the measurement, resulting in a small systematic uncertainty. We also discuss in detail the data analysis methods used for double-beta decay searches with EXO-200, while emphasizing those directly related to the present measurement. The Xe-136 2νββ half-life is found to be 2.165 +- 0.016 (stat) +- 0.059 (sys) x 10^21 years. This is the most precisely measured half-life of any 2νββ decay to date. △ Less

Submitted 29 January, 2014; v1 submitted 25 June, 2013; originally announced June 2013.

Comments: 34 pages, 32 figures, Updated to published version

Journal ref: Phys. Rev. C 89, 015502 (2014)