English
Related papers

Related papers: Representations of Domains via CF-approximation Sp…

200 papers

For a small quantaloid $\mathcal{Q}$, a $\mathcal{Q}$-closure space is a small category enriched in $\mathcal{Q}$ equipped with a closure operator on its presheaf category. We investigate $\mathcal{Q}$-closure spaces systematically with…

General Topology · Mathematics 2016-09-06 Lili Shen

A quasi-representation of a group is a map from the group into a matrix algebra (or similar object) that approximately satisfies the relations needed to be a representation. Work of many people starting with Kazhdan and Voiculescu, and…

Group Theory · Mathematics 2026-05-25 Rufus Willett

The behavior of a class of mappings of a domain of Euclidean space is studied. It is established that the indicated class is equicontinuous both at the inner and at the boundary points of the domain if the mappings contained in it satisfy…

Metric Geometry · Mathematics 2019-11-05 E. A. Sevost'yanov , S. O. Skvortsov

Frames and Bessel sequences in Fr\'echet spaces and their duals are defined and studied. Their relation with Schauder frames and representing systems is analyzed. The abstract results presented here, when applied to concrete spaces of…

Functional Analysis · Mathematics 2017-02-22 José Bonet , Carmen Fernández , Antonio Galbis , Juan Miguel Ribera

In the representation theory of real reductive Lie groups, many objects have finiteness properties. For example, the lengths of Verma modules and principal series representations are finite, and more precisely, they are bounded. In this…

Representation Theory · Mathematics 2021-09-22 Masatoshi Kitagawa

This paper deals with fractional-order controlled systems and fractional-order controllers in the frequency domain. The mathematical description by fractional transfer functions and properties of these systems are presented. The new ways…

Optimization and Control · Mathematics 2007-05-23 I. Petras , L. Dorcak , P. O'Leary , B. M. Vinagre , I. Podlubny

Neural networks successfully capture the computational power of the human brain for many tasks. Similarly inspired by the brain architecture, Nearest Neighbor (NN) representations is a novel approach of computation. We establish a firmer…

Computational Complexity · Computer Science 2024-05-13 Kordag Mehmet Kilic , Jin Sima , Jehoshua Bruck

We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…

Logic · Mathematics 2012-02-28 Pantelis Eleftheriou , Ya'acov Peterzil

Using ideas from synthetic topology, a new approach to descriptive set theory is suggested. Synthetic descriptive set theory promises elegant explanations for various phenomena in both classic and effective descriptive set theory.…

Logic in Computer Science · Computer Science 2014-06-03 Arno Pauly , Matthew de Brecht

To a function with values in the power set of a pre-ordered, separated locally convex space a family of scalarizations is given which completely characterizes the original function. A concept of a Legendre-Fenchel conjugate for set-valued…

Optimization and Control · Mathematics 2014-05-29 Carola Schrage

Constellations are partial algebras that are one-sided generalisations of categories. It has previously been shown that the category of inductive constellations is isomorphic to the category of left restriction semigroups. Here we consider…

Category Theory · Mathematics 2015-10-21 Victoria Gould , Tim Stokes

Conceptual Scaling is a useful standard tool in Formal Concept Analysis and beyond. Its mathematical theory, as elaborated in the last chapter of the FCA monograph, still has room for improvement. As it stands, even some of the basic…

Machine Learning · Computer Science 2023-07-25 Bernhard Ganter , Tom Hanika , Johannes Hirth

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…

This paper lays a practical foundation for using abstract interpretation with an abstract domain that consists of sets of quantified first-order logic formulas. This abstract domain seems infeasible at first sight due to the complexity of…

Logic in Computer Science · Computer Science 2024-08-20 Eden Frenkel , Tej Chajed , Oded Padon , Sharon Shoham

A new generation of digital repositories could be based on direct representation of the contents with rich semantics and models rather than be collections of documents. The contents of such repositories would be highly structured which…

Digital Libraries · Computer Science 2015-12-31 Robert Burnell Allen

Recent advances have enabled a single neural network to serve as an implicit scene representation, establishing the mapping function between spatial coordinates and scene properties. In this paper, we make a further step towards continual…

Computer Vision and Pattern Recognition · Computer Science 2021-10-05 Zike Yan , Yuxin Tian , Xuesong Shi , Ping Guo , Peng Wang , Hongbin Zha

We show that a functor category whose domain is a colored category is a topos.The topos structure enables us to introduce cohomology of colored categories including quasi-schemoids. If the given colored category arises from an association…

Category Theory · Mathematics 2017-10-30 Katsuhiko Kuribayashi , Yasuhiude Numata

Quantifying degrees of fusion and separability between data groups in representation space is a fundamental problem in representation learning, particularly under domain shift. A meaningful metric should capture fusion-altering factors like…

Machine Learning · Computer Science 2026-01-30 Xiaolong Zhang , Jianwei Zhang , Xubo Song

Recent work on the representation of functions on sets has considered the use of summation in a latent space to enforce permutation invariance. In particular, it has been conjectured that the dimension of this latent space may remain fixed…

Machine Learning · Computer Science 2019-10-08 Edward Wagstaff , Fabian B. Fuchs , Martin Engelcke , Ingmar Posner , Michael Osborne

For certain families of compact subsets of the plane, the isomorphism class of the algebra of absolutely continuous functions on a set is completely determined by the homeomorphism class of the set. This is analogous to the…

Functional Analysis · Mathematics 2021-05-31 Shaymaa Al-shakarchi , Ian Doust
‹ Prev 1 8 9 10 Next ›