The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for instance, can be used to state invariants and preand post-conditions in class diagrams. We discuss some problems in ensuring non-local, navigating OCL class invariants, as for bidirectional associations, in programming lan...

Network reliability analyses have received much attention in heterogeneous wireless network performance evaluation during the last few years. In this paper, a method for heterogeneous wireless network reliability evaluation to meet the required levels of heterogeneous wireless network differences of various graph-theoretic connectivity measures is proposed. A concept of heterogeneous wireless n...

An important problem in ergodic theory is to find classifications of various types of measure preserving transformations. An example of this is the theorem of Ornstein that two Bernoulli shifts are isomorphic iff they have the same entropy. So a Bernoulli shift can be assigned a real number that completely determines its isomorphism type. Can this be done for other types of transformations? Per...

We report the statistical properties of classical particles in (2+1) gravity as resulting from numerical simulations. Only particle momenta have been taken into account. In the range of total momentum where thermal equilibrium is reached, the distribution function and the corresponding Boltzmann entropy are computed. In the presence of large gravity effects, different extensions of the temperat...

We study the evolution of the Weyl curvature invariant in all spatially homogeneous universe models containing a non-tilted γ-law perfect fluid. We investigate all the Bianchi and Thurston type universe models and calculate the asymptotic evolution of Weyl curvature invariant for generic solutions to the Einstein field equations. The influence of compact topology on Bianchi types with hyperboli...

We present the first result of the baryonic spectral functions at several temperatures above the deconfinement phase transition. The analysis was carried out with the maximum entropy method. We shall discuss the existence of non-trivial structures in the spectral functions and their relation to the diquark and baryonic correlations in the deconfinement phase. 9. Spectrum of closed k-strings in ...

We investigate whether there could exist topological invariants of gapped 2D materials related to dissipationless thermoelectric transport at low temperatures. give both macroscopic and microscopic arguments showing that coefficients vanish in the limit zero temperature thus arise only from electric Hall conductance thermal conductance. Our apply systems with arbitrarily strong interactions. al...

A bstract We study the entanglement entropy for time-like subsystem in two-dimensional boundary conformal field theory (BCFT) both from and holographic point of view. In theory, we compute a pure interval at zero finite temperature using replica technique analytical continuation. find that, similar to ordinary space-like BCFT, also has bulk phase which corresponds respectively dominance identit...