A Direct Algorithm for the Type Interference in the Rank 2 Fragment of the Second--Order λ-Calculus

We study the problem of type inference for a family of polymorphic type disciplines containing the power of Core-ML. This family comprises all levels of the stratification of the second-order lambda-calculus by "rank" of types. We show that typability is an undecidable problem at every rank k ≥ 3 of this stratification. While it was already known that typability is decidable at rank ≤ 2, no direct and easy-to-implement algorithm was available. To design such an algorithm, we develop a new notion of reduction and show how to use it to reduce the problem of typability at rank 2 to the problem of acyclic semi-unification. A by-product of our analysis is the publication of a simple solution procedure for acyclic semi-unification.

Principality and Decidable Type Inference for Finite-Rank Intersection Types

Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank restriction of this system (using Leivant's first notion of rank) has principal typings and also has decidable type inference. This is in contrast to System F where the finite rank restriction for every finite rank at 3 and above has neither principal typings nor decidable type inference. This is also in contrast to earlier presentations of intersection types where the status of these properties is not known for the finite-rank restrictions at 3 and above.Furthermore, the notion of principal typings for our system involves only one operation, substitution, rather than several operations (not all substitution-based) as in earlier presentations of principality for intersection types (of unrestricted rank). A unification-based type inference algorithm is presented using a new form of unification, β-unification.

Maternal rank influences the outcome of aggressive interactions between immature chimpanzees

© 2014 The Association for the Study of Animal Behaviour.For many long-lived mammalian species, extended maternal investment has a profound effect on offspring integration in complex social environments. One component of this investment may be aiding young in aggressive interactions, which can set the stage for offspring social position later in life. Here we examined maternal effects on dyadic aggressive interactions between immature (<12 years) chimpanzees. Specifically, we tested whether relative maternal rank predicted the probability of winning an aggressive interaction. We also examined maternal responses to aggressive interactions to determine whether maternal interventions explain interaction outcomes. Using a 12-year behavioural data set (2000-2011) from Gombe National Park, Tanzania, we found that relative maternal rank predicted the probability of winning aggressive interactions in male-male and male-female aggressive interactions: offspring were more likely to win if their mother outranked their opponent's mother. Female-female aggressive interactions occurred infrequently (two interactions), so could not be analysed. The probability of winning was also higher for relatively older individuals in male-male interactions, and for males in male-female interactions. Maternal interventions were rare (7.3% of 137 interactions), suggesting that direct involvement does not explain the outcome for the vast majority of aggressive interactions. These findings provide important insight into the ontogeny of aggressive behaviour and early dominance relationships in wild apes and highlight a potential social advantage for offspring of higher-ranking mothers. This advantage may be particularly pronounced for sons, given male philopatry in chimpanzees and the potential for social status early in life to translate more directly to adult rank.

Application of a rank-based genetic association test to age-at-onset data from the Collaborative Study on the Genetics of Alcoholism study.

Association studies of quantitative traits have often relied on methods in which a normal distribution of the trait is assumed. However, quantitative phenotypes from complex human diseases are often censored, highly skewed, or contaminated with outlying values. We recently developed a rank-based association method that takes into account censoring and makes no distributional assumptions about the trait. In this study, we applied our new method to age-at-onset data on ALDX1 and ALDX2. Both traits are highly skewed (skewness > 1.9) and often censored. We performed a whole genome association study of age at onset of the ALDX1 trait using Illumina single-nucleotide polymorphisms. Only slightly more than 5% of markers were significant. However, we identified two regions on chromosomes 14 and 15, which each have at least four significant markers clustering together. These two regions may harbor genes that regulate age at onset of ALDX1 and ALDX2. Future fine mapping of these two regions with densely spaced markers is warranted.

The use of acoustic emission monitoring to rank paper materials with respect to their fracture toughness

In this study, a simplified Acoustic Emission (AE) equipment, in essence an AE signal conditioner and a USB (Universal Serial Bus) data acquisition system, is used to study what happens in paper structures during mechanical loading. By the use of such equipment, some parameters that can be extracted are e.g. the stress and strain at onset of AE, the stress and strain at the onset of rapid AE defined as some numerical factor (larger then one) times the initial emission rate, the emission rate at the first stage of loading and the stress and strain at final failure i.e. when the specimen loses its load carrying ability.In this study however, the interest is focused on one particular parameter i.e. the elastic strain energy density W c at onset of AE. This is a parameter with a clear physical meaning and in this study, the correlation between this parameter and a fracture toughness measure, is investigated.The conclusion is that when nine different paper materials (with a large span regarding properties) are considered, there is a correlation (however not linear) between these two parameters.

Validations of high-rank syntaxa in Potamogetonetea and Scheuchzerio-Caricetea fuscae

This paper presents the validation of five syntaxonomic concepts –two orders (Callitricho hamulatae-Ranunculetalia aquatilis, Zannichellietalia pedicellatae) and three alliances (Ranunculion aquatilis, Nelumbion nuciferae and Caricion viridulo-trinervis).

Descriptions and validation of the names of some high-rank syntaxa in the European Asplenietea trichomanis and Polypodietea

The paper presents the description of one new order (Asplenietalia septentrionalo-cuneifolii) and two new alliances (Arenarion bertolonii and Physoplexido comosae- Saxifragion petraeae). In addition, the syntaxon Asplenietalia lanceolato-obovati is here formally raised to the order level and the name Hypno-Polypodietalia vulgaris is validated.

Nomenclature and syntaxonomic notes on some high-rank syntaxa of the European grassland vegetation

We present descriptions of a new order (Ranunculo cortusifolii-Geranietalia reuteri and of a new alliance (Stachyo lusitanicae-Cheirolophion sempervirentis) for the herbaceous fringe communities of Macaronesia and of the southwestern Iberian Peninsula, respectively. A new alliance, the Polygalo mediterraneae-Bromion erecti (mesophilous post-cultural grasslands), was introduced for the Peninsular Italy. We further validate and typify the Armerietalia rumelicae (perennial grasslands supported by nutrient-poor on siliceous bedrocks at altitudes characterized by the submediterranean climate of central-southern Balkan Peninsula), the Securigero-Dasypyrion villosae (lawn and fallow-land tall-grass annual vegetation of Italy), and the Cirsio vallis-demoni-Nardion (acidophilous grasslands on siliceous substrates of the Southern Italy). Nomenclatural issues (validity, legitimacy, synonymy, formal corrections) have been discussed and clarified for the following names: Brachypodio-Brometalia, Bromo pannonici-Festucion csikhegyensis, Corynephoro-Plantaginion radicatae, Heleochloion, Hieracio-Plantaginion radicatae, Nardetea strictae, Nardetalia strictae, Nardo-Callunetea, Nardo-Galion saxatilis, Oligo-Bromion, Paspalo-Heleochloetalia, Plantagini-Corynephorion and Scorzoneret alia villosae.