Trees over Infinite Structures and Path Logics with Synchronization

We provide decidability and undecidability results on the model-checking problem for infinite tree structures. These tree structures are built from sequences of elements of infinite relational structures. More precisely, we deal with the tree iteration of a relational structure M in the sense of Shelah-Stupp. In contrast to classical results where model-checking is shown decidable for MSO-logic, we show decidability of the tree model-checking problem for logics that allow only path quantifiers and chain quantifiers (where chains are subsets of paths), as they appear in branching time logics; however, at the same time the tree is enriched by the equal-level relation (which holds between vertices u, v if they are on the same tree level). We separate cleanly the tree logic from the logic used for expressing properties of the underlying structure M. We illustrate the scope of the decidability results by showing that two slight extensions of the framework lead to undecidability. In particular, this applies to the (stronger) tree iteration in the sense of Muchnik-Walukiewicz.Comment: In Proceedings INFINITY 2011, arXiv:1111.267

Factors associated with cytomegalovirus serostatus in young people in England:A cross-sectional study

BACKGROUND: Human cytomegalovirus (CMV) is a common herpesvirus which is estimated to infect 83% of the global population. Whilst many infections are asymptomatic, it is an important cause of morbidity and mortality, particularly for immunocompromised people and for infants who are congenitally infected. A vaccine against CMV has been stated as a public health priority, but there are gaps in our understanding of CMV epidemiology. To guide potential future vaccination strategies, our aim was to examine risk factors for CMV seropositivity in young people in England. METHODS: The Health Survey for England (HSE) is an annual, cross-sectional representative survey of households in England during which data are collected through questionnaires, and blood samples are taken. We randomly selected individuals who participated in the HSE 2002, aiming for 25 participants of each sex in each single year age group from 11 to 24 years. Stored samples were tested for CMV antibodies. We undertook descriptive and regression analyses of CMV seroprevalence and risk factors for infection. RESULTS: Demographic data and serostatus were available for 732 individuals, of whom 175 (23.7%) were CMV-seropositive. CMV seroprevalence was associated with age, with 18.3% seropositive at 11-14 years compared to 28.3% at 22-24 years. CMV serostatus was also higher in people of non-white ethnicity (adjusted odds ratio [aOR] 6.22, 95% confidence interval [CI] 3.47-11.14), and in adults who were seropositive for EBV (aOR 2.08 [1.06-4.09]). There was no evidence that smoking status, occupation, body mass index and region of England were associated with CMV serostatus. CONCLUSIONS: CMV seroprevalence is strongly associated with ethnicity, and modestly increases with age in 11-24-year-olds. A greater understanding of the transmission dynamics of CMV, and the impact of this on CMV-associated morbidity and mortality, is necessary to inform effective vaccination strategies when a vaccine for CMV becomes available

The growth of cubic CdS on InP(110) studied in situ by Raman spectroscopy

CdS was deposited onto clean cleaved InP(110) by molecular beam epitaxy (MBE) using a growth rate of 0.2 monolayers/min and a substrate temperature of 440 K (510 K). Raman spectra were taken in situ of the clean InP surface and after each evaporation step using an Ar+ ion laser as a light source. Due to this resonant excitation scattering signals originating from the CdS deposition are observed at coverages as low as 2 monolayers (ML). The number of phonon peaks observed and their selection rules reveal that the cubic modification is present. The spectra are dominated at all coverages by the longitudinal optical (LO) and 2LO phonon scattering intensities and the variation of the 2LO/LO intensity ratio with CdS deposition indicates changes in the electronic structure of the growing CdS. Another spectral feature in the Raman spectra is attributed to a chemically reacted layer at the interface most likely consisting of an In–S compound. The intensity of this feature is found to depend critically on the growth parameters, in particular the substrate temperature, but also on the operating time of the MBE cell. The amount of reaction at the interface also influences the critical CdS film thickness and the development of the 2LO/LO ratio. The results are discussed taking complementary photoluminescence, x‐ray diffraction, and photoemission data into account

Selective Silica Removal in Geothermal Fluids : Implications for Applications for Geothermal Power Plant Operation and Mineral Extraction

Raw material extraction from geothermal fluids often comprises concentrating and cooling steps, which increases the risk of silica scaling formation. However, existing silica removal strategies do not consider the impact on raw material extraction. In this study, the applicability and element-selectivity of three silica removal techniques (seed-induced, lime and caustic precipitation) were tested in batch experiments using synthetic and natural geothermal fluid samples. Increasing the pH-value to 10.5 and the Ca/Si ratio > 1.25 was found to mitigate silica scaling effectively via formation of calcium-silicate-hydrate phases (C-S-H phases). The developed silica removal process does not affect the raw materials and is therefore suitable for brine mining purposes

A new approach to the modelling of local defects in crystals: the reduced Hartree-Fock case

This article is concerned with the derivation and the mathematical study of a new mean-field model for the description of interacting electrons in crystals with local defects. We work with a reduced Hartree-Fock model, obtained from the usual Hartree-Fock model by neglecting the exchange term. First, we recall the definition of the self-consistent Fermi sea of the perfect crystal, which is obtained as a minimizer of some periodic problem, as was shown by Catto, Le Bris and Lions. We also prove some of its properties which were not mentioned before. Then, we define and study in details a nonlinear model for the electrons of the crystal in the presence of a defect. We use formal analogies between the Fermi sea of a perturbed crystal and the Dirac sea in Quantum Electrodynamics in the presence of an external electrostatic field. The latter was recently studied by Hainzl, Lewin, S\'er\'e and Solovej, based on ideas from Chaix and Iracane. This enables us to define the ground state of the self-consistent Fermi sea in the presence of a defect. We end the paper by proving that our model is in fact the thermodynamic limit of the so-called supercell model, widely used in numerical simulations.Comment: Final version, to appear in Comm. Math. Phy

Cytoskeletal variations in an asymmetric cell division support diversity in nematode sperm size and sex ratios

Asymmetric partitioning is an essential component of many developmental processes. As spermatogenesis concludes, sperm are streamlined by discarding unnecessary cellular components into cellular wastebags called residual bodies (RBs). During nematode spermatogenesis, this asymmetric partitioning event occurs shortly after anaphase II, and both microtubules and actin partition into a central RB. Here, we use fluorescence and transmission electron microscopy to elucidate and compare the intermediate steps of RB formation in Caenorhabditis elegans, Rhabditis sp. SB347 (recently named Auanema rhodensis) and related nematodes. In all cases, intact microtubules reorganize and move from centrosomal to non-centrosomal sites at the RB-sperm boundary whereas actin reorganizes through cortical ring expansion and clearance from the poles. However, in species with tiny spermatocytes, these cytoskeletal changes are restricted to one pole. Consequently, partitioning yields one functional sperm with the X-bearing chromosome complement and an RB with the other chromosome set. Unipolar partitioning may not require an unpaired X, as it also occurs in XX spermatocytes. Instead, constraints related to spermatocyte downsizing may have contributed to the evolution of a sperm cell equivalent to female polar bodies

The impact of uncertainties in ice sheet dynamics on sea-level allowances at tide gauge locations

Sea level is projected to rise in the coming centuries as a result of a changing climate. One of the major uncertainties is the projected contribution of the ice sheets in Greenland and Antarctica to sea-level rise (SLR). Here, we study the impact of different shapes of uncertainty distributions of the ice sheets on so-called sea-level allowances. An allowance indicates the height a coastal structure needs to be elevated to keep the same frequency and likelihood of sea-level extremes under a projected amount of mean SLR. Allowances are always larger than the projected SLR. Their magnitude depends on several factors, such as projection uncertainty and the typical variability of the extreme events at a location. Our results show that allowances increase significantly for ice sheet dynamics uncertainty distributions that are more skewed (more than twice, compared to Gaussian uncertainty distributions), due to the increased probability of a much larger ice sheet contribution to SLR. The allowances are largest in regions where a relatively small observed variability in the extremes is paired with relatively large magnitude and/or large uncertainty in the projected SLR, typically around the equator. Under the RCP8.5 (Representative Concentration Pathway) projections of SLR, the likelihood of extremes increases more than a factor 104 at more than 50-87% of the tide gauges