English
Related papers

Related papers: Analytic clones

200 papers

Let c be the cardinality of the continuum. We give a family of pairwise incomparable clones (on a countable base set) 2^c members, all with the same unary fragment, namely the set of all unary operations. We also give, for each n, a family…

Rings and Algebras · Mathematics 2011-08-16 Martin Goldstern , Gábor Sági , Saharon Shelah

Current research in clone detection suffers from poor ecosystems for evaluating precision of clone detection tools. Corpora of labeled clones are scarce and incomplete, making evaluation labor intensive and idiosyncratic, and limiting inter…

Software Engineering · Computer Science 2019-05-30 Vaibhav Saini , Farima Farmahinifarahani , Yadong Lu , Di Yang , Pedro Martins , Hitesh Sajnani , Pierre Baldi , Cristina Lopes

There are a great many clone detection tools proposed in the literature. In this paper, we investigate the state of clone detection tool evaluation. We begin by surveying the clone detection benchmarks, and performing a multi-faceted…

Software Engineering · Computer Science 2020-06-30 Jeffrey Svajlenko , Chanchal K. Roy

Let X be an infinite set of regular cardinality. We determine all clones on X which contain all almost unary functions. It turns out that independently of the size of X, these clones form a countably infinite descending chain. Moreover, all…

Rings and Algebras · Mathematics 2007-05-23 Michael Pinsker

This paper revisits the universal asymmetric $1 \to 2$ quantum cloning problem. We identify the symmetry properties of this optimisation problem, giving us access to the optimal quantum cloning map. Furthermore, we use the bipolar theorem,…

Quantum Physics · Physics 2017-06-28 A. K. Hashagen

A clone on a set X is a set of finitary operations on X which contains all the projections and is closed under composition. The set of all clones forms a complete lattice Cl(X) with greatest element O, the set of all finitary operations.…

Rings and Algebras · Mathematics 2007-05-23 Martin Goldstern , Saharon Shelah

We study monitorable sets from a topological standpoint. In particular, we use descriptive set theory to describe the complexity of the family of monitorable sets in a countable space $X$. When $X$ is second countable, we observe that the…

Logic · Mathematics 2026-01-09 Riccardo Camerlo , Francesco Dagnino

A clone on a set X is a set of finitary operations on X which contains all projections and which is moreover closed under functional composition. Ordering all clones on X by inclusion, one obtains a complete algebraic lattice, called the…

Rings and Algebras · Mathematics 2008-01-15 Martin Goldstern , Michael Pinsker

The concept of a clone is central to many branches of mathematics, such as universal algebra, algebraic logic, and lambda calculus. Abstractly a clone is a category with two objects such that one is a countably infinite power of the other.…

Logic in Computer Science · Computer Science 2009-07-28 Zhaohua Luo

We investigate the structure of the lattice of clones on an infinite set X. We first observe that ultrafilters naturally induce clones; this yields a simple proof of Rosenberg's theorem: "there are 2^2^kappa many maximal (=precomplete)…

Rings and Algebras · Mathematics 2016-09-07 Martin Goldstern , Saharon Shelah

Cluster analysis aims at partitioning data into groups or clusters. In applications, it is common to deal with problems where the number of clusters is unknown. Bayesian mixture models employed in such applications usually specify a…

Methodology · Statistics 2022-01-27 Jan Greve , Bettina Grün , Gertraud Malsiner-Walli , Sylvia Frühwirth-Schnatter

Recent work on explainable clustering allows describing clusters when the features are interpretable. However, much modern machine learning focuses on complex data such as images, text, and graphs where deep learning is used but the raw…

Machine Learning · Computer Science 2021-05-26 Hongjing Zhang , Ian Davidson

We consider finitary relations (also known as crosses) that are definable via finite disjunctions of unary relations, i.e. subsets, taken from a fixed finite parameter set $\Gamma$. We prove that whenever $\Gamma$ contains at least one…

Logic · Mathematics 2022-10-13 Mike Behrisch , Edith Vargas-García , Dmitriy Zhuk

We consider the problem of learning overcomplete dictionaries in the context of sparse coding, where each sample selects a sparse subset of dictionary elements. Our main result is a strategy to approximately recover the unknown dictionary…

Machine Learning · Statistics 2014-07-08 Alekh Agarwal , Animashree Anandkumar , Praneeth Netrapalli

Our constructions provide a systematic way to study cohomology pre-algebraic structures via classical cohomology, simplifying computations and enabling the use of established techniques.

Rings and Algebras · Mathematics 2026-04-01 H. Alhussein

In an attempt to create an algebraic framework for dual canonical bases and total positivity in semisimple groups, we initiate the study of a new class of commutative algebras.

Representation Theory · Mathematics 2007-05-23 Sergey Fomin , Andrei Zelevinsky

We study the sets of the infinite sentences constructible with a dictionary over a finite alphabet, from the viewpoint of descriptive set theory. Among other things, this gives some true co-analytic sets. The case where the dictionary is…

Logic · Mathematics 2007-10-02 Dominique Lecomte

Computable analysis and effective descriptive set theory are both concerned with complete metric spaces, functions between them and subsets thereof in an effective setting. The precise relationship of the various definitions used in the two…

Logic in Computer Science · Computer Science 2016-06-29 Vassilios Gregoriades , Tamás Kispéter , Arno Pauly

It is known that a countable $\omega$-categorical structure interprets all finite structures primitively positively if and only if its polymorphism clone maps to the clone of projections on a two-element set via a continuous clone…

Logic · Mathematics 2023-06-22 Manuel Bodirsky , Michael Pinsker , András Pongrácz

Supervised classification can be effective for prediction but sometimes weak on interpretability or explainability (XAI). Clustering, on the other hand, tends to isolate categories or profiles that can be meaningful but there is no…

Machine Learning · Computer Science 2021-04-27 Vincent Lemaire , Oumaima Alaoui Ismaili , Antoine Cornuéjols , Dominique Gay
‹ Prev 1 2 3 10 Next ›