The studies of multiplicity fluctuations in restricted domains of the phase space reveal the nature of particle correlations and are sensitive to the dynamics of the underlying process. The hadronic final state in DIS is a result of a hard partonic scattering at a large momentum transfersQ ≫ Λ. A subsequent parton cascade development down to some QCD cut-off Q0 and fragmentation occuring at sma...

Relativistic collision of isobaric systems is found to be valuable in differentiating the nucleon distributions for nuclei with same mass number. In recent contrasting experiments $_{44}^{96}\mathrm{Ru}+_{44}^{96}\mathrm{Ru}$ versus $_{40}^{96}\mathrm{Zr}+_{40}^{96}\mathrm{Zr}$ collisions at $\sqrt{{s}_{NN}}=200\phantom{\rule{0.16em}{0ex}}\text{GeV}$, ratios multiplicity distribution, elliptic ...

Discussions about the applicability of civilizational approach in political science correlate with methodological and discursive rethinking linear philosophical interpretive projects. The search for new epistemological ontological optics modern constructions is largely focused on value-symbolic parameters underlying approach. paradigm one conceptual schemes theory, which makes it possible to in...

We study a class of tridiagonal matrix models, the " q-roots of unity " models, which includes the sign (q = 2) and the clock (q = ∞) models by Feinberg and Zee. We find that the eigenvalue densities are bounded by and have the symmetries of the regular polygon with 2q sides, in the complex plane. Furthermore the averaged traces of M k are integers that count closed random walks on the line, su...

In [6] Tsay and Bagrodia present a correct and complete proof rule for proving within UNITY statements of the form “(true 7→ p) ⇒ (true 7→ q). Their result is obtained by specializing a proof rule due to Manna and Pnueli [5] and translating premises and conclusions into the UNITY framework. However, specializing the rule from [5] is not sufficient, details of the proof have to be invoked and mo...

We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Chandy and Sanders [2, 3], based on the so-called existential and universal properties. We show that, while avoiding hand proof mistakes, a such compositional reasoning can be mechanized quite straightforwardly. We also ...