On the domain of two-sided assignment markets with agents’ reservation values, the nucleolus is axiomatized as the unique solution that satisfies consistency with respect to Owen’s reduced game and symmetry of maximum complaints of the two sides. As an adjunt, we obtain a geometric characterization of the nucleolus by means of a strong form of the bisection property that characterizes the inter...

We introduce a novel kernel that upgrades the Weisfeiler-Lehman and other graph kernels to effectively exploit highdimensional and continuous vertex attributes. Graphs are first decomposed into subgraphs. Vertices of the subgraphs are then compared by a kernel that combines the similarity of their labels and the similarity of their structural role, using a suitable vertex invariant. By changing...

Let u = {u(t, x); t ∈ [0, T ], x ∈ R} be the process solution of the stochastic heat equation ut = ∆u+ Ḟ , u(0, ·) = 0 driven by a Gaussian noise Ḟ , which is white in time and has spatial covariance induced by the kernel f . In this paper we prove that the process u is locally germ Markov, if f is the Bessel kernel of order α = 2k, k ∈ N+, or f is the Riesz kernel of order α = 4k, k ∈ N+.

Complete formal verification of a non-trivial concurrent OS kernel is widely considered a grand challenge. We present a novel compositional approach for building certified concurrent OS kernels. Concurrency allows interleaved execution of kernel/user modules across different layers of abstraction. Each such layer can have a different set of observable events. We insist on formally specifying th...

In this paper we initiate an investigation into the class of meet semilattices endowed with endomorphism. A consideration subdirectly irreducible algebras leads to a description subclass those (S;∧,k)(S;∧,k) in which (S;∧)(S;∧) is semilattice and kk endomorphism on SS characterised by property k⩾idSk⩾idS. We particularly show that such algebra if only it chain one following forms ⋯<aj&am...

By Drozd's Tame and Wild Theorem, ®nite-dimensional algebras over an algebraically closed ®eld k may be divided into two disjoint classes: one class consists of tame algebras whose indecomposable modules can be parametrized using only one continuous parameter, the other class consists of wild algebras which have families of indecomposable modules depending on arbitrarily many continuous paramet...

We show that the strong approximation property (strong AP) (respectively, strong CAP) and the weak bounded approximation property (respectively, weak BCAP) are equivalent for every Banach space. This gives a negative answer to Oja’s conjecture. As a consequence, we show that each of the spaces c0 and `1 has a subspace which has the AP but fails to have the strong AP.