On the relevance of polyynyl-substituted PAHs to astrophysics

We report on the absorption spectra of the polycyclic aromatic hydrocarbon (PAH) molecules anthracene, phenanthrene, and pyrene carrying either an ethynyl (-C2H) or a butadiynyl (-C4H) group. Measurements were carried out in the mid infrared at room temperature on grains embedded in CsI pellets and in the near ultraviolet at cryogenic temperature on molecules isolated in Ne matrices. The infrared measurements show that interstellar populations of polyynyl-substituted PAHs would give rise to collective features in the same way non-substituted PAHs give rise to the aromatic infrared bands. The main features characteristic of the substituted molecules correspond to the acetylenic CH stretching mode near 3.05 mum and to the almost isoenergetic acetylenic CCH in- and out-of-plane bending modes near 15.9 mum. Sub-populations defined by the length of the polyynyl side group cause collective features which correspond to the various acetylenic CC stretching modes. The ultraviolet spectra reveal that the addition of an ethynyl group to a non-substituted PAH molecule results in all its electronic transitions being redshifted. Due to fast internal energy conversion, the bands at shorter wavelengths are significantly broadened. Those at longer wavelengths are only barely affected in this respect. As a consequence, their relative peak absorption increases. The substitution with the longer butadiynyl chain causes the same effects with a larger magnitude, resulting in the spectra to show a prominent if not dominating pi-pi* transition at long wavelength. After discussing the relevance of polyynyl-substituted PAHs to astrophysics, we conclude that this class of highly conjugated, unsaturated molecules are valid candidates for the carriers of the diffuse interstellar bands.Comment: 29 pages, 9 figures, accepted for publication in ApJ 2 April 201

An open extensible tool environment for Event-B

Abstract. We consider modelling indispensable for the development of complex systems. Modelling must be carried out in a formal notation to reason and make meaningful conjectures about a model. But formal modelling of complex systems is a difficult task. Even when theorem provers improve further and get more powerful, modelling will remain difficult. The reason for this that modelling is an exploratory activity that requires ingenuity in order to arrive at a meaningful model. We are aware that automated theorem provers can discharge most of the onerous trivial proof obligations that appear when modelling systems. In this article we present a modelling tool that seamlessly integrates modelling and proving similar to what is offered today in modern integrated development environments for programming. The tool is extensible and configurable so that it can be adapted more easily to different application domains and development methods.

Only true pelagics mix : comparative phylogeography of deepwater bathybatine cichlids from Lake Tanganyika

In the absence of dispersal barriers, species with great dispersal ability are expected to show little, if at all, phylogeographic structure. The East African Great Lakes and their diverse fish faunas provide opportunities to test this hypothesis in pelagic fishes, which are presumed to be highly mobile and unrestricted in their movement by physical barriers. Here, we address the link between panmixis and pelagic habitat use by comparing the phylogeographic structure among four deepwater cichlid species of the tribe Bathybatini from Lake Tanganyika. We show that the mitochondrial genealogies (based on the most variable part or the control region) of the four species are very shallow (0.8–4% intraspecific divergence across entire distribution ranges) and that all species experienced recent population growth. A lack of phylogeographic structure in the two eupelagic species, Bathybates fasciatus and B. leo, was consistent with expectations and with findings in other pelagic cichlid species. Contrary to expectations, a clear phylogeographic structure was detected in the two benthopelagic species, B. graueri and Hemibates stenosoma. Differences in genetic diversity between eupelagic and benthopelagic species may be due to differences in their dispersal propensity, mediated by their respective predatory niches, rather than precipitated by external barriers to dispersal.Peer reviewe

Brain lateralization and self-reported symptoms of ADHD in a population sample of adults:A dimensional approach

Many clinical studies reported a compromised brain lateralization in patients with Attention-Deficit/Hyperactivity Disorder (ADHD) without being conclusive about whether the deficit existed in the left or right hemisphere. It is well-recognized that studying ADHD dimensionally is more controlled for comorbid problems and medication effects, and provides more accurate assessment of the symptoms. Therefore, the present study applied the dimensional approach to test the relationship between brain lateralization and self-reported ADHD symptoms in a population sample. Eighty-five right-handed university students filled in the Conners’ Adult ADHD Rating Scales and performed a lateralization reaction time task. The task consists of two matching conditions: one condition requires nominal identification for letters tapping left hemisphere specialization (Letter Name-Identity condition) and the other one requires physical and visuospatial identification for shapes tapping right hemisphere specialization (Shape Physical-Identity condition). The letters or shapes to be matched are presented in left or right visual field of a fixation cross. For both task conditions, brain lateralization was indexed as the difference in mean reaction time between left and right visual field. Linear regression analyses, controlled for mood symptoms reported by a depression, anxiety and stress scale, showed no relationship between the variables. These findings from a population sample of adults do not support the dimensionality of lateralized information processing deficit in ADHD symptomatology. However, group comparison analyses showed that subjects with high level of inattention symptoms close to or above the clinical cut-off had a reduced right hemisphere processing in the Shape Physical-Identity condition

Quasiperiodicity and non-computability in tilings

We study tilings of the plane that combine strong properties of different nature: combinatorial and algorithmic. We prove existence of a tile set that accepts only quasiperiodic and non-recursive tilings. Our construction is based on the fixed point construction; we improve this general technique and make it enforce the property of local regularity of tilings needed for quasiperiodicity. We prove also a stronger result: any effectively closed set can be recursively transformed into a tile set so that the Turing degrees of the resulted tilings consists exactly of the upper cone based on the Turing degrees of the later.Comment: v3: the version accepted to MFCS 201

Prenex Separation Logic with One Selector Field

International audienceWe show that infinite satisfiability can be reduced to finite satisfiabil-ity for all prenex formulas of Separation Logic with k ≥ 1 selector fields (SL k). This fact entails the decidability of the finite and infinite satisfiability problems for the class of prenex formulas of SL 1 , by reduction to the first-order theory of a single unary function symbol and an arbitrary number of unary predicate symbols. We also prove that the complexity of this fragment is not elementary recursive, by reduction from the first-order theory of one unary function symbol. Finally, we prove that the Bernays-Schönfinkel-Ramsey fragment of prenex SL 1 formulas with quantifier prefix in the language ∃ * ∀ * is PSPACE-complete

Sex differences in condition dependence of natal dispersal in a large herbivore: dispersal propensity and distance are decoupled

International audienceEvolution should favour plasticity in dispersal decisions in response to spatial heterogeneity in social and environmental contexts. Sex differences in individual optimization of dispersal decisions are poorly documented in mammals, because species where both sexes commonly disperse are rare. To elucidate the sex-specific drivers governing dispersal, we investigated sex differences in condition dependence in the propensity and distance of natal dispersal in one such species, the roe deer, using fine-scale monitoring of 146 GPS-collared juveniles in an intensively monitored population in southwest France. Dispersal propensity increased with body mass in males such that 36% of light individuals dispersed, whereas 62% of heavy individuals did so, but there was no evidence for condition dependence in dispersal propensity among females. By contrast, dispersal distance increased with body mass at a similar rate in both sexes such that heavy dispersers travelled around twice as far as light dispersers. Sex differences in the strength of condition-dependent dispersal may result from different selection pressures acting on the behaviour of males and females. We suggest that females disperse prior to habitat saturation being reached, likely in relation to the risk of inbreeding. By contrast, natal dispersal in males is likely governed by competitive exclusion through male–male competition for breeding opportunities in this strongly territorial mammal. Our study is, to our knowledge, a first demonstration that condition dependence in dispersal propensity and dispersal distance may be decoupled, indicating contrasting selection pressures drive the behavioural decisions of whether or not to leave the natal range, and where to settle

Formalising the Continuous/Discrete Modeling Step

Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The difference between the two is quantified using generic results from ODE theory, and these estimates can be compared with the exact solutions. Such results do not fit well into a conventional model based refinement framework; however they can be accommodated into a model based retrenchment. The retrenchment is described, and the way it can interface to refinement development on both the continuous and discrete sides is outlined. The approach is compared to what can be achieved using hybrid systems techniques.Comment: In Proceedings Refine 2011, arXiv:1106.348