Related papers: Non-Numerical Weakly Relational Domains
Though modern neural networks have achieved impressive performance in both vision and language tasks, we know little about the functions that they implement. One possibility is that neural networks implicitly break down complex tasks into…
In order to introduce the notion of causality in noncommutative geometry it is necessary to extend Gelfand theory to the context of ordered spaces. In a previous work we have already given an algebraic caracterization of the set of…
Linearizing two partial orders to maximize the number of adjacencies and minimize the number of breakpoints is APX-hard. This holds even if one of the two partial orders is already a linear order and the other is an interval order, or if…
Ad-hoc networks are often deployed in regions with complicated boundaries. We show that if the boundary is modeled as a fractal, a network requiring line of sight connections has the counterintuitive property that increasing the number of…
Let $\Omega $ be a bounded ${\mathcal{C}}^{\infty}$-smoothly bounded domain in ${\mathbb{C}}^{n}.$ For such a domain we define a new notion between strict pseudo-convexity and pseudo-convexity: the size of the set $W$ of weakly…
We study how the properties of being reduced, integral domain, and normal, behave under small perturbations of the defining equations of a noetherian local ring. It is not hard to show that the property of being a local integral domain…
This is the first contribution of a sequence of papers introducing the notions of $s$-weak order and $s$-permutahedra, certain discrete objects that are indexed by a sequence of non-negative integers $s$. In this first paper, we concentrate…
We extend known existence and uniqueness results of weak measure solutions for systems of non-local continuity equations beyond the usual Lipschitz regularity. Existence of weak measure solutions holds for uniformly continuous vector fields…
We show that any bounded, simply connected domain with analytic boundary can be realised as a wandering domain of an entire function of any prescribed order in $(0, 1)$. Extending results of Boc Thaler, our construction simultaneously…
Second-order methods are of great importance for composite convex optimization problems due to their local super-linear convergence rates (under appropriate assumptions). However, the presence of even a simple nonsmooth function in the…
We investigate data-enriched models, like Petri nets with data, where executability of a transition is conditioned by a relation between data values involved. Decidability status of various decision problems in such models may depend on the…
We investigate the asymptotic Tower Weak Gravity Conjecture in weak coupling limits of open string theories with minimal supersymmetry in four dimensions, focusing for definiteness on gauge theories realized on 7-branes in F-theory.…
We address the problem of distributed state estimation of a linear dynamical process in an attack-prone environment. Recent attempts to solve this problem impose stringent redundancy requirements on the measurement and communication…
Branching and weak probabilistic bisimilarities are two well-known notions capturing behavioral equivalence between nondeterministic probabilistic systems. For probabilistic systems, divergence is of major concern. Recently several…
This paper addresses problems on the robust structural design of complex networks. More precisely, we address the problem of deploying the minimum number of dedicated sensors, i.e., those measuring a single state variable, that ensure the…
Variational analysis provides the theoretical foundations and practical tools for constructing optimization algorithms without being restricted to smooth or convex problems. We survey the central concepts in the context of a concrete but…
The disjointness of a stabilizer code is a quantity used to constrain the level of the logical Clifford hierarchy attainable by transversal gates and constant-depth quantum circuits. We show that for any positive integer constant $c$, the…
Exceptional domains are domains on which there exists a positive harmonic function, zero on the boundary and such that the normal derivative on the boundary is constant. Recent results classify exceptional domains as belonging to either a…
The conditional distribution of the next outcome given the infinite past of a stationary process can be inferred from finite but growing segments of the past. Several schemes are known for constructing pointwise consistent estimates, but…
Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a powerful tool to formalise modal aspects of ontology-based…