Related papers: A general framework for secondary constructions of…
We give a formal treatment of simple type theories, such as the simply-typed $\lambda$-calculus, using the framework of abstract clones. Abstract clones traditionally describe first-order structures, but by equipping them with additional…
We find that second order quantification is problematic when a quantified concept variable is supposed to function predicatively. This issue is analyzed and it is shown that a constructive interpretation of the falling under relation…
The main object of this paper is to present a new generalized beta function which defined by three parametres Mittag-Leffler function. We also introduce new generalizations of hypergeometric and confluent hypergeometric functions with the…
We introduce a new approach to the study of the crossing equation for CFTs in the presence of a boundary. We argue that there is a basis for this equation related to the generalized free field solution. The dual basis is a set of linear…
It is well known that general variational inequalities provide us with a unified, natural, novel and simple framework to study a wide class of unrelated problems, which arise in pure and applied sciences. In this paper, we present a number…
In this paper we formalize some foundation concepts and theorems of group theory in a variant of type theory called the Calculus of Constructions with Definitions. In this theory we introduce definition of a group, which is both general and…
In many applications, smooth processes generate data that is recorded under a variety of observation regimes, such as dense, sparse or fragmented observations that are often contaminated with error. The statistical goal of registering and…
Generating functions and functional equations of Dickson polynomials of the first and second kind are derived and continued analytically. These formulae are expressed in terms of the incomplete gamma function over complex variables of the…
The aim of this paper is to construct a fractal with the help of a finite family of generalized F-contraction mappings, a class of mappings more general than contraction mappings, defined in the setup of b-metric space. Consequently, we…
This work presents a study of perturbations of symmetric Boolean functions. In particular, it establishes a connection between exponential sums of these perturbations and Diophantine equations of the form $$ \sum_{l=0}^n \binom{n}{l}…
This paper argues that the ideas underlying the renormalization group technique used to characterize phase transitions in condensed matter systems could be useful for distinguishing computational complexity classes. The paper presents a…
Gauge-invariant systems in unconstrained configuration and phase spaces, equivalent to second-class constraints systems upon a gauge-fixing, are discussed. A mathematical pendulum on an $n-1$-dimensional sphere $S^{n-1}$ as an example of a…
In this paper, we mainly investigate profound interconnections between combinatorial designs, linear codes, and Boolean functions.
Single-image 3D shape reconstruction is an important and long-standing problem in computer vision. A plethora of existing works is constantly pushing the state-of-the-art performance in the deep learning era. However, there remains a much…
Bayesian inference requires specification of a single, precise prior distribution, whereas frequentist inference only accommodates a vacuous prior. Since virtually every real-world application falls somewhere in between these two extremes,…
We examine how implicit functions on ILB-Fr\'echet spaces can be obtained without metric or norm estimates which are classically assumed. We obtain implicit functions defined on a domain $D$ which is not necessarily open, but which contains…
It is shown that a smooth n dimensional manifold with a boundary in R^n admits a Boolean representation in terms of closed half spaces defined by the tangent hyperplanes at the points on its boundary. A similar result is established for…
Semi-bent Boolean functions are interesting from a cryptographic standpoint, since they possess several desirable properties such as having a low and flat Walsh spectrum, which is useful to resist linear cryptanalysis. In this paper, we…
We give some new methods for perfect reconstruction from frame and sampling erasures in finitely many steps. By bridging an erasure set we mean replacing the erased Fourier coefficients of a function with respect to a frame by appropriate…
We introduce the notion of functionally compact sets into the theory of nonlinear generalized functions in the sense of Colombeau. The motivation behind our construction is to transfer, as far as possible, properties enjoyed by standard…