Related papers: On convolution closure properties of subexponentia…
We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is…
Based on the Tsallis entropy, the nonextensive thermodynamic properties are studied as a q-deformation of classical statistical results using only probabilistic methods and straightforward calculations. It is shown that the constant in the…
We show that local deformations, near closed subsets, of solutions to open partial differential relations can be extended to global deformations, provided all but the highest derivatives stay constant along the subset. The applicability of…
The evolution of a composite closed system using the integral wave equation with the kernel in the form of path integral is considered. It is supposed that a quantum particle is a subsystem of this system. The evolution of the reduced…
We prove that it is decidable if a finitely based permutation class contains infinitely many simple permutations, and establish an unavoidable substructure result for simple permutations: every sufficiently long simple permutation contains…
A non-statistical theory of continuous, but irreversible, evolution can be constructed in terms of the Cartan calculus. The fundamental postulate, for an evolutionary theory which admits irreversible processes, is that the topology of the…
Consider the expansion $T_S$ of a theory $T$ by a predicate for a submodel of a reduct $T_0$ of $T$. We present a setup in which this expansion admits a model companion $TS$. We show that the nice features of the theory $T$ transfer to…
An often-cited fact regarding mixing or mixture distributions is that their density functions are able to approximate the density function of any unknown distribution to arbitrary degrees of accuracy, provided that the mixing or mixture…
In this note we treat the equations of fractional elasticity. After establishing well-posedness, we show a compactness result related to the theory of homogenization. For this, a previous result in (abstract) homogenization theory of…
Models of codon evolution are commonly used to identify positive selection. Positive selection is typically a heterogeneous process, i.e., it acts on some branches of the evolutionary tree and not others. Previous work on DNA models showed…
We show that under certain conditions, well-studied algebraic properties transfer from the class $\mathcal{Q}_{_\text{RFSI}}$ of the relatively finitely subdirectly irreducible members of a quasivariety $\mathcal{Q}$ to the whole…
In this paper, we obtain some stability results of (abstract) dissipative evolution equations with a nonautonomous and nonlinear damping using the exponential stability of the retrograde problem with a linear and autonomous feedback and a…
We obtain new concavity results, up to a suitable transformation, for a class of quasi-linear equations in a convex domain involving the $p$-Laplace operator and a general nonlinearity satisfying concavity type assumptions. This provides an…
We define a notion of substitution on colored binary trees that we call substreetution. We show that a fixed point by a substreetution may be (or not) almost periodic, thus the closure of the orbit under $\mathbb{F}_2^+$-action may (or not)…
We review the theory of electron-conduction opacity, a fundamental ingredient in the computation of low-mass stellar models; shortcomings and limitations of the existing calculations used in stellar evolution are discussed. We then present…
We demonstrate that non-exponential decays of unstable systems can be understood as yet another example of nonextensivity encountered in many physical systems and as such can be characterized by the nonextensivity parameter q.
We use sequences which depend on two parameters to define families of ultradifferentiable functions which contain Gevrey classes. It is shown that such families are closed under superposition, and therefore inverse closed as well.…
In this paper we find necessary and sufficient conditions for the weak convergence of c-free convolution of pairs of measures, where the measures are assumed to be infinitesimal and their support may be unbounded. These results are obtained…
Over any partially ordered abelian group whose positive cone is closed in an appropriate sense and has finitely many faces, modules that satisfy a weak finiteness condition admit finite primary decompositions. This conclusion rests on the…
The form invariance of the statement of the maximum entropy principle and the metric structure in quantum density matrix theory, when generalized to nonextensive situations, is shown here to determine the structure of the nonextensive…