Cluster AgeS Experiment (CASE): RR Lyrae stars from the globular cluster Omega Centauri as standard candles

New photometry of RRab and RRc stars in Omega Cen is used to calibrate their absolute magnitudes M_V as a function of: a) metallicity; and b) the Fourier parameters of light curves in the V band. The zero point of both calibrations relies on the distance modulus to the cluster derived earlier by the CASE project based on observations of the detached eclipsing binary OGLE GC17. For RRab variables we obtained a relation of M_V=(0.26\pm 0.08)[Fe/H]+(0.91\pm 0.13). A dereddened distance modulus to the LMC based on that formula is $\mu_{0}=18.56\pm 0.14$ mag. The second calibration of M_V, which is based on Fourier coefficients of decomposed light curves, results in the LMC distance of $\mu_{0}=18.51\pm 0.07$ mag.Comment: accepted for publication in MNRAS, 13 pages, 8 figure

Radial Velocity Studies of Close Binary Stars. IX

Radial-velocity measurements and sine-curve fits to the orbital velocity variations are presented for the eighth set of ten close binary systems: AB And, V402 Aur, V445 Cep, V2082 Cyg, BX Dra, V918 Her, V502 Oph, V1363 Ori, KP Peg, V335 Peg. Half of the systems (V445 Cep, V2082 Cyg, V918 Her, V1363 Ori, V335 Peg) were discovered photometrically by the Hipparcos mission and all systems are double-lined (SB2) contact binaries. The broadening function method permitted improvement of the orbital elements for AB And and V502 Oph. The other systems have been observed for radial velocity variations for the first time; in this group are five bright (V<7.5) binaries: V445 Cep, V2082 Cyg, V918 Her, KP Peg and V335 Peg. Several of the studied systems are prime candidates for combined light and radial-velocity synthesis solutions.Comment: 17+ pages, 2 tables, 4 figure

Towards formal modelling and verification of pervasive computing systems

Smart systems equipped with emerging pervasive computing technologies enable people with limitations to live in their homes independently. However, lack of guarantees for correctness prevent such system to be widely used. Analysing the system with regard to correctness requirements is a challenging task due to the complexity of the system and its various unpredictable faults. In this work, we propose to use formal methods to analyse pervasive computing (PvC) systems. Firstly, a formal modelling framework is proposed to cover the main characteristics of such systems (e.g., context-awareness, concurrent communications, layered architectures). Secondly, we identify the safety requirements (e.g., free of deadlocks and conflicts) and specify them as safety and liveness properties. Furthermore, based on the modelling framework, we propose an approach of verifying reasoning rules which are used in the middleware for perceiving the environment and making adaptation decisions. Finally, we demonstrate our ideas using a case study of a smart healthcare system. Experimental results show the usefulness of our approach in exploring system behaviours and revealing system design flaws such as information inconsistency and conflicting reminder services.No Full Tex

Generation of Variants in Listeria monocytogenes Continuous-Flow Biofilms Is Dependent on Radical-Induced DNA Damage and RecA-Mediated Repair

The food-borne pathogen Listeria monocytogenes is a Gram-positive microaerophilic facultative anaerobic rod and the causative agent of the devastating disease listeriosis. L. monocytogenes is able to form biofilms in the food processing environment. Since biofilms are generally hard to eradicate, they can function as a source for food contamination. In several occasions biofilms have been identified as a source for genetic variability, which potentially can result in adaptation of strains to food processing or clinical conditions. However, nothing is known about mutagenesis in L. monocytogenes biofilms and the possible mechanisms involved. In this study, we showed that the generation of genetic variants was specifically induced in continuous-flow biofilms of L. monocytogenes, but not in static biofilms. Using specific dyes and radical inhibitors, we showed that the formation of superoxide and hydroxyl radicals was induced in continuous-flow biofilms, which was accompanied with in an increase in DNA damage. Promoter reporter studies showed that recA, which is an important component in DNA repair and the activator of the SOS response, is activated in continuous-flow biofilms and that activation was dependent on radical-induced DNA damage. Furthermore, continuous-flow biofilm experiments using an in-frame recA deletion mutant verified that RecA is required for induced generation of genetic variants. Therefore, we can conclude that generation of genetic variants in L. monocytogenes continuous-flow biofilms results from radical-induced DNA damage and RecA-mediated mutagenic repair of the damaged DNA

Stable Isotope Biogeochemistry of Seabird Guano Fertilization: Results from Growth Chamber Studies with Maize (Zea Mays)

Stable isotope analysis is being utilized with increasing regularity to examine a wide range of issues (diet, habitat use, migration) in ecology, geology, archaeology, and related disciplines. A crucial component to these studies is a thorough understanding of the range and causes of baseline isotopic variation, which is relatively poorly understood for nitrogen (δ(15)N). Animal excrement is known to impact plant δ(15)N values, but the effects of seabird guano have not been systematically studied from an agricultural or horticultural standpoint.This paper presents isotopic (δ(13)C and δ(15)N) and vital data for maize (Zea mays) fertilized with Peruvian seabird guano under controlled conditions. The level of (15)N enrichment in fertilized plants is very large, with δ(15)N values ranging between 25.5 and 44.7‰ depending on the tissue and amount of fertilizer applied; comparatively, control plant δ(15)N values ranged between -0.3 and 5.7‰. Intraplant and temporal variability in δ(15)N values were large, particularly for the guano-fertilized plants, which can be attributed to changes in the availability of guano-derived N over time, and the reliance of stored vs. absorbed N. Plant δ(13)C values were not significantly impacted by guano fertilization. High concentrations of seabird guano inhibited maize germination and maize growth. Moreover, high levels of seabird guano greatly impacted the N metabolism of the plants, resulting in significantly higher tissue N content, particularly in the stalk.The results presented in this study demonstrate the very large impact of seabird guano on maize δ(15)N values. The use of seabird guano as a fertilizer can thus be traced using stable isotope analysis in food chemistry applications (certification of organic inputs). Furthermore, the fertilization of maize with seabird guano creates an isotopic signature very similar to a high-trophic level marine resource, which must be considered when interpreting isotopic data from archaeological material