English
Related papers

Related papers: Classification of Boolean Functions where Affine F…

200 papers

We study higher order quantum maps in the context of a *-autonomous category of affine subspaces. We show that types of higher order maps can be identified with certain Boolean functions that we call type functions. By an extension of this…

Quantum Physics · Physics 2026-05-06 Anna Jenčová

Ultrafunctions are a particular class of functions defined on a Non Archimedean field E. They have been introduced and studied in some previous works. In this paper we develop the notion of fine ultrafunctions which improves the older…

Analysis of PDEs · Mathematics 2022-03-14 Vieri Benci

$\partial\mathbb{B}$ nets are differentiable neural networks that learn discrete boolean-valued functions by gradient descent. $\partial\mathbb{B}$ nets have two semantically equivalent aspects: a differentiable soft-net, with real weights,…

Machine Learning · Computer Science 2023-05-15 Ian Wright

The binary value function, or BinVal, has appeared in several studies in theory of evolutionary computation as one of the extreme examples of linear pseudo-Boolean functions. Its unbiased black-box complexity was previously shown to be at…

Neural and Evolutionary Computing · Computer Science 2019-04-11 Nina Bulanova , Maxim Buzdalov

Let $V$ be a finite set of size $n$. We consider real functions on the "slice" $\binom{V}{k}$, which are also known as functions in the Johnson scheme. For $I \subseteq J \subseteq V$, the characteristic function of the set of all…

Combinatorics · Mathematics 2025-10-06 Michael Kiermaier , Jonathan Mannaert , Alfred Wassermann

Classification, the process of assigning a label (or class) to an observation given its features, is a common task in many applications. Nonetheless in most real-life applications, the labels can not be fully explained by the observed…

Machine Learning · Statistics 2018-11-07 Johan Barthélemy , Morgane Dumont , Timoteo Carletti

NPN classification has many applications in the synthesis and verification of digital circuits. The canonical-form-based method is the most common approach, designing a canonical form as representative for the NPN equivalence class first…

Machine Learning · Computer Science 2023-08-25 Yonghe Zhang , Liwei Ni , Jiaxi Zhang , Guojie Luo , Huawei Li , Shenggen Zheng

Multi-valued partial CFL functions are functions computed along accepting computation paths by one-way nondeterministic pushdown automata, equipped with write-only output tapes, which are allowed to reject an input, in comparison with…

Formal Languages and Automata Theory · Computer Science 2020-04-27 Tomoyuki Yamakami

We propose a deep learning-based solution for the problem of feature learning in one-class classification. The proposed method operates on top of a Convolutional Neural Network (CNN) of choice and produces descriptive features while…

Computer Vision and Pattern Recognition · Computer Science 2019-10-02 Pramuditha Perera , Vishal M. Patel

This letter explains an algorithm for finding a set of base functions. The method aims to capture the leading behavior of the dataset in terms of a few base functions. Implementation of the A-star search will help find these functions,…

Data Analysis, Statistics and Probability · Physics 2022-11-10 Nima Tatari

We review several known categorification procedures, and introduce a functorial categorification of group extensions with applications to non-abelian group cohomology. Categorification of acyclic models and of topological spaces are briefly…

Category Theory · Mathematics 2007-05-23 Lucian M. Ionescu

The main requisite for fine-grained recognition task is to focus on subtle discriminative details that make the subordinate classes different from each other. We note that existing methods implicitly address this requirement and leave it to…

Computer Vision and Pattern Recognition · Computer Science 2019-12-17 Guolei Sun , Hisham Cholakkal , Salman Khan , Fahad Shahbaz Khan , Ling Shao

Sequential testing problems involve a complex system with several components, each of which is "working" with some independent probability. The outcome of each component can be determined by performing a test, which incurs some cost. The…

Data Structures and Algorithms · Computer Science 2023-08-22 Rohan Ghuge , Anupam Gupta , Viswanath Nagarajan

Many nonlinear filters used in practise are stack filters. An algorithm is presented which calculates the output distribution of an arbitrary stack filter S from the disjunctive normal form (DNF) of its underlying positive Boolean function.…

Logic in Computer Science · Computer Science 2017-03-01 Marcel Wild

Stochastic Boolean Function Evaluation is the problem of determining the value of a given Boolean function f on an unknown input x, when each bit of x_i of x can only be determined by paying an associated cost c_i. The assumption is that x…

Data Structures and Algorithms · Computer Science 2013-08-12 Amol Deshpande , Lisa Hellerstein , Devorah Kletenik

A Boolean function is called read-once over a basis B if it can be expressed by a formula over B where no variable appears more than once. A checking test for a read-once function f over B depending on all its variables is a set of input…

Discrete Mathematics · Computer Science 2012-05-29 Dmitry V. Chistikov

This paper is devoted to the study of generalized differentiation properties of the infimal convolution. This class of functions covers a large spectrum of nonsmooth functions well known in the literature. The subdifferential formulas…

Optimization and Control · Mathematics 2014-11-04 Nguyen Mau Nam , Dang Van Cuong

A useful method for representing Bayesian classifiers is through \emph{discriminant functions}. Here, using copula functions, we propose a new model for discriminants. This model provides a rich and generalized class of decision boundaries.…

Machine Learning · Computer Science 2007-05-23 Saket Sathe

In this paper some classes of local polynomial functions on abelian groups are characterized by the properties of their variety. For this characterization we introduce a numerical quantity depending on the variety of the local polynomial…

Functional Analysis · Mathematics 2014-04-02 J. M. Almira , L. Székelyhidi

This paper is a new contribution to the study of regular subgroups of the affine group $AGL_n(F)$, for any field $F$. In particular we associate to any partition $\lambda\neq (1^{n+1})$ of $n+1$ abelian regular subgroups in such a way that…

Group Theory · Mathematics 2016-01-15 M. A. Pellegrini , M. C. Tamburini Bellani
‹ Prev 1 8 9 10 Next ›