Grad's 13-moment equations describe transport in mildly rarefied gases well, but are not properly embedded into nonequilibrium thermodynamics since they accompanied by a formulation of the second law. In this work, Grad-13 framework GENERIC (general equation for reversible–irreversible coupling), which demands additional contributions to guarantee thermodynamic structure. As building blocks, we...

Most theorems have more than one proof and most theories have more than one axiomatization. Certain proofs or axiomatizations are preferable to others because they are shorter or more transparent or for some other reason. Our aim is to describe or study the possible proofs of a theorem or the possible axiomatizations of a theory. As the former is a special instance of the latter, by considering...

In this paper, we study the notion of admissibility for randomised strategies in concurrent games. Intuitively, an admissible strategy is one where the player plays ‘as well as possible’, because there is no other strategy that dominates it, i.e., that wins (almost surely) against a super set of adversarial strategies. We prove that admissible strategies always exist in concurrent games, and we...

The admissible region is defined as the set of physically acceptable orbits (i.e., orbits with negative energies). Given additional constraints on orbital semi-major axis, eccentricity, etc, the admissible region is further constrained, resulting in the constrained admissible region (CAR). Based on known statistics of the measurement process, in this paper we replace hard constraints with a pro...

In this paper, the impact of core mass on compact/neutron-star mass-radius relation is studied. Besides mass, parameterized by its radius and surface pressure, which supports outside one-component Standard Model (SM) matter. The may accommodate SM matter with unspecified (or poorly known) equation-of-state or several components, e.g., consisting admixtures Dark Matter and/or Mirror World etc. b...