Related papers: Algebraic Semantics of Similarity-Based Bitten Rou…
One major deficiency of most semantic representation techniques is that they usually model a word type as a single point in the semantic space, hence conflating all the meanings that the word can have. Addressing this issue by learning…
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized…
In this paper, we propose two-sorted modal logics for the representation and reasoning of concepts arising from rough set theory (RST) and formal concept analysis (FCA). These logics are interpreted in two-sorted bidirectional frames, which…
Motivated by questions arising in the study of the spectral theory of models of aperiodic order, we investigate sums of functions of semibounded closed subsets of the real line. We show that under suitable thickness assumptions on the sets…
We develop deformation theory of algebras over quadratic operads where the parameter space is a commutative local algebra. We also give a construction of a distinguised deformation of an algebra over a quadratic operad with a complete local…
Various generalizations of Cuntz algebras and their relations to symmetry and duality are reviewed. New generalized Cuntz algebras are associated with a subfactor. A characteristic Hilbert space of basic invariants (with respect to the…
In this theoretical note we compare different types of computational models of word similarity and association in their ability to predict a set of about 900 rating data. Using regression and predictive modeling tools (neural net, decision…
We give a purely algebraic treatment of reduction theory for connections over the formal punctured disc. Our proofs apply to arbitrary connected linear algebraic groups over an algebraically closed field of characteristic 0. We also state…
We propose and study a novel supervised approach to learning statistical semantic relatedness models from subjectively annotated training examples. The proposed semantic model consists of parameterized co-occurrence statistics associated…
An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…
Riddles based on simple puns can be classified according to the patterns of word, syllable or phrase similarity they depend upon. We have devised a formal model of the semantic and syntactic regularities underlying some of the simpler types…
Modelling semantic similarity plays a fundamental role in lexical semantic applications. A natural way of calculating semantic similarity is to access handcrafted semantic networks, but similarity prediction can also be anticipated in a…
The SW map problem is formulated and solved in the BRST cohomological approach. The well known ambiguities of the SW map are shown to be associated to distinct cohomological classes. This analysis is applied to the noncommutative…
Linguistic similarity is multi-faceted. For instance, two words may be similar with respect to semantics, syntax, or morphology inter alia. Continuous word-embeddings have been shown to capture most of these shades of similarity to some…
Skew-gentle algebras are skew-group algebras of gentle algebras equipped with a certain $\Z_2$-action. Building on the bijective correspondence between gentle algebras and dissected surfaces, we obtain in this paper a bijection between…
As a generalization of the classical killing-contractible-complexes lemma, we present algebraic Morse theory via homological perturbation lemma, in a form more general than existing presentations in the literature. Two-sided Anick…
Let $X$ be a smooth complex projective algebraic variety. Let $\mathcal{G}$ be a $G$-banded gerbe with $G$ a finite abelian group. We prove an exact formula expressing genus $g$ orbifold Gromov-Witten invariants of $\mathcal{G}$ in terms of…
We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in order to have a Boolean structure on justification terms and equality predicate on terms. In…
We propose a new cubical type theory, termed (self-deprecatingly) the naive cubical type theory, and study its semantics using the universe category framework, which is similar to Uemura's categories with representable morphisms. In…
We review some ideas on the relationship between massless superparticles and the division algebras to provide a new perspective on ambitwsitor string theories. The key concern is the critical theory. We show that this theory has a reducible…