Showing 1–20 of 20 results for author: Fryer, D

Studying the Power Sources Behind Type Ic Supernovae

Authors: Annabelle E. Niblett, Daniel A. Fryer, Christopher L. Fryer

Abstract: Astrophysical transients can be powered by a broad range of energy sources including shock-heating (internal and external shocks), decay of radioactive isotopes, and long-lived central engines (magnetar and fallback). The dominant energy source for astrophysical transients depends on the nature of the explosive engine and its progenitor. To model all transients, light-curve codes must include all… ▽ More Astrophysical transients can be powered by a broad range of energy sources including shock-heating (internal and external shocks), decay of radioactive isotopes, and long-lived central engines (magnetar and fallback). The dominant energy source for astrophysical transients depends on the nature of the explosive engine and its progenitor. To model all transients, light-curve codes must include all of these energy sources. Here we present a supernova light-curve code implementing analytic source models to compare the role of different energy sources in these transients. To demonstrate the utility of this code, we conduct an extensive study of type Ic broad-line supernovae. A diverse set of energy sources have been linked to Ic broad-line supernovae making them an excellent candidate for this light-curve code. In this paper, we explore which features of the explosion (mass, velocity, etc.) affect the type Ic supernovae light-curves, focusing on shock-interaction and radioactive decay energy sources. Although the explosion properties under both energy sources can be tuned to match the peak emission, matching the light-curve evolution in many Ic broad-line supernovae requires fine-tuned conditions. We find that shock interactions in the stellar wind are likely to be the dominant energy source at peak for these supernovae. △ Less

Submitted 26 January, 2025; originally announced January 2025.

Comments: 17 pages, 11 figures

Top Score in Axelrod Tournament

Authors: Frederick M. Vincent, Dashiell E. A. Fryer

Abstract: The focus of the project will be an examination of obtaining the highest score in the Axelrod Tournament. The initial design of the highest score in the Axelrod Tournament consisted of looking at the Cooperation rates of the top strategies currently in the Axelrod Library. After creating an initial Finite State Machine strategy that utilized the Cooperation Rates of the top players; our ten-state… ▽ More The focus of the project will be an examination of obtaining the highest score in the Axelrod Tournament. The initial design of the highest score in the Axelrod Tournament consisted of looking at the Cooperation rates of the top strategies currently in the Axelrod Library. After creating an initial Finite State Machine strategy that utilized the Cooperation Rates of the top players; our ten-state FSM finished within the top 35 players out of 220 in the short run time strategies in the Axelrod Library. After a quick evolutionary algorithm, 50 generations, our original ten-state FSM was changed into an eight-state FSM, which finished within the top 5 of the short run time strategies in the Axelrod Library. This eight-state FSM was then evolved again using a full evolutionary algortihm process, which lasted 500 generations, where the eight-state FSM evolved into a another eight-state FSM which finishes first in the Axelrod Library among the short run time strategies and the full Axelrod Tournament. From that final FSM, two of the eight states are inaccessible, so the final FSM strategy is a six-state FSM that finishes first in the Full Axelrod Tournament, against the short run time strategies as well as the long run time strategies. △ Less

Submitted 7 April, 2021; originally announced April 2021.

Order selection with confidence for finite mixture models

Authors: Hien D Nguyen, Daniel Fryer, Geoffrey McLachlan

Abstract: The determination of the number of mixture components (the order) of a finite mixture model has been an enduring problem in statistical inference. We prove that the closed testing principle leads to a sequential testing procedure (STP) that allows for confidence statements to be made regarding the order of a finite mixture model. We construct finite sample tests, via data splitting and data swappi… ▽ More The determination of the number of mixture components (the order) of a finite mixture model has been an enduring problem in statistical inference. We prove that the closed testing principle leads to a sequential testing procedure (STP) that allows for confidence statements to be made regarding the order of a finite mixture model. We construct finite sample tests, via data splitting and data swapping, for use in the STP, and we prove that such tests are consistent against fixed alternatives. Simulation studies and real data examples are used to demonstrate the performance of the finite sample tests-based STP, yielding practical recommendations of their use as confidence estimators in combination with point estimates such as the Akaike information or Bayesian information criteria. In addition, we demonstrate that a modification of the STP yields a method that consistently selects the order of a finite mixture model, in the asymptotic sense. Our STP is not only applicable for order selection of finite mixture models, but is also useful for making confidence statements regarding any sequence of nested models. △ Less

Submitted 26 September, 2022; v1 submitted 19 March, 2021; originally announced March 2021.

Shapley values for feature selection: The good, the bad, and the axioms

Authors: Daniel Fryer, Inga Strümke, Hien Nguyen

Abstract: The Shapley value has become popular in the Explainable AI (XAI) literature, thanks, to a large extent, to a solid theoretical foundation, including four "favourable and fair" axioms for attribution in transferable utility games. The Shapley value is provably the only solution concept satisfying these axioms. In this paper, we introduce the Shapley value and draw attention to its recent uses as a… ▽ More The Shapley value has become popular in the Explainable AI (XAI) literature, thanks, to a large extent, to a solid theoretical foundation, including four "favourable and fair" axioms for attribution in transferable utility games. The Shapley value is provably the only solution concept satisfying these axioms. In this paper, we introduce the Shapley value and draw attention to its recent uses as a feature selection tool. We call into question this use of the Shapley value, using simple, abstract "toy" counterexamples to illustrate that the axioms may work against the goals of feature selection. From this, we develop a number of insights that are then investigated in concrete simulation settings, with a variety of Shapley value formulations, including SHapley Additive exPlanations (SHAP) and Shapley Additive Global importancE (SAGE). △ Less

Submitted 22 February, 2021; originally announced February 2021.

Comments: 8 pages, 5 figures

SARGDV: Efficient identification of groundwater-dependent vegetation using synthetic aperture radar

Authors: Mason Terrett, Daniel Fryer, Tanya Doody, Hien Nguyen, Pascal Castellazzi

Abstract: Groundwater depletion impacts the sustainability of numerous groundwater-dependent vegetation (GDV) globally, placing significant stress on their capacity to provide environmental and ecological support for flora, fauna, and anthropic benefits. Industries such as mining, agriculture, and plantations are heavily reliant on groundwater, the over-exploitation of which risks impacting groundwater regi… ▽ More Groundwater depletion impacts the sustainability of numerous groundwater-dependent vegetation (GDV) globally, placing significant stress on their capacity to provide environmental and ecological support for flora, fauna, and anthropic benefits. Industries such as mining, agriculture, and plantations are heavily reliant on groundwater, the over-exploitation of which risks impacting groundwater regimes, quality, and accessibility for nearby GDVs. Cost effective methods of GDV identification will enable strategic protection of these critical ecological systems, through improved and sustainable groundwater management by communities and industry. Recent application of synthetic aperture radar (SAR) earth observation data in Australia has demonstrated the utility of radar for identifying terrestrial groundwater-dependent ecosystems at scale. We propose a robust classification method to advance identification of GDVs at scale using processed SAR data products adapted from a recent previous method. The method includes the development of SARGDV, a binary classification model, which uses the extreme gradient boosting (XGBoost) algorithm in conjunction with three data cubes composed of Sentinel-1 SAR interferometric wide images. The images were collected as a one-year time series over Mount Gambier, a region in South Australia, known to support GDVs. The SARGDV model demonstrated high performance for classifying GDVs with 77% precision, 76% true positive rate and 96% accuracy. This method may be used to support the protection of GDV communities globally by providing a long term, cost-effective solution to identify GDVs over variable regions and climates, via the use of freely available, high-resolution, globally available Sentinel-1 SAR data sets. △ Less

Submitted 7 September, 2020; originally announced September 2020.

$k$-means on Positive Definite Matrices, and an Application to Clustering in Radar Image Sequences

Authors: Daniel Fryer, Hien Nguyen, Pascal Castellazzi

Abstract: We state theoretical properties for $k$-means clustering of Symmetric Positive Definite (SPD) matrices, in a non-Euclidean space, that provides a natural and favourable representation of these data. We then provide a novel application for this method, to time-series clustering of pixels in a sequence of Synthetic Aperture Radar images, via their finite-lag autocovariance matrices. We state theoretical properties for $k$-means clustering of Symmetric Positive Definite (SPD) matrices, in a non-Euclidean space, that provides a natural and favourable representation of these data. We then provide a novel application for this method, to time-series clustering of pixels in a sequence of Synthetic Aperture Radar images, via their finite-lag autocovariance matrices. △ Less

Submitted 25 August, 2020; v1 submitted 8 August, 2020; originally announced August 2020.

Comments: This work has been submitted to the IEEE for possible publication

A binary-response regression model based on support vector machines

Authors: Hien D Nguyen, Daniel V Fryer

Abstract: The soft-margin support vector machine (SVM) is a ubiquitous tool for prediction of binary-response data. However, the SVM is characterized entirely via a numerical optimization problem, rather than a probability model, and thus does not directly generate probabilistic inferential statements as outputs. We consider a probabilistic regression model for binary-response data that is based on the opti… ▽ More The soft-margin support vector machine (SVM) is a ubiquitous tool for prediction of binary-response data. However, the SVM is characterized entirely via a numerical optimization problem, rather than a probability model, and thus does not directly generate probabilistic inferential statements as outputs. We consider a probabilistic regression model for binary-response data that is based on the optimization problem that characterizes the SVM. Under weak regularity assumptions, we prove that the maximum likelihood estimate (MLE) of our model exists, and that it is consistent and asymptotically normal. We further assess the performance of our model via simulation studies, and demonstrate its use in real data applications regarding spam detection and well water access. △ Less

Submitted 23 July, 2020; originally announced July 2020.

Explaining the data or explaining a model? Shapley values that uncover non-linear dependencies

Authors: Daniel Vidali Fryer, Inga Strümke, Hien Nguyen

Abstract: Shapley values have become increasingly popular in the machine learning literature thanks to their attractive axiomatisation, flexibility, and uniqueness in satisfying certain notions of `fairness'. The flexibility arises from the myriad potential forms of the Shapley value \textit{game formulation}. Amongst the consequences of this flexibility is that there are now many types of Shapley values be… ▽ More Shapley values have become increasingly popular in the machine learning literature thanks to their attractive axiomatisation, flexibility, and uniqueness in satisfying certain notions of `fairness'. The flexibility arises from the myriad potential forms of the Shapley value \textit{game formulation}. Amongst the consequences of this flexibility is that there are now many types of Shapley values being discussed, with such variety being a source of potential misunderstanding. To the best of our knowledge, all existing game formulations in the machine learning and statistics literature fall into a category which we name the model-dependent category of game formulations. In this work, we consider an alternative and novel formulation which leads to the first instance of what we call model-independent Shapley values. These Shapley values use a (non-parametric) measure of non-linear dependence as the characteristic function. The strength of these Shapley values is in their ability to uncover and attribute non-linear dependencies amongst features. We introduce and demonstrate the use of the energy distance correlations, affine-invariant distance correlation, and Hilbert-Shmidt independence criterion as Shapley value characteristic functions. In particular, we demonstrate their potential value for exploratory data analysis and model diagnostics. We conclude with an interesting expository application to a classical medical survey data set. △ Less

Submitted 6 March, 2021; v1 submitted 12 July, 2020; originally announced July 2020.

Comments: 26 pages, 7 figures, 2 tables

Shapley value confidence intervals for attributing variance explained

Authors: Daniel Fryer, Inga Strumke, Hien Nguyen

Abstract: The coefficient of determination, the $R^2$, is often used to measure the variance explained by an affine combination of multiple explanatory covariates. An attribution of this explanatory contribution to each of the individual covariates is often sought in order to draw inference regarding the importance of each covariate with respect to the response phenomenon. A recent method for ascertaining s… ▽ More The coefficient of determination, the $R^2$, is often used to measure the variance explained by an affine combination of multiple explanatory covariates. An attribution of this explanatory contribution to each of the individual covariates is often sought in order to draw inference regarding the importance of each covariate with respect to the response phenomenon. A recent method for ascertaining such an attribution is via the game theoretic Shapley value decomposition of the coefficient of determination. Such a decomposition has the desirable efficiency, monotonicity, and equal treatment properties. Under a weak assumption that the joint distribution is pseudo-elliptical, we obtain the asymptotic normality of the Shapley values. We then utilize this result in order to construct confidence intervals and hypothesis tests regarding such quantities. Monte Carlo studies regarding our results are provided. We found that our asymptotic confidence intervals are computationally superior to competing bootstrap methods and are able to improve upon the performance of such intervals. In an expository application to Australian real estate price modelling, we employ Shapley value confidence intervals to identify significant differences between the explanatory contributions of covariates, between models, which otherwise share approximately the same $R^2$ value. These different models are based on real estate data from the same periods in 2019 and 2020, the latter covering the early stages of the arrival of the novel coronavirus, COVID-19. △ Less

Submitted 8 August, 2020; v1 submitted 27 January, 2020; originally announced January 2020.

Spherical data handling and analysis with R package rcosmo

Authors: Daniel Fryer, Andriy Olenko

Abstract: The R package rcosmo was developed for handling and analysing Hierarchical Equal Area isoLatitude Pixelation(HEALPix) and Cosmic Microwave Background(CMB) radiation data. It has more than 100 functions. rcosmo was initially developed for CMB, but also can be used for other spherical data. This paper discusses transformations into rcosmo formats and handling of three types of non-CMB data: continuo… ▽ More The R package rcosmo was developed for handling and analysing Hierarchical Equal Area isoLatitude Pixelation(HEALPix) and Cosmic Microwave Background(CMB) radiation data. It has more than 100 functions. rcosmo was initially developed for CMB, but also can be used for other spherical data. This paper discusses transformations into rcosmo formats and handling of three types of non-CMB data: continuous geographic, point pattern and star-shaped. For each type of data we provide a brief description of the corresponding statistical model, data example and ready-to-use R code. Some statistical functionality of rcosmo is demonstrated for the example data converted into the HEALPix format. The paper can serve as the first practical guideline to transforming data into the HEALPix format and statistical analysis with rcosmo for geo-statisticians, GIS and R users and researches dealing with spherical data in non-HEALPix formats. △ Less

Submitted 17 July, 2019; originally announced July 2019.

Comments: 15 pages, 9 figures

MSC Class: 62-07; 62-09; 62P99

rcosmo: R Package for Analysis of Spherical, HEALPix and Cosmological Data

Authors: Daniel Fryer, Ming Li, Andriy Olenko

Abstract: The analysis of spatial observations on a sphere is important in areas such as geosciences, physics and embryo research, just to name a few. The purpose of the package rcosmo is to conduct efficient information processing, visualisation, manipulation and spatial statistical analysis of Cosmic Microwave Background (CMB) radiation and other spherical data. The package was developed for spherical dat… ▽ More The analysis of spatial observations on a sphere is important in areas such as geosciences, physics and embryo research, just to name a few. The purpose of the package rcosmo is to conduct efficient information processing, visualisation, manipulation and spatial statistical analysis of Cosmic Microwave Background (CMB) radiation and other spherical data. The package was developed for spherical data stored in the Hierarchical Equal Area isoLatitude Pixelation (Healpix) representation. rcosmo has more than 100 different functions. Most of them initially were developed for CMB, but also can be used for other spherical data as rcosmo contains tools for transforming spherical data in cartesian and geographic coordinates into the HEALPix representation. We give a general description of the package and illustrate some important functionalities and benchmarks. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Comments: 20 pages, 15 figures

MSC Class: 62P35; 62-09; 62-07

Entropic Equilibria Selection of Stationary Extrema in Finite Populations

Authors: Marc Harper, Dashiell Fryer

Abstract: We propose the entropy of random Markov trajectories originating and terminating at a state as a measure of the stability of a state of a Markov process. These entropies can be computed in terms of the entropy rates and stationary distributions of Markov processes. We apply this definition of stability to local maxima and minima of the stationary distribution of the Moran process with mutation and… ▽ More We propose the entropy of random Markov trajectories originating and terminating at a state as a measure of the stability of a state of a Markov process. These entropies can be computed in terms of the entropy rates and stationary distributions of Markov processes. We apply this definition of stability to local maxima and minima of the stationary distribution of the Moran process with mutation and show that variations in population size, mutation rate, and strength of selection all affect the stability of the stationary extrema. △ Less

Submitted 7 May, 2015; originally announced May 2015.

Journal ref: Entropy 2018, 20(9), 631

The Art of War: Beyond Memory-one Strategies in Population Games

Authors: Christopher Lee, Marc Harper, Dashiell Fryer

Abstract: We define a new strategy for population games based on techniques from machine learning and statistical inference that is essentially uninvadable and can successfully invade (significantly more likely than a neutral mutant) essentially all known memory-one strategies for the prisoner's dilemma and other population games, including ALLC (always cooperate), ALLD (always defect), tit-for-tat (TFT), w… ▽ More We define a new strategy for population games based on techniques from machine learning and statistical inference that is essentially uninvadable and can successfully invade (significantly more likely than a neutral mutant) essentially all known memory-one strategies for the prisoner's dilemma and other population games, including ALLC (always cooperate), ALLD (always defect), tit-for-tat (TFT), win-stay-lose-shift (WSLS), and zero determinant (ZD) strategies, including extortionate and generous strategies. We will refer to a player using this strategy as an "information player" and the specific implementation as $IP_0$. Such players use the history of play to identify opponent's strategies and respond accordingly, and naturally learn to cooperate with each other. △ Less

Submitted 16 May, 2014; originally announced May 2014.

Comments: 16 pages, 4 figures

Journal ref: PLoS One. 2015; 10(3): e012062

Stationary Stability for Evolutionary Dynamics in Finite Populations

Authors: Marc Harper, Dashiell Fryer

Abstract: We demonstrate a vast expansion of the theory of evolutionary stability to finite populations with mutation, connecting the theory of the stationary distribution of the Moran process with the Lyapunov theory of evolutionary stability. We define the notion of stationary stability for the Moran process with mutation and generalizations, as well as a generalized notion of evolutionary stability that… ▽ More We demonstrate a vast expansion of the theory of evolutionary stability to finite populations with mutation, connecting the theory of the stationary distribution of the Moran process with the Lyapunov theory of evolutionary stability. We define the notion of stationary stability for the Moran process with mutation and generalizations, as well as a generalized notion of evolutionary stability that includes mutation called an incentive stable state (ISS) candidate. For sufficiently large populations, extrema of the stationary distribution are ISS candidates and we give a family of Lyapunov quantities that are locally minimized at the stationary extrema and at ISS candidates. In various examples, including for the Moran and Wright-Fisher processes, we show that the local maxima of the stationary distribution capture the traditionally-defined evolutionarily stable states. The classical stability theory of the replicator dynamic is recovered in the large population limit. Finally we include descriptions of possible extensions to populations of variable size and populations evolving on graphs. △ Less

Submitted 16 February, 2015; v1 submitted 4 November, 2013; originally announced November 2013.

Comments: Corrected a few typos

Journal ref: Entropy (2016)

Incentive Processes in Finite Populations

Authors: Marc Harper, Dashiell Fryer

Abstract: We define the incentive process, a natural generalization of the Moran process incorporating evolutionary updating mechanisms corresponding to well-known evolutionary dynamics, such as the logit, projection, and best-reply dynamics. Fixation probabilities and internal stable states are given for a variety of incentives, including new closed-forms, as well as results relating fixation probabilities… ▽ More We define the incentive process, a natural generalization of the Moran process incorporating evolutionary updating mechanisms corresponding to well-known evolutionary dynamics, such as the logit, projection, and best-reply dynamics. Fixation probabilities and internal stable states are given for a variety of incentives, including new closed-forms, as well as results relating fixation probabilities for members of two one-parameter families of incentive processes. We show that the behaviors of the incentive process can deviate significantly from the analogous properties of deterministic evolutionary dynamics in some ways but are similar in others. For example, while the fixation probabilities change, their ratio remains constant. △ Less

Submitted 2 December, 2013; v1 submitted 10 June, 2013; originally announced June 2013.

Comments: Corrected typos, added additional headings, other minor edits

Mean Evolutionary Dynamics for Stochastically Switching Environments

Authors: Marc Harper, Dashiell Fryer, Andrew Vlasic

Abstract: Populations of replicating entities frequently experience sudden or cyclical changes in environment. We explore the implications of this phenomenon via a environmental switching parameter in several common evolutionary dynamics models including the replicator dynamic for linear symmetric and asymmetric landscapes, the Moran process, and incentive dynamics. We give a simple relationship between the… ▽ More Populations of replicating entities frequently experience sudden or cyclical changes in environment. We explore the implications of this phenomenon via a environmental switching parameter in several common evolutionary dynamics models including the replicator dynamic for linear symmetric and asymmetric landscapes, the Moran process, and incentive dynamics. We give a simple relationship between the probability of environmental switching, the relative fitness gain, and the effect on long term behavior in terms of fixation probabilities and long term outcomes for deterministic dynamics. We also discuss cases where the dynamic changes, for instance a population evolving under a replicator dynamic switching to a best-reply dynamic and vice-versa, giving Lyapunov stability results. △ Less

Submitted 10 June, 2013; originally announced June 2013.

Stability of Evolutionary Dynamics on Time Scales

Authors: Marc Harper, Dashiell E. A. Fryer

Abstract: We combine incentive, adaptive, and time-scale dynamics to study multipopulation dynamics on the simplex equipped with a large class of Riemmanian metrics, simultaneously generalizing and extending many dynamics commonly studied in dynamic game theory and evolutionary dynamics. Each population has its own geometry, method of adaptation (incentive), and time-scale (discrete, continuous, and others)… ▽ More We combine incentive, adaptive, and time-scale dynamics to study multipopulation dynamics on the simplex equipped with a large class of Riemmanian metrics, simultaneously generalizing and extending many dynamics commonly studied in dynamic game theory and evolutionary dynamics. Each population has its own geometry, method of adaptation (incentive), and time-scale (discrete, continuous, and others). Using an information-theoretic measure of distance we give a widely-applicable Lyapunov result for the dynamic. We include a wealth of examples leading up to and beyond the main results. △ Less

Submitted 18 March, 2013; v1 submitted 19 October, 2012; originally announced October 2012.

MSC Class: 91A22

Journal ref: Dyn Games Appl (2015)

The Uniform Distribution in Incentive Dynamics

Authors: Dashiell E. A. Fryer

Abstract: The uniform distribution is an important counterexample in game theory as many of the canonical game dynamics have been shown not to converge to the equilibrium in certain cases. In particular none of the canonical game dynamics converge to the uniform distribution in a form of rock-paper-scissors where the amount an agent can lose is more than the agent can win, despite this fact, it is the uniqu… ▽ More The uniform distribution is an important counterexample in game theory as many of the canonical game dynamics have been shown not to converge to the equilibrium in certain cases. In particular none of the canonical game dynamics converge to the uniform distribution in a form of rock-paper-scissors where the amount an agent can lose is more than the agent can win, despite this fact, it is the unique Nash equilibrium. I will show that certain incentive dynamics are asymptotically stable at the uniform distribution when it is an incentive equilibrium. △ Less

Submitted 29 June, 2012; originally announced July 2012.

The Kullback-Leibler Divergence as a Lyapunov Function for Incentive Based Game Dynamics

Authors: Dashiell E. A. Fryer

Abstract: It has been shown that the Kullback-Leibler divergence is a Lyapunov function for the replicator equations at evolutionary stable states, or ESS. In this paper we extend the result to a more general class of game dynamics. As a result, sufficient conditions can be given for the asymptotic stability of rest points for the entire class of incentive dynamics. The previous known results will be can be… ▽ More It has been shown that the Kullback-Leibler divergence is a Lyapunov function for the replicator equations at evolutionary stable states, or ESS. In this paper we extend the result to a more general class of game dynamics. As a result, sufficient conditions can be given for the asymptotic stability of rest points for the entire class of incentive dynamics. The previous known results will be can be shown as corollaries to the main theorem. △ Less

Submitted 21 August, 2014; v1 submitted 29 June, 2012; originally announced July 2012.

On the Existence of General Equilibrium in Finite Games and General Game Dynamics

Authors: Dashiell E. A. Fryer

Abstract: A notion of incentive for agents is introduced which leads to a very general notion of an equilibrium for a finite game. Sufficient conditions for the existence of these equilibria are given. Known existence theorems are shown to be corollaries to the main theorem of this paper. Furthermore, conditions for the existence of equilibria in certain symmetric regions for games are also given. From th… ▽ More A notion of incentive for agents is introduced which leads to a very general notion of an equilibrium for a finite game. Sufficient conditions for the existence of these equilibria are given. Known existence theorems are shown to be corollaries to the main theorem of this paper. Furthermore, conditions for the existence of equilibria in certain symmetric regions for games are also given. From the notion of general equilibrium, a general family of game dynamics are derived. This family incorporates all canonical examples of game dynamics. A proof is given for the full generality of this system. △ Less

Submitted 3 January, 2013; v1 submitted 11 January, 2012; originally announced January 2012.

Comments: 16 pages