An adaptive prefix-assignment technique for symmetry reduction

This paper presents a technique for symmetry reduction that adaptively assigns a prefix of variables in a system of constraints so that the generated prefix-assignments are pairwise nonisomorphic under the action of the symmetry group of the system. The technique is based on McKay's canonical extension framework [J.~Algorithms 26 (1998), no.~2, 306--324]. Among key features of the technique are (i) adaptability---the prefix sequence can be user-prescribed and truncated for compatibility with the group of symmetries; (ii) parallelizability---prefix-assignments can be processed in parallel independently of each other; (iii) versatility---the method is applicable whenever the group of symmetries can be concisely represented as the automorphism group of a vertex-colored graph; and (iv) implementability---the method can be implemented relying on a canonical labeling map for vertex-colored graphs as the only nontrivial subroutine. To demonstrate the practical applicability of our technique, we have prepared an experimental open-source implementation of the technique and carry out a set of experiments that demonstrate ability to reduce symmetry on hard instances. Furthermore, we demonstrate that the implementation effectively parallelizes to compute clusters with multiple nodes via a message-passing interface.Comment: Updated manuscript submitted for revie

Constant-angle surfaces in liquid crystals

We discuss some properties of surfaces in R3 whose unit normal has constant angle with an assigned direction field. The constant angle condition can be rewritten as an Hamilton-Jacobi equation correlating the surface and the direction field. We focus on examples motivated by the physics of interfaces in liquid crystals and of layered fluids, and discuss the properties of the constant-angle surfaces when the direction field is singular along a line (disclination) or at a point (hedgehog defect

Folate catabolites in spot urine as non-invasive biomarkers of folate status during habitual intake and folic acid supplementation.

Folate status, as reflected by red blood cell (RCF) and plasma folates (PF), is related to health and disease risk. Folate degradation products para-aminobenzoylglutamate (pABG) and para-acetamidobenzoylglutamate (apABG) in 24 hour urine have recently been shown to correlate with blood folate. Since blood sampling and collection of 24 hour urine are cumbersome, we investigated whether the determination of urinary folate catabolites in fasted spot urine is a suitable non-invasive biomarker for folate status in subjects before and during folic acid supplementation. Immediate effects of oral folic acid bolus intake on urinary folate catabolites were assessed in a short-term pre-study. In the main study we included 53 healthy men. Of these, 29 were selected for a 12 week folic acid supplementation (400 µg). Blood, 24 hour and spot urine were collected at baseline and after 6 and 12 weeks and PF, RCF, urinary apABG and pABG were determined. Intake of a 400 µg folic acid bolus resulted in immediate increase of urinary catabolites. In the main study pABG and apABG concentrations in spot urine correlated well with their excretion in 24 hour urine. In healthy men consuming habitual diet, pABG showed closer correlation with PF (rs = 0.676) and RCF (rs = 0.649) than apABG (rs = 0.264, ns and 0.543). Supplementation led to significantly increased folate in plasma and red cells as well as elevated urinary folate catabolites, while only pABG correlated significantly with PF (rs = 0.574) after 12 weeks. Quantification of folate catabolites in fasted spot urine seems suitable as a non-invasive alternative to blood or 24 hour urine analysis for evaluation of folate status in populations consuming habitual diet. In non-steady-state conditions (folic acid supplementation) correlations between folate marker (RCF, PF, urinary catabolites) decrease due to differing kinetics

Mucosal Application of gp140 Encoding DNA Polyplexes to Different Tissues Results in Altered Immunological Outcomes in Mice

Increasing evidence suggests that mucosally targeted vaccines will enhance local humoral and cellular responses whilst still eliciting systemic immunity. We therefore investigated the capacity of nasal, sublingual or vaginal delivery of DNA-PEI polyplexes to prime immune responses prior to mucosal protein boost vaccination. Using a plasmid expressing the model antigen HIV CN54gp140 we show that each of these mucosal surfaces were permissive for DNA priming and production of antigen-specific antibody responses. The elicitation of systemic immune responses using nasally delivered polyplexed DNA followed by recombinant protein boost vaccination was equivalent to a systemic prime-boost regimen, but the mucosally applied modality had the advantage in that significant levels of antigen-specific IgA were detected in vaginal mucosal secretions. Moreover, mucosal vaccination elicited both local and systemic antigen-specific IgG(+) and IgA(+) antibody secreting cells. Finally, using an Influenza challenge model we found that a nasal or sublingual, but not vaginal, DNA prime/protein boost regimen protected against infectious challenge. These data demonstrate that mucosally applied plasmid DNA complexed to PEI followed by a mucosal protein boost generates sufficient antigen-specific humoral antibody production to protect from mucosal viral challenge

Transmit Power Minimization for MIMO Systems of Exponential Average BER with Fixed Outage Probability

This document is the Accepted Manuscript version of the following article: Dian-Wu Yue, and Yichuang Sun, ‘Transmit Power Minimization for MIMO Systems of Exponential Average BER with Fixed Outage Probability’, Wireless Personal Communications, Vol. 90 (4): 1951-1970, first available online on 20 June 2016. Under embargo. Embargo end date: 20 June 2017. The final publication is available at Springer via https://link.springer.com/article/10.1007%2Fs11277-016-3432-4This paper is concerned with a wireless multiple-antenna system operating in multiple-input multiple-output (MIMO) fading channels with channel state information being known at both transmitter and receiver. By spatiotemporal subchannel selection and power control, it aims to minimize the average transmit power (ATP) of the MIMO system while achieving an exponential type of average bit error rate (BER) for each data stream. Under the constraints on each subchannel that individual outage probability and average BER are given, based on a traditional upper bound and a dynamic upper bound of Q function, two closed-form ATP expressions are derived, respectively, which can result in two different power allocation schemes. Numerical results are provided to validate the theoretical analysis, and show that the power allocation scheme with the dynamic upper bound can achieve more power savings than the one with the traditional upper bound.Peer reviewe

Transport of Explosive Residue Surrogates in Saturated Porous Media

Department of Defense operational ranges may become contaminated by particles of explosives residues (ER) as a result of low-order detonations of munitions. The goal of this study was to determine the extent to which particles of ER could migrate through columns of sandy sediment, representing model aquifer materials. Transport experiments were conducted in saturated columns (2 × 20 cm) packed with different grain sizes of clean sand or glass beads. Fine particles (approximately 2 to 50 μm) of 2,6-dinitrotoluene (DNT) were used as a surrogate for ER. DNT particles were applied to the top 1 cm of sand or beads in the columns, and the columns were subsequently leached with artificial groundwater solutions. DNT migration occurred as both dissolved and particulate phases. Concentration differences between unfiltered and filtered samples indicate that particulate DNT accounted for up to 41% of the mass recovered in effluent samples. Proportionally, more particulate than dissolved DNT was recovered in effluent solutions from columns with larger grain sizes, while total concentrations of DNT in effluent were inversely related to grain size. Of the total DNT mass applied to the uppermost layer of the column, <3% was recovered in the effluent with the bulk remaining in the top 2 cm of the column. Our results suggest there is some potential for subsurface migration of ER particles and that most of the particles will be retained over relatively short transport distances

Water induced sediment levitation enhances downslope transport on Mars

On Mars, locally warm surface temperatures (~293 K) occur, leading to the possibility of (transient) liquid water on the surface. However, water exposed to the martian atmosphere will boil, and the sediment transport capacity of such unstable water is not well understood. Here, we present laboratory studies of a newly recognized transport mechanism: “levitation” of saturated sediment bodies on a cushion of vapor released by boiling. Sediment transport where this mechanism is active is about nine times greater than without this effect, reducing the amount of water required to transport comparable sediment volumes by nearly an order of magnitude. Our calculations show that the effect of levitation could persist up to ~48 times longer under reduced martian gravity. Sediment levitation must therefore be considered when evaluating the formation of recent and present-day martian mass wasting features, as much less water may be required to form such features than previously thought

Socio-economic inequalities in physical activity practice among Italian children and adolescents: a cross-sectional study

Aim: The aim of the study was to evaluate whether socio-economic inequalities in the practice of physical activity existed among children and adolescents, using different indicators of socio-economic status (SES). Subjects and methods: Data were derived from the Italian National Health Interview Survey carried out in 2004–2005, which examined a large random sample of the Italian population using both an interviewer-administered and a self-compiled questionnaire. This study was based on a sample of 15,216 individuals aged 6–17 years. The practice of physical activity was measured on the basis of questions regarding frequency and intensity of activity during leisure time over the past 12 months. Parents’ educational and occupational level, as well as family’s availability of material resource, were used as indicators of SES. Multivariable logistic regression analyses were performed to estimate the contribution of each SES indicator to the practice of physical activity, adjusting for potential confounding factors. The results of the regression models are expressed as odds ratio (OR) with 95% confidence intervals (95% CI). Results: About 64% of children and adolescents in the sample declared that they participated in moderate or vigorous physical activity at least once a week. After adjustment for gender, age, parental attitudes towards physical activity and geographical area, the practice of physical activity increased with higher parental educational and occupational level and greater availability of material resources. Children and adolescents whose parents held a middle or high educational title were 80% more likely to practice moderate or vigorous physical activity than subjects whose parents had a lower level of education (OR = 1.80, 95% CI: 1.40–2.33), while subjects with unemployed parents had an odds of practicing moderate or vigorous physical activity 0.43 times that of those children whose parents belonged to the top job occupation category (administrative/professionals). Socio-economic differences were about the same when the practice of vigorous physical activity only was considered instead of that of moderate or vigorous physical activity. Conclusion: Interventions that promote the practice of physical activity, and especially those aimed at the wider physical and social environment, are strongly needed to contrast socio-economic differences in physical activity among children and adolescents