2,891 research outputs found
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
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
- …