Safety verification of asynchronous pushdown systems with shaped stacks

In this paper, we study the program-point reachability problem of concurrent pushdown systems that communicate via unbounded and unordered message buffers. Our goal is to relax the common restriction that messages can only be retrieved by a pushdown process when its stack is empty. We use the notion of partially commutative context-free grammars to describe a new class of asynchronously communicating pushdown systems with a mild shape constraint on the stacks for which the program-point coverability problem remains decidable. Stacks that fit the shape constraint may reach arbitrary heights; further a process may execute any communication action (be it process creation, message send or retrieval) whether or not its stack is empty. This class extends previous computational models studied in the context of asynchronous programs, and enables the safety verification of a large class of message passing programs

Going higher in the First-order Quantifier Alternation Hierarchy on Words

We investigate the quantifier alternation hierarchy in first-order logic on finite words. Levels in this hierarchy are defined by counting the number of quantifier alternations in formulas. We prove that one can decide membership of a regular language to the levels $\mathcal{B}\Sigma_2$ (boolean combination of formulas having only 1 alternation) and $\Sigma_3$ (formulas having only 2 alternations beginning with an existential block). Our proof works by considering a deeper problem, called separation, which, once solved for lower levels, allows us to solve membership for higher levels

Determination of the total width of the eta' meson

Taking advantage of both the low-emittance proton-beam of the Cooler Synchrotron COSY and the high momentum precision of the COSY-11 detector system, the mass distribution of the eta' meson was measured with a resolution of 0.33 MeV/c^2 (FWHM), improving the experimental mass resolution by almost an order of magnitude with respect to previous results. Based on the sample of more than 2300 reconstructed pp --> pp eta' events the total width of the eta' meson was determined to be 0.226 +- 0.017(stat.) +- 0.014(syst.) MeV/c^2.Comment: 4 pages, 4 figure

Isospin dependence of the eta prime meson production in nucleon-nucleon collisions

A comparison of the close-to-threshold total cross section for the eta prime production in pp --> pp eta prime and pn --> pn eta prime reactions constitutes a tool to investigate the eta prime meson structure and the reaction mechanism in the channels of isospin I=0 and I=1 and may provide insight into the flavour-singlet (perhaps also into gluonium) content of the eta prime meson. In this contribution we present preliminary results of measurement of the quasi-free production of the eta prime meson in the proton-neutron collisions conducted using the COSY-11 facility.Comment: Presented at 10th International Workshop on Meson Production, Properties and Interaction (MESON 2008), Cracow, Poland, 6 - 10 June 200

Near threshold eta meson production in dp collisions

Preliminary results of recent measurements of the near threshold eta meson production in the dp-->dp eta reaction are presented. The experiment was performed at the COSY-Juelich accelerator with the use of the COSY-11 detection system. Data were taken for three values of deuteron beam momenta corresponding to excess energies of 3.2, 6.1 and 9.2 MeV. The energy dependence of the total cross section confirms a strong effect of the final state interaction.Comment: Talk given at 9th International Workshop on Meson Production, Properties and Interaction, Cracow, Poland, 9-13 June 2006. 5 pages, 3 figure

System Response Kernel Calculation for List-mode Reconstruction in Strip PET Detector

Reconstruction of the image in Positron Emission Tomographs (PET) requires the knowledge of the system response kernel which describes the contribution of each pixel (voxel) to each tube of response (TOR). This is especially important in list-mode reconstruction systems, where an efficient analytical approximation of such function is required. In this contribution, we present a derivation of the system response kernel for a novel 2D strip PET.Comment: 10 pages, 2 figures; Presented at Symposium on applied nuclear physics and innovative technologies, Cracow, 03-06 June 201

A novel method for calibration and monitoring of time synchronization of TOF-PET scanners by means of cosmic rays

All of the present methods for calibration and monitoring of TOF-PET scanner detectors utilize radioactive isotopes such as e.g. $^{22}$Na or $^{68}$Ge, which are placed or rotate inside the scanner. In this article we describe a novel method based on the cosmic rays application to the PET calibration and monitoring methods. The concept allows to overcome many of the drawbacks of the present methods and it is well suited for newly developed TOF-PET scanners with a large longitudinal field of view. The method enables also monitoring of the quality of the scintillator materials and in general allows for the continuous quality assurance of the PET detector performance.Comment: 10 pages, 7 figure