Related papers: One-step closure, weak one-step closure and meet c…
We consider the dynamics of semiflows of patterns on unbounded domains that are equivariant under a noncompact group action. We exploit the unbounded nature of the domain in a setting where there is a strong `global' norm and a weak `local'…
A weak-strong uniqueness result is proved for measure-valued solutions to the system of conservation laws arising in elastodynamics. The main novelty brought forward by the present work is that the underlying stored-energy function of the…
We prove that for compact, non-contractible, one dimensional geodesic spaces, a version of the marked length spectrum conjecture holds. For a compact one dimensional geodesic space X, we define a subspace Conv(X). When X is…
Let $Y$ and $Z$ be two given topological spaces, ${\cal O}(Y)$ (respectively, ${\cal O}(Z)$) the set of all open subsets of $Y$ (respectively, $Z$), and $C(Y,Z)$ the set of all continuous maps from $Y$ to $Z$. We study Scott type topologies…
We consider the flow of two viscous and incompressible fluids within a bounded domain modeled by means of a two-phase Navier-Stokes system. The two fluids are assumed to be immiscible, meaning that they are separated by an interface. With…
This article deals with the lower compactness property of a sequence of integrands and the use of this key notion in various domains: convergence theory, optimal control, non-smooth analysis. First about the interchange of the weak…
By utilizing domain theory, we generalize the notion of an ephemeral module to the so-called continuous posets. We investigate the quotient category of persistence modules by the Serre subcategory of ephemeral modules and show that it is…
We consider the property of unique parallel decomposition modulo branching and weak bisimilarity. First, we show that infinite behaviours may fail to have parallel decompositions at all. Then, we prove that totally normed behaviours always…
We consider the compressible Navier-Stokes system on time-dependent domains with prescribed motion of the boundary, supplemented with slip boundary conditions for the velocity. We derive the relative entropy inequality in the spirit of…
We study a broad class of local homeomorphisms and continuous potentials, proving the existence and uniqueness of weak Gibbs measures. From the Gibbs property, we show the uniqueness of equilibrium states and derive a large deviations…
We consider several quantities related to weak sequential completeness of a Banach space and prove some of their properties in general and in $L$-embedded Banach spaces, improving in particular an inequality of G. Godefroy, N. Kalton and D.…
Multistable coupled map lattices typically support travelling fronts, separating two adjacent stable phases. We show how the existence of an invariant function describing the front profile, allows a reduction of the infinitely-dimensional…
This paper presents a necessary and sufficient condition on a category with weak finite limits for its exact completion to be (locally) cartesian closed. A paper by Carboni and Rosolini already claimed such a characterisation using a…
A closed curve in the plane is weakly simple if it is the limit (in the Fr\'echet metric) of a sequence of simple closed curves. We describe an algorithm to determine whether a closed walk of length n in a simple plane graph is weakly…
We present the exact solution of a two-dimensional directed walk model of a drop, or half vesicle, confined between two walls, and attached to one wall. This model is also a generalisation of a polymer model of steric stabilisation recently…
We consider dimensional properties of limit sets of Moran constructions satisfying the finite clustering property. Just to name a few, such limit sets include self-conformal sets satisfying the weak separation condition and certain…
In this paper, we investigate the topological structure of solution sets of monotone vector variational inequalities. We show that if the weak Pareto solution set of a monotone vector variational inequality is disconnected, then each…
We show the existence of weak solutions to the fluid-structure interaction problem of a largely deforming viscoelastic bulk solid with a viscous fluid governed by the incompressible Navier-Stokes equations. In contrast to previous works,…
Correctness of concurrent objects is defined in terms of safety properties such as linearizability, sequential consistency, and quiescent consistency, and progress properties such as wait-, lock-, and obstruction-freedom. These properties,…
We present a completeness result for the implicit fragment of justification stit logic. Although this fragment allows for no strongly complete axiomatization, we show that a restricted form of strong completeness (subsuming weak…