A theoretical study of the C- 4So_3/2 and 2Do_{3/2,5/2} bound states and C ground configuration: fine and hyperfine structures, isotope shifts and transition probabilities

This work is an ab initio study of the 2p3 4So_3/2, and 2Do_{3/2,5/2} states of C- and 2p2 3P_{0,1,2}, 1D_2, and 1S_0 states of neutral carbon. We use the multi-configuration Hartree-Fock approach, focusing on the accuracy of the wave function itself. We obtain all C- detachment thresholds, including correlation effects to about 0.5%. Isotope shifts and hyperfine structures are calculated. The achieved accuracy of the latter is of the order of 0.1 MHz. Intra-configuration transition probabilities are also estimated.Comment: 15 pages, 2 figures, 12 table

The use of 3D printing in the development of gaseous radiation detectors

Fused Deposition Modelling has been used to produce a small, single wire, Iarocci-style drift tube to demonstrate the feasibility of using the Additive Manufacturing technique to produce cheap detectors, quickly. Recent technological developments have extended the scope of Additive Manufacturing, or 3D printing, to the possibility of fabricating Gaseous Radiation Detectors, such as Single Wire Proportional Counters and Time Projection Chambers. 3D printing could allow for the production of customisable, modular detectors; that can be easily created and replaced and the possibility of printing detectors on-site in remote locations and even for outreach within schools. The 3D printed drift tube was printed using Polylactic acid to produce a gas volume in the shape of an inverted triangular prism; base length of 28 mm, height 24.25 mm and tube length 145 mm. A stainless steel anode wire was placed in the centre of the tube, mid-print. P5 gas (95% Argon, 5% Methane) was used as the drift gas and a circuit was built to capacitively decouple signals from the high voltage. The signal rate and average pulse height of cosmic ray muons were measured over a range of bias voltages to characterise and prove correct operation of the printed detector

Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study

A biform theory is a combination of an axiomatic theory and an algorithmic theory that supports the integration of reasoning and computation. These are ideal for formalizing algorithms that manipulate mathematical expressions. A theory graph is a network of theories connected by meaning-preserving theory morphisms that map the formulas of one theory to the formulas of another theory. Theory graphs are in turn well suited for formalizing mathematical knowledge at the most convenient level of abstraction using the most convenient vocabulary. We are interested in the problem of whether a body of mathematical knowledge can be effectively formalized as a theory graph of biform theories. As a test case, we look at the graph of theories encoding natural number arithmetic. We used two different formalisms to do this, which we describe and compare. The first is realized in ${\rm CTT}_{\rm uqe}$, a version of Church's type theory with quotation and evaluation, and the second is realized in Agda, a dependently typed programming language.Comment: 43 pages; published without appendices in: H. Geuvers et al., eds, Intelligent Computer Mathematics (CICM 2017), Lecture Notes in Computer Science, Vol. 10383, pp. 9-24, Springer, 201

The effects of mindfulness training on weight-loss and health-related behaviours in adults with overweight and obesity: A systematic review and meta-analysis

The aim of this study was to conduct a comprehensive quantitative synthesis of the effects of mindfulness training interventions on weight-loss and health behaviours in adults with overweight and obesity using meta-analytic techniques. Studies included in the analysis (k =12) were randomised controlled trials investigating the effects of any form of mindfulness training on weight loss, impulsive eating, binge eating, or physical activity participation in adults with overweight and obesity. Random effects meta-analysis revealed that mindfulness training had no significant effect on weight loss, but an overall negative effect on impulsive eating (d =-1.13) and binge eating (d =-.90), and a positive effect on physical activity levels (d =.42). Meta-regression analysis showed that methodological features of included studies accounted for 100% of statistical heterogeneity of the effects of mindfulness training on weight loss (R 2 =1,00). Among methodological features, the only significant predictor of weight loss was follow-up distance from post-intervention (ß =1.18; p <.05), suggesting that the longer follow-up distances were associated with greater weight loss. Results suggest that mindfulness training has short-term benefits on health-related behaviours. Future studies should explore the effectiveness of mindfulness training on long-term post-intervention weight loss in adults with overweight and obesity

alpha-Sarcin catalytic activity is not required for cytotoxicity

<p>Abstract</p> <p>Background</p> <p>α-Sarcin is a protein toxin produced by <it>Aspergillus giganteus</it>. It belongs to a family of cytotoxic ribonucleases that inactivate the ribosome and inhibit protein synthesis. α-Sarcin cleaves a single phosphodiester bond within the RNA backbone of the large ribosomal subunit, which makes the ribosome unrecognizable to elongation factors and, in turn, blocks protein synthesis. Although it is widely held that the protein synthesis inhibition caused by the toxin leads to cell death, it has not been directly shown that catalytically inactive mutants of α-sarcin are non-toxic when expressed directly within the cytoplasm of cells. This is important since recent studies have cast doubt on whether protein synthesis inhibition is sufficient to initiate apoptosis.</p> <p>Results</p> <p>In this report, we assay α-sarcin cytotoxicity and ability to inhibit protein synthesis by direct cytoplasmic expression. We show that mutations in α-sarcin, which impair α-sarcin's ability to inhibit protein synthesis, do not affect its cytotoxicity. The mutants are unable to activate JNK, confirming that the sarcin-ricin loop remains intact and that the α-sarcin mutants are catalytically inactive. In addition, both mutant and wildtype variants of α-sarcin localize to the nucleus and cytoplasm, where they co-localize with ribosomal marker RPS6.</p> <p>Conclusion</p> <p>We conclude that although protein synthesis inhibition likely contributes to cell death, it is not required. Thus, our results suggest that α-sarcin can promote cell death through a previously unappreciated mechanism that is independent of rRNA cleavage and JNK activation.</p

Radiation induced currents in mineral-insulated cables and in pick-up coils: model calculations and experimental verification in the BR1 reactor

Mineral-insulated (MI) cables and Low-Temperature Co-fired Ceramic (LTCC) magnetic pick-up coils are intended to be installed in various position in ITER. The severe ITER nuclear radiation field is expected to lead to induced currents that could perturb diagnostic measurements. In order to assess this problem and to find mitigation strategies models were developed for the calculation of neutron-and gamma-induced currents in MI cables and in LTCC coils. The models are based on calculations with the MCNPX code, combined with a dedicated model for the drift of electrons stopped in the insulator. The gamma induced currents can be easily calculated with a single coupled photon-electron MCNPX calculation. The prompt neutron induced currents requires only a single coupled neutron-photon-electron MCNPX run. The various delayed neutron contributions require a careful analysis of all possibly relevant neutron-induced reaction paths and a combination of different types of MCNPX calculations. The models were applied for a specific twin-core copper MI cable, for one quad-core copper cable and for silver conductor LTCC coils (one with silver ground plates in order to reduce the currents and one without such silver ground plates). Calculations were performed for irradiation conditions (neutron and gamma spectra and fluxes) in relevant positions in ITER and in the Y3 irradiation channel of the BR1 reactor at SCK•CEN, in which an irradiation test of these four test devices was carried out afterwards. We will present the basic elements of the models and show the results of all relevant partial currents (gamma and neutron induced, prompt and various delayed currents) in BR1-Y3 conditions. Experimental data will be shown and analysed in terms of the respective contributions. The tests were performed at reactor powers of 350 kW and 1 MW, leading to thermal neutron fluxes of 1E11 n/cm2s and 3E11 n/cm2s, respectively. The corresponding total radiation induced currents are ranging from 1 to 7 nA only, putting a challenge on the acquisition system and on the data analysis. The detailed experimental results will be compared with the corresponding values predicted by the model. The overall agreement between the experimental data and the model predictions is fairly good, with very consistent data for the main delayed current components, while the lower amplitude delayed currents and some of the prompt contributions show some minor discrepancies