Related papers: Power structures of directed spaces
We investigate weak and strong structures for generalized topological spaces, among others products, sums, subspaces, quotients, and the complete lattice of generalized topologies on a given set. Also we introduce $T_{3.5}$ generalized…
We introduce a new setting, the category of $\omega$PAP spaces, for reasoning denotationally about expressive differentiable and probabilistic programming languages. Our semantics is general enough to assign meanings to most practical…
Direct search is one of the most popular derivative-free optimization paradigms, that relies on exploring the variable space using polling directions. To analyze and implement direct search, one typically relies on positive spanning sets.…
Convex neural codes are subsets of the Boolean lattice that record the intersection patterns of convex sets in Euclidean space. Much work in recent years has focused on finding combinatorial criteria on codes that can be used to classify…
We present an explicit formula for the discrete power function introduced by Bobenko, which is expressed in terms of the hypergeometric \tau functions for the sixth Painlev\'e equation. The original definition of the discrete power function…
A new directional derivative and a new subdifferential for set-valued convex functions are constructed, and a set-valued version of the so-called 'max-formula' is proven. The new concepts are used to characterize solutions of convex…
What does it mean for a shape to change continuously? Over the space of convex regions, there is only one "reasonable" answer. However, over a broader class of regions, such as the class of star-shaped regions, there can be many different…
A construction of fully abstract typed models for PCF and PCF^+ (i.e., PCF + "parallel conditional function"), respectively, is presented. It is based on general notions of sequential computational strategies and wittingly consistent…
The motivation behind this paper is threefold. Firstly, to study, characterize and realize operator concavity along with its applications to operator monotonicity of free functions on operator domains that are not assumed to be matrix…
We discuss a natural topology on powers of a space that is inspired by the Vietoris topology on compact subsets. We then place this topology in context with other product topologies; specifically, we compare this topology with the Tychonoff…
This paper introduces to the finite-state calculus a family of directed replace operators. In contrast to the simple replace expression, UPPER -> LOWER, defined in Karttunen (ACL-95), the new directed version, UPPER @-> LOWER, yields an…
Conceptual spaces are geometric representations of conceptual knowledge, in which entities correspond to points, natural properties correspond to convex regions, and the dimensions of the space correspond to salient features. While…
Spaces of convex and concave functions appear naturally in theory and applications. For example, convex regression and log-concave density estimation are important topics in nonparametric statistics. In stochastic portfolio theory, concave…
Closure space has proven to be a useful tool to restructure lattices and various order structures.This paper aims to provide a novel approach to characterizing some important kinds of continuous domains by means of closure spaces. By…
Ordered locally convex spaces is an important classes of spaces in the theory of ordered topological vector spaces just as locally convex spaces in the theory of topological vector spaces. Some special classes of ordered locally convex…
Given an Euclidean space, this paper elucidates the topological link between the partial derivatives of the Minkowski functional associated to a set (assumed to be compact, convex, with a differentiable boundary and a non-empty interior)…
We want to investigate 'spaces' where paths have a 'weight', or 'cost', expressing length, duration, price, energy, etc. The weight function is not assumed to be invariant up to path-reversion. Thus, 'weighted algebraic topology' can be…
Dynamical systems are abstract models of interaction between space and time. They are often used in fields such as physics and engineering to understand complex processes, but due to their general nature, they have found applications for…
The lack of studying the complex organization of directed network usually limits to the understanding of underlying relationship between network structures and functions. Structural controllability and structural predictability, two…
We study configuration spaces of linkages whose underlying graph are polygons with diagonal constrains, or more general, partial two-trees. We show that (with an appropriate definition) the oriented area is a Bott-Morse function on the…