Simultaneous and interleaved acquisition of NMR signals from different nuclei with a clinical MRI scanner.

Modification of a clinical MRI scanner to enable simultaneous or rapid interleaved acquisition of signals from two different nuclei. A device was developed to modify the local oscillator signal fed to the receive channel(s) of an MRI console. This enables external modification of the frequency at which the receiver is sensitive and rapid switching between different frequencies. Use of the device was demonstrated with interleaved and simultaneous <sup>31</sup> P and <sup>1</sup> H spectroscopic acquisitions, and with interleaved <sup>31</sup> P and <sup>1</sup> H imaging. Signal amplitudes and signal-to-noise ratios were found to be unchanged for the modified system, compared with data acquired with the MRI system in the standard configuration. Interleaved and simultaneous <sup>1</sup> H and <sup>31</sup> P signal acquisition was successfully demonstrated with a clinical MRI scanner, with only minor modification of the RF architecture. While demonstrated with <sup>31</sup> P, the modification is applicable to any detectable nucleus without further modification, enabling a wide range of simultaneous and interleaved experiments to be performed within a clinical setting. Magn Reson Med 76:1636-1641, 2016. © 2015 The Authors. Magnetic Resonance in Medicine published by Wiley Periodicals, Inc. on behalf of International Society for Magnetic Resonance in Medicine. This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited

A Comparison Between the Spectrophotometric and Biological Assay for the Vitamin A Content of Fish-Liver Oils

Author Institution: Department of Chemistry, Ohio State Universit

Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs

This paper shows that it is possible to reason about the safety and termination of programs handling potentially cyclic, singly-linked lists using propositional reasoning even when the safety invariants and termination arguments depend on constraints over the lengths of lists. For this purpose, we propose the theory SLH of singly-linked lists with length, which is able to capture non-trivial interactions between shape and arithmetic. When using the theory of bit-vector arithmetic as a background, SLH is efficiently decidable via a reduction to SAT. We show the utility of SLH for software verification by using it to express safety invariants and termination arguments for programs manipulating potentially cyclic, singly-linked lists with unrestricted, unspecified sharing. We also provide an implementation of the decision procedure and use it to check safety and termination proofs for several heap-manipulating programs

SOME ABSTRACT PROPERTIES OF SEMIGROUPS APPEARING IN SUPERCONFORMAL THEORIES

A new type of semigroups which appears while dealing with $N=1$ superconformal symmetry in superstring theories is considered. The ideal series having unusual abstract properties is constructed. Various idealisers are introduced and studied. The ideal quasicharacter is defined. Green's relations are found and their connection with the ideal quasicharacter is established.Comment: 11 page

Predicate Abstraction for Linked Data Structures

We present Alias Refinement Types (ART), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often require that the programmer annotate the behavior of each procedure, for example, in the form of loop invariants and pre- and post-conditions. Predicate abstraction would be an attractive abstract domain for performing invariant inference, existing techniques are not able to reason about the heap with enough precision to verify functional properties of data structure manipulating programs. In this paper, we propose a technique that lifts predicate abstraction to the heap by factoring the analysis of data structures into two orthogonal components: (1) Alias Types, which reason about the physical shape of heap structures, and (2) Refinement Types, which use simple predicates from an SMT decidable theory to capture the logical or semantic properties of the structures. We prove ART sound by translating types into separation logic assertions, thus translating typing derivations in ART into separation logic proofs. We evaluate ART by implementing a tool that performs type inference for an imperative language, and empirically show, using a suite of data-structure benchmarks, that ART requires only 21% of the annotations needed by other state-of-the-art verification techniques

Optical and near-infrared observations of SN 2011dh - The first 100 days

We present optical and near-infrared (NIR) photometry and spectroscopy of the Type IIb supernova (SN) 2011dh for the first 100 days. We complement our extensive dataset with SWIFT ultra-violet (UV) and Spitzer mid-infrared (MIR) data to build a UV to MIR bolometric lightcurve using both photometric and spectroscopic data. Hydrodynamical modelling of the SN based on this bolometric lightcurve have been presented in Bersten (2012). We find that the absorption minimum for the hydrogen lines is never seen below ~11000 km/s but approaches this value as the lines get weaker. This suggests that the interface between the helium core and hydrogen rich envelope is located near this velocity in agreement with the Bersten et al. (2012) He4R270 ejecta model. Spectral modelling of the hydrogen lines using this ejecta model supports the conclusion and we find a hydrogen mass of 0.01-0.04 solar masses to be consistent with the observed spectral evolution. We estimate that the photosphere reaches the helium core at 5-7 days whereas the helium lines appear between ~10 and ~15 days, close to the photosphere and then move outward in velocity until ~40 days. This suggests that increasing non-thermal excitation due to decreasing optical depth for the gamma-rays is driving the early evolution of these lines. We also provide and discuss pre- and post-explosion observations of the SN site which shows a reduction by 75 percent in flux at the position of the yellow supergiant coincident with SN 2011dh. The B, V and r band decline rates of 0.0073, 0.0090 and 0.0053 mag/day respectively are consistent with the remaining flux being emitted by the SN. Hence we find that the star was indeed the progenitor of SN 2011dh as previously suggested by Maund et al. (2011) and which is also consistent with the results from the hydrodynamical modelling.Comment: 38 pages, 27 figures, 18 tables, accepted for publication by A&

MICROMEGAS chambers for hadronic calorimetry at a future linear collider

Prototypes of MICROMEGAS chambers, using bulk technology and analog readout, with 1x1cm2 readout segmentation have been built and tested. Measurements in Ar/iC4H10 (95/5) and Ar/CO2 (80/20) are reported. The dependency of the prototypes gas gain versus pressure, gas temperature and amplification gap thickness variations has been measured with an 55Fe source and a method for temperature and pressure correction of data is presented. A stack of four chambers has been tested in 200GeV/c and 7GeV/c muon and pion beams respectively. Measurements of response uniformity, detection efficiency and hit multiplicity are reported. A bulk MICROMEGAS prototype with embedded digital readout electronics has been assembled and tested. The chamber layout and first results are presented

Sequence of ITS-2 amplified from pearl millet downy mildew samples

DNA samples were isolated from fungal spores collected from leaves of pearl millet infected with downy mildew in India, Niger, Nigeria, Mali and Burkina Faso. Nested polymerase chain reaction was used to amplify the internal transcribed spacer region 2 (ITS-2) of the ribosomal RNA encoding genes. The first primers (ITS1 and ITS6) were in the conserved regions of the large and small subunit rRNA; the second pair (ITS 3 and ITS 4) flanked just the ITS-2 segment. The amplification of the ITS 2 region from presumed Sclerospora graminicola samples gave products of approximately 400 base pairs. BLAST searches of the GenBank showed that those from India and some from Africa were similar to the ITS 2 regions of other oomycetes, including Peronospora and Phytophthora species. The other African samples were clearly derived from other species. A tree constructed using the ITS 2 region of Cladosporium herbarum as an outgroup revealed the similarity of most isolates to other oomycetes, and that in general, the isolates collected from nearby locations were the most similar and that isolates from India were similar to those from Africa. However, it also showed that none of the ITS 2 sequences amplified from samples collected from Burkina Faso were from S. graminicola