English
Related papers

Related papers: Partial representations of orderings

200 papers

This paper is devoted to the general theory of systems of time-fractional differential-operator equations. The representation formulas for solutions of systems of ordinary differential equations with single (commensurate) fractional order…

Classical Analysis and ODEs · Mathematics 2024-02-06 Sabir Umarov

Fonts are ubiquitous across documents and come in a variety of styles. They are either represented in a native vector format or rasterized to produce fixed resolution images. In the first case, the non-standard representation prevents…

Computer Vision and Pattern Recognition · Computer Science 2022-01-11 Pradyumna Reddy , Zhifei Zhang , Matthew Fisher , Hailin Jin , Zhaowen Wang , Niloy J. Mitra

Various kinds of infinitary operations satisfying forms of associativity have been considered in the literature by various authors, including A. Tarski, C. Karp, J. H. Conway, D. Krob, N. Bedon, and C. Rispal. Applications include the…

Group Theory · Mathematics 2026-05-28 Paolo Lipparini

This article is a continuation of my former article "On Connectivity Spaces". After some brief historical references relating to the subject, separation spaces and then adjoint notions of connective representation and connective foliation…

General Topology · Mathematics 2016-10-25 Stéphane Dugowson

This note introduces the concept of a partially specified prior distribution for certain post hoc inference problems, where a finite population is sampled once in order to make a decision on the presence or complete absence of some…

Statistics Theory · Mathematics 2008-07-17 K. Govindaraju , G. Jones

This note states and proves a representation theorem for regular quantity functions, based on the theory of quantity spaces, thereby giving a new perspective on dimensional analysis and the classical $\pi$ theorem.

Rings and Algebras · Mathematics 2020-05-22 Dan Jonsson

Distributed representations (such as those based on embeddings) and discrete representations (such as those based on logic) have complementary strengths. We explore one possible approach to combining these two kinds of representations. We…

Artificial Intelligence · Computer Science 2015-02-06 Ramanathan Guha

We introduce A-ranked preferential structures and combine them with an accessibility relation. This framework allows us to formalize contrary to duty obligations. Representation results are proved.

Logic · Mathematics 2008-08-25 Dov Gabbay , Karl Schlechta

The concept of permutograph is introduced and properties of integral functions on permutographs are established. The central result characterizes the class of integral functions that are representable as lattice polynomials. This result is…

Combinatorics · Mathematics 2009-04-12 Sergei Ovchinnikov

We present a higher well-ordering principle which is equivalent (over Simpson's set theoretic version of $\text{ATR}_0$) to the existence of transitive models of Kripke-Platek set theory, and thus to $\Pi^1_1$-comprehension. This is a…

Logic · Mathematics 2018-09-20 Anton Freund

Distributed representations of meaning are a natural way to encode covariance relationships between words and phrases in NLP. By overcoming data sparsity problems, as well as providing information about semantic relatedness which is not…

Computation and Language · Computer Science 2014-03-21 Karl Moritz Hermann , Phil Blunsom

Combinatorial interpretation of the fibonomial coefficients as a number of choices of specific finite subsets of an infinite partially ordered set of not binomial type is proposed. This partially ordered set is here defined via…

Combinatorics · Mathematics 2008-02-11 A. K. Kwasniewski

We establish a general result on the existence of partially defined semiconjugacies between rational functions acting on the Riemann sphere. The semiconjugacies are defined on the complements to at most one-dimensional sets. They are…

Dynamical Systems · Mathematics 2010-08-30 Vladlen Timorin

The problem of finding a (continuous) utility function for a semiorder has been studied since in 1956 R.D. Luce introduced in \emph{Econometrica} the notion. There was almost no results on the continuity of the representation. A similar…

Theoretical Economics · Economics 2023-06-30 A. Estevan

We present a complete logic for reasoning with functional dependencies (FDs) with semantics defined over classes of commutative integral partially ordered monoids and complete residuated lattices. The dependencies allow us to express…

Databases · Computer Science 2015-07-07 Vilem Vychodil

This paper introduces a new approach to represent logic functions in the form of Sierpinski Gaskets. The structure of the gasket allows to manipulate with the corresponding logic expression using recursive essence of fractals. Thus, the…

Logic in Computer Science · Computer Science 2007-05-23 Denis V. Popel , Anita Dani

Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…

Category Theory · Mathematics 2015-07-22 Martin Hyland

The presented work proposes a novel approach to model the citation rate. The paper begins with a brief introduction into informetrics studies and highlights drawbacks of the contemporary approaches to modeling the citation process as a…

Digital Libraries · Computer Science 2007-05-23 V. V. Kryssanov , F. J. Rinaldo , H. Ogawa , E. Kuleshov

A powerful way to understand a complex query is by observing how it operates on data instances. However, specific database instances are not ideal for such observations: they often include large amounts of superfluous details that are not…

Databases · Computer Science 2022-02-24 Amir Gilad , Zhengjie Miao , Sudeepa Roy , Jun Yang

In this paper, we extend the notion of orthogonality to the general elements of an absolute matrix order unit space and relate it to the orthogonality among positive elements. We introduce the notion of a partial isometry in an absolute…

Functional Analysis · Mathematics 2019-12-13 Anil Kumar Karn , Amit kumar