On duality relations for session types

Session types are a type formalism used to describe communication protocols over private session channels. Each participant in a binary session owns one endpoint of a session channel. A key notion is that of duality: the endpoints of a session channel should have dual session types in order to guarantee communication safety. Duality relations have been independently defined in different ways and different works, without considering their effect on the type system. In this paper we systematically study the existing duality relations and some new ones, and compare them in order to understand their expressiveness. The outcome is that those relations are split into two groups, one related to the na¨ıve inductive duality, and the other related to a notion of mutual compliance, which we borrow from the literature on contracts for web-services

A neural signature of the unique hues

Since at least the 17th century there has been the idea that there are four simple and perceptually pure “unique” hues: red, yellow, green, and blue, and that all other hues are perceived as mixtures of these four hues. However, sustained scientific investigation has not yet provided solid evidence for a neural representation that separates the unique hues from other colors. We measured event-related potentials elicited from unique hues and the ‘intermediate’ hues in between them. We find a neural signature of the unique hues 230 ms after stimulus onset at a post-perceptual stage of visual processing. Specifically, the posterior P2 component over the parieto-occipital lobe peaked significantly earlier for the unique than for the intermediate hues (Z = -2.9, p = .004). Having identified a neural marker for unique hues, fundamental questions about the contribution of neural hardwiring, language and environment to the unique hues can now be addressed

Global Transcriptome and Deletome Profiles of Yeast Exposed to Transition Metals

A variety of pathologies are associated with exposure to supraphysiological concentrations of essential metals and to non-essential metals and metalloids. The molecular mechanisms linking metal exposure to human pathologies have not been clearly defined. To address these gaps in our understanding of the molecular biology of transition metals, the genomic effects of exposure to Group IB (copper, silver), IIB (zinc, cadmium, mercury), VIA (chromium), and VB (arsenic) elements on the yeast Saccharomyces cerevisiae were examined. Two comprehensive sets of metal-responsive genomic profiles were generated following exposure to equi-toxic concentrations of metal: one that provides information on the transcriptional changes associated with metal exposure (transcriptome), and a second that provides information on the relationship between the expression of ∼4,700 non-essential genes and sensitivity to metal exposure (deletome). Approximately 22% of the genome was affected by exposure to at least one metal. Principal component and cluster analyses suggest that the chemical properties of the metal are major determinants in defining the expression profile. Furthermore, cells may have developed common or convergent regulatory mechanisms to accommodate metal exposure. The transcriptome and deletome had 22 genes in common, however, comparison between Gene Ontology biological processes for the two gene sets revealed that metal stress adaptation and detoxification categories were commonly enriched. Analysis of the transcriptome and deletome identified several evolutionarily conserved, signal transduction pathways that may be involved in regulating the responses to metal exposure. In this study, we identified genes and cognate signaling pathways that respond to exposure to essential and non-essential metals. In addition, genes that are essential for survival in the presence of these metals were identified. This information will contribute to our understanding of the molecular mechanism by which organisms respond to metal stress, and could lead to an understanding of the connection between environmental stress and signal transduction pathways

Shedding Light on the Galaxy Luminosity Function

From as early as the 1930s, astronomers have tried to quantify the statistical nature of the evolution and large-scale structure of galaxies by studying their luminosity distribution as a function of redshift - known as the galaxy luminosity function (LF). Accurately constructing the LF remains a popular and yet tricky pursuit in modern observational cosmology where the presence of observational selection effects due to e.g. detection thresholds in apparent magnitude, colour, surface brightness or some combination thereof can render any given galaxy survey incomplete and thus introduce bias into the LF. Over the last seventy years there have been numerous sophisticated statistical approaches devised to tackle these issues; all have advantages -- but not one is perfect. This review takes a broad historical look at the key statistical tools that have been developed over this period, discussing their relative merits and highlighting any significant extensions and modifications. In addition, the more generalised methods that have emerged within the last few years are examined. These methods propose a more rigorous statistical framework within which to determine the LF compared to some of the more traditional methods. I also look at how photometric redshift estimations are being incorporated into the LF methodology as well as considering the construction of bivariate LFs. Finally, I review the ongoing development of completeness estimators which test some of the fundamental assumptions going into LF estimators and can be powerful probes of any residual systematic effects inherent magnitude-redshift data.Comment: 95 pages, 23 figures, 3 tables. Now published in The Astronomy & Astrophysics Review. This version: bring in line with A&AR format requirements, also minor typo corrections made, additional citations and higher rez images adde