A specialized isotope mass spectrometer for noninvasive diagnostics of Helicobacter pylori infection in human beings

A specialized isotope mass spectrometer for noninvasive diagnostics of Helicobacter pylori infection in human beings based on the carbon-13 isotope breath test has been designed and constructed. Important stages of the work included (i) calculating a low-aberration mass analyzer, (ii) manufacturing and testing special gas inlet system, and (iii) creating a small-size collector of ions. The proposed instrument ensures 13C/12C isotopic ratio measurement to within 1.7‰ (pro mille) accuracy, which corresponds to requirements for a diagnostic tool. Preliminary medical testing showed that the mass spectrometer is applicable to practical diagnostics. The instrument is also capable of measuring isotopic ratios of other light elements, including N, O, B (for BF2+ ions), Ar, Cl, and

A Decidable Confluence Test for Cognitive Models in ACT-R

Computational cognitive modeling investigates human cognition by building detailed computational models for cognitive processes. Adaptive Control of Thought - Rational (ACT-R) is a rule-based cognitive architecture that offers a widely employed framework to build such models. There is a sound and complete embedding of ACT-R in Constraint Handling Rules (CHR). Therefore analysis techniques from CHR can be used to reason about computational properties of ACT-R models. For example, confluence is the property that a program yields the same result for the same input regardless of the rules that are applied. In ACT-R models, there are often cognitive processes that should always yield the same result while others e.g. implement strategies to solve a problem that could yield different results. In this paper, a decidable confluence criterion for ACT-R is presented. It allows to identify ACT-R rules that are not confluent. Thereby, the modeler can check if his model has the desired behavior. The sound and complete translation of ACT-R to CHR from prior work is used to come up with a suitable invariant-based confluence criterion from the CHR literature. Proper invariants for translated ACT-R models are identified and proven to be decidable. The presented method coincides with confluence of the original ACT-R models.Comment: To appear in Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman: "Proceedings of RuleML+RR 2017". Springer LNC

Bessel processes, the Brownian snake and super-Brownian motion

We prove that, both for the Brownian snake and for super-Brownian motion in dimension one, the historical path corresponding to the minimal spatial position is a Bessel process of dimension -5. We also discuss a spine decomposition for the Brownian snake conditioned on the minimizing path.Comment: Submitted to the special volume of S\'eminaire de Probabilit\'es in memory of Marc Yo

Character of jet flows in mass-spectrometric interfaces at various pressures and chamber lengths

Samples-in particular, of bioorganic matter—are usually introduced into a mass spectrometer from atmosphere to high vacuum via a gasdynamic interface that represents a chamber with intermediate pressure or a system of chambers with gradually decreasing pressure. Transformation of the character of an expanding jet flow in a single-chamber interface has been studied as dependent on the chamber length and pressure. Knowledge of this character allows the system parameters to be most effectively used so as to ensure high ion transmission and decrease mass discriminatio

Canonical-basis solution of the Hartree-Fock-Bogoliubov equation on three-dimensional Cartesian mesh

A method is presented to obtain the canonical-form solutions of the HFB equation for atomic nuclei with zero-range interactions like the Skyrme force. It is appropriate to describe pairing correlations in the continuum in coordinate-space representations. An improved gradient method is used for faster convergences under constraint of orthogonality between orbitals. To prevent high-lying orbitals to shrink into a spatial point, a repulsive momentum dependent force is introduced, which turns out to unveil the nature of high-lying canonical-basis orbitals. The asymptotic properties at large radius and the relation with quasiparticle states are discussed for the obtained canonical basis.Comment: 23 pages including 17 figures, REVTeX4, revised version, scheduled to appear in Phys. Rev. C, Vol.69, No.

Coherent Manipulation of Spin Correlations in the Hubbard Model

We coherently manipulate spin correlations in a two-component atomic Fermi gas loaded into an optical lattice using spatially and time-resolved Ramsey spectroscopy combined with high-resolution \textit{in situ} imaging. This novel technique allows us not only to imprint spin patterns but also to probe the static magnetic structure factor at arbitrary wave vector, in particular the staggered structure factor. From a measurement along the diagonal of the $1^\mathrm{st}$ Brillouin zone of the optical lattice, we determine the magnetic correlation length and the individual spatial spin correlators. At half filling, the staggered magnetic structure factor serves as a sensitive thermometer for the spin temperature, which we employ to study the thermalization of spin and density degrees of freedom during a slow quench of the lattice depth

Mechanism of fragmentation and atomization of molecular ions in gasdynamic transport cell

The fragmentation of molecular ions formed upon the electrospraying of a sample and transported through the gasdynamic system of a mass spectrometer equipped with an IESAP (Ion Extraction from Solution at Atmospheric Pressure) source has been experimentally studied. It is established that ion fragmentation in a Kantorowicz-Gray type cell takes place in the immediate vicinity of a skimmer port, apparently, as a result of collisions between ions (accelerated in an electric field) and stagnant gas. Molecular mechanisms of fragmentation are considered and it is concluded that this process can take place in a single ion-molecule collision even

High-spin structures of 88Kr and 89Rb: Evolution from collective to single-particle behaviors

The high-spin states of the two neutron-rich nuclei, 88Kr and 89R have been studied from the 18O + 208Pb fusion-fission reaction. Their level schemes were built from triple gamma-ray coincidence data and gamma-gamma angular correlations were analyzed in order to assign spin and parity values to most of the observed states. The two levels schemes evolve from collective structures to single-particle excitations as a function of the excitation energy. Comparison with results of shell-model calculations gives the specific proton and neutron configurations which are involved to generate the angular momentum along the yrast lines.Comment: 12 pages, 9 figures, Physical Review C (2013) in pres