Related papers: Circularity and repetitiveness in non-injective DF…
For any dynamical system $T:X\rightarrow X$ of a compact metric space $X$ with $g-$almost product property and uniform separation property, under the assumptions that the periodic points are dense in $X$ and the periodic measures are dense…
We investigate the existence of weak solutions to a certain system of partial differential equations, modelling the behaviour of a compressible non-Newtonian fluid for small Reynolds number. We construct the weak solutions despite the lack…
Differential linear logic (DiLL) provides a fine analysis of resource consumption in cut-elimination. We investigate the subsystem of DiLL without promotion in a deep inference formalism, where cuts are at an atomic level. In our system…
We show that, for every finitely generated group with decidable word problem and undecidable domino problem, there exists a sequence of effective subshifts whose inverse limit is not the topological factor of any effective dynamical system.…
The dynamical systems of the form $\ddot\bold r=\bold F (\bold r,\dot\bold r)$ in $\Bbb R^n$ accepting the normal shift are considered. The concept of weak normality for them is introduced. The partial differential equations for the force…
In this article we give two different ways of representations of circular words. Representations with tuples are intended as a compact notation, while representations with trees give a way to easily process all conjugates of a word. The…
First-order applicative term rewriting systems provide a natural framework for modeling higher-order aspects. In earlier work we introduced an uncurrying transformation which is termination preserving and reflecting. In this paper we…
We introduce layer systems for proving generalizations of the modularity of confluence for first-order rewrite systems. Layer systems specify how terms can be divided into layers. We establish structural conditions on those systems that…
Deadlocks occur in concurrent programs as a consequence of cyclic resource acquisition between threads. In this paper we present a novel type system that guarantees deadlock freedom for a language with references, unstructured locking…
In the framework of density functional theory a new formulation of electronegativity that recovers the Mulliken definition is proposed and its reliability is checked by computing electronegativity values for a large number of elements. It…
We consider a class of cross diffusion systems with degenerate (or porous media type) diffusion which is inspired by models in mathematical biology/ecology with zero self diffusions. Known techniques for scalar equations are no longer…
We consider consistent particle systems, which include independent random walkers, the symmetric exclusion and inclusion processes, as well as the dual of the KMP model. Consistent systems are such that the distribution obtained by first…
Standard approximations for the exchange-correlation functional have been found to give big errors for the linearity condition of fractional charges, leading to delocalization error, and the constancy condition of fractional spins, leading…
We consider quasi-static poroelastic systems with incompressible constituents. The nonlinear permeability is taken to be dependent on solid dilation, and physical types of boundary conditions (Dirichlet, Neumann, and mixed) for the fluid…
A quasi-static filtration system, comprising a poroelastic solid coupled to an incompressible free-flow, is considered in 3D. Across a flat 2D interface, the Beavers-Joseph-Saffman coupling conditions are taken. The system constitutes a…
We define unbounded twisted complexes and bicomplexes generalising the notion of a (bounded) twisted complex over a DG category [BK90]. These need to be considered relative to another DG category $B$ admitting countable direct sums and…
We extend a result proved in \cite{Col} for mirror symmetries of planar systems to measure-preserving non-linear reversibilities of $n$-dimensional systems, dropping the analyticity and nondegeneracy conditions.
Non-determinism and non-reproducibility present significant challenges in deep learning, leading to inconsistent results across runs and platforms. These issues stem from two origins: random number generation and floating-point computation.…
Driven particles in presence of crowded environment, obstacles or kinetic constraints often exhibit negative differential mobility (NDM) due to their decreased dynamical activity. We propose a new mechanism for complex many-particle systems…
We study the class of rings $R$ for which every direct sum of injective $R$-modules is cotorsion. We call them weakly $\Sigma$-cotorsion rings. The defining property might be seen as the dual of Chase's characterization of coherence in…