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

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

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.

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

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

Corbino magnetoresistance in neutral graphene

We explore the magnetohydrodynamics of Dirac fermions in neutral graphene in the Corbino geometry. Based on the fully consistent hydrodynamic description derived from a microscopic framework and taking into account all peculiarities of graphene-specific hydrodynamics, we report the results of a comprehensive study of the interplay of viscosity, disorder-induced scattering, recombination, energy relaxation, and interface-induced dissipation. In the clean limit, magnetoresistance of a Corbino sample is determined by viscosity. Hence the Corbino geometry could be used to measure the viscosity coefficient in neutral graphene.Comment: 13 pages, 11 figure