Incremental derivation of abstraction relations for data refinements

Data refinements are refinement steps in which a program’s local data structures are changed. Data refinement proof obligations require the software designer to find an abstraction relation that relates the states of the original and new program. In this paper we describe an algorithm that helps a designer find an abstraction relation for a proposed refinement. Given sufficient time and space, the algorithm can find a minimal abstraction relation, and thus show that the refinement holds. As it executes, the algorithm displays mappings that cannot be in any abstraction relation. When the algorithm is not given sufficient resources to terminate, these mappings can help the designer find a suitable abstraction relation. The same algorithm can be used to test an abstraction relation supplied by the designer.

Parameter setting and statistical learning

Three main models of parameter setting have been proposed: the Variational model proposed by Yang (2002; 2004), the Structured Acquisition model endorsed by Baker (2001; 2005), and the Very Early Parameter Setting (VEPS) model advanced by Wexler (1998). The VEPS model contends that parameters are set early. The Variational model supposes that children employ statistical learning mechanisms to decide among competing parameter values, so this model anticipates delays in parameter setting when critical input is sparse, and gradual setting of parameters. On the Structured Acquisition model, delays occur because parameters form a hierarchy, with higher-level parameters set before lower-level parameters. Assuming that children freely choose the initial value, children sometimes will miss-set parameters. However when that happens, the input is expected to trigger a precipitous rise in one parameter value and a corresponding decline in the other value. We will point to the kind of child language data that is needed in order to adjudicate among these competing models.

Class attainment among British men - A multivariate extension of the CASMIN model of intergenerational class mobility

The CASMIN Project is arguably the most influential contemporary study of class mobility in the world. However, CASMIN results with respect to weak vertical status effects on class mobility have been extensively criticized. Drawing on arguments about how to model vertical mobility, Hout and Hauser (1992) show that class mobility is strongly determined by vertical socioeconomic differences. This paper extends these arguments by estimating the CASMIN model while explicitly controlling for individual determinants of socioeconomic attainment. Using the 1972 Oxford Mobility Data and the 1979 and 1983 British Election Studies, the paper employs mixed legit models to show how individual socioeconomic factors and categorical differences between classes shape intergenerational mobility. The findings highlight the multidimensionality of class mobility and its irreducibility to vertical movement up and down a stratification hierarchy.

The glass ceiling hypothesis - A comparative study of the United States, Sweden, and Australia

The general-care glass ceiling hypothesis states that not only is it more difficult for women than for men to be promoted up levels of authority hierarchies within workplaces but also that the obstacles women face relative to men become greater as they move rtp the hierarchy. Gender-based discrimination in promotions is not simply present across levels of hierarchy but is more intense at higher levels. Empirically, this implies that the relative rates of women being promoted to higher levels compared to men should decline with the level of the hierarchy. This article explores this hypothesis with data from three countries: the United States, Australia, and Sweden. The basic conclusion is that while there is strong evidence for a general gender gap in authority-the odds of women having authority are less than those of men-there is no evidence for systematic glass ceiling effects in the United States and only weak evidence for such effects in the other two countries.

Mothers' mental illness and child behavior problems: Cause-effect association or observation bias

Objective: A number, of studies have consistently found that a mother's mental health (particularly her level of depression) is a strong predictor of mental health problems experienced by her child(ren). However, the validity of this finding is in doubt because the majority of these studies have relied on maternal reports as indicators of children's behavior. Method: This prospective, longitudinal study examines data an the mental health of the mother from prior to the birth of her child to when the child reaches 14 years of age. Child behavior is measured at 14 years of age using reports from mother and child. Mother and child responses are compared to provide an indication of the possible magnitude of maternal observation bias in the reporting of child behavior problems. Results: Anxious and/or depressed mothers tend to report more cases of child behavior problems than do their mentally healthy counterparts or children themselves. Differences between mothers and youths In reporting behavior problems appear to be related to the mothers' mental health. Conclusions: Current maternal mental health impairment appears to have a substantial effect on the reporting of child behavior problems by the mother, thereby raising questions about the validity of reports of child behavior by persons who are currently emotionally distressed.

The secondary vascular system of Actinopterygii: interspecific variation in origins and investment

Vascular casts of 3 species of Chondrichthyes, 1 of Dipnoi, 1 of Chondrostei and 14 species of the Teleostei were examined by light and scanning electron microscopy in order to give a qualitative and quantitative analysis of interarterial anastomoses (iaas) that indicate the presence (or absence) of a secondary vascular system (SVS). Anastomoses were found to originate from a variety of different primary blood vessels, many of which have not been previously identified as giving rise to secondary vessels. Segmental arteries derived from the dorsal aorta and supplying body musculature were major sites of origin of the SVS, although there was considerable variation in where, in the hierarchy of arterial branching, the anastomoses occurred. The degree of investment in a SVS was species specific, with more active species having a higher degree of secondary vascularisation. This difference was quantified using an absolute count of iaas between Anguilla reinhardtii and Trachinotus baillonii. A range of general features of the SVS is also described. No evidence of iaas was found on the coeliac, mesenteric or renal circulation in any species. Evidence of iaas was lacking in the dipnoan and chondrichthyan species examined, suggesting that a SVS is restricted to Actinopterygii. The presence and distribution of a SVS does not appear to be exclusively linked to phylogenetic position, but rather to the physiological adaptation of the species.

Drinfield twists and alegebraic Bethe ansatz of the supersymmetric t-J model

We construct the Drinfeld twists (factorizing F-matrices) for the supersymmetric t-J model. Working in the basis provided by the F-matrix (i.e. the so-called F-basis), we obtain completely symmetric representations of the monodromy matrix and the pseudo-particle creation operators of the model. These enable us to resolve the hierarchy of the nested Bethe vectors for the gl(2\1) invariant t-J model.

Drinfeld twists and symmetric Bethe vectors of supersymmetric fermion models

We construct the Drinfeld twists ( factorizing F-matrices) of the gl(m-n)-invariant fermion model. Completely symmetric representation of the pseudo-particle creation operators of the model are obtained in the basis provided by the F-matrix ( the F-basis). We resolve the hierarchy of the nested Bethe vectors in the F-basis for the gl(m-n) supersymmetric model.

Axial Young's modulus prediction of single-walled carbon nanotube arrays with diameters from nanometer to meter scales

Based on a self-similar array model, we systematically investigated the axial Young's modulus (Y-axis) of single-walled carbon nanotube (SWNT) arrays with diameters from nanometer to meter scales by an analytical approach. The results show that the Y-axis of SWNT arrays decreases dramatically with the increases of their hierarchy number (s) and is not sensitive to the specific size and constitution when s is the same, and the specific Young's modulus Y-axis(s) is independent of the packing configuration of SWNTs. Our calculations also show that the Y-axis of SWNT arrays with diameters of several micrometers is close to that of commercial high performance carbon fibers (CFs), but the Y-axis(s) of SWNT arrays is much better than that of high performance CFs. (C) 2005 American Institute of Physics.