A language is defined by closure under safe iteration and under a new form of safe diagonalization that, unlike other forms of diagonalization used in literature to define sub-recu...
Abstract. This paper describes a proof search procedure for propositional nonclausal resolution based on a new weighting strategy that utilizes search methods for propositional sat...
We propose a new classification method for prediction of drug properties, called the Random Feature Subset Boosting for Linear Discriminant Analysis (LDA). The main novelty of this...
A base of the free alternative superalgebra on one odd generator is constructed. As a corollary, a base of the alternative Grassmann algebra is given. We also find a new element ...
Abstract--We construct a new variational method for blind deconvolution of images and inpainting, motivated by recent PDE-based techniques involving the Ginzburg-Landau functional,...