Saying Hello World with GReTL - A Solution to the TTC 2011 Instructive Case

This paper discusses the GReTL solution of the TTC 2011 Hello World case. The submitted solution covers all tasks including the optional ones.Comment: In Proceedings TTC 2011, arXiv:1111.440

Optimizing Abstract Abstract Machines

The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound. This article contributes a complementary step-by-step process for subsequently going from a naive analyzer derived under the AAM approach, to an efficient and correct implementation. The end result of the process is a two to three order-of-magnitude improvement over the systematically derived analyzer, making it competitive with hand-optimized implementations that compute fundamentally less precise results.Comment: Proceedings of the International Conference on Functional Programming 2013 (ICFP 2013). Boston, Massachusetts. September, 201

Meeting the Needs of the Workforce in a Shifting Regional Economy

The tri-state region (New York/New Jersey/Connecticut) supports a highly complex and diverse labor market that has been subject not only to the shocking events of September 11th, 2001, but also to broad demographic and economic trends that have shaped the structure of work and the makeup of the available workforce. This paper examines the shifts that occurred in the regional economy throughout the past decade and discusses the possible implications of these changes for the Port Authority of New York and New Jersey, educational institutions, and state and local governments

Fillings of unit cotangent bundles

We study the topology of exact and Stein fillings of the canonical contact structure on the unit cotangent bundle of a closed surface Σg, where g is at least 2. In particular, we prove a uniqueness theorem asserting that any Stein filling must be s-cobordant rel boundary to the disk cotangent bundle of Σg. For exact fillings, we show that the rational homology agrees with that of the disk cotangent bundle, and that the integral homology takes on finitely many possible values, including that of DT∗Σg: for example, if g−1 is square-free, then any exact filling has the same integral homology and intersection form as DT∗Σg

The Role of Control in Intimate Partner Violence: A Study in Dutch Forensic Outpatients

Johnson argued that coercive control is crucial in explaining heterogeneity in intimate partner violence, with such violence being more frequent, less reciprocal, and more often male-to-female aggression when it serves to exercise control over the partner. We assessed 280 Dutch forensic outpatients who had recently engaged in intimate partner violence on nonaggressive coercive control. Control showed significant, small to moderate, associations with more frequent past year acts of psychological aggression, physical assault, and sexual coercion and more frequently resulted in partner injury. Control was unrelated to reciprocity of partner violence. High controlling violence was enacted mostly, but not exclusively by men. Overall, while perhaps not having a uniquely strong association, our findings provide partial support for the role of coercive control in intimate partner violence and suggest it may benefit intimate partner violence risk assessment.</p

H_2 and CO Emission from Disks around T Tauri and Herbig Ae Pre-Main-Sequence Stars and from Debris Disks around Young Stars: Warm and Cold Circumstellar Gas

We present ISO Short-Wavelength Spectrometer observations of H_2 pure-rotational line emission from the disks around low- and intermediate-mass pre-main-sequence stars as well as from young stars thought to be surrounded by debris disks. The pre-main-sequence sources have been selected to be isolated from molecular clouds and to have circumstellar disks revealed by millimeter interferometry. We detect "warm" (T ≈100-200 K) H_2 gas around many sources, including tentatively the debris-disk objects. The mass of this warm gas ranges from ~ 10^(-4) M_☉ up to 8 x 10^(-3) and can constitute a nonnegligible fraction of the total disk mass. Complementary single-dish ^(12)CO 3-2/^(13)CO 3-2, and ^(12)CO 6-5 observations have been obtained as well. These transitions probe cooler gas at T ≈ 20-80 K. Most objects show a double-peaked CO emission profile characteristic of a disk in Keplerian rotation, consistent with interferometer data on the lower J lines. The ratios of the ^(12)CO 3-2/^(13)CO 3-2 integrated fluxes indicate that ^(12)CO 3-2 is optically thick but that ^(13)CO 3-2 is optically thin or at most moderately thick. The ^(13)CO 3-2 lines have been used to estimate the cold gas mass. If a H_2/CO conversion factor of 1 x 10^(-4) is adopted, the derived cold gas masses are factors of 10-200 lower than those deduced from 1.3 millimeter dust emission assuming a gas/dust ratio of 100, in accordance with previous studies. These findings confirm that CO is not a good tracer of the total gas content in disks since it can be photodissociated in the outer layers and frozen onto grains in the cold dense part of disks, but that it is a robust tracer of the disk velocity field. In contrast, H_2 can shield itself from photodissociation even in low-mass "optically thin" debris disks and can therefore survive longer. The warm gas is typically 1%-10% of the total mass deduced from millimeter continuum emission, but it can increase up to 100% or more for the debris-disk objects. Thus, residual molecular gas may persist into the debris-disk phase. No significant evolution in the H_2 CO, or dust masses is found for stars with ages in the range of 10^6-10^7 yr, although a decrease is found for the older debris-disk star β Pictoris. The large amount of warm gas derived from H_2 raises the question of the heating mechanism(s). Radiation from the central star as well as the general interstellar radiation field heat an extended surface layer of the disk, but existing models fail to explain the amount of warm gas quantitatively. The existence of a gap in the disk can increase the area of material influenced by radiation. Prospects for future observations with ground- and space-borne observations are discussed

Non-recognition?: Lobolo as a requirement for a valid customary marriage

From text: In traditional African societies marriage is one of the factors taken into account when determining the rights, duties and obligations of an individual in society, in other words to determine the status of the individual in that particular societal grouping. It is common cause that there is a perceived inequity between men and women in African society. This becomes apparent when taking into account the massive research that has been done on this specific issue, especially matters relating to polygamy and the requirement of lobolo as a prerequisite for a valid customary marriage