Determination of Gd concentration profile in UO2-Gd2O3 fuel pellets

A transversal mapping of the Gd concentration was measured in UO2-Gd2O3 nuclear fuel pellets by electron paramagnetic resonance spectroscopy (EPR). The quantification was made from the comparison with a Gd2O3 reference sample. The nominal concentration in the pellets is UO2: 7.5 % Gd2O3. A concentration gradient was found, which indicates that the Gd2O3 amount diminishes towards the edges of the pellets. The concentration varies from (9.3 +/- 0.5)% in the center to (5.8 +/- 0.3)% in one of the edges. The method was found to be particularly suitable for the precise mapping of the distribution of Gd3+ ions in the UO2 matrix.Comment: 10 pages, 5 figures, 2 tables. Submitted to Journal of Nuclear Material

Enhanced Anandamide Plasma Levels in Patients with Complex Regional Pain Syndrome following Traumatic Injury: A Preliminary Report

The complex regional pain syndrome (CRPS) is a disabling neuropathic pain condition that may develop following injuries of the extremities. The pathogenesis of this syndrome is not clear; however, it includes complex interactions between the nervous and the immune system resulting in chronic inflammation, pain and trophic changes. This interaction may be mediated by chronic stress which is thought to activate the endogenous cannabinoid (endocannabinoid) system (ECS). We conducted an open, prospective, comparative clinical study to determine plasma level of the endocannabinoid anandamide by high-performance liquid chromatography and a tandem mass spectrometry system in 10 patients with CRPS type I versus 10 age- and sex-matched healthy controls. As compared to healthy controls, CRPS patients showed significantly higher plasma concentrations of anandamide. These results indicate that the peripheral ECS is activated in CRPS. Further studies are warranted to evaluate the role of the ECS in the limitation of inflammation and pain. Copyright (C) 2009 S. Karger AG, Base

Pregnancy has a minimal impact on the acute transcriptional signature to vaccination.

Vaccination in pregnancy is an effective tool to protect both the mother and infant; vaccines against influenza, pertussis and tetanus are currently recommended. A number of vaccines with a specific indication for use in pregnancy are in development, with the specific aim of providing passive humoral immunity to the newborn child against pathogens responsible for morbidity and mortality in young infants. However, the current understanding about the immune response to vaccination in pregnancy is incomplete. We analysed the effect of pregnancy on early transcriptional responses to vaccination. This type of systems vaccinology approach identifies genes and pathways that are altered in response to vaccination and can be used to understand both the acute inflammation in response to the vaccine and to predict immunogenicity. Pregnant women and mice were immunised with Boostrix-IPV, a multivalent vaccine, which contains three pertussis antigens. Blood was collected from women before and after vaccination and RNA extracted for analysis by microarray. While there were baseline differences between pregnant and non-pregnant women, vaccination induced characteristic patterns of gene expression, with upregulation in interferon response and innate immunity gene modules, independent of pregnancy. We saw similar patterns of responses in both women and mice, supporting the use of mice for preclinical screening of novel maternal vaccines. Using a systems vaccinology approach in pregnancy demonstrated that pregnancy does not affect the initial response to vaccination and that studies in non-pregnant women can provide information about vaccine immunogenicity and potentially safety

Conjunction, disjunction and iterated conditioning of conditional events

Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional event; moreover, we give the lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the notions of disjunction and iterated conditioning and we show that the usual probabilistic properties still hold

A Proof Strategy Language and Proof Script Generation for Isabelle/HOL

We introduce a language, PSL, designed to capture high level proof strategies in Isabelle/HOL. Given a strategy and a proof obligation, PSL's runtime system generates and combines various tactics to explore a large search space with low memory usage. Upon success, PSL generates an efficient proof script, which bypasses a large part of the proof search. We also present PSL's monadic interpreter to show that the underlying idea of PSL is transferable to other ITPs.Comment: This paper has been submitted to CADE2

The Drinfel'd Double and Twisting in Stringy Orbifold Theory

This paper exposes the fundamental role that the Drinfel'd double \dkg of the group ring of a finite group $G$ and its twists \dbkg, \beta \in Z^3(G,\uk) as defined by Dijkgraaf--Pasquier--Roche play in stringy orbifold theories and their twistings. The results pertain to three different aspects of the theory. First, we show that $G$--Frobenius algebras arising in global orbifold cohomology or K-theory are most naturally defined as elements in the braided category of \dkg--modules. Secondly, we obtain a geometric realization of the Drinfel'd double as the global orbifold $K$--theory of global quotient given by the inertia variety of a point with a $G$ action on the one hand and more stunningly a geometric realization of its representation ring in the braided category sense as the full $K$--theory of the stack $[pt/G]$. Finally, we show how one can use the co-cycles $\beta$ above to twist a) the global orbifold $K$--theory of the inertia of a global quotient and more importantly b) the stacky $K$--theory of a global quotient $[X/G]$. This corresponds to twistings with a special type of 2--gerbe.Comment: 35 pages, no figure