Proof Theory and Ordered Groups

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of theorems arising in the theory of ordered groups. More precisely: an analytic calculus for abelian l-groups is generated using an ordering theorem for abelian groups; a calculus is generated for l-groups and new decidability proofs are obtained for the equational theory of this variety and extending finite subsets of free groups to right orders; and a calculus for representable l-groups is generated and a new proof is obtained that free groups are orderable

Effects of mixing on evolution of hydrocarbon ratios in the troposphere

Nonmethane hydrocarbon (NMHC) concentration ratios provide useful indicators of tropospheric oxidation and transport processes. However, the influences of both photochemical and mixing processes are inextricably linked in the evolution of these ratios. We present a model for investigating these influences by combining the transport treatment of the Lagrangian particle dispersion model FLEXPART with an ultrasimple (i.e., constant OH concentration) chemical treatment. Required model input includes NMHC emission ratios, but not ad hoc assumed background NMHC concentrations. The model results give NMHC relationships that can be directly compared, in a statistical manner, with measurements. The measured concentration ratios of the longest-lived alkanes show strong deviations from purely kinetic behavior, which the model nicely reproduces. In contrast, some measured aromatic ratio relationships show even stronger deviations that are not well reproduced by the model for reasons that are not understood. The model-measurement comparisons indicate that the interaction of mixing and photochemical processing prevent a simple interpretation of "photochemical age," but that the average age of any particular NMHC can be well defined and can be approximated by a properly chosen and interpreted NMHC ratio. In summary, the relationships of NMHC concentration ratios not only yield useful measures of photochemical processing in the troposphere, but also provide useful test of the treatment of mixing and chemical processing in chemical transport models. Copyright 2007 by the American Geophysical Union

Feeding interventions for growth and development in infants with cleft lip, cleft palate or cleft lip and palate.

BACKGROUND: Cleft lip and cleft palate are common birth defects, affecting about one baby of every 700 born. Feeding these babies is an immediate concern and there is evidence of delay in growth of children with a cleft as compared to those without clefting. In an effort to combat reduced weight for height, a variety of advice and devices are recommended to aid feeding of babies with clefts. OBJECTIVES: This review aims to assess the effects of these feeding interventions in babies with cleft lip and/or palate on growth, development and parental satisfaction. SEARCH STRATEGY: The following electronic databases were searched: the Cochrane Oral Health Group Trials Register (to 27 October 2010), the Cochrane Central Register of Controlled Trials (CENTRAL) (The Cochrane Library 2010, Issue 4), MEDLINE via OVID (1950 to 27 October 2010), EMBASE via OVID (1980 to 27 October 2010), PsycINFO via OVID (1950 to 27 October 2010) and CINAHL via EBSCO (1980 to 27 October 2010). Attempts were made to identify both unpublished and ongoing studies. There was no restriction with regard to language of publication. SELECTION CRITERIA: Studies were included if they were randomised controlled trials (RCTs) of feeding interventions for babies born with cleft lip, cleft palate or cleft lip and palate up to the age of 6 months (from term). DATA COLLECTION AND ANALYSIS: Studies were assessed for relevance independently and in duplicate. All studies meeting the inclusion criteria were data extracted and assessed for validity independently by each member of the review team. Authors were contacted for clarification or missing information whenever possible. MAIN RESULTS: Five RCTs with a total of 292 babies, were included in the review. Comparisons made within the RCTs were squeezable versus rigid feeding bottles (two studies), breastfeeding versus spoon-feeding (one study) and maxillary plate versus no plate (two studies). No statistically significant differences were shown for any of the primary outcomes when comparing bottle types, although squeezable bottles were less likely to require modification. No difference was shown for infants fitted with a maxillary plate compared to no plate. However, there was some evidence of an effect on weight at 6 weeks post-surgery in favour of breastfeeding when compared to spoon-feeding (mean difference 0.47; 95% confidence interval 0.20 to 0.74). AUTHORS' CONCLUSIONS: Squeezable bottles appear easier to use than rigid feeding bottles for babies born with clefts of the lip and/or palate, however, there is no evidence of a difference in growth outcomes between the bottle types. There is weak evidence that breastfeeding is better than spoon-feeding following surgery for cleft. There was no evidence to suggest that maxillary plates assist growth in babies with clefts of the palate. No evidence was found to assess the use of any types of maternal advice and/or support for these babies

An XMM and Chandra view of massive clusters of galaxies to z=1

The X-ray properties of a sample of high redshift (z>0.6), massive clusters observed with XMM-Newton and Chandra are described, including two exceptional systems. One, at z=0.89, has an X-ray temperature of T=11.5 (+1.1, -0.9) keV (the highest temperature of any cluster known at z>0.6), an estimated mass of (1.4+/-0.2)x10^15 solar masses and appears relaxed. The other, at z=0.83, has at least three sub-clumps, probably in the process of merging, and may also show signs of faint filamentary structure at large radii,observed in X-rays. In general there is a mix of X-ray morphologies, from those clusters which appear relaxed and containing little substructure to some highly non-virialized and probably merging systems. The X-ray gas metallicities and gas mass fractions of the relaxed systems are similar to those of low redshift clusters of the same temperature, suggesting that the gas was in place, and containing its metals, by z=0.8. The evolution of the mass-temperature relation may be consistent with no evolution or with the ``late formation'' assumption. The effect of point source contamination in the ROSAT survey from which these clusters were selected is estimated, and the implications for the ROSAT X-ray luminosity function discussed.Comment: 9 pages, in Carnegie Observatories Astrophysics Series, Vol. 3: Clusters of Galaxies: Probes of Cosmological Structure and Galaxy Evolution, ed. J. S. Mulchaey, A. Dressler, and A. Oemler. See http://www.ociw.edu/ociw/symposia/series/symposium3/proceedings.html for a full-resolution versio

On p-adic lattices and Grassmannians

It is well-known that the coset spaces G(k((z)))/G(k[[z]]), for a reductive group G over a field k, carry the geometric structure of an inductive limit of projective k-schemes. This k-ind-scheme is known as the affine Grassmannian for G. From the point of view of number theory it would be interesting to obtain an analogous geometric interpretation of quotients of the form G(W(k)[1/p])/G(W(k)), where p is a rational prime, W denotes the ring scheme of p-typical Witt vectors, k is a perfect field of characteristic p and G is a reductive group scheme over W(k). The present paper is an attempt to describe which constructions carry over from the function field case to the p-adic case, more precisely to the situation of the p-adic affine Grassmannian for the special linear group G=SL_n. We start with a description of the R-valued points of the p-adic affine Grassmannian for SL_n in terms of lattices over W(R), where R is a perfect k-algebra. In order to obtain a link with geometry we further construct projective k-subvarieties of the multigraded Hilbert scheme which map equivariantly to the p-adic affine Grassmannian. The images of these morphisms play the role of Schubert varieties in the p-adic setting. Further, for any reduced k-algebra R these morphisms induce bijective maps between the sets of R-valued points of the respective open orbits in the multigraded Hilbert scheme and the corresponding Schubert cells of the p-adic affine Grassmannian for SL_n.Comment: 36 pages. This is a thorough revision, in the form accepted by Math. Zeitschrift, of the previously published preprint "On p-adic loop groups and Grassmannians

Understanding violence against Chinese women in Hong Kong: An analysis of risk factors with a special emphasis on the role of in-law conflict

This study examines risk factors of intimate partner violence against women in a cohort of Chinese women drawn from a large representative sample in Hong Kong. Data from a cross-section of 1,870 women are analyzed. Prevalence rates of women's self-reports of violence by their intimate partners and conflict with in-laws are computed and compared in terms of demographic and socioeconomic characteristics. The results show that in-law conflict was the characteristic most significantly associated with women's reports of violent victimization. This suggests that in-law conflict should be included in the screening and assessment of risk for intimate partner violence. © 2008 Sage Publications.postprin

Vertex importance extension of betweenness centrality algorithm

Variety of real-life structures can be simplified by a graph. Such simplification emphasizes the structure represented by vertices connected via edges. A common method for the analysis of the vertices importance in a network is betweenness centrality. The centrality is computed using the information about the shortest paths that exist in a graph. This approach puts the importance on the edges that connect the vertices. However, not all vertices are equal. Some of them might be more important than others or have more significant influence on the behavior of the network. Therefore, we introduce the modification of the betweenness centrality algorithm that takes into account the vertex importance. This approach allows the further refinement of the betweenness centrality score to fulfill the needs of the network better. We show this idea on an example of the real traffic network. We test the performance of the algorithm on the traffic network data from the city of Bratislava, Slovakia to prove that the inclusion of the modification does not hinder the original algorithm much. We also provide a visualization of the traffic network of the city of Ostrava, the Czech Republic to show the effect of the vertex importance adjustment. The algorithm was parallelized by MPI (http://www.mpi-forum.org/) and was tested on the supercomputer Salomon (https://docs.it4i.cz/) at IT4Innovations National Supercomputing Center, the Czech Republic.808726

Common correlates of suicidal ideation and physical assault among male and female university students in Hong Kong

This study examined prevalence and correlates of suicidal ideation and dating partner violence in a cohort of 651 university students in social sciences classes at three universities in Hong Kong. A standard questionnaire was completed within one class period to examine the rates of occurrence of physical assault perpetration and suicidal ideation. Separate rates are presented for male and female perpetrators and for severe and overall levels of violence. The differences between subjects having suicidal ideation are compared using t tests. Logistic regression is used to predict the presence or absence of physical assault in the preceding year of reporting and suicidal ideation based on the variables such as Personal Relationship Profile, age, relationship length, and socioeconomic status. Results showed that 55% of suicidal persons had a history of violence, whereas 39% of violent people had a history of suicidal ideation. Logistic regression showed that physical assault shared a total of seven associated factors with suicidal ideation. Suicidal ideation seems to have no direct relation to physical and sexual assault, but they do share some common associated factors that are essential for the development of suicide prevention. © 2007 Springer Publishing Company.postprin