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

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

Automatically proving equivalence by type-safe reflection

We are also grateful for the support of the Scottish Informatics and Computer Science Alliance (SICSA) and EPSRC grant EP/N024222/1.One difficulty with reasoning and programming with dependent types is that proof obligations arise naturally once programs become even moderately sized. For example, implementing an adder for binary numbers indexed over their natural number equivalents naturally leads to proof obligations for equalities of expressions over natural numbers. The need for these equality proofs comes, in intensional type theories, from the fact that the propositional equality enables us to prove as equal terms that are not judgementally equal, which means that the typechecker can’t always obtain equalities by reduction. As far as possible, we would like to solve such proof obligations automatically. In this paper, we show one way to automate these proofs by reflection in the dependently typed programming language Idris. We show how defining reflected terms indexed by the original Idris expression allows us to construct and manipulate proofs. We build a hierarchy of tactics for proving equivalences in semi-groups, monoids, commutative monoids, groups, commutative groups, semi-rings and rings. We also show how each tactic reuses those from simpler structures, thus avoiding duplication of code and proofs.Postprin

GluA4-Targeted AAV Vectors Deliver Genes Selectively to Interneurons while Relying on the AAV Receptor for Entry

Selective gene delivery into subtypes of interneurons remains an important challenge in vector development. Adeno-associated virus (AAV) vector particles are especially promising for intracerebral injections. For cell entry, AAV2 particles are supposed to attach to heparan-sulfate proteoglycans (HSPGs) followed by endocytosis via the AAV receptor (AAVR). Here, we assessed engineered AAV particles deficient in HSPG attachment but competent in recognizing the glutamate receptor 4 (GluA4, also known as GluRD or GRIA4) through a displayed GluA4-specific DARPin (designed ankyrin repeat protein). When injected into the mouse brain, histological evaluation revealed that in various regions, more than 90% of the transduced cells were interneurons, mainly of the parvalbumin-positive subtype. Although part of the selectivity was mediated by the DARPin, the chosen spleen focus-forming virus (SFFV) promoter had contributed as well. Further analysis revealed that the DARPin mediated selective attachment to GluA4-positive cells, whereas gene delivery required expression of AAVR. Our data suggest that cell selectivity of AAV particles can be modified rationally and efficiently through DARPins, but expression of the AAV entry receptor remains essential

Machine Learning for Mathematical Software

While there has been some discussion on how Symbolic Computation could be used for AI there is little literature on applications in the other direction. However, recent results for quantifier elimination suggest that, given enough example problems, there is scope for machine learning tools like Support Vector Machines to improve the performance of Computer Algebra Systems. We survey the authors own work and similar applications for other mathematical software. It may seem that the inherently probabilistic nature of machine learning tools would invalidate the exact results prized by mathematical software. However, algorithms and implementations often come with a range of choices which have no effect on the mathematical correctness of the end result but a great effect on the resources required to find it, and thus here, machine learning can have a significant impact.Comment: To appear in Proc. ICMS 201

Pretreatment minimal staging for non-small cell lung cancer: an updated consensus report

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/31247/1/0000153.pd

Interpreting Attoclock Measurements of Tunnelling Times

Resolving in time the dynamics of light absorption by atoms and molecules, and the electronic rearrangement this induces, is among the most challenging goals of attosecond spectroscopy. The attoclock is an elegant approach to this problem, which encodes ionization times in the strong-field regime. However, the accurate reconstruction of these times from experimental data presents a formidable theoretical challenge. Here, we solve this problem by combining analytical theory with ab-initio numerical simulations. We apply our theory to numerical attoclock experiments on the hydrogen atom to extract ionization time delays and analyse their nature. Strong field ionization is often viewed as optical tunnelling through the barrier created by the field and the core potential. We show that, in the hydrogen atom, optical tunnelling is instantaneous. By calibrating the attoclock using the hydrogen atom, our method opens the way to identify possible delays associated with multielectron dynamics during strong-field ionization.Comment: 33 pages, 10 figures, 3 appendixe