Double and triple calix[4]arenis connected via the oxygen functions

New macrocyclic molecules are described containing two or three p-tert-butylcalix[4]arene subunits connected via their oxygen atoms. These macrocycles are available by two general methods which are capable of producing assemblies with bridges of varying rigidity and length

A New Verified Compiler Backend for CakeML

We have developed and mechanically verified a new compiler backend for CakeML. Our new compiler features a sequence of intermediate languages that allows it to incrementally compile away high-level features and enables verification at the right levels of semantic detail. In this way, it resembles mainstream (unverified) compilers for strict functional languages. The compiler supports efficient curried multi-argument functions, configurable data representations, exceptions that unwind the call stack, register allocation, and more. The compiler targets several architectures: x86-64, ARMv6, ARMv8, MIPS-64, and RISC-V. In this paper, we present the overall structure of the compiler, including its 12 intermediate languages, and explain how everything fits together. We focus particularly on the interaction between the verification of the register allocator and the garbage collector, and memory representations. The entire development has been carried out within the HOL4 theorem prover.Engineering and Physical Sciences Research Counci

Anti-polyQ antibodies recognize a short polyQ stretch in both normal and mutant huntingtin exon 1

Huntington's disease is caused by expansion of a polyglutamine (polyQ) repeat in the huntingtin protein. A structural basis for the apparent transition between normal and disease-causing expanded polyQ repeats of huntingtin is unknown. The “linear lattice” model proposed random-coil structures for both normal and expanded polyQ in the preaggregation state. Consistent with this model, the affinity and stoichiometry of the anti-polyQ antibody MW1 increased with the number of glutamines. An opposing “structural toxic threshold” model proposed a conformational change above the pathogenic polyQ threshold resulting in a specific toxic conformation for expanded polyQ. Support for this model was provided by the anti-polyQ antibody 3B5H10, which was reported to specifically recognize a distinct pathologic conformation of soluble expanded polyQ. To distinguish between these models, we directly compared binding of MW1 and 3B5H10 to normal and expanded polyQ repeats within huntingtin exon 1 fusion proteins. We found similar binding characteristics for both antibodies. First, both antibodies bound to normal, as well as expanded, polyQ in huntingtin exon 1 fusion proteins. Second, an expanded polyQ tract contained multiple epitopes for fragments antigen-binding (Fabs) of both antibodies, demonstrating that 3B5H10 does not recognize a single epitope specific to expanded polyQ. Finally, small-angle X-ray scattering and dynamic light scattering revealed similar binding modes for MW1 and 3B5H10 Fab–huntingtin exon 1 complexes. Together, these results support the linear lattice model for polyQ binding proteins, suggesting that the hypothesized pathologic conformation of soluble expanded polyQ is not a valid target for drug design

Production of J/ψJ/\psi-pairs at HERA-N⃗\vec{{\rm N}}

The production of $J/\psi$-pairs as a possible measure of the polarized gluon distribution $\Delta G(x)$ is studied for proton--nucleon collisions at \sqrt{s} =40\;\mbox{GeV}^2 (HERA-$\vec{{\rm N}}$). Possibilities of reconstructing the helicity state of at least one of the $J/\psi$'s are critically reviewed. The observation of production asymmetries in the single polarized mode of HERA-$\vec{{\rm N}}$ is found to be not feasible.Comment: 8 pages, LATeX, 3 figures availabe as .uu-fil

Prevalence of rickets-like bone deformities in rural Gambian children.

The aim of this study was to estimate the burden of childhood rickets-like bone deformity in a rural region of West Africa where rickets has been reported in association with a low calcium intake. A population-based survey of children aged 0.5-17.9 years living in the province of West Kiang, The Gambia was conducted in 2007. 6221 children, 92% of those recorded in a recent census, were screened for physical signs of rickets by a trained survey team with clinical referral of suspected cases. Several objective measures were tested as potential screening tools. The prevalence of bone deformity in children <18.0 years was 3.3%. The prevalence was greater in males (M = 4.3%, F = 2.3%, p < 0.001) and in children <5.0 years (5.7%, M = 8.3%, F = 2.9%). Knock-knee was more common (58%) than bow-leg (31%) or windswept deformity (9%). Of the 196 examined clinically, 36 were confirmed to have a deformity outside normal variation (47% knock-knee, 53% bow-leg), resulting in more conservative prevalence estimates of bone deformity: 0.6% for children <18.0 years (M = 0.9%, F = 0.2%), 1.5% for children < 5.0 years (M = 2.3%, F = 0.6%). Three of these children (9% of those with clinically-confirmed deformity, 0.05% of those screened) had active rickets on X-ray at the time of medical examination. This emphasises the difficulties in comparing prevalence estimates of rickets-like bone deformities from population surveys and clinic-based studies. Interpopliteal distance showed promise as an objective screening measure for bow-leg deformity. In conclusion, this population survey in a rural region of West Africa with a low calcium diet has demonstrated a significant burden of rickets-like bone deformity, whether based on physical signs under survey conditions or after clinical examination, especially in boys < 5.0 years

Double π0\pi^0 Photoproduction off the Proton at Threshold

The reaction $\gamma p \to \pi^0 \pi^0 p$ has been measured using the TAPS BaF$_2$ calorimeter at the tagged photon facility of the Mainz Microtron accelerator. Chiral perturbation theory (ChPT) predicts that close to threshold this channel is significantly enhanced compared to double pion final states with charged pions. In contrast to other reaction channels, the lower order tree terms are strongly suppressed in 2$\pi^0$ photoproduction. The consequence is the dominance of pion loops in the 2$\pi^0$ channel close to threshold - a result that opens new prospects for the test of ChPT and in particular its inherent loop terms. The present measurement is the first which is sensitive enough for a conclusive comparison with the ChPT calculation and is in agreement with its prediction. The data also show good agreement with a calculation in the unitary chiral approach.Comment: Submitted to PL

Initiation codon mutation in βB1-crystallin (CRYBB1) associated with autosomal recessive nuclear pulverulent cataract

PurposeTo identify the molecular basis for autosomal recessively inherited congenital non-syndromic pulverulent cataracts in a consanguineous family with four affected children.MethodsAn autozygosity mapping strategy using high density SNP microarrays and microsatellite markers was employed to detect regions of homozygosity. Subsequently good candidate genes were screened for mutations by direct sequencing.ResultsThe SNP microarray data demonstrated a 24.96 Mb region of homozygosity at 22q11.21-22q13.2 which was confirmed by microsatellite marker analysis. The candidate target region contained the beta-crystallin gene cluster and direct sequencing in affected family members revealed a novel mutation in CRYBB1 (c.2T&gt;A; p.Met1Lys).ConclusionsTo our knowledge this is the first case of an initiation codon mutation in a human crystallin gene, and only the second report of a CRYBB1 mutation associated with autosomal recessive congenital cataracts. In addition, although a number of genetic causes of autosomal dominant pulverulent cataracts have been identified (including CRYBB1) this is the first gene to have been implicated in autosomal recessive nuclear pulverulent cataract

Aspects of Heavy Quark Production in Polarized Proton-Proton Collisions

We examine the spin-dependence of b-quark production at large transverse momentum in polarized proton-proton collisions. The leading-order (LO) 2 -> 2 subprocesses, g + g -> Q + Q-bar and q+ q-bar -> Q + Q-bar have a large `analyzing power', as measured by the average spin-spin asymmetry , at large p_T, approaching -100%. The contributions from next-to-leading order (NLO) 2 -> 3 processes are also discussed and found to be dominated at large transverse momentum by subprocesses with a large and positive partonic level spin asymmetry leading to strong cancellations with the LO predictions. The results suggest that b-quark production might constitute an interesting test of the spin-dependence of NLO QCD but they also point up the importance of a full calculation of the complete O(\alpha_S^3) spin-dependent corrections for a successful extraction of the polarized gluon distribution. Similarities to gluino pair production are also briefly discussed.Comment: 23 pages (LaTeX) + 8 postscript figures encoded through uufiles; PSU/TH/135, TAUP 2099-9

Interventional studies for preventing surgical site infections in sub-Saharan Africa - A systematic review.

BACKGROUND: There is a great need for safe surgical services in sub-Saharan Africa, but a major difficulty of performing surgery in this region is the high risk of post-operative surgical site infection (SSI). METHODS: We aimed to systematically review which interventions had been tested in sub-Saharan Africa to reduce the risk of SSI and to synthesize their findings. We searched Medline, Embase and Global Health databases for studies published between 1995 and 2010 without language restrictions and extracted data from full-text articles. FINDINGS: We identified 24 relevant articles originating from nine countries in sub-Saharan Africa. The methodological quality of these publications was diverse, with inconsistency in definitions used for SSI, period and method of post-operative follow-up and classification of wound contamination. Although it was difficult to synthesise information between studies, there was consistent evidence that use of single-dose pre-operative antibiotic prophylaxis could reduce, sometimes dramatically, the risk of SSI. Several studies indicated that alcohol-based handrubs could provide a low-cost alternative to traditional surgical hand-washing methods. Other studies investigated the use of drains and variants of surgical technique. There were no African studies found relating to several other promising SSI prevention strategies, including use of checklists and SSI surveillance. CONCLUSIONS: There is extremely limited research from sub-Saharan Africa on interventions to curb the occurrence of SSI. Although some of the existing studies are weak, several high-quality studies have been published in recent years. Standard methodological approaches to this subject are needed

Upgrade of the Glasgow photon tagging spectrometer for Mainz MAMI-C

The Glasgow photon tagging spectrometer at Mainz has been upgraded so that it can be used with the 1500 MeV electron beam now available from the Mainz microtron MAMI-C. The changes made and the resulting properties of the spectrometer are discussed.Comment: 20 pages, 12 figure