We consider the problem of converting C pointers to the less flexible concept of references. Our main application is converting scientific applications from C to Java. We provide a general method to model essentially all features of pointers using references. The model is easily implemented in Java. We give optimizations that map key facilities like arrays and structures onto the obvious Java e...

We have extended the formalism for the two-neutrino double beta decay by including the weak-magnetism term, as well as other second-forbidden corrections. The weak magnetism diminishes the calculated half-lives in ∼ 10%, independently of the nuclear structure. Numerical computations were performed within the pn-QRPA, for 76 Ge, 128 T e and 130 T e nuclei. No one of the second-forbidden correcti...

In [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgebras of the functor F (X) = X +O. In the present paper I will introduce a notion of weak bisimulation for coalgebras based on the syntax of their functors for a large class of functors. I will show that my definition does not only coincide with the definition from [19], but with the definition for labelle...

In this review we discuss the present status of strange nuclear physics, with special attention to the weak decay of Λ–hypernuclei. The models proposed for the evaluation of the Λ decay widths are summarized and their results are compared with the data. The rates ΓNM = Γn+Γp (+Γ2), Γπ0 and Γπ− are well explained by several calculations. Despite the intensive investigations of the last years, th...