English
Related papers

Related papers: Holant clones and the approximability of conservat…

200 papers

Given a countable transitive model of set theory and a partial order contained in it, there is a natural countable Borel equivalence relation on generic filters over the model; two are equivalent if they yield the same generic extension. We…

Logic · Mathematics 2024-07-22 Iian B. Smythe

Clustering is a fundamental task in unsupervised learning. The focus of this paper is the Correlation Clustering functional which combines positive and negative affinities between the data points. The contribution of this paper is two fold:…

Computer Vision and Pattern Recognition · Computer Science 2011-12-14 Shai Bagon , Meirav Galun

Code clones are similar code fragments that often arise from copy-and-paste programming. Neural networks can classify pairs of code fragments as clone/not-clone with high accuracy. However, finding clones in industrial-scale code needs a…

Software Engineering · Computer Science 2025-04-28 Gul Aftab Ahmed , Muslim Chochlov , Abdul Razzaq , James Vincent Patten , Yuanhua Han , Guoxian Lu , Jim Buckley , David Gregg

We study systematically groups whose marked finite quotients form a recursive set. We give several definitions, and prove basic properties of this class of groups, and in particular emphasize the link between the growth of the depth…

Group Theory · Mathematics 2021-10-27 Emmanuel Rauzy

Given sufficiently many components, it is often cited that finite mixture models can approximate any other probability density function (pdf) to an arbitrary degree of accuracy. Unfortunately, the nature of this approximation result is…

Statistics Theory · Mathematics 2020-08-24 T Tin Nguyen , Hien D Nguyen , Faicel Chamroukhi , Geoffrey J McLachlan

Functional data analysis involves data described by regular functions rather than by a finite number of real valued variables. While some robust data analysis methods can be applied directly to the very high dimensional vectors obtained…

Machine Learning · Statistics 2012-01-06 Fabrice Rossi , Yves Lechevallier

We apply a probabilistic approach to study the computational complexity of analog computers which solve linear programming problems. We analyze numerically various ensembles of linear programming problems and obtain, for each of these…

Other Condensed Matter · Physics 2009-11-11 Yaniv Avizrats , Joshua Feinberg , Shmuel Fishman

We prove various finiteness and representability results for cohomology of finite flat abelian group schemes. In particular, we show that if $f\colon X\rightarrow \mathrm{Spec}(k)$ is a projective scheme over a field $k$ and $G$ is a finite…

Algebraic Geometry · Mathematics 2025-04-10 Daniel Bragg , Martin Olsson

The following result has been shown recently in the form of a dichotomy: For every total clone $C$ on $\mathbf{2} := \{0,1\}$, the set $\mathcal{I}(C)$ of all partial clones on $\mathbf{2}$ whose total component is $C$, is either finite or…

Rings and Algebras · Mathematics 2014-01-23 Karsten Schölzel

In this paper the concept of $\mathbb{F}$-functorial of a finite group was introduced. These functorials have many properties of the Fitting subgroup of a soluble group and the generalized Fitting subgroup of a finite group. It was shown…

Group Theory · Mathematics 2021-03-25 Viachaslau I. Murashka , Alexander F. Vasil'ev

We give a full description of all sets of functions on the group $(\mathbb{ Z}_p, +)$ of prime order which are closed under the composition with the clone generated by $+$ from both sides. Thereby, we also get a description of all iterative…

Rings and Algebras · Mathematics 2019-09-16 Sebastian Kreinecker

In this paper, we consider a model of classical linear logic based on coherence spaces endowed with a notion of totality. If we restrict ourselves to total objects, each coherence space can be regarded as a uniform space and each linear map…

Logic in Computer Science · Computer Science 2017-06-05 Kei Matsumoto

The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends…

Complex Variables · Mathematics 2015-05-06 Jorge L. deLyra

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

The emergence of complex organs is driven by the coordinated proliferation, migration and differentiation of precursor cells. The fate behaviour of these cells is reflected in the time evolution their progeny, termed clones, which serve as…

In a recent paper we proposed the study of aggregation functions on lattices via clone theory approach. Observing that aggregation functions on lattices just correspond to $0,1$-monotone clones, we have shown that all aggregation functions…

Rings and Algebras · Mathematics 2018-12-27 Michal Botur , Radomír Halaš , Radko Mesiar , Jozef Pócs

We show that every almost universal hash function also has the storage enforcement property. Almost universal hash functions have found numerous applications and we show that this new storage enforcement property allows the application of…

Information Theory · Computer Science 2012-05-08 Mohammad Iftekhar Husain , Steve Ko , Atri Rudra , Steve Uurtamo

In Constraint Programming, constraints are usually represented as predicates allowing or forbidding combinations of values. However, some algorithms exploit a finer representation: error functions. Their usage comes with a price though: it…

Artificial Intelligence · Computer Science 2023-03-09 Florian Richoux , Jean-François Baffier

We consider a general framework for integrable hierarchies in Lax form and derive certain universal equations from which `functional representations' of particular hierarchies (like KP, discrete KP, mKP, AKNS), i.e. formulations in terms of…

Exactly Solvable and Integrable Systems · Physics 2009-11-11 Aristophanes Dimakis , Folkert Muller-Hoissen

We present a Galois theory connecting finitary operations with pairs of finitary relations one of which is contained in the other. The Galois closed sets on both sides are characterised as locally closed subuniverses of the full iterative…

Rings and Algebras · Mathematics 2022-10-13 Mike Behrisch